arxiv: 2604.08268 · v1 · submitted 2026-04-09 · 🌌 astro-ph.HE

Recognition: 2 theorem links

· Lean Theorem

The Stack Search Tests on FAST Data: Discovery of Six Faint Isolated Millisecond Pulsars in NGC 6517 and NGC 7078 (M15)

Yinfeng Dai , Xing-Jiang Zhu , Zhichen Pan , Lei Qian , Li-yun Zhang , Dejiang Yin , Yu Pan , Bo Peng

show 11 more authors

Baoda Li Yujie Lian Yaowei Li Yuxiao Wu Menglin Huang Qiaoli Hao Xingyi Wang Xianghua Niu Jinyou Song Minglei Guo Shuangyuan Chen

Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:21 UTC · model grok-4.3

classification 🌌 astro-ph.HE

keywords millisecond pulsarsglobular clusterspulsar discoveryFAST telescopestack searchisolated pulsarsNGC 6517M15

0 comments

The pith

Stacking power spectra from repeated FAST observations reveals six faint isolated millisecond pulsars in NGC 6517 and M15.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper reports the discovery of six faint millisecond pulsars in the globular clusters NGC 6517 and NGC 7078 (M15) using the FAST radio telescope. These were found by stacking power spectra across multiple observations to raise the signal-to-noise ratio for weak periodic signals. Four new pulsars in NGC 6517 show spin periods of 3.68 to 6.02 ms and DMs near 182.6 pc cm^{-3}, while two in M15 have periods of 4.83 and 9.28 ms and DMs near 67 pc cm^{-3}. All six appear isolated rather than binary, matching expectations for core-collapsed clusters, and three evaded standard search methods entirely. The work demonstrates that stacking uncovers pulsar populations that conventional frequency-domain and folding algorithms miss.

Core claim

What carries the argument

The stack search technique, which combines power spectra from multiple observations to enhance the detectability of faint periodic signals.

If this is right

All six MSPs are isolated, consistent with the expected pulsar populations in core-collapsed globular clusters.
The stack search technique detects signals missed by standard frequency-domain searches and the Fast Folding Algorithm.
Continued observations can yield phase-connected timing solutions for the five pulsars without them yet.
These detections increase the known number of pulsars in NGC 6517 and M15.
The method improves sensitivity specifically to inherently faint pulsar signals in dense cluster environments.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same stacking approach could be applied to archival or new data from other radio telescopes to find additional faint pulsars in other clusters.
The high fraction of isolated MSPs supports dynamical models in which dense cluster cores disrupt binary systems.
These pulsars may eventually serve as probes for studying the gravitational potential and dynamics within their host clusters once full timing solutions are obtained.

Load-bearing premise

The peaks detected in the stacked spectra represent genuine pulsar signals and not statistical fluctuations or interference, with the measured periods and dispersion measures correctly identifying isolated systems.

What would settle it

Independent follow-up observations or reprocessing of the data that fails to recover periodic signals at the reported periods and dispersion measures, or that reveals binary orbital signatures instead of isolation.

Figures

Figures reproduced from arXiv: 2604.08268 by Baoda Li, Bo Peng, Dejiang Yin, Jinyou Song, Lei Qian, Li-yun Zhang, Menglin Huang, Minglei Guo, Qiaoli Hao, Shuangyuan Chen, Xianghua Niu, Xing-Jiang Zhu, Xingyi Wang, Yaowei Li, Yinfeng Dai, Yujie Lian, Yu Pan, Yuxiao Wu, Zhichen Pan.

**Figure 1.** Figure 1: Diagnostic plots for the six newly discovered pulsars in NGC 6517 and M15. Panels (a)–(d) show NGC 6517S/T/U/V, and panels (e)–(f) show M15M/N. In each panel, the upper subplots display the stacked power spectrum (left) and the timing analysis (with “JUMPs”) residuals (right), and the lower subplots show the folded pulse profile and associated diagnostics. est one among all the discoveries, was only detect… view at source ↗

