No abstract

The pulsar PSR B1828-11 has long-term, highly periodic and correlated variations in both pulse shape and the rate of slow-down. This phenomenon may provide evidence for precession of the pulsar as suggested previously within the framework of free precession as well as forced one. On a presumption of forced precession, we propose a quark planet model to this precession henomenon instead, in which the pulsar is torqued by a quark planet. We construct this model by constraining mass of the pulsar ($M_{\rm psr}$), mass of the planet ($M_{\rm pl}$) and orbital radius of the planet ($r_{\rm pl}$). Five aspects are considered: derived relation between $M_{\rm psr}$ and $r_{\rm pl}$, movement of the pulsar around the center of mass, ratio of $M_{\rm psr}$ and $M_{\rm pl}$, gravitational wave radiation timescale of the planetary system, and death-line criterion. We also calculate the range of precession period derivative and gravitational wave strength (at earth) permitted by the model. Under reasonable parameters, the observed phenomenon can be understood by a pulsar ($10^{-4}\sim10^{-1}M_{\odot}$) with a quark planet ($10^{-8}\sim10^{-3}M_{\odot}$) orbiting it. According to the calculations presented, the pulsar would be a quark star because of its low mass, which might eject a lump of quark matter (to become a planet around) during its birth.Comment: 6 pages, 3 figures, accepted by MNRAS (Letters

No abstract

Online Judge platforms play a pivotal role in education, competitive programming, recruitment, career training, and large language model training. They rely on predefined test suites to judge the correctness of submitted solutions. It is therefore important that the solution judgement is reliable and free from potentially misleading false positives (i.e., incorrect solutions that are judged as correct). In this paper, we conduct an empirical study of 939 coding problems with 541,552 solutions, all of which are judged to be correct according to the test suites used by the platform, finding that 43.1% of the problems include false positive solutions (3,700 bugs are revealed in total). We also find that test suites are, nevertheless, of high quality according to widely-studied test effectiveness measurements: 88.2% of false positives have perfect (100%) line coverage, 78.9% have perfect branch coverage, and 32.5% have a perfect mutation score. Our findings indicate that more work is required to weed out false positive solutions and to further improve test suite effectiveness. We have released the detected false positive solutions and the generated test inputs to facilitate future research. CCS CONCEPTS• Software and its engineering → Software testing and debugging.

The lithium abundance of KIC 11395018 and KIC 10920273 are not compatible with their age, which is deduced by asteroseismology. To explain this phenomenon, we investigate the possible evolutionary status and perform seismological analysis of the three stars KIC 11395018, KIC 10273246 and KIC 10920273. Using the Yale Rotating Stellar Evolution Code (YREC), we constructed a grid of evolutionary tracks with different input physics and rotation rates. In addition to the conventional observed properties, we added two observed constraints: lithium abundance and rotational period. As a result, the lithium abundance of our rotation models agrees well with the observation. Meanwhile, we obtained a set of more accurate stellar fundamental parameters than previous studies.