{"id":"f87b9bfd-c4b4-41d1-ad5c-bb8f5932e74a","arxiv_id":"2607.09273","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"Neutrino hyperon final-state interactions at SBND/DUNE constrain the sub-saturation U_Λ and U_Σ potentials, mapping them through a GM1 EOS to a neutron-star maximum-mass posterior set mainly by external priors.","lead":"Accelerator neutrinos on argon can pin down the low-density hyperon potential via trapped-Λ fractions and escape momenta. This terrestrial handle feeds neutron-star equations of state and the hyperon-puzzle mass limit.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.5","headline":"The trapping proxy already biases U_Λ by ~6 MeV and is the dominant U_Λ handle; without a hypernuclear-structure check the several-MeV anchor claim remains provisional.","rationale":"The reader correctly isolates the trapping proxy as the weakest modelling link. The paper is unusually transparent about measured versus inferred quantities, the γ degeneracy, and the YN and transport systematics, so the overall chain remains a carefully scoped proposal rather than an over-claim. Because the same incomplete proxy supplies ~90 % of the U_Λ information and already produces a ~6 MeV bias under a documented alternative transport prescription, the several-MeV robustness of the low-density anchor is still provisional. That keeps the verdict Conditional; no stronger rejection is warranted, and no weaker acceptance is justified until a hypernuclear-structure check is performed. The concrete test above would settle the issue with a single, well-defined re-analysis of the existing response surfaces.","tokens_in":25953,"tokens_out":675,"duration_ms":8178,"concrete_test":"Re-run the four-beam Fisher forecast of Sec. X A / Appendix B after replacing the energy-threshold proxy with a simple Woods–Saxon + spin-orbit capture probability (or a published hypernuclear optical-potential capture rate) that depends on the local density and the Λ angular momentum at production; if the resulting δU_Λ (fixed-γ and γ-marginalised) or the exit-shift/gradient bias shifts by more than ~3 MeV, the claimed several-MeV robustness of the low-density anchor is overstated.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim that neutrino FSI furnish a robust several-MeV low-density U_Λ anchor rests on the transport-level energy-threshold trapping criterion of Sec. IV A and Eq. (3): a Λ is counted trapped if E_out = E_in + U_Λ(ρ_v) ≤ m_Λ. The paper itself states that this is not a hypernuclear-structure calculation (shell structure, angular momentum and de-excitation are omitted) and that switching from the baseline exit-shift to continuous gradient-force transport already raises the trapped fraction (0.128 \to 0.158 at SBND-RHC) and biases the extracted U_Λ by −5.8 MeV (Fisher-weighted). Because the reconstructed Λ-reco fraction carries ~90 % of the U_Λ information (Sec. X A), this modelling choice is comparable in size to the γ-marginalised statistical error (5.6 MeV) and to the YN systematic (≲5 MeV). The monotonic response and the joint-fit posterior therefore inherit an unquantified residual from an incomplete capture model; the several-MeV robustness asserted for the U_Λ handle is not yet demonstrated once that residual is treated as a free systematic rather than a fixed bias.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proposes that charged-current (anti)neutrino interactions on 40Ar at SBND and DUNE produce Λ and Σ inside the nucleus whose final-state interactions encode the in-medium potentials U_Y(ρ). Using the internal StrangeMC generator, it maps the trapped-Λ fraction, escaping momenta and a kaon-vetoed FSI-Σ+ tag over (U_Λ, U_Σ), shows monotonic, sign-correct responses, and constructs a detector-level Fisher forecast. At fixed low-density exponent γ the statistical reach is δU_Λ ≃ 0.3 MeV and δU_Σ ≃ 3–4 MeV; marginalising over γ degrades the U_Λ anchor to 5.6 MeV because production is sub-saturation. The same potentials, inserted into a GM1 RMF EOS at established hypernuclear/Σ-atom depths, give M_max = 1.94 M_⊙ and Λ_1.4 = 1034. A joint Bayesian fit with hypernuclear, Σ-atom and heavy-ion priors yields M_max = 2.21^{+0.04}_{-0.15} M_⊙, set mainly by the external c_Λ prior. The paper is explicit that neutrinos measure the low-density function U_Y(ρ ≲ ρ_0) and that M_max is an inference, and it quantifies leading systematics (YN cross sections, exit-shift vs gradient transport).","tokens_in":26307,"tokens_out":2018,"duration_ms":26967,"significance":"If the chain holds, accelerator neutrinos supply an independent terrestrial low-density anchor on U_Λ complementary to hypernuclei and Σ-atoms, with a realistic several-MeV precision after γ-marginalisation and systematics. The novelty is the end-to-end link neutrino FSI → U_Y(ρ ≲ ρ_0) → hyperonic EOS → TOV/M_max, carefully separated into measured versus inferred quantities. Strengths include the quantified γ degeneracy (99.8% anti-correlation), the published binned response derivatives (Appendix B) that make the Fisher forecast reproducible, the honest hierarchy that U_Σ is YN-limited at O(150) MeV while U_Λ remains the robust handle, and the clear statement that the joint M_max posterior is prior-dominated. These are genuine contributions to the hyperon-puzzle literature even if the high-density sector remains unconstrained.","major_comments":[{"comment":"Sec. IV A and Eq. (3): the central U_Λ observable is the trapped-Λ fraction, which carries ~90% of the U_Λ information (Sec. X A) and is defined by the transport-level criterion E_out = E_in + U_Λ(ρ_v) ≤ m_Λ. The paper correctly states that shell structure, angular momentum and de-excitation are not modelled, and Sec. X D already finds that switching from exit-shift to gradient-force transport biases U_Λ by −5.8 MeV (Fisher-weighted). Because this bias is comparable to the γ-marginalised statistical error (5.6 MeV) and to the YN systematic (≲5 MeV), the claim of a 'robust several-MeV' anchor (abstract; Sec. X D) still rests on an incomplete capture model. A quantitative envelope for the residual capture-model uncertainty—e.g. a simple hypernuclear-structure estimate of the capture probability, or a broader variation of the trapping threshold—should be added so that the several-MeV floor","section":"Sec. IV A, Eq. (3); Sec. X D"},{"comment":"Sec. XIII and Table XI: the entire sensitivity chain is generated with StrangeMC, an internal multi-channel Monte Carlo that is not community-benchmarked. The production layer is calibrated to published ΔS=0,1 cross sections and cross-checked against MicroBooNE CC-K+, and the cascade is forked from LUNAR, but the paper itself notes that no same-input cascade comparison with NuWro/GiBUU/GENIE exists for the strange sector. The three consistency checks in Table XI (yield O(10^4), QE dominance, Σ\toΛ direction) are necessary but weak for a load-bearing transport model. Either a controlled same-input comparison for at least the trapped fraction and ⟨p_Λ⟩, or a clearer statement that absolute rates and the U_Σ handle remain provisional pending such a benchmark, is needed before the projected reach can be taken at face value.","section":"Sec. XIII; Table XI"},{"comment":"Sec. X A: the Fisher forecast is signal-only, uses representative beam energies rather than flux-folded spectra, and treats the three observables as statistically independent. The paper notes these make the ellipse 'somewhat optimistic' but sub-dominant to γ and YN. Given that the fixed-γ δU_Λ = 0.3 MeV is already superseded by systematics at the several-MeV level, the optimistic assumptions mainly affect the relative weight of beams and the quoted δU_Σ. A short flux-folded check (or a statement that the combined ellipse was re-evaluated with correlated observables) would make the forecast more defensible as a planning tool for SBND/DUNE.","section":"Sec. X A"}],"minor_comments":[{"comment":"Fig. 1 caption and Sec. III: the density lever-arm figure is helpful; consider marking the approximate production-density peak (ρ̄/ρ_0 ≃ 0.6–0.7) used in the γ-degeneracy argument of Sec. X B so the figure and text align.","section":"Fig. 1; Sec. III"},{"comment":"Table VIII: the SBND-RHC row is flagged as an upper estimate because the QE model sits ~×1.6 above published curves at 1 GeV. Propagating that factor into the combined Fisher ellipse (or quoting a range) would clarify how exposure uncertainty enters the reach.","section":"Table VIII"},{"comment":"Sec. VII A: the residual feed-down background from undetected K^0_L after the charged-kaon veto is left unquantified. Even a rough estimate would strengthen the claim that the FSI-Σ+ tag is low-background.","section":"Sec. VII A"},{"comment":"Eq. (1) and Sec. VIII: the turn-over form is anchor-preserving at ρ_0, which is well motivated; a one-sentence reminder that (c_Y, β) are never constrained by the neutrino data (only by the heavy-ion prior) would help readers who jump to the joint-fit section.","section":"Eq. (1); Sec. VIII"},{"comment":"References: companion Letter [8] and companion paper [29]/[36] are cited as submitted/in preparation; ensure arXiv identifiers or DOIs are updated at proof stage so the chain is citable.","section":"References"},{"comment":"Notation: U_Y(ρ_0) is sometimes written U_Y and sometimes U_Y(ρ_0) in figure axes (e.g. Figs. 2–7); consistent use of U_Y(ρ_0) would avoid confusion with the full density-dependent function.","section":"Figs. 2–7"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is unusually careful about measured-versus-inferred quantities and about not overclaiming M_max from neutrino data; that honesty should be preserved through revision. The main risk is that the trapping-proxy and StrangeMC-validation points are load-bearing for the precision claim; if the authors only rephrase without adding a capture-model envelope or a cascade benchmark plan, the several-MeV robustness statement remains provisional. Scope fit for a nuclear-theory journal is good; the companion Letter should not be required for the long paper to stand alone."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The useful thing here is the end-to-end chain: accelerator (anti)neutrino hyperon production on argon, through FSI observables (trapped-Λ fraction, escape momenta, kaon-vetoed FSI-Σ+), to a low-density U_Y(ρ≲ρ0) anchor, then into a GM1 RMF and TOV. Prior neutrino work stops at cross sections; prior EOS work uses other probes. That link, plus the density-lever-arm figure and the explicit measured-vs-inferred language, is the real contribution.\n\nWhat the paper does well is the accounting. The response maps are monotone and sign-correct. The Fisher forecast is transparent (Appendix B gives the derivatives). The γ degeneracy is not papered over: fixed-γ δU_Λ ~0.3 MeV becomes 5.6 MeV once γ is free, and the joint posterior U_Λ = -29.3 ± 3.2 MeV is a genuine mix with the hypernuclear prior. YN systematics kill U_Σ (~150 MeV bias, and removing the Σ+ tag does not fix it because the Λ spectrum carries most of the information). The paper correctly treats U_Λ as the robust handle and states that M_max = 2.21^{+0.04}_{-0.15} is set by the external c_Λ prior, not by the neutrino data. That honesty is rare and valuable.\n\nThe soft spot the stress-test flags is real but already quantified in the paper: the transport-level trapping proxy (E_out ≤ m_Y) is not hypernuclear structure, and exit-shift vs gradient transport already biases U_Λ by ~6 MeV. That is comparable to the γ-marginalised error and the YN term, so the several-MeV claim is the right one; the sub-MeV fixed-γ number is not. Closed-source StrangeMC limits independent checks, but the published response surfaces let you rebuild the Fisher matrix. EOS-model spread (~0.3 M_⊙) still dwarfs the neutrino statistical pull.\n\nThis is for people who care about the hyperon puzzle or about validating strange FSI in neutrino generators. It is not a measurement of M_max. I would send it to peer review; the scoping and systematics are solid enough that a referee can do useful work on the trapping model and the generator validation path. Worth engaging.","headline":"A carefully scoped new chain from neutrino hyperon FSI to a low-density U_Y anchor; the several-MeV claim is honest once γ and transport systematics are counted, and M_max stays prior-dominated.","tokens_in":26916,"tokens_out":673,"would_cite":true,"duration_ms":8034,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Accelerator neutrinos on argon can measure the low-density hyperon potentials that decide whether neutron stars can host hyperons.","keywords":["hyperon potential","neutrino-nucleus interactions","final-state interactions","hyperon puzzle","neutron-star equation of state","SBND","DUNE","liquid argon"],"falsifier":"Measure the reconstructed Lambda-V0 yield and mean momentum (and the kaon-vetoed Sigma-plus rate) in SBND or DUNE near-detector argon samples and check whether they vary with beam energy and polarity as the predicted monotonic response surfaces require; a null or opposite dependence would falsify the claimed potential sensitivity.","tokens_in":26816,"feed_emoji":"⚛️","tokens_out":691,"duration_ms":6441,"temperature":0.7,"pith_summary":"The paper argues that charged-current neutrino and antineutrino interactions on argon produce Lambda and Sigma hyperons inside the nucleus, and that those hyperons feel the same density-dependent single-particle potentials that control hyperon appearance in neutron-star matter. At SBND and DUNE energies the trapped-Lambda fraction, the escaping hyperon momenta, and a kaon-vetoed Sigma-plus final-state tag all respond monotonically to the Lambda and Sigma potentials. Because the hyperons are born below nuclear saturation, the data mainly constrain the low-density shape of the potential rather than a single number at saturation; once that shape is fixed or marginalised, the same potentials can be fed into a relativistic mean-field equation of state to obtain a maximum mass. The forecast shows that the Lambda anchor remains useful at the several-MeV level after realistic systematics, while the Sigma extraction is presently limited by hyperon-nucleon cross-section uncertainty. A joint fit with existing hypernuclear and heavy-ion priors then yields a maximum-mass posterior set largely by the external high-density prior, not by the neutrino likelihood itself.","feed_headline":"Neutrinos on argon pin down hyperon potentials for neutron stars","feed_subtitle":"Trapped-Lambda fraction and escape momenta at SBND/DUNE give a low-density anchor for the hyperon puzzle","key_machinery":"The density-dependent single-particle potential U_Y(rho) of turnover form, applied either as an exit-energy shift or as continuous gradient-force transport inside the StrangeMC intranuclear cascade, which maps potential depths onto the trapped-Lambda fraction and escaping hyperon momenta.","core_discovery":"Charged-current accelerator (anti)neutrino interactions on argon produce Lambda and Sigma hyperons inside the nucleus whose trapped fraction, escape momenta and kaon-vetoed FSI-Sigma-plus tag respond monotonically to the in-medium potentials U_Lambda and U_Sigma, furnishing a terrestrial low-density anchor that can be inserted into a hyperonic equation of state.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Neutrinos on argon constrain hyperon potentials for neutron stars","Trapped Lambdas from argon neutrinos anchor U_Y for the hyperon puzzle","SBND/DUNE hyperon FSIs probe in-medium Lambda and Sigma potentials","Neutrino-induced hyperons on argon fix low-density U_Lambda and U_Sigma","Argon (anti)neutrino data pin hyperon potentials linked to neutron-star mass"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The simple energy-threshold trapping rule and the exit-shift (or gradient) transport prescription are taken to map the potential onto the trapped-Lambda fraction without a full hypernuclear-structure calculation of capture.","fun_headline_variants_meta":{"raw":{"variants":["Neutrinos on argon constrain hyperon potentials for neutron stars","Trapped Lambdas from argon neutrinos anchor U_Y for the hyperon puzzle","SBND/DUNE hyperon FSIs probe in-medium Lambda and Sigma potentials","Neutrino-induced hyperons on argon fix low-density U_Lambda and U_Sigma","Argon (anti)neutrino data pin hyperon potentials linked to neutron-star mass"]},"model":"grok-4.5","effort":"low","cost_usd":0.005042,"raw_usage":{"total_tokens":1619,"prompt_tokens":1072,"num_sources_used":0,"completion_tokens":91,"cost_in_usd_ticks":50420000,"prompt_tokens_details":{"text_tokens":1072,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":456,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":1072,"tokens_out":91,"duration_ms":4156,"temperature":1.0,"reasoning_tokens":456,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T04:13:17.118003+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Measure the reconstructed Lambda-V0 yield and mean momentum (and the kaon-vetoed Sigma-plus rate) in SBND or DUNE near-detector argon samples and check whether they vary with beam energy and polarity as the predicted monotonic response surfaces require; a null or opposite dependence would falsify the claimed potential sensitivity.","supporting_citations":[],"review_version":1}