pith. machine review for the scientific record. sign in

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
0 comments X

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

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 0

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. 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. 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 spec￾trum 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. 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.

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)
  1. [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.
  2. [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)
  1. [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.
  2. 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

  1. 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

  2. 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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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. [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. [2]

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

    1993

  3. [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. [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. [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. [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. [7]

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

    work page doi:10.1086/118116 1996

  8. [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. [9]

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

    work page doi:10.1086/111815 1975

  10. [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. [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. [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. [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. [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. [15]

    R., & Kramer, M

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

    2005

  16. [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. [17]

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

    work page doi:10.1093/mnras/staa2291 2020

  18. [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. [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. [20]

    V., & Schafer, R

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

    2009

  21. [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. [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. [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. [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. [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. [26]

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

    2001

  27. [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. [28]

    M., Eikenberry, S

    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. [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. [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. [31]

    , keywords =

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

    work page doi:10.1093/mnras/stab1475 2021

  32. [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. [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. [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. [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