arxiv: 2604.05894 · v2 · submitted 2026-04-07 · 🌌 astro-ph.HE · astro-ph.IM· astro-ph.SR· hep-ex

Recognition: 2 theorem links

· Lean Theorem

Developing Pre-Supernova Neutrino Support for sntools

Ellie O'Brien, Patrick Stowell, Susan Cartwright

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:16 UTC · model grok-4.3

classification 🌌 astro-ph.HE astro-ph.IMastro-ph.SRhep-ex

keywords pre-supernova neutrinosneutrino event generatorsntoolssupernova early warningtime binningcore collapseHyper-Kamiokande

0 comments

The pith

sntools is extended to generate pre-supernova neutrino events through code adaptations and optimized time binning.

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

The paper presents the development work to incorporate pre-supernova neutrino models into sntools, a neutrino event generator originally built for supernova burst studies. This addition aims to create a single framework for simulating neutrinos emitted in the final stages before core collapse, which could enable early detection and preparation for a supernova. A sympathetic reader would see value in the detailed code changes and the focus on time binning that keeps event rates and spectra reliable across varying phases. The authors also cover the validation steps completed so far and the intended application within detector collaborations.

Core claim

The authors have adapted sntools to accept pre-supernova neutrino flux models, implemented necessary changes to event generation, and identified time-binning strategies that support stable simulations without large computational cost or loss of accuracy. This work supplies a unified tool for studying both pre-collapse and burst-phase neutrinos in the same software environment.

What carries the argument

The extended sntools event generator, which now ingests pre-supernova models and applies optimized time binning to produce neutrino event samples for detector studies.

If this is right

The same software can now simulate both pre-supernova and core-collapse burst neutrinos under consistent assumptions.
Optimized time binning reduces the risk of under-sampling periods of rapidly changing neutrino emission.
Detector collaborations gain a ready tool for estimating expected pre-supernova signals in current and future experiments.
Validation results establish a baseline for further model additions and refinements.

Where Pith is reading between the lines

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

A common generator reduces the chance of artificial differences when analysts compare pre-collapse and burst signals from the same detector.
The binning technique could be tested on other transient neutrino sources whose emission rates change over hours or days.
Extending the code to additional pre-supernova models would allow direct checks on how model choice affects predicted warning times.

Load-bearing premise

The chosen pre-supernova models and the selected time-binning strategy will produce event rates and spectra accurate enough for detector studies without introducing significant biases.

What would settle it

A side-by-side comparison of event spectra and total rates generated by the updated sntools against an independent calculation for the same pre-supernova model in several time intervals would show whether the binning choice preserves accuracy.

Figures

Figures reproduced from arXiv: 2604.05894 by Ellie O'Brien, Patrick Stowell, Susan Cartwright.

