{"id":"64a7e9b8-d2de-41e0-819d-b30b5215592d","arxiv_id":"2607.28346","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":3,"one_line_summary":"In tau-pair pion decays, twofold neutrino ambiguity leaves only Cnr−Crn unidentifiable; a self-consistent unfolding recovers the other fifteen spin-density coefficients without a production template.","lead":"Missing neutrinos do not automatically erase collider spin tomography. The paper shows that only a single antisymmetric spin-correlation combination is lost in the tau-to-pion channel, and gives a template-free fixed-point method that recovers the rest from visible data alone.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"Reconstruction claims rest on perfect knowledge of both kinematic folds; detector-level fold errors are untested and could bias the fixed-point map.","rationale":"The reader correctly isolates the idealization that actually supports the strongest practical claim. The analytic one-dimensional null space (App. B) and the infinite-statistics fixed-point family (Eq. 10; App. C.2) are internally consistent and well documented; power-iteration/Arnoldi checks that the only unit mode is C−nr are convincing on ideal samples. Those results do not require detector modeling. What does is the assertion that the same fixed-point unfolding “reproduces the truth-level differential production rate and all identifiable spin coefficients” in a collider-relevant sense. That assertion is only stress-tested with perfect ϕt(Φ). The proposed smear-and-re-solve test directly checks whether the load-bearing assumption fails. Because the paper already frames results as generator-level closure and does not claim a full experimental projection, CONDITIONAL with high confidence remains the right verdict; no upgrade to REJECT or downgrade of the math is warranted. I agree with the reader’s weakest_assumption rather than replacing it.","tokens_in":27139,"tokens_out":637,"duration_ms":33829,"concrete_test":"Re-run the SM and anomalous-dipole closure of Figs. 1–3 after Gaussian-smearing generator pion 3-momenta with Belle-II-like angular/energy resolution, then re-solving the twofold cones from the smeared Φ only (no truth fold label). If after 10 iterations the identifiable-subspace rRMS (Eq. 11) stays ≳ the flat-average residual or systematically biased vs. truth, the reconstruction claim does not survive realistic fold errors.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central practical claim is that the self-consistent map T (Sec. III, Eqs. 7–9; App. C) recovers the identifiable 15 coefficients from visible data alone. That map is built from the exact allowed solutions ϕt(Φ) and Jacobians Jt for each true visible Φ (Sec. IV: “uses only the observed pion momenta and the two allowed kinematic solutions”; 1e8 generator-level events, no acceptance/efficiency). The analytic null space (App. B.2, Eq. B27) likewise assumes the ideal twofold geometry and Ja=Jb. If measured pion momenta are smeared or acceptance-truncated, the reconstructed folds and weights ωt are wrong, so the empirical update bTN is no longer a noisy version of the ideal T; additional approximate kernel directions or biases in Rα, B±i, Cij can appear. Closure under perfect folds therefore does not establish that the identifiable subspace remains recoverable or that Cnr−Crn stays the sole null mode once folds are imperfect. This is the load-bearing gap between the information-theoretic result and the claimed template-free collider tomography.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper treats collider spin tomography with invisible particles as a coarse-grained continuous POVM on the production spin density matrix, and argues that information loss is fixed by the kernel of the visible-data map rather than by the mere existence of kinematic folds. For e+e−→τ+τ−→π+π−νν̄ it derives analytically that the twofold ambiguity leaves only the antisymmetric combination Cnr−Crn unidentifiable, while the differential production rate and the other fourteen spin coefficients remain identifiable. It then introduces a self-consistent fixed-point unfolding that assigns fold weights from the reconstructed density matrix itself (no production template), and shows in generator-level SM and large anomalous-dipole closure tests that the method removes the bias of a flat 50/50 fold average on the identifiable subspace. With the null direction left free, positivity is used to report controlled ranges for concurrence and the CHSH parameter.","tokens_in":27391,"tokens_out":1269,"duration_ms":32298,"significance":"If correct, this cleanly separates kinematic ambiguity from informational incompleteness and supplies a practical, template-free reconstruction route for a standard tau channel at Belle II / BESIII / STCF. Strengths include an explicit analytic null-space derivation (App. B), a well-characterized fixed-point family with local contraction checked by power and Arnoldi iteration on the identifiable subspace (App. C), and closure tests that demonstrate bias removal relative to the flat average in both SM and non-SM spin structures. The positivity-constrained treatment of concurrence and CHSH is a useful way to keep quantum observables meaningful when a one-dimensional kernel remains. These are concrete, falsifiable advances over ad-hoc fold averaging or template-weighted reconstructions.","major_comments":[{"comment":"Sec. IV and the practical claim in the Abstract/Conclusions: all closure tests and the empirical map T use ideal generator-level events with exact knowledge of both allowed solutions ϕt(Φ) and Jacobians Jt (108 signal events, “before detector acceptance and efficiency effects”; reconstruction “uses only the observed pion momenta and the two allowed kinematic solutions”). The analytic kernel (App. B.2, Eq. B27) likewise assumes the ideal twofold geometry and Ja=Jb. Under realistic pion smearing, acceptance cuts, or imperfect fold reconstruction, the empirical update is no longer a noisy version of the ideal T; additional approximate kernel directions or biases in Rα, B±i, Cij can appear. The manuscript already notes that the tests are not a full experimental projection, but the central practical claim—that the identifiable subspace is recoverable template-free at colliders—still rests on","section":"Sec. IV; Abstract; Conclusions"},{"comment":"Sec. V claims the same framework “is also applicable” to multi-hadron tau decays and to fully leptonic WW and dileptonic tt̄. No null-space calculation, response-map rank, or closure test is given for Nfold>2 or for continuous latent neutrinos. Those processes have qualitatively different coarse-grainings; applicability is plausible but not demonstrated. The claim should be limited to a prospective outlook, or supported by at least a schematic kernel argument for one higher-fold case.","section":"Sec. V Conclusions"}],"minor_comments":[{"comment":"Fig. 1–2 and App. D figures: several SM components that are truth-zero appear as noisy bands around zero; a short note in the captions that flat-average and iterated values are then statistically indistinguishable (and that this is expected) would prevent misreading “no visible improvement” as failure of the method.","section":"Fig. 1–2; Appendix D"},{"comment":"App. E: the positivity tolerance ε=10−3 is a free numerical parameter that directly widens the concurrence/CHSH intervals. A one-sentence sensitivity check (e.g. ε=10−4 vs 10−3) or a statement that intervals are reported only when feasible under that tolerance would make the quantum-observable results more transparent.","section":"Appendix E"},{"comment":"The anomalous-dipole benchmark (aτ=0.01−0.02i, d̃τ=−0.05+0.03i) is appropriately labeled a stress test, but the main text could point more explicitly to App. C.2.b where this is justified, so readers do not treat the point as a realistic BSM target.","section":"Sec. IV; App. C.2.b"},{"comment":"Notation: R(k̂) is used both for the normalized production density and (in places) interchangeably with dσ/(σ d k̂); a single consistent symbol in Sec. II–III and App. A would help.","section":"Sec. II; Appendix A"},{"comment":"Related-work placement: the discussion of Belle flat-averaging, STCF limitations, and ATLAS/CMS dilepton/semileptonic choices is good; a brief forward pointer in the Introduction to how the fixed-point weights differ operationally from vertex-weighted or single-solution prescriptions would sharpen the contrast.","section":"Sec. I"}],"recommendation":"minor_revision","confidential_remarks":"Solid hep-ph theory+methods paper with a real analytic result and honest closure tests. The detector/fold gap is the only load-bearing practical limitation; it is fixable by scoping or a short stress test and does not undermine the information-theoretic core. Suitable for the journal after minor revision. No concerns about novelty disclosure or citation behavior."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news here is not “neutrinos are annoying.” It is that the authors turn the twofold tau-pion ambiguity into an explicit kernel of a coarse-grained POVM, prove analytically that the only lost direction is C_nr − C_rn, and then give a data-driven fixed-point iteration that recovers the other fifteen coefficients without a production template.\n\nThat combination is new relative to Belle’s flat average, tracking-based solution picking, and template-weighted analyses. Appendix B is the strongest part: the mirror geometry, equal Jacobians, and the reduction to a single constant null mode are written out carefully. The fixed-point family and the unit eigenvalue along the null direction are checked both analytically and with power/Arnoldi iteration on the Jacobian of T. Closure on 1e8 generator-level SM and large anomalous-dipole events shows the flat 50/50 start is biased even in dσ/dκ̂, while the iteration pulls the identifiable subspace back to truth. Positivity then gives controlled ranges for concurrence and CHSH instead of pretending the null component is known. Citations to the tomography and Belle EDM literature look appropriate; self-cites are not load-bearing.\n\nThe soft spot the stress test flags is real but secondary. Everything is ideal: perfect knowledge of both folds, no smearing, acceptance, efficiency, or background. Once measured pions are imperfect, the empirical map is no longer just noisy T, and extra approximate kernel directions or biases can appear. The paper does not claim otherwise; Sec. IV is explicit that this is a generator-level closure. So the information-theoretic statement stands; the “ready for Belle II / STCF” practical claim does not yet. Binning (N_bin=40) and the positivity tolerance ε=10^{-3} are free parameters, but they are not hiding the result.\n\nThis is for people doing collider spin tomography or entanglement with missing energy—tau pairs first, then dileptonic tops or WW. It deserves a serious referee. I would engage with it, cite the null-space criterion and the unfolding idea, and push for a detector-level follow-up.","headline":"Clean analytic null-space result plus a working template-free fixed-point unfold for the tau-pion channel; detector-level fold errors are untested but do not erase the information-theoretic core.","tokens_in":28031,"tokens_out":530,"would_cite":true,"duration_ms":9140,"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":"Missing neutrinos leave only one spin-correlation direction unidentifiable in tau-pair pion decays, and the rest can be recovered from visible data alone.","keywords":["spin tomography","missing neutrinos","tau pairs","POVM","null space","kinematic ambiguity","spin correlations","quantum entanglement at colliders"],"falsifier":"Apply the fixed-point unfolding to a large simulated or real tau-pair pion sample where the true identifiable spin coefficients are known independently: if the iterated identifiable components remain biased relative to truth while a flat fold average is not worse, or if more than the single Cnr−Crn direction is lost under the stated kinematics, the central claim fails.","tokens_in":28027,"feed_emoji":"⚛️","tokens_out":930,"duration_ms":16086,"temperature":0.7,"pith_summary":"Collider experiments often lose neutrinos, which creates multiple allowed kinematic reconstructions and has long been treated as a barrier to measuring the full production spin density matrix. This paper argues that what is lost is not fixed by how many solutions exist, but by the kernel of the map from spin state to visible momenta. In electron-positron collisions producing tau pairs that decay to charged pions plus neutrinos, that kernel is only the antisymmetric transverse correlation Cnr minus Crn; the production-angle distribution and the other fourteen spin coefficients remain identifiable. The authors give a fixed-point unfolding that reweights the kinematic folds using the density matrix inferred from the data itself, without any theoretical production template, and show in closure tests that it removes the large bias of the usual flat average over folds. Positivity on the reconstructed identifiable part still yields controlled ranges for entanglement measures such as concurrence and the CHSH parameter.","feed_headline":"Missing neutrinos leave only one tau spin direction unreadable","feed_subtitle":"A data-driven unfolding recovers the other fourteen spin coefficients without a production template","key_machinery":"The null-space criterion for a coarse-grained continuous POVM: a spin-density-matrix direction is lost only if a variation along it leaves the visible distribution unchanged for every visible configuration. Combined with a self-consistent fixed-point map that assigns fold weights from the trial density matrix and updates that matrix from fold-weighted observables.","core_discovery":"In e+e−→τ+τ−→π+π−+νν̄, the twofold kinematic ambiguity does not destroy spin tomography: information loss is confined to the single null direction Cnr−Crn, while the differential production rate and the remaining fourteen spin coefficients are identifiable from the visible pion distribution. A self-consistent fixed-point unfolding recovers those identifiable quantities from visible data alone, without a production template, and outperforms flat averaging over kinematic folds.","pith_inferences":["If the null-space dimension stays small in dileptonic top events, full density-matrix tomography may become feasible where experiments have so far quoted only selected entanglement-sensitive observables.","Detector smearing that mixes the two fold solutions could enlarge the effective kernel beyond Cnr−Crn, so the first experimental priority is likely a resolution study of fold separation, not more luminosity alone.","The method’s template independence makes it a natural cross-check on anomalous tau-dipole or other new-physics spin structures that production-template fits might absorb."],"forward_implications":["Tau-pair spin tomography at Belle II, BESIII, and STCF can target the full identifiable subspace rather than treating the twofold ambiguity as a blanket obstruction.","Flat 50/50 averaging over neutrino solutions systematically biases even the normalized production-angle distribution and should be replaced by data-driven fold weights.","Concurrence and CHSH can still be reported as positivity-constrained ranges when one null direction remains, without fixing that direction to a Standard Model template.","The same null-space plus fixed-point framework extends in principle to multi-hadron tau decays and to processes with several invisibles such as dileptonic top pairs and fully leptonic WW."],"fun_headline_variants":["Neutrino folds hide only one tau spin correlation","Fourteen tau spin coefficients stay readable with missing neutrinos","Visible pions recover all but one spin direction in tau pairs","Fixed-point unfolding maps tau spins without production template","Twofold ambiguity nulls solely Cnr−Crn in tau spin tomography"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The reconstruction and closure tests assume perfect knowledge of the two allowed kinematic solutions on ideal generator-level events, with no detector resolution, acceptance, efficiency, or background.","fun_headline_variants_meta":{"raw":{"variants":["Neutrino folds hide only one tau spin correlation","Fourteen tau spin coefficients stay readable with missing neutrinos","Visible pions recover all but one spin direction in tau pairs","Fixed-point unfolding maps tau spins without production template","Twofold ambiguity nulls solely Cnr−Crn in tau spin tomography"]},"model":"grok-4.5","effort":"low","cost_usd":0.004532,"raw_usage":{"total_tokens":1297,"prompt_tokens":758,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":45324000,"prompt_tokens_details":{"text_tokens":758,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":471,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":758,"tokens_out":68,"duration_ms":8747,"temperature":1.0,"reasoning_tokens":471,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T10:35:10.386783+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Apply the fixed-point unfolding to a large simulated or real tau-pair pion sample where the true identifiable spin coefficients are known independently: if the iterated identifiable components remain biased relative to truth while a flat fold average is not worse, or if more than the single Cnr−Crn direction is lost under the stated kinematics, the central claim fails.","supporting_citations":[],"review_version":1}