**Figure 2.** Figure 2: Power spectra of M15N from 19 observations (panels with black solid lines, with observing dates) and the stacked spectrum (top panel with red solid line). Every spectrum is with harmonic summing up to the 4th harmonic. The vertical dashed line marks the pulsar’s spin frequency. epochs (N = 28; Figure 3b), narrow peaks appear at the expected frequencies for all three pulsars, and their SNR increases substa… view at source ↗

**Figure 3.** Figure 3: Spectral stacking of the pulsar signal from 28 FAST observations of NGC 6517, including five additional recent 2.5-hr observations (with animation). (a) Power spectrum from a single 0.5-hr FAST observation. (b) Combined spectrum after stacking all 28 observations. The accompanying animation shows the stacking process for the 28 observations in the order of observation dates. Note that NGC 6517B is a binary… view at source ↗

read the original abstract

We report the discovery of six faint millisecond pulsars (MSPs) in the globular clusters NGC 6517 and NGC 7078 (M15) using the Five-hundred-meter Aperture Spherical radio Telescope (FAST). These discoveries were enabled by stacking power spectra from multiple observations, a method that effectively boosts the signal-to-noise ratio of faint sources. In NGC 6517, we identified four new MSPs (NGC 6517S-V) with spin periods ranging from 3.68 to 6.02 ms and dispersion measures (DMs) between 182.45 and 182.85 pc cm^-3. In M15, two additional MSPs (M15M and M15N) were discovered, with spin periods of 4.83 and 9.28 ms, and DMs of 67.89 and 66.65 pc cm^-3, respectively. A phase-coherent timing solution has been obtained for M15M; however, sparse detection rates currently preclude phase-connected solutions for the remaining five pulsars. Current timing parameters suggest all six MSPs are isolated, which is consistent with the expected pulsar populations in core-collapsed globular clusters. Notably, pulsars M15N, NGC 6517U, and NGC 6517V eluded detection by standard frequency-domain searches (e.g., PRESTO-based) and the Fast Folding Algorithm, demonstrating that the stack search technique significantly enhances detection sensitivity to inherently faint pulsar signals.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Six new faint MSPs found in two clusters via stacking on FAST, but this is a standard observational discovery report with established methods.

read the letter

The key takeaway is that this paper adds six new faint isolated millisecond pulsars to the known populations in NGC 6517 and M15, found through stacking power spectra from multiple FAST observations. The new detections include four in NGC 6517 with periods between 3.68 and 6.02 ms and DMs around 182.5 pc cm^-3, plus two in M15 with periods 4.83 and 9.28 ms and lower DMs. One has a full timing solution, and the others have enough to suggest they are isolated. The stacking approach picked up three that standard tools like PRESTO and the Fast Folding Algorithm missed, which is a practical demonstration of its utility for faint signals. What the paper does well is provide clear parameters for the new pulsars and tie them to the expected demographics in core-collapsed clusters. It is straightforward about the current limits on timing due to sparse detections. The soft spots are minor but worth noting. There are no reported false-positive rates or extensive RFI rejection details beyond the multi-epoch consistency, which is typical for discovery papers but leaves the faintest ones a bit less secure. The method itself is established, so the novelty sits mostly in the specific finds rather than a new technique. No major inconsistencies appear in the reported data. This work is aimed at researchers tracking pulsar populations in globular clusters and those refining search methods for faint sources. A reader focused on cluster dynamics or MSP formation will find the updated numbers useful. It is a solid observational report that deserves a serious referee to check the detection claims and suggest ways to strengthen the verification. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript reports the discovery of six faint isolated millisecond pulsars in globular clusters NGC 6517 (four new MSPs NGC 6517S-V with periods 3.68-6.02 ms and DMs 182.45-182.85 pc cm^{-3}) and NGC 7078/M15 (M15M and M15N with periods 4.83 and 9.28 ms and DMs 67.89 and 66.65 pc cm^{-3}) using the FAST telescope. Discoveries were enabled by stacking power spectra from multiple observations to boost S/N for faint sources. One pulsar (M15M) has a phase-coherent timing solution; the other five have sparse detections precluding full solutions. All are consistent with isolated systems, matching expectations for core-collapsed clusters. Three pulsars (M15N, NGC 6517U, NGC 6517V) were missed by standard PRESTO frequency-domain searches and the Fast Folding Algorithm.