**Figure 2.** Figure 2: A graph showing the time profile of Inverse Beta Decay (IBD) events in the Hyper-Kamiokande [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗

**Figure 3.** Figure 3: A graph showing the comparison of the positron energy spectra for IBD events generated by [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

read the original abstract

The first detection of supernova burst neutrinos was achieved through the observation of SN1987A, almost four decades ago. However, neutrinos produced during the burning stages of a star prior to core collapse are yet to be detected. Detection of pre-supernova neutrinos could provide an early warning of an imminent supernova and allow the scientific community time to focus their resources on the observation and study of such an event leading to better understanding of these rare phenomena. Integrating pre-supernova models into a neutrino event generator would help to provide a unified framework for studying these neutrinos in current and next generation detectors. sntools is a neutrino event generator for supernova burst neutrinos, originally developed to study supernova model discrimination with Hyper-Kamiokande. Work to add support for pre-supernova event generation to sntools is presented, detailing the adaptations and additions to the code, with emphasis on how time binning can be optimised for a robust simulation, and also detailing the status of the validation process. The current status and capabilities of the package will be explained alongside plans for any further work and the intended use for the new functionality within the Hyper-Kamiokande Collaboration.

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

This is a straightforward code-extension note for sntools that adds pre-supernova neutrino generation, but it contains no validation numbers or performance checks yet.

read the letter

The paper reports the work done to extend sntools so it can generate events from pre-supernova neutrino models. The authors walk through the code changes, with particular attention to how they handle time binning across the long pre-collapse phase, and they give the current status of their validation efforts. That is the core of what is new here: an incremental but practical addition to an existing open tool already used for Hyper-Kamiokande supernova studies.

Referee Report

1 major / 3 minor

Summary. The manuscript describes ongoing work to extend the sntools neutrino event generator (originally developed for supernova burst neutrinos) to include pre-supernova neutrino production. It details the required code adaptations and additions, places particular emphasis on strategies for optimizing time binning to achieve robust simulations, reports the current status of the validation process, and outlines plans for further development together with intended use within the Hyper-Kamiokande Collaboration.

Significance. Successful completion of this extension would furnish a single, publicly usable framework for generating both pre-supernova and supernova-burst neutrino events, thereby facilitating detector studies and early-warning analyses for next-generation experiments such as Hyper-Kamiokande. The focus on time-binning optimization addresses a practical numerical issue that directly affects the fidelity of event-rate predictions. Because the manuscript is a software-development report whose central claim is descriptive rather than quantitative, its significance is primarily instrumental and will be realized once validation metrics become available.

major comments (1)

The abstract states that validation is underway yet supplies no quantitative benchmarks, error estimates, or comparison data against reference pre-supernova models. While the manuscript’s claim is descriptive (that the support has been added and validation is in progress), the absence of even preliminary numerical results in the validation section prevents an independent assessment of whether the implemented time-binning scheme and model interfaces reproduce expected event rates and spectra to within acceptable tolerances.

minor comments (3)

The description of the time-binning optimization would be clearer if it included a short pseudocode snippet or explicit decision criteria (e.g., maximum fractional change in flux per bin) rather than a purely qualitative discussion.
A brief table summarizing the pre-supernova models that have been integrated, together with their key parameters (progenitor mass, distance, etc.), would help readers quickly gauge the scope of the current implementation.
The manuscript should state explicitly whether the modified source code and any validation scripts will be released under the same license as the original sntools package.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their constructive review and recommendation of minor revision. We address the single major comment below.

read point-by-point responses

Referee: The abstract states that validation is underway yet supplies no quantitative benchmarks, error estimates, or comparison data against reference pre-supernova models. While the manuscript’s claim is descriptive (that the support has been added and validation is in progress), the absence of even preliminary numerical results in the validation section prevents an independent assessment of whether the implemented time-binning scheme and model interfaces reproduce expected event rates and spectra to within acceptable tolerances.

Authors: We agree that the manuscript, as a descriptive software-development report, does not currently include quantitative benchmarks, error estimates or direct comparisons to reference models. The validation process is described as ongoing precisely because such metrics are not yet finalized. To improve the manuscript we will expand the validation section with additional detail on the specific tests and consistency checks already performed during implementation (e.g., cross-checks of integrated event rates against analytic expectations for selected time bins and model interfaces). This will give readers a clearer picture of the current status without overstating the completeness of the validation. revision: partial

Circularity Check

0 steps flagged

No significant circularity; purely descriptive software report

full rationale

The paper is a software-development report documenting code changes to add pre-supernova neutrino generation to sntools, including time-binning adaptations and validation status. No derivations, equations, fitted parameters, or predictive claims appear; the central assertion is simply that the implementation work has been completed. This descriptive claim is self-contained and externally verifiable via the released code, with no load-bearing self-citations or reductions to inputs by construction. The reader's assessment of minimal circularity burden is confirmed.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a software engineering paper. No new physical parameters, mathematical axioms, or postulated entities are introduced.

pith-pipeline@v0.9.0 · 5512 in / 982 out tokens · 56833 ms · 2026-05-10T19:16:29.453424+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 Jcost uniqueness unclear
sntools uses an input flux and energy spectrum to generate events within specified time bins... optimum bin size of 1s

Reference graph

Works this paper leans on

17 extracted references · 11 canonical work pages

[1]

1987, Phys

K. Hirata et al., “Observation of a neutrino burst from the supernova SN1987a,” Physical Review Letters, vol. 58, no. 14, pp. 1490–1493, Apr. 6, 1987.doi:10. 1103/PhysRevLett.58.1490Accessed: Mar. 6, 2026. [Online]. Available:https: //link.aps.org/doi/10.1103/PhysRevLett.58.1490

work page doi:10.1103/physrevlett.58.1490 1987
[2]

Observation of a neutrino burst in coincidence with supernova 1987a in the large magellanic cloud,

R. M. Bionta et al., “Observation of a neutrino burst in coincidence with supernova 1987a in the large magellanic cloud,”Physical Review Letters, vol. 58, no. 14, pp. 1494–1496, Apr. 6, 1987.doi:10 . 1103 / PhysRevLett . 58 . 1494Accessed: May 30, 2025. [Online]. Available:https : / / link . aps . org / doi / 10 . 1103 / PhysRevLett.58.1494

1987
[3]

De- tection of the neutrino signal from supernova 1987a using the INR baksan un- derground scintillation telescope,

E. N. Alekseev, L. N. Alekseeva, I. V. Krivosheina, and V. I. Volchenko, “De- tection of the neutrino signal from supernova 1987a using the INR baksan un- derground scintillation telescope,” presented at the European Southern Observa- tory Conference and Workshop Proceedings, ADS Bibcode: 1987ESOC...26..237A, vol. 26, Jan. 1, 1987, p. 237. Accessed: May 3...

1987
[4]

Theoretical prediction of presupernova neutrinos and their detection,

C. Kato, K. Ishidoshiro, and T. Yoshida, “Theoretical prediction of presupernova neutrinos and their detection,”Annual Review of Nuclear and Particle Science, vol. 70, pp. 121–145, Volume 70, 2020 Oct. 19, 2020,issn: 0163-8998, 1545-4134. doi:10.1146/annurev-nucl-040620-021320Accessed: May 30, 2025. [Online]. Available:https : / / www . annualreviews . or...

work page doi:10.1146/annurev-nucl-040620-021320accessed: 2020
[5]

S. E. Woosley,Lecture 12: Advanced stages of stellar evolution ii, silicon burning and nse, Accessed: 29-01-2025. [Online]. Available:https://www.ucolick.org/ ~woosley/ay220-19/lectures/lecture12.pdf

2025
[6]

Detection possibility of the pair- annihilation neutrinos from the neutrino-cooled pre-supernova star,

A. Odrzywolek, M. Misiaszek, and M. Kutschera, “Detection possibility of the pair- annihilation neutrinos from the neutrino-cooled pre-supernova star,”Astroparticle Physics, vol. 21, no. 3, pp. 303–313, Jun. 1, 2004,issn: 0927-6505.doi:10.1016/ j . astropartphys . 2004 . 02 . 002Accessed: Apr. 15, 2026. [Online]. Available: https://www.sciencedirect.com/s...

2004
[7]

Pre-supernova alert system for super-kamiokande,

L. N. Machado et al., “Pre-supernova alert system for super-kamiokande,”The Astrophysical Journal, vol. 935, no. 1, p. 40, Aug. 2022,issn: 0004-637X.doi: 10.3847/1538-4357/ac7f9cAccessed: Mar. 6, 2026. [Online]. Available:https: //doi.org/10.3847/1538-4357/ac7f9c

work page doi:10.3847/1538-4357/ac7f9caccessed: 2022
[8]

KamLAND Sensitivity to Neutrinos from Pre-Supernova Stars,

K. Asakura et al., “KamLAND Sensitivity to Neutrinos from Pre-Supernova Stars,” The Astrophysical Journal, vol. 818, no. 1, p. 91, Feb. 10, 2016,issn: 0004-637X, 1538-4357.doi:10 . 3847 / 0004 - 637X / 818 / 1 / 91Accessed: Jun. 5, 2025. [On- 5 line]. Available:https : / / iopscience . iop . org / article / 10 . 3847 / 0004 - 637X/818/1/91

2016
[10]

Sntools: An event generator for supernova burst neutrinos,

J. Migenda et al., “Sntools: An event generator for supernova burst neutrinos,” Journal of Open Source Software, vol. 6, no. 60, p. 2877, Apr. 15, 2021,issn: 2475- 9066.doi:10 . 21105 / joss . 02877Accessed: Mar. 6, 2026. [Online]. Available: https://joss.theoj.org/papers/10.21105/joss.02877

work page doi:10.21105/joss.02877 2021
[11]

Migenda,Supernova model discrimination with hyper-kamiokande, Feb

J. Migenda,Supernova model discrimination with hyper-kamiokande, Feb. 5, 2020. doi:10.48550/arXiv.2002.01649arXiv:2002.01649[astro- ph]. Accessed: Mar. 6, 2026. [Online]. Available:http://arxiv.org/abs/2002.01649

work page doi:10.48550/arxiv.2002.01649arxiv:2002.01649 2020
[12]

Supernova model discrimination with hyper-kamiokande,

K. Abe et al., “Supernova model discrimination with hyper-kamiokande,”The Astrophysical Journal, vol. 916, no. 1, p. 15, Jul. 2021,issn: 0004-637X.doi: 10.3847/1538-4357/abf7c4Accessed: Mar. 19, 2026. [Online]. Available:https: //doi.org/10.3847/1538-4357/abf7c4

work page doi:10.3847/1538-4357/abf7c4accessed: 2021
[13]

SNEWPY: A data pipeline from supernova simulations to neu- trino signals,

A. Baxter et al., “SNEWPY: A data pipeline from supernova simulations to neu- trino signals,”Journal of Open Source Software, vol. 6, no. 67, p. 3772, Nov. 27, 2021,issn: 2475-9066.doi:10.21105/joss.03772Accessed: Mar. 6, 2026. [On- line]. Available:https://joss.theoj.org/papers/10.21105/joss.03772

work page doi:10.21105/joss.03772accessed: 2021
[14]

Neutrino signatures of dying massive stars: From main sequence to the neutron star,

A. Odrzywolek and A. Heger, “Neutrino signatures of dying massive stars: From main sequence to the neutron star,”Acta Phys. Polon. B, vol. 41, A. Zalewska, Ed., pp. 1611–1628, 2010

2010
[15]

Presupernova neutrinos: Realistic emissivities from stellar evolution,

K. M. Patton, C. Lunardini, and R. J. Farmer, “Presupernova neutrinos: Realistic emissivities from stellar evolution,”The Astrophysical Journal, vol. 840, no. 1, p. 2, Apr. 2017,issn: 0004-637X.doi:10.3847/1538-4357/aa6ba8Accessed: Jun. 5,

work page doi:10.3847/1538-4357/aa6ba8accessed: 2017
[16]

Available:https://dx.doi.org/10.3847/1538-4357/aa6ba8

[Online]. Available:https://dx.doi.org/10.3847/1538-4357/aa6ba8

work page doi:10.3847/1538-4357/aa6ba8
[17]

M., Freire, P

C. Kato et al., “Neutrino emissions in all flavors up to the pre-bounce of massive stars and the possibility of their detections,”The Astrophysical Journal, vol. 848, no. 1, p. 48, Oct. 2017,issn: 0004-637X.doi:10 . 3847 / 1538 - 4357 / aa8b72 Accessed: Jun. 5, 2025. [Online]. Available:https://dx.doi.org/10.3847/1538- 4357/aa8b72

work page doi:10.3847/1538- 2017
[18]

Presupernova neu- trino events relating to the final evolution of massive stars,

T. Yoshida, K. Takahashi, H. Umeda, and K. Ishidoshiro, “Presupernova neu- trino events relating to the final evolution of massive stars,”Physical Review D, vol. 93, no. 12, p. 123 012, Jun. 21, 2016.doi:10.1103/PhysRevD.93.123012 Accessed: Jun. 5, 2025. [Online]. Available:https://link.aps.org/doi/10. 1103/PhysRevD.93.123012 6 [18]SNEWS2/sntools, origina...

work page doi:10.1103/physrevd.93.123012 2016