Significance. If the detections are verified, the work meaningfully augments the known population of faint isolated MSPs in core-collapsed globular clusters and provides concrete evidence that stack-search methods can recover sources missed by conventional algorithms. Credit is due for the explicit reporting of periods, DM values, and the direct comparison to PRESTO/FFA performance, which makes the sensitivity gain falsifiable and reproducible.

major comments (2)

[Abstract] Abstract: the claim that three pulsars 'eluded detection by standard frequency-domain searches (e.g., PRESTO-based) and the Fast Folding Algorithm' is load-bearing for the central methodological advance, yet no quantitative S/N thresholds, sensitivity curves, or direct comparison metrics are supplied to substantiate the improvement.
[Timing analysis] Timing section: the isolation conclusion for the five pulsars without phase-connected solutions rests on 'current timing parameters' and 'sparse detection rates,' but the manuscript does not report the number of independent detections, epoch span, or period-derivative limits that would allow assessment of whether binary motion could still be present.

minor comments (2)

[Abstract] Abstract: dispersion-measure values are reported to two decimal places while periods use two; ensure uniform significant-figure reporting and explicitly state units (ms, pc cm^{-3}) in every instance.
The manuscript would benefit from a summary table listing all six pulsars with period, DM, detection epochs, and S/N in stacked vs. single-epoch spectra for quick reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and constructive comments. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract] Abstract: the claim that three pulsars 'eluded detection by standard frequency-domain searches (e.g., PRESTO-based) and the Fast Folding Algorithm' is load-bearing for the central methodological advance, yet no quantitative S/N thresholds, sensitivity curves, or direct comparison metrics are supplied to substantiate the improvement.

Authors: We agree that quantitative support would strengthen the claim. In the revised manuscript we will add the S/N values (or upper limits) obtained from the standard PRESTO frequency-domain searches and the Fast Folding Algorithm for M15N, NGC 6517U, and NGC 6517V, together with the S/N achieved in the stacked spectra and a brief statement of the detection thresholds used. This will make the sensitivity gain explicit and reproducible. revision: yes
Referee: [Timing analysis] Timing section: the isolation conclusion for the five pulsars without phase-connected solutions rests on 'current timing parameters' and 'sparse detection rates,' but the manuscript does not report the number of independent detections, epoch span, or period-derivative limits that would allow assessment of whether binary motion could still be present.

Authors: We will expand the timing section to report, for each of the five pulsars, the number of independent detections, the total observational time span, and any period-derivative upper limits derivable from the available epochs. These additions will allow readers to evaluate the strength of the isolated interpretation and the possible presence of undetected binary motion. revision: yes

Circularity Check

0 steps flagged

Pure observational discovery report; no derivation chain present

full rationale

The paper is a standard pulsar discovery report based on FAST radio observations. It describes data collection, application of a stacking technique to power spectra, identification of periodic signals, and basic timing parameters for six new MSPs. No equations, fitted models, theoretical derivations, or predictions are presented. All claims reduce directly to the raw observational data and standard search algorithms (PRESTO, FFA) without any self-referential loops, parameter fitting renamed as prediction, or load-bearing self-citations. The central result (detections of faint isolated MSPs) is an empirical finding, not a constructed output from prior assumptions within the paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are introduced; the work rests on standard radio-astronomy assumptions for pulsar detection and dispersion measure interpretation.

pith-pipeline@v0.9.0 · 5660 in / 1062 out tokens · 73706 ms · 2026-05-10T18:21:47.939904+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the stack search technique significantly enhances detection sensitivity to inherently faint pulsar signals... SNR∝ √Nobs

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 27 canonical work pages

[1]

A., Cheng, A

Alpar, M. A., Cheng, A. F., Ruderman, M. A., & Shaham, J. 1982, Nature, 300, 728, doi: 10.1038/300728a0

work page doi:10.1038/300728a0 1982
[2]

Anderson, S. B. 1993, PhD thesis, California Institute of Technology

1993
[3]

B., Gorham, P

Anderson, S. B., Gorham, P. W., Kulkarni, S. R., Prince, T. A., & Wolszczan, A. 1990, Nature, 346, 42, doi: 10.1038/346042a0

work page doi:10.1038/346042a0 1990
[4]

R., Dalessandro, E., et al

Cadelano, M., Ransom, S. M., Freire, P. C. C., et al. 2018, ApJ, 855, 125, doi: 10.3847/1538-4357/aaac2a

work page doi:10.3847/1538-4357/aaac2a 2018
[5]

R., Mandel, I., & Bagchi, M

Chennamangalam, J., Lorimer, D. R., Mandel, I., & Bagchi, M. 2013, MNRAS, 431, 874, doi: 10.1093/mnras/stt205

work page doi:10.1093/mnras/stt205 2013
[6]

2025, Research in Astronomy and Astrophysics, 25, 071001, doi: 10.1088/1674-4527/addc53

Dai, Y., Pan, Z., Qian, L., et al. 2025, Research in Astronomy and Astrophysics, 25, 071001, doi: 10.1088/1674-4527/addc53

work page doi:10.1088/1674-4527/addc53 2025
[7]

Harris, W. E. 1996, AJ, 112, 1487, doi: 10.1086/118116

work page doi:10.1086/118116 1996
[8]

2015, in Advancing Astrophysics with the Square Kilometre Array (AASKA14), 47, doi: 10.22323/1.215.0047 10

Hessels, J., Possenti, A., Bailes, M., et al. 2015, in Advancing Astrophysics with the Square Kilometre Array (AASKA14), 47, doi: 10.22323/1.215.0047 10

work page doi:10.22323/1.215.0047 2015
[9]

Hills, J. G. 1975, AJ, 80, 809, doi: 10.1086/111815

work page doi:10.1086/111815 1975
[10]

2020, Research in Astronomy and Astrophysics, 20, 064

Jiang, P., Tang, N.-Y., Hou, L.-G., et al. 2020, Research in Astronomy and Astrophysics, 20, 064

2020
[11]

S., Heinke, C

Kremer, K., Ye, C. S., Heinke, C. O., et al. 2024, ApJL, 977, L42, doi: 10.3847/2041-8213/ad9a4e

work page doi:10.3847/2041-8213/ad9a4e 2024
[12]

2018, MNRAS, 473, 5026, doi: 10.1093/mnras/stx2724

Torne, P. 2018, MNRAS, 473, 5026, doi: 10.1093/mnras/stx2724

work page doi:10.1093/mnras/stx2724 2018
[13]

2025, ApJ, 991, 38, doi: 10.3847/1538-4357/add6a5

Li, Y., Wang, L., Qian, L., et al. 2025, ApJ, 991, 38, doi: 10.3847/1538-4357/add6a5

work page doi:10.3847/1538-4357/add6a5 2025
[14]

2025, ApJS, 279, 51, doi: 10.3847/1538-4365/ade4ba

Lian, Y., Pan, Z., Zhang, H., et al. 2025, ApJS, 279, 51, doi: 10.3847/1538-4365/ade4ba

work page doi:10.3847/1538-4365/ade4ba 2025
[15]

R., & Kramer, M

Lorimer, D. R., & Kramer, M. 2005, Handbook of pulsar astronomy, Vol. 4 (Cambridge university press)

2005
[16]

G., Brinklow, A., Middleditch, J., Kulkarni, S

Lyne, A. G., Brinklow, A., Middleditch, J., Kulkarni, S. R., & Backer, D. C. 1987, Nature, 328, 399, doi: 10.1038/328399a0

work page doi:10.1038/328399a0 1987
[17]

Lyne, A. G. 2020, MNRAS, 497, 4654, doi: 10.1093/mnras/staa2291

work page doi:10.1093/mnras/staa2291 2020
[18]

2011, International Journal of Modern Physics D, 20, 989

Nan, R., Li, D., Jin, C., et al. 2011, International Journal of Modern Physics D, 20, 989

2011
[19]

2015, Tempo: Pulsar timing data analysis,, Astrophysics Source Code Library, record ascl:1509.002 http://ascl.net/1509.002

Nice, D., Demorest, P., Stairs, I., et al. 2015, Tempo: Pulsar timing data analysis,, Astrophysics Source Code Library, record ascl:1509.002 http://ascl.net/1509.002

2015
[20]

V., & Schafer, R

Oppenheim, A. V., & Schafer, R. W. 2009, Discrete-Time Signal Processing, 3rd edn. (Prentice Hall)

2009
[21]

2016, MNRAS, 459, L26, doi: 10.1093/mnrasl/slw037

Pan, Z., Hobbs, G., Li, D., et al. 2016, MNRAS, 459, L26, doi: 10.1093/mnrasl/slw037

work page doi:10.1093/mnrasl/slw037 2016
[22]

2021, ApJL, 915, L28, doi: 10.3847/2041-8213/ac0bbd

Pan, Z., Qian, L., Ma, X., et al. 2021a, ApJL, 915, L28, doi: 10.3847/2041-8213/ac0bbd

work page doi:10.3847/2041-8213/ac0bbd 2041
[23]

2021b, Research in Astronomy and Astrophysics, 21, 143, doi: 10.1088/1674-4527/21/6/143

Pan, Z., Ma, X.-Y., Qian, L., et al. 2021b, Research in Astronomy and Astrophysics, 21, 143, doi: 10.1088/1674-4527/21/6/143

work page doi:10.1088/1674-4527/21/6/143
[24]

G., Jiang, P., et al

Pan, Z., Lu, J. G., Jiang, P., et al. 2023, Nature, 620, 961, doi: 10.1038/s41586-023-06308-w

work page doi:10.1038/s41586-023-06308-w 2023
[25]

1991, ApJL, 374, L41, doi: 10.1086/186067

Wolszczan, A. 1991, ApJL, 374, L41, doi: 10.1086/186067

work page doi:10.1086/186067 1991
[26]

Ransom, S. M. 2001, PhD thesis, Harvard University, Massachusetts

2001
[27]

M., Cordes, J

Ransom, S. M., Cordes, J. M., & Eikenberry, S. S. 2003, ApJ, 589, 911, doi: 10.1086/374806

work page doi:10.1086/374806 2003
[28]

Fourier Techniques for Very Long Astrophysical Time Series Analysis

Ransom, S. M., Eikenberry, S. S., & Middleditch, J. 2002, AJ, 124, 1788, doi: 10.1086/342285

work page Pith review doi:10.1086/342285 2002
[29]

2005, in American Astronomical Society Meeting Abstracts, Vol

Sulman, B., Ransom, S., & Stinebring, D. 2005, in American Astronomical Society Meeting Abstracts, Vol. 207, American Astronomical Society Meeting Abstracts, 183.08 Tyul’bashev, S. A., Kitaeva, M. A., Tyul’bashev, V. S.,

2005
[30]

M., & Tyul’basheva, G

Malofeev, V. M., & Tyul’basheva, G. E. 2020, Astronomy Reports, 64, 526, doi: 10.1134/S1063772920060074

work page doi:10.1134/s1063772920060074 2020
[31]

, keywords =

Vasiliev, E., & Baumgardt, H. 2021, MNRAS, 505, 5978, doi: 10.1093/mnras/stab1475

work page doi:10.1093/mnras/stab1475 2021
[32]

W., et al

Wang, L., Peng, B., Stappers, B. W., et al. 2020, ApJ, 892, 43, doi: 10.3847/1538-4357/ab76cc

work page doi:10.3847/1538-4357/ab76cc 2020
[33]

2024, ApJL, 974, L23, doi: 10.3847/2041-8213/ad7b9e

Wu, Y., Pan, Z., Qian, L., et al. 2024, ApJL, 974, L23, doi: 10.3847/2041-8213/ad7b9e

work page doi:10.3847/2041-8213/ad7b9e 2024
[34]

S., Kremer, K., Ransom, S

Ye, C. S., Kremer, K., Ransom, S. M., & Rasio, F. A. 2024, ApJ, 961, 98, doi: 10.3847/1538-4357/ad089a

work page doi:10.3847/1538-4357/ad089a 2024
[35]

2024, ApJL, 969, L7, doi: 10.3847/2041-8213/ad534e

Yin, D., Zhang, L.-y., Qian, L., et al. 2024, ApJL, 969, L7, doi: 10.3847/2041-8213/ad534e

work page doi:10.3847/2041-8213/ad534e 2024