[ { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "I. Alekseev", "V. Belov", "A. Bystryakov", "M. Danilov", "D. Filosofov", "M. Fomina", "P. Gorovtsov", "Ye. Iusko", "S. Kazartsev", "V. A. Khvatov", "S. Kiselev", "A. Kobyakin", "A. Krapiva", "A. Kuznetsov", "I. Machikhiliyan", "\u041d. \u0418. \u041c\u0430\u0448\u0438\u043d", "D. Medvedev", "V. Nesterov", "Dmitry Ponomarev", "I. Rozova", "N. Rumyantseva", "V. Rusinov", "A. Salamatin", "E. Samigullin", "E. Shevchik", "M. Shirchenko", "Yu. Shitov", "N. Skrobova", "D. Svirida", "E. Tarkovsky", "E. Yakushev", "I. Zhitnikov", "A. Yakovleva", "D. Zinatulina" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "I. Alekseev, V. Belov, A. Bystryakov et al. (2025). Long term remote reactor power and fuel composition monitoring using antineutrinos. Physics Letters B. https://doi.org/10.1016/j.physletb.2025.139575", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "Electron antineutrinos are emitted in the decay chains of the fission products inside a reactor core and could be used for remote monitoring of nuclear reactors. The DANSS detector", "source_ref": "https://doi.org/10.1016/j.physletb.2025.139575" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Electron antineutrinos are emitted in the decay chains of the fission products inside a reactor core and could be used for remote monitoring of nuclear reactors. The DANSS detector", "source_ref": "https://doi.org/10.1016/j.physletb.2025.139575" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "Electron antineutrinos are emitted in the decay chains of the fission products inside a reactor core and could be used for remote monitoring of nuclear reactors. The DANSS detector", "source_ref": "https://doi.org/10.1016/j.physletb.2025.139575" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Electron antineutrinos are emitted in the decay chains of the fission products inside a reactor core and could be used for remote monitoring of nuclear reactors. The DANSS detector is placed under the core of the 3.1 GW power reactor at the Kalinin Nuclear Power Plant (KNPP) and collects up to 5000 antineutrino events per day. DANSS measured changes of the reactor power by anti", "theorem_proof_scaffolds": [], "title": "Long term remote reactor power and fuel composition monitoring using antineutrinos", "url": "https://doi.org/10.1016/j.physletb.2025.139575", "year": 2025 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Fengpeng An", "Wenqi Bai", "A. B. Balantekin", "M. Bishai", "S. Blyth", "G. F. Cao", "Junjie Cao", "J. F. Chang", "Yu-Jung Chang", "H. S. Chen", "H. Y. Chen", "S. M. Chen", "Y. Chen", "Y. X. Chen", "Z. Y. Chen", "J. Cheng", "Yi-Ting Cheng", "Z. K. Cheng", "J. J. Cherwinka", "M. C. Chu", "J. P. Cummings", "O. Dalager", "F. S. Deng", "X. Y. Ding", "Y. Y. Ding", "M. V. Diwan", "Tade\u00e1\u0161 Dohnal", "D. Dolzhikov", "J. Dove", "Katherine Dugas", "H. Y. Duyang", "D. A. Dwyer", "J. P. Gallo", "M. Gonchar", "G. H. Gong", "H. Gong", "W. Gu", "J. Y. Guo", "Lei Guo", "Xin-Heng Guo", "Yingjun Guo", "Ziwei Guo", "R. Hackenburg", "Yang Han", "S. Hans", "M. He", "K. M. Heeger", "Y. K. Heng", "Y. K. Hor", "Y. B. Hsiung", "Beibei Hu", "Jun Hu", "T. Hu", "Z. Hu", "H. X. Huang", "J. H. Huang", "X. T. Huang", "Y. B. Huang", "Patrick Huber", "D. E. Jaffe", "K. L. Jen", "X. L. Ji", "X. Ji", "Rob Johnson", "D. Jones", "Li-Wei Kang", "S. H. Kettell", "S. Kohn", "M. Kr\u00e4mer", "T. J. Langford", "J. Lee", "J. H. C. Lee", "R. T. Lei", "R. Leitner", "J. K. C. Leung", "F. Li", "H. L. Li", "Jinjing Li", "Q. J. Li", "R. H. Li", "Sai Li", "S. Li", "W. D. Li", "X. N. Li", "X. Q. Li", "Y. F. Li", "Z. B. Li", "Han Liang", "C. J. Lin", "Guey-Lin Lin", "S. Lin", "Jiajie Ling", "J. M. Link", "L. Littenberg", "B. R. Littlejohn", "J. C. Liu", "J. L. Liu", "J. X. Liu" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "citation": "Fengpeng An, Wenqi Bai, A. B. Balantekin et al. (2025). Comprehensive Measurement of the Reactor Antineutrino Spectrum and Flux at Daya Bay. Physical Review Letters. https://doi.org/10.1103/physrevlett.134.201802", "claims": [ "Reactor antineutrino measurements contain exploitable information for model-based detection tasks." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Reactor antineutrino measurements contain exploitable information for model-based detection tasks.", "locator": "title/abstract", "provenance_snippet": "This Letter reports the precise measurement of the reactor antineutrino spectrum and flux based on the full dataset of 4.7\u00d710^{6} inverse-beta-decay candidates collected at Daya Ba", "source_ref": "https://doi.org/10.1103/physrevlett.134.201802" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "This Letter reports the precise measurement of the reactor antineutrino spectrum and flux based on the full dataset of 4.7\u00d710^{6} inverse-beta-decay candidates collected at Daya Ba", "source_ref": "https://doi.org/10.1103/physrevlett.134.201802" }, { "atom_type": "equation", "confidence": "high", "content": "P_{ee}\\approx 1-\\sin^22\\theta_{13}\\sin^2\\Delta_{31}-\\cos^4\\theta_{13}\\sin^22\\theta_{12}\\sin^2\\Delta_{21}", "locator": "core model equation", "provenance_snippet": "Canonical equation used by this source family", "source_ref": "https://doi.org/10.1103/physrevlett.134.201802" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "This Letter reports the precise measurement of the reactor antineutrino spectrum and flux based on the full dataset of 4.7\u00d710^{6} inverse-beta-decay candidates collected at Daya Ba", "source_ref": "https://doi.org/10.1103/physrevlett.134.201802" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [ "P_{ee}\\approx 1-\\sin^22\\theta_{13}\\sin^2\\Delta_{31}-\\cos^4\\theta_{13}\\sin^22\\theta_{12}\\sin^2\\Delta_{21}" ], "limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "source_type": "paper", "summary": "This Letter reports the precise measurement of the reactor antineutrino spectrum and flux based on the full dataset of 4.7\u00d710^{6} inverse-beta-decay candidates collected at Daya Bay near detectors. Expressed in terms of the inverse-beta-decay yield per fission, the antineutrino spectra from all reactor fissile isotopes and the specific ^{235}U and ^{239}Pu isotopes are measured", "theorem_proof_scaffolds": [], "title": "Comprehensive Measurement of the Reactor Antineutrino Spectrum and Flux at Daya Bay", "url": "https://doi.org/10.1103/physrevlett.134.201802", "year": 2025 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Fengpeng An", "Wenqi Bai", "A. B. Balantekin", "M. Bishai", "S. Blyth", "G. F. Cao", "Junjie Cao", "J. F. Chang", "Yue Chang", "H. S. Chen", "H. Y. Chen", "S. M. Chen", "Y. Chen", "Y. X. Chen", "Z. Y. Chen", "J. Cheng", "Yingchun Cheng", "Zhaokan Cheng", "J. J. Cherwinka", "M. C. Chu", "J. P. Cummings", "O. Dalager", "F. S. Deng", "X. Y. Ding", "Yayun Ding", "M. V. Diwan", "T. Dohnal", "D. Dolzhikov", "J. Dove", "Katherine Dugas", "Hongyue Duyang", "D. A. Dwyer", "J. P. Gallo", "M. Gonchar", "G. H. Gong", "H. Gong", "W. Gu", "J. Y. Guo", "L. B. Guo", "X. H. Guo", "Yingjun Guo", "Zihan Guo", "R. Hackenburg", "Y. F. Han", "S. Hans", "Mei He", "K. M. Heeger", "Y. K. Heng", "Y. K. Hor", "Y. Hsiung", "Beibei Hu", "Jun Hu", "T. Hu", "Z. Hu", "H. X. Huang", "Jihong Huang", "X. T. Huang", "Y. B. Huang", "P. Huber", "D. E. Jaffe", "K. L. Jen", "X. L. Ji", "Xiangpan Ji", "R. A. Johnson", "D. Jones", "Li Kang", "S. H. Kette", "S. Kohn", "M. Kramer", "T. J. Langford", "J. Lee", "J. H. C. Lee", "R. T. Lei", "R. Leitner", "J. K. C. Leung", "F. Li", "H. L. Li", "Jinjing Li", "Q. J. Li", "R. H. Li", "S. Li", "S. C. Li", "W. D. Li", "X. N. Li", "X. Q. Li", "Yufeng Li", "Z. B. Li", "H. Liang", "C. J. Lin", "G. L. Lin", "Shiyao Lin", "J. J. Ling", "J. M. Link", "L. Littenberg", "B. R. Littlejohn", "J. C. Liu", "J. L. Liu", "J. X. Liu" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "citation": "Fengpeng An, Wenqi Bai, A. B. Balantekin et al. (2025). Comprehensive Measurement of the Reactor Antineutrino Spectrum and Flux at Daya Bay. arXiv (Cornell University). https://doi.org/10.48550/arxiv.2501.00746", "claims": [ "Reactor antineutrino measurements contain exploitable information for model-based detection tasks." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Reactor antineutrino measurements contain exploitable information for model-based detection tasks.", "locator": "title/abstract", "provenance_snippet": "This Letter reports the precise measurement of reactor antineutrino spectrum and flux based on the full data set of 4.7 million inverse-beta-decay (IBD) candidates collected at Day", "source_ref": "https://doi.org/10.48550/arxiv.2501.00746" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "This Letter reports the precise measurement of reactor antineutrino spectrum and flux based on the full data set of 4.7 million inverse-beta-decay (IBD) candidates collected at Day", "source_ref": "https://doi.org/10.48550/arxiv.2501.00746" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "This Letter reports the precise measurement of reactor antineutrino spectrum and flux based on the full data set of 4.7 million inverse-beta-decay (IBD) candidates collected at Day", "source_ref": "https://doi.org/10.48550/arxiv.2501.00746" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "source_type": "paper", "summary": "This Letter reports the precise measurement of reactor antineutrino spectrum and flux based on the full data set of 4.7 million inverse-beta-decay (IBD) candidates collected at Daya Bay near detectors. Expressed in terms of the IBD yield per fission, the antineutrino spectra from all reactor fissile isotopes and the specific $\\mathrm{^{235}U}$ and $\\mathrm{^{239}Pu}$ isotopes a", "theorem_proof_scaffolds": [], "title": "Comprehensive Measurement of the Reactor Antineutrino Spectrum and Flux at Daya Bay", "url": "https://doi.org/10.48550/arxiv.2501.00746", "year": 2025 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "G. A. Alcal\u00e1", "A. Algora", "M. Fallot", "M. Estienne", "V. Guadilla", "W. Galletly", "Arthur Beloeuvre", "J.-S. Stutzmann", "S. Bouvier", "T. Eronen", "J. Agramunt", "E. Bonnet", "D. \u00c9tasse", "L. Giot", "Axel Laureau", "A. Porta", "J. A. Victoria", "Yohannes Molla", "J. L. Ta\u0131\u0301n" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "citation": "G. A. Alcal\u00e1, A. Algora, M. Fallot et al. (2025). \u03b2 Decay Spectra Measurements for the Study of Reactors\u2019 Antineutrino Spectra. EPJ Web of Conferences. https://doi.org/10.1051/epjconf/202532400023", "claims": [ "Reactor antineutrino measurements contain exploitable information for model-based detection tasks." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Reactor antineutrino measurements contain exploitable information for model-based detection tasks.", "locator": "title/abstract", "provenance_snippet": "Updated reactor antineutrino spectra predictions, based on the Huber-Muller Conversion model, revealed discrepancies known as the Reactor Antineutrino Anomaly (RAA) and the spectra", "source_ref": "https://doi.org/10.1051/epjconf/202532400023" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Updated reactor antineutrino spectra predictions, based on the Huber-Muller Conversion model, revealed discrepancies known as the Reactor Antineutrino Anomaly (RAA) and the spectra", "source_ref": "https://doi.org/10.1051/epjconf/202532400023" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "Updated reactor antineutrino spectra predictions, based on the Huber-Muller Conversion model, revealed discrepancies known as the Reactor Antineutrino Anomaly (RAA) and the spectra", "source_ref": "https://doi.org/10.1051/epjconf/202532400023" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "source_type": "paper", "summary": "Updated reactor antineutrino spectra predictions, based on the Huber-Muller Conversion model, revealed discrepancies known as the Reactor Antineutrino Anomaly (RAA) and the spectral \u201cbump\u201d, raising concerns about the accuracy of the models and data used for these predictions. Consequently, improved nuclear data measurements are essential. The Summation method, an alternative to", "theorem_proof_scaffolds": [], "title": "\u03b2 Decay Spectra Measurements for the Study of Reactors\u2019 Antineutrino Spectra", "url": "https://doi.org/10.1051/epjconf/202532400023", "year": 2025 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "C. Zhang", "X. Qian", "M. Fallot" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "C. Zhang, X. Qian, M. Fallot (2024). Reactor antineutrino flux and anomaly. Progress in Particle and Nuclear Physics. https://doi.org/10.1016/j.ppnp.2024.104106", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies.", "Quantifies spectrum/flux prediction behavior and associated uncertainty drivers." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "Reactor antineutrino flux and anomaly", "source_ref": "https://doi.org/10.1016/j.ppnp.2024.104106" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "Relevant antineutrino safeguards source: Reactor antineutrino flux and anomaly.", "theorem_proof_scaffolds": [], "title": "Reactor antineutrino flux and anomaly", "url": "https://doi.org/10.1016/j.ppnp.2024.104106", "year": 2024 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "V. I. Kope\u01d0kin", "D. V. Popov", "M. D. Skorokhvatov" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "citation": "V. I. Kope\u01d0kin, D. V. Popov, M. D. Skorokhvatov (2024). Dynamics of Energy Release in a Nuclear-Reactor Core. Physics of Atomic Nuclei. https://doi.org/10.1134/s106377882470039x", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "The development of reactor technologies and neutrino physics by means of nuclear reactors requires unceasingly refining and extending knowledge of reactors as an antineutrino sourc", "source_ref": "https://doi.org/10.1134/s106377882470039x" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "The development of reactor technologies and neutrino physics by means of nuclear reactors requires unceasingly refining and extending knowledge of reactors as an antineutrino sourc", "source_ref": "https://doi.org/10.1134/s106377882470039x" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "The development of reactor technologies and neutrino physics by means of nuclear reactors requires unceasingly refining and extending knowledge of reactors as an antineutrino sourc", "source_ref": "https://doi.org/10.1134/s106377882470039x" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "source_type": "paper", "summary": "The development of reactor technologies and neutrino physics by means of nuclear reactors requires unceasingly refining and extending knowledge of reactors as an antineutrino source. By employing new data on the reactor-antineutrino spectrum and updated nuclear databases and upon taking into account special features of fuel burnup, the thermal energy released in the reactor cor", "theorem_proof_scaffolds": [], "title": "Dynamics of Energy Release in a Nuclear-Reactor Core", "url": "https://doi.org/10.1134/s106377882470039x", "year": 2024 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Jenelle Ball", "Ethan Peterson", "R. Kemp", "S. Ferry" ], "baseline_details": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Jenelle Ball, Ethan Peterson, R. Kemp et al. (2024). Assessing the Risk of Proliferation via Fissile Material Breeding in ARC-class Fusion Power Plants. arXiv (Cornell University). https://doi.org/10.48550/arxiv.2404.12451", "claims": [ "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements.", "locator": "title/abstract", "provenance_snippet": "Construction of a nuclear weapon requires access to kilogram-scale quantities of fissile material, which can be bred from fertile material like U-238 and Th-232 via neutron capture", "source_ref": "https://doi.org/10.48550/arxiv.2404.12451" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Construction of a nuclear weapon requires access to kilogram-scale quantities of fissile material, which can be bred from fertile material like U-238 and Th-232 via neutron capture", "source_ref": "https://doi.org/10.48550/arxiv.2404.12451" }, { "atom_type": "equation", "confidence": "high", "content": "M_{Pu}(t)=\\int_0^t \\dot m_{Pu}(t')\\,dt'", "locator": "core model equation", "provenance_snippet": "Canonical equation used by this source family", "source_ref": "https://doi.org/10.48550/arxiv.2404.12451" }, { "atom_type": "procedure", "confidence": "medium", "content": "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures.", "locator": "analysis pipeline", "provenance_snippet": "Construction of a nuclear weapon requires access to kilogram-scale quantities of fissile material, which can be bred from fertile material like U-238 and Th-232 via neutron capture", "source_ref": "https://doi.org/10.48550/arxiv.2404.12451" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [ "M_{Pu}(t)=\\int_0^t \\dot m_{Pu}(t')\\,dt'" ], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [], "procedures": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "paper", "summary": "Construction of a nuclear weapon requires access to kilogram-scale quantities of fissile material, which can be bred from fertile material like U-238 and Th-232 via neutron capture. Future fusion power plants, with total neutron source rates in excess of $10^{20}$ n/s, could breed weapons-relevant quantities of fissile material on short timescales, posing a breakout proliferati", "theorem_proof_scaffolds": [], "title": "Assessing the Risk of Proliferation via Fissile Material Breeding in ARC-class Fusion Power Plants", "url": "https://doi.org/10.48550/arxiv.2404.12451", "year": 2024 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Andrea Barresi", "M. Borghesi", "Antonio Cammi", "D. Chiesa", "Lorenzo Loi", "M. Nastasi", "E. Previtali", "M. Sisti", "S. Aiello", "Giuseppe Andronico", "V. Antonelli", "D. Basilico", "Marco Beretta", "Antonio Bergnoli", "A. Brigatti", "R. Brugnera", "Riccardo Bruno", "A. Budano", "B. Caccianiga", "Vanessa Cerrone", "R. Caruso", "Catia Clementi", "S. Dusini", "Andrea Fabbri", "G. Felici", "F. Ferraro", "A. Garfagnini", "Marco Giammarchi", "N. Giudice", "\u0410. \u0412. \u0413\u0430\u0432\u0440\u0438\u043a\u043e\u0432", "M. Grassi", "Rosa Maria Guizzetti", "Nunzio Guardone", "Beatrice Jelmini", "Cecilia Landini", "I. Lippi", "S. Loffredo", "P. Lombardi", "Claudio Lombardo", "Fabio Mantovani", "S. M. Mari", "A. Martini", "L. Miramonti", "M. Montuschi", "D. Orestano", "F. Ortica", "A. Paoloni", "E. Percalli", "F. Petrucci", "G. Ranucci", "A. Re", "M. Redchuck", "B. Ricci", "A. Romani", "P. Saggese", "G. Sava", "Andrea Serafini", "C. Sirignano", "L. Stanco", "E. Stanescu Farilla", "Virginia Strati", "Marco Danilo Claudio Torri", "Andrea Triossi", "C. Tuv\u00e9", "Carlo Venettacci", "G. Verde", "L. Votano" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "citation": "Andrea Barresi, M. Borghesi, Antonio Cammi et al. (2024). Analysis of reactor burnup simulation uncertainties for antineutrino spectrum prediction. The European Physical Journal Plus. https://doi.org/10.1140/epjp/s13360-024-05704-z", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Improves reactor antineutrino spectral or flux modeling used in detection inference." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "Analysis of reactor burnup simulation uncertainties for antineutrino spectrum prediction", "source_ref": "https://doi.org/10.1140/epjp/s13360-024-05704-z" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Analysis of reactor burnup simulation uncertainties for antineutrino spectrum prediction", "source_ref": "https://doi.org/10.1140/epjp/s13360-024-05704-z" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "Analysis of reactor burnup simulation uncertainties for antineutrino spectrum prediction", "source_ref": "https://doi.org/10.1140/epjp/s13360-024-05704-z" } ], "extraction_completeness": "partial", "extraction_confidence": "low", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Generalization can be limited by detector-systematics assumptions and nuclear data uncertainty." ], "source_type": "paper", "summary": "This source addresses analysis of reactor burnup simulation uncertainties for antineutrino spectrum prediction and contributes context for reactor antineutrino monitoring, safeguards inference, or fusion-fission material pathways.", "theorem_proof_scaffolds": [], "title": "Analysis of reactor burnup simulation uncertainties for antineutrino spectrum prediction", "url": "https://doi.org/10.1140/epjp/s13360-024-05704-z", "year": 2024 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "L. Kneale", "S.T. Wilson", "Tara Appleyard", "J.C. Armitage", "Neil R. Holland", "M. Malek" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "L. Kneale, S.T. Wilson, Tara Appleyard et al. (2023). Sensitivity of an Antineutrino Monitor for Remote Nuclear Reactor Discovery. Physical Review Applied. https://doi.org/10.1103/physrevapplied.20.034073", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "Antineutrinos from a nuclear reactor comprise an unshieldable signal, which carries information about the core. A gadolinium-doped, water-based Cherenkov detector has been investig", "source_ref": "https://doi.org/10.1103/physrevapplied.20.034073" }, { "atom_type": "equation", "confidence": "high", "content": "TS=2\\log\\frac{\\mathcal{L}(\\hat\\theta_s+\\hat\\theta_b)}{\\mathcal{L}(\\hat\\theta_b)}", "locator": "core equation", "provenance_snippet": "Canonical equation mapped for this DOI", "source_ref": "https://doi.org/10.1103/physrevapplied.20.034073" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [ "TS=2\\log\\frac{\\mathcal{L}(\\hat\\theta_s+\\hat\\theta_b)}{\\mathcal{L}(\\hat\\theta_b)}" ], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "Antineutrinos from a nuclear reactor comprise an unshieldable signal, which carries information about the core. A gadolinium-doped, water-based Cherenkov detector has been investigated for detection of reactor antineutrinos for midfield remote reactor monitoring for nonproliferation applications. Two independent reconstruction and analysis pathways have been developed and appli", "theorem_proof_scaffolds": [], "title": "Sensitivity of an Antineutrino Monitor for Remote Nuclear Reactor Discovery", "url": "https://doi.org/10.1103/physrevapplied.20.034073", "year": 2023 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Joshua Ruegsegger", "C. Moreno", "Matthew Nyberg", "Tim D. Bohm", "Paul Wilson", "Ben Lindley" ], "baseline_details": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Joshua Ruegsegger, C. Moreno, Matthew Nyberg et al. (2023). Scoping Studies for a Lead-Lithium-Cooled, Minor-Actinide-Burning, Fission-Fusion Hybrid Reactor Design. Nuclear Science and Engineering. https://doi.org/10.1080/00295639.2022.2154118", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "A feasibility study of a subcritical fission-fusion hybrid reactor using lead-lithium eutectic as a coolant and minor actinides (MAs) as fuel is presented. Such a reactor could sup", "source_ref": "https://doi.org/10.1080/00295639.2022.2154118" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "A feasibility study of a subcritical fission-fusion hybrid reactor using lead-lithium eutectic as a coolant and minor actinides (MAs) as fuel is presented. Such a reactor could sup", "source_ref": "https://doi.org/10.1080/00295639.2022.2154118" }, { "atom_type": "procedure", "confidence": "medium", "content": "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures.", "locator": "analysis pipeline", "provenance_snippet": "A feasibility study of a subcritical fission-fusion hybrid reactor using lead-lithium eutectic as a coolant and minor actinides (MAs) as fuel is presented. Such a reactor could sup", "source_ref": "https://doi.org/10.1080/00295639.2022.2154118" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "burnup proxy" ], "procedures": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "paper", "summary": "A feasibility study of a subcritical fission-fusion hybrid reactor using lead-lithium eutectic as a coolant and minor actinides (MAs) as fuel is presented. Such a reactor could support the fission community by transmuting MAs and the fusion community by breeding tritium. The feasibility of such a reactor for the burnup of MAs is assessed in terms of burnup performance, tritium", "theorem_proof_scaffolds": [], "title": "Scoping Studies for a Lead-Lithium-Cooled, Minor-Actinide-Burning, Fission-Fusion Hybrid Reactor Design", "url": "https://doi.org/10.1080/00295639.2022.2154118", "year": 2023 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Chikako Ishizuka", "Karen Sasaki", "Naoki Yamano", "Tadashi Yoshida", "Satoshi Chiba" ], "baseline_details": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "Chikako Ishizuka, Karen Sasaki, Naoki Yamano et al. (2023). Reactor antineutrinos and novel application to real-time remote monitoring of nuclear reactors. Journal of Nuclear Science and Technology. https://doi.org/10.1080/00223131.2023.2276418", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "We have constructed a computational scheme to obtain energy spectra of reactor antineutrinos, including the inverse \u03b2-decay process through which they were to be detected. The anti", "source_ref": "https://doi.org/10.1080/00223131.2023.2276418" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "We have constructed a computational scheme to obtain energy spectra of reactor antineutrinos, including the inverse \u03b2-decay process through which they were to be detected. The anti", "source_ref": "https://doi.org/10.1080/00223131.2023.2276418" }, { "atom_type": "procedure", "confidence": "medium", "content": "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation.", "locator": "analysis pipeline", "provenance_snippet": "We have constructed a computational scheme to obtain energy spectra of reactor antineutrinos, including the inverse \u03b2-decay process through which they were to be detected. The anti", "source_ref": "https://doi.org/10.1080/00223131.2023.2276418" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "We have constructed a computational scheme to obtain energy spectra of reactor antineutrinos, including the inverse \u03b2-decay process through which they were to be detected. The antineutrino spectra from all the fission products were calculated based on the gross theory of \u03b2-decay. This data was combined with an inventory of fission products obtained by burnup calculations, and t", "theorem_proof_scaffolds": [], "title": "Reactor antineutrinos and novel application to real-time remote monitoring of nuclear reactors", "url": "https://doi.org/10.1080/00223131.2023.2276418", "year": 2023 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "Fengpeng An", "Wei Bai", "A. B. Balantekin", "M. Bishai", "S. Blyth", "G. F. Cao", "Jun Cao", "Jin Chang", "Y. Chang", "H. S. Chen", "H. Y. Chen", "S. M. Chen", "Y. Chen", "Y. X. Chen", "Z. Y. Chen", "Jie Cheng", "Z. K. Cheng", "J. J. Cherwinka", "M. C. Chu", "J. P. Cummings", "Olivia Dalager", "F. S. Deng", "Y. Y. Ding", "X. Y. Ding", "M. Diwan", "Tade\u00e1\u0161 Dohnal", "Dmitry Dolzhikov", "J. Dove", "H. Y. Duyang", "D. A. Dwyer", "J. P. Gallo", "M. Gonchar", "G. H. Gong", "Haipeng Gong", "W. Gu", "J. Y. Guo", "Lei Guo", "X. H. Guo", "Yuhang Guo", "Ziyi Guo", "R. Hackenburg", "Yang Han", "S. Hans", "M. He", "K. M. Heeger", "Y. K. Heng", "Y. K. Hor", "Y. Hsiung", "Beibei Hu", "Jun Hu", "T. Hu", "Zhongfa Hu", "H. X. Huang", "J. H. Huang", "X. T. Huang", "Y. B. Huang", "Patrick Huber", "D. E. Jaffe", "K. L. Jen", "X. L. Ji", "Xingzhao Ji", "R. A. Johnson", "D. Jones", "Li-Wei Kang", "S. H. Kettell", "S. Kohn", "M. Kr\u00e4mer", "T. J. Langford", "J. Lee", "J. H. C. Lee", "R. T. Lei", "R. Leitner", "J. K. C. Leung", "F. Li", "H. L. Li", "Jinjing Li", "Q. J. Li", "R. H. Li", "S. Li", "S. C. Li", "W. D. Li", "X. N. Li", "X. Q. Li", "Yufeng Li", "Z. B. Li", "H. Liang", "C.-J. Lin", "Guey-Lin Lin", "S. Lin", "J. J. Ling", "J. M. Link", "L. Littenberg", "B. R. Littlejohn", "J. C. Liu", "J. L. Liu", "J. X. Liu", "C. Lu", "H. Q. Lu", "K. B. Luk", "B. Z.", "X. B.", "X. Y.", "Y. Q.", "R. C. Mandujano", "C. Marshall", "Kirk T. McDonald", "R. D. McKeown", "Yue Meng", "J. Napolitano", "D. Naumov", "E. Naumova", "T. M. T. Nguyen", "J. P. Ochoa\u2010Ricoux", "A. Olshevskiy", "Hsiao-Ru Pan", "J. Park", "S. Patton", "J. C. Peng", "C. S. J. Pun", "F. Z. Qi", "M. Qi", "X. Qian", "N. Raper", "Jie Ren", "C. Morales Reveco", "R. Rosero", "B. Roskovec", "Xichao Ruan", "B. Russell", "H. Steiner", "Jian Sun", "Tom\u00e1\u0161 Tm\u011bj", "Konstantin Treskov", "W.-H. Tse", "C. E. Tull", "B. Viren", "V. Vorobel", "Chunhong Wang", "Jun Wang", "M. Wang", "N. Y. Wang", "R. G. Wang", "W. Wang", "X. Wang", "Y. Wang", "Y. F. Wang", "Z. Wang", "Zhe Wang", "H. Wei", "L. H. Wei", "W. Wei", "Liangjian Wen", "K. Whisnant", "C. G. White", "H. L. H. Wong", "E. Worcester", "D. R. Wu", "Q. Wu", "W. Wu", "D. M. Xia", "Z. Q. Xie", "Z. Z. Xing", "Huaiyu Xu", "Jinliang Xu", "T. Xu", "T. Xue", "C. G. Yang", "L. Yang", "Yuhao Yang", "H. F. Yao", "M. Ye", "M. Yeh", "Ben Young", "H. Z. Yu", "Zeyuan Yu", "Bochun Yue", "Vitalii Zavadskyi", "S. Zeng", "Yuda Zeng", "Liang Zhan", "C. Zhang", "F. Y. Zhang", "H. H. Zhang", "J. L. Zhang", "J. W. Zhang", "Qingmin Zhang", "S. Q. Zhang", "Xueyao Zhang", "Y. M. Zhang", "Y. X. Zhang", "Y. Y. Zhang", "Z. J. Zhang", "Z. P. Zhang", "Z. Y. Zhang", "J. Y. Zhao", "R. Z. Zhao", "Li Zhou", "H. L. Zhuang", "J. H. Zou" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "Fengpeng An, Wei Bai, A. B. Balantekin et al. (2023). Precision Measurement of Reactor Antineutrino Oscillation at Kilometer-Scale Baselines by Daya Bay. Physical Review Letters. https://doi.org/10.1103/physrevlett.130.161802", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "We present a new determination of the smallest neutrino mixing angle \u03b8_{13} and the mass-squared difference \u0394m_{32}^{2} using a final sample of 5.55\u00d710^{6} inverse beta-decay (IBD)", "source_ref": "https://doi.org/10.1103/physrevlett.130.161802" }, { "atom_type": "equation", "confidence": "high", "content": "\\chi^2=\\sum_j\\frac{(N_j^{obs}-N_j^{pred})^2}{\\sigma_j^2}+\\sum_k\\frac{\\eta_k^2}{\\sigma_{\\eta_k}^2}", "locator": "core equation", "provenance_snippet": "Canonical equation mapped for this DOI", "source_ref": "https://doi.org/10.1103/physrevlett.130.161802" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [ "\\chi^2=\\sum_j\\frac{(N_j^{obs}-N_j^{pred})^2}{\\sigma_j^2}+\\sum_k\\frac{\\eta_k^2}{\\sigma_{\\eta_k}^2}" ], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "We present a new determination of the smallest neutrino mixing angle \u03b8_{13} and the mass-squared difference \u0394m_{32}^{2} using a final sample of 5.55\u00d710^{6} inverse beta-decay (IBD) candidates with the final-state neutron captured on gadolinium. This sample is selected from the complete dataset obtained by the Daya Bay reactor neutrino experiment in 3158 days of operation. Compa", "theorem_proof_scaffolds": [], "title": "Precision Measurement of Reactor Antineutrino Oscillation at Kilometer-Scale Baselines by Daya Bay", "url": "https://doi.org/10.1103/physrevlett.130.161802", "year": 2023 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Lombardo, Claudio" ], "baseline_details": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "Lombardo, Claudio (2023). Overview of TAO detector and its role for JUNO. INFM-OAR (INFN Catania). https://doi.org/10.1393/ncc/i2023-23119-5", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "The Taishan Antineutrino Observatory (TAO or JUNO-TAO) is a satellite detector of the Jiangmen Underground Neutrino Observatory (JUNO) and will provide a precise measurement of the", "source_ref": "https://doi.org/10.1393/ncc/i2023-23119-5" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "The Taishan Antineutrino Observatory (TAO or JUNO-TAO) is a satellite detector of the Jiangmen Underground Neutrino Observatory (JUNO) and will provide a precise measurement of the", "source_ref": "https://doi.org/10.1393/ncc/i2023-23119-5" }, { "atom_type": "procedure", "confidence": "medium", "content": "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation.", "locator": "analysis pipeline", "provenance_snippet": "The Taishan Antineutrino Observatory (TAO or JUNO-TAO) is a satellite detector of the Jiangmen Underground Neutrino Observatory (JUNO) and will provide a precise measurement of the", "source_ref": "https://doi.org/10.1393/ncc/i2023-23119-5" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "The Taishan Antineutrino Observatory (TAO or JUNO-TAO) is a satellite detector of the Jiangmen Underground Neutrino Observatory (JUNO) and will provide a precise measurement of the non-oscillated reactor antineutrino spectra with unprecedented accuracy in energy resolution, improving the sensitivity of JUNO on mass hierarchy study. Furthermore, JUNO-TAO has an extensive researc", "theorem_proof_scaffolds": [], "title": "Overview of TAO detector and its role for JUNO", "url": "https://doi.org/10.1393/ncc/i2023-23119-5", "year": 2023 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "Fengpeng An", "Wei Bai", "A. B. Balantekin", "M. Bishai", "S. Blyth", "G. F. Cao", "Jun Cao", "J. F. Chang", "Y. Chang", "S. Chen", "H. Y. Chen", "Shaomin Chen", "Y. Chen", "Y. X. Chen", "J. Cheng", "Jie Cheng", "Yi-Ting Cheng", "Zhaokan Cheng", "J. J. Cherwinka", "M. C. Chu", "J. P. Cummings", "Olivia Dalager", "F. S. Deng", "Yayun Ding", "M. V. Diwan", "T. Dohnal", "Dmitry Dolzhikov", "J. Dove", "Katherine Dugas", "Hongyue Duyang", "D. A. Dwyer", "J. P. Gallo", "M. Gonchar", "G. Gong", "Haiyang Gong", "W. Gu", "J. Y. Guo", "Linghong Guo", "X. H. Guo", "Yuhang Guo", "Ziyi Guo", "R. Hackenburg", "Yang Han", "S. Hans", "M. He", "K. M. Heeger", "Y. K. Heng", "Y. K. Hor", "Y. Hsiung", "Beibei Hu", "Jun Hu", "Ting Hu", "Zhongfa Hu", "Han\u2010Xiong Huang", "Jihong Huang", "X. T. Huang", "Y. B. Huang", "Patrick Huber", "D. E. Jaffe", "K. L. Jen", "X. L. Ji", "Xiangpan Ji", "R. A. Johnson", "D. Jones", "Lin Kang", "S. H. Kettell", "S. Kohn", "M. Kr\u00e4mer", "T. J. Langford", "J. Lee", "J. H. C. Lee", "R. T. Lei", "R. Leitner", "J. K. C. Leung", "F. Li", "H. L. Li", "Jinjing Li", "Q. J. Li", "R. H. Li", "Shangrong Li", "S. C. Li", "W. D. Li", "X. N. Li", "X. Q. Li", "Yufeng Li", "Z. B. Li", "Hongwei Liang", "C.-J. Lin", "G. L. Lin", "S. Lin", "Jiajie Ling", "J. M. Link", "L. Littenberg", "B. R. Littlejohn", "J. C. Liu", "J. L. Liu", "J. X. Liu", "C. Lu", "H. Q. Lu", "K. B. Luk", "B. Z.", "X. B.", "X. Y.", "Y. Q.", "R. C. Mandujano", "C. Marshall", "K. T. McDonald", "R. D. McKeown", "Yue Meng", "J. Napolitano", "D. Naumov", "E. Naumova", "T. M. T. Nguyen", "J. P. Ochoa\u2010Ricoux", "A. Olshevskiy", "J. Park", "S. Patton", "J. C. Peng", "C. S. J. Pun", "F. Z. Qi", "M. Qi", "X. Qian", "N. Raper", "J. Ren", "C. Morales Reveco", "R. Rosero", "B. Roskovec", "Xichao Ruan", "B. Russell", "H. Steiner", "Jian Sun", "Tom\u00e1\u0161 Tm\u011bj", "Konstantin Treskov", "W.-H. Tse", "C. E. Tull", "Yu-Chen Tung", "B. Viren", "V. Vorobel", "C. Wang", "Jun Wang", "M. Wang", "N. Y. Wang", "R. G. Wang", "Weiqiang Wang", "Xiang-Gao Wang", "Y. F. Wang", "Zhong Wang", "Zhe Wang", "Z. M. Wang", "H. Wei", "Lianghong Wei", "Liangjian Wen", "K. Whisnant", "C. White", "H. L. H. Wong", "E. Worcester", "D. R. Wu", "Q. Wu", "W. Wu", "D. M. Xia", "Z. Q. Xie", "Zezhou Xing", "Huaiyu Xu", "Jinliang Xu", "T. Xu", "Tiantian Xue", "C.G. Yang", "L. Yang", "Yuhao Yang", "Hang Yao", "Mao Ye", "M. Yeh", "B. L. Young", "H. Z. Yu", "Zeyuan Yu", "Bochun Yue", "Vitalii Zavadskyi", "S. Zeng", "Y. Zeng", "Liang Zhan", "C. Zhang", "F. Y. Zhang", "H. H. Zhang", "J. L. Zhang", "J. W. Zhang", "Qingmin Zhang", "S. Q. Zhang", "X. T. Zhang", "Y. M. Zhang", "Y. X. Zhang", "Y. Y. Zhang", "Z. J. Zhang", "Z. P. Zhang", "Z. Y. Zhang", "J. Y. Zhao", "R. Z. Zhao", "L. Zhou", "H. L. Zhuang", "J. H. Zou" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "Fengpeng An, Wei Bai, A. B. Balantekin et al. (2023). Improved Measurement of the Evolution of the Reactor Antineutrino Flux and Spectrum at Daya Bay. Physical Review Letters. https://doi.org/10.1103/physrevlett.130.211801", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies.", "Quantifies spectrum/flux prediction behavior and associated uncertainty drivers." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "Reactor neutrino experiments play a crucial role in advancing our knowledge of neutrinos. In this Letter, the evolution of the flux and spectrum as a function of the reactor isotop", "source_ref": "https://doi.org/10.1103/physrevlett.130.211801" }, { "atom_type": "equation", "confidence": "high", "content": "\\phi(E,t)=\\sum_i f_i(t)S_i(E)", "locator": "core equation", "provenance_snippet": "Canonical equation mapped for this DOI", "source_ref": "https://doi.org/10.1103/physrevlett.130.211801" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [ "\\phi(E,t)=\\sum_i f_i(t)S_i(E)" ], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "Reactor neutrino experiments play a crucial role in advancing our knowledge of neutrinos. In this Letter, the evolution of the flux and spectrum as a function of the reactor isotopic content is reported in terms of the inverse-beta-decay yield at Daya Bay with 1958 days of data and improved systematic uncertainties. These measurements are compared with two signature model predi", "theorem_proof_scaffolds": [], "title": "Improved Measurement of the Evolution of the Reactor Antineutrino Flux and Spectrum at Daya Bay", "url": "https://doi.org/10.1103/physrevlett.130.211801", "year": 2023 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "A. A. Sonzogni", "R. J. Lorek", "A. Mattera", "E. A. McCutchan" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "A. A. Sonzogni, R. J. Lorek, A. Mattera et al. (2023). Examination of decay heat measurements and their relevance for understanding the origin of the reactor antineutrino anomaly. Physical review. C. https://doi.org/10.1103/physrevc.108.024617", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "Measurements of the decay energy released as a function of time following the thermal neutron induced fission of $^{235}\\mathrm{U}$ and $^{239,241}\\mathrm{Pu}$ were performed in th", "source_ref": "https://doi.org/10.1103/physrevc.108.024617" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "Measurements of the decay energy released as a function of time following the thermal neutron induced fission of $^{235}\\mathrm{U}$ and $^{239,241}\\mathrm{Pu}$ were performed in the 1970s at Oak Ridge National Laboratory with the purpose of quantifying possible loss of coolant accident scenarios. The derivative of this decay energy with respect to time, known in technical parla", "theorem_proof_scaffolds": [], "title": "Examination of decay heat measurements and their relevance for understanding the origin of the reactor antineutrino anomaly", "url": "https://doi.org/10.1103/physrevc.108.024617", "year": 2023 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Y. J. Schnellbach", "T. Radermacher", "Irmgard Niemeyer", "S. Roth", "Malte G\u00f6ttsche" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "Y. J. Schnellbach, T. Radermacher, Irmgard Niemeyer et al. (2023). Antineutrino detection concepts for safeguarding spent nuclear fuel. Safety of Nuclear Waste Disposal. https://doi.org/10.5194/sand-2-203-2023", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "Abstract. Spent nuclear fuel (SNF) from nuclear power generation requires long-term safeguards in interim storage and final disposal. Current safeguarding approaches for spent fuel", "source_ref": "https://doi.org/10.5194/sand-2-203-2023" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Abstract. Spent nuclear fuel (SNF) from nuclear power generation requires long-term safeguards in interim storage and final disposal. Current safeguarding approaches for spent fuel", "source_ref": "https://doi.org/10.5194/sand-2-203-2023" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "Abstract. Spent nuclear fuel (SNF) from nuclear power generation requires long-term safeguards in interim storage and final disposal. Current safeguarding approaches for spent fuel", "source_ref": "https://doi.org/10.5194/sand-2-203-2023" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Abstract. Spent nuclear fuel (SNF) from nuclear power generation requires long-term safeguards in interim storage and final disposal. Current safeguarding approaches for spent fuel storage facilities (SFSFs) propose a combination of material accountancy, containment and surveillance, and design information verification. Antineutrino emissions from the ongoing beta decay of fiss", "theorem_proof_scaffolds": [], "title": "Antineutrino detection concepts for safeguarding spent nuclear fuel", "url": "https://doi.org/10.5194/sand-2-203-2023", "year": 2023 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Christopher Stewart", "Abdalla Abou Jaoude", "Anna Erickson" ], "baseline_details": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "Christopher Stewart, Abdalla Abou Jaoude, Anna Erickson (2019). Employing antineutrino detectors to safeguard future nuclear reactors from diversions. Nature Communications. https://doi.org/10.1038/s41467-019-11434-z", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "The Non-Proliferation Treaty and other non-proliferation agreements are in place worldwide to ensure that nuclear material and facilities are used only for peaceful purposes. Antin", "source_ref": "https://doi.org/10.1038/s41467-019-11434-z" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "The Non-Proliferation Treaty and other non-proliferation agreements are in place worldwide to ensure that nuclear material and facilities are used only for peaceful purposes. Antin", "source_ref": "https://doi.org/10.1038/s41467-019-11434-z" }, { "atom_type": "equation", "confidence": "high", "content": "\\Lambda_t=\\log\\frac{p(x_{1:t}|H_1)}{p(x_{1:t}|H_0)}", "locator": "core model equation", "provenance_snippet": "Canonical equation used by this source family", "source_ref": "https://doi.org/10.1038/s41467-019-11434-z" }, { "atom_type": "procedure", "confidence": "medium", "content": "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation.", "locator": "analysis pipeline", "provenance_snippet": "The Non-Proliferation Treaty and other non-proliferation agreements are in place worldwide to ensure that nuclear material and facilities are used only for peaceful purposes. Antin", "source_ref": "https://doi.org/10.1038/s41467-019-11434-z" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [ "\\Lambda_t=\\log\\frac{p(x_{1:t}|H_1)}{p(x_{1:t}|H_0)}" ], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "The Non-Proliferation Treaty and other non-proliferation agreements are in place worldwide to ensure that nuclear material and facilities are used only for peaceful purposes. Antineutrino detectors, sensitive to reactor power and fuel changes, can complement the tools already at the disposal of international agencies to safeguard nuclear facilities and to verify the States' com", "theorem_proof_scaffolds": [], "title": "Employing antineutrino detectors to safeguard future nuclear reactors from diversions", "url": "https://doi.org/10.1038/s41467-019-11434-z", "year": 2019 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "G. Boireau", "L. Bouvet", "A. P. Collin", "G. Coulloux", "M. Cribier", "H. Deschamp", "V. Durand", "M. Fechner", "V. Fischer", "J. Gaffiot", "N. G\u00e9rard Castaing", "R. Granelli", "Y. Kato", "T. Lasserre", "L. Latron", "P. Legou", "A. Letourneau", "D. Lhuillier", "G. Mention", "Th. A. Mueller", "T-A. Nghiem", "N. Pedrol", "J. Pelzer", "M. Pequignot", "Y. Piret", "G. Prono", "L. Scola", "P. Starzinski", "M. Vivier", "\u00c9ric Dumonteil", "Davide Mancusi", "C. Varignon", "C. Buck", "M. Lindner", "J. Bazoma", "S. Bouvier", "V.M. Bui", "V. Communeau", "A. Cucoanes", "M. Fallot", "Mathieu Gautier", "L. Giot", "G. Guilloux", "Marion Lenoir", "J. Martino", "Gr\u00e9goire Mercier", "T. Milleto", "N. Peuvrel", "A. Porta", "Nolwenn Qu\u00e9r\u00e9", "C. Renard", "Louis-Marie Rigalleau", "D. Roy", "T. Vilajosana", "F. Yermia" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "G. Boireau, L. Bouvet, A. P. Collin et al. (2016). Online monitoring of the Osiris reactor with the Nucifer neutrino detector. Physical review. D/Physical review. D.. https://doi.org/10.1103/physrevd.93.112006", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "Originally designed as a new nuclear reactor monitoring device, the Nucifer detector has successfully detected its first neutrinos. We provide the second-shortest baseline measurem", "source_ref": "https://doi.org/10.1103/physrevd.93.112006" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Originally designed as a new nuclear reactor monitoring device, the Nucifer detector has successfully detected its first neutrinos. We provide the second-shortest baseline measurem", "source_ref": "https://doi.org/10.1103/physrevd.93.112006" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "Originally designed as a new nuclear reactor monitoring device, the Nucifer detector has successfully detected its first neutrinos. We provide the second-shortest baseline measurem", "source_ref": "https://doi.org/10.1103/physrevd.93.112006" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Originally designed as a new nuclear reactor monitoring device, the Nucifer detector has successfully detected its first neutrinos. We provide the second-shortest baseline measurement of the reactor neutrino flux. The detection of electron antineutrinos emitted in the decay chains of the fission products, combined with reactor core simulations, provides a new tool to assess bot", "theorem_proof_scaffolds": [], "title": "Online monitoring of the Osiris reactor with the Nucifer neutrino detector", "url": "https://doi.org/10.1103/physrevd.93.112006", "year": 2016 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Xueming Shi", "Xianjue Peng" ], "baseline_details": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Xueming Shi, Xianjue Peng (2016). Neutron transport-burnup code MCORGS and its application in fusion fission hybrid blanket conceptual research. International Journal of Modern Physics Conference Series. https://doi.org/10.1142/s2010194516602362", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "Fusion science and technology has made progress in the last decades. However, commercialization of fusion reactors still faces challenges relating to higher fusion energy gain, irr", "source_ref": "https://doi.org/10.1142/s2010194516602362" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Fusion science and technology has made progress in the last decades. However, commercialization of fusion reactors still faces challenges relating to higher fusion energy gain, irr", "source_ref": "https://doi.org/10.1142/s2010194516602362" }, { "atom_type": "procedure", "confidence": "medium", "content": "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures.", "locator": "analysis pipeline", "provenance_snippet": "Fusion science and technology has made progress in the last decades. However, commercialization of fusion reactors still faces challenges relating to higher fusion energy gain, irr", "source_ref": "https://doi.org/10.1142/s2010194516602362" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "burnup proxy", "energy resolution" ], "procedures": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "code", "summary": "Fusion science and technology has made progress in the last decades. However, commercialization of fusion reactors still faces challenges relating to higher fusion energy gain, irradiation-resistant material, and tritium self-sufficiency. Fusion Fission Hybrid Reactors (FFHR) can be introduced to accelerate the early application of fusion energy. Traditionally, FFHRs have been", "theorem_proof_scaffolds": [], "title": "Neutron transport-burnup code MCORGS and its application in fusion fission hybrid blanket conceptual research", "url": "https://doi.org/10.1142/s2010194516602362", "year": 2016 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "C. L. Stewart" ], "baseline_details": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "C. L. Stewart (2016). Antineutrino-based safeguards for ultra-high burnup fast reactors. SMARTech Repository (Georgia Institute of Technology). http://hdl.handle.net/1853/55024", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "Since the first observation of antineutrinos from beta decay of the fission products inside a nuclear reactor in 1956, the design and operating experience of antineutrino detectors", "source_ref": "http://hdl.handle.net/1853/55024" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Since the first observation of antineutrinos from beta decay of the fission products inside a nuclear reactor in 1956, the design and operating experience of antineutrino detectors", "source_ref": "http://hdl.handle.net/1853/55024" }, { "atom_type": "procedure", "confidence": "medium", "content": "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation.", "locator": "analysis pipeline", "provenance_snippet": "Since the first observation of antineutrinos from beta decay of the fission products inside a nuclear reactor in 1956, the design and operating experience of antineutrino detectors", "source_ref": "http://hdl.handle.net/1853/55024" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Since the first observation of antineutrinos from beta decay of the fission products inside a nuclear reactor in 1956, the design and operating experience of antineutrino detectors near reactors has increased to the point where monitoring the reactor's power level and progression through its burnup cycle has become possible. With the expected increase in world nuclear energy ca", "theorem_proof_scaffolds": [], "title": "Antineutrino-based safeguards for ultra-high burnup fast reactors", "url": "http://hdl.handle.net/1853/55024", "year": 2016 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "P. Jaffke" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "P. Jaffke (2015). Corrections to and Applications of the Antineutrino Spectrum Generated by Nuclear Reactors. VTechWorks (Virginia Tech). http://hdl.handle.net/10919/80031", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Improves reactor antineutrino spectral or flux modeling used in detection inference." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "In this work, the antineutrino spectrum as specifically generated by nuclear reactors is studied. The topics covered include corrections and higher-order effects in reactor antineu", "source_ref": "http://hdl.handle.net/10919/80031" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "In this work, the antineutrino spectrum as specifically generated by nuclear reactors is studied. The topics covered include corrections and higher-order effects in reactor antineu", "source_ref": "http://hdl.handle.net/10919/80031" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "In this work, the antineutrino spectrum as specifically generated by nuclear reactors is studied. The topics covered include corrections and higher-order effects in reactor antineu", "source_ref": "http://hdl.handle.net/10919/80031" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "In this work, the antineutrino spectrum as specifically generated by nuclear reactors is studied. The topics covered include corrections and higher-order effects in reactor antineutrino experiments, one of which is covered in Ref. [1] and another contributes to Ref. [2]. In addition, a practical application, antineutrino safeguards for nuclear reactors, as summarized in Ref. [3", "theorem_proof_scaffolds": [], "title": "Corrections to and Applications of the Antineutrino Spectrum Generated by Nuclear Reactors", "url": "http://hdl.handle.net/10919/80031", "year": 2015 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "Eric Christensen", "Patrick Huber", "P. Jaffke" ], "baseline_details": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "Eric Christensen, Patrick Huber, P. Jaffke (2015). Antineutrino Reactor Safeguards: A Case Study of the DPRK 1994 Nuclear Crisis. Science and Global Security. https://doi.org/10.1080/08929882.2015.996076", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "AbstractIn this article a case study of the application of antineutrino safeguards to a real-world scenario, the North Korean nuclear crisis in 1994, is presented. Detection limits", "source_ref": "https://doi.org/10.1080/08929882.2015.996076" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "AbstractIn this article a case study of the application of antineutrino safeguards to a real-world scenario, the North Korean nuclear crisis in 1994, is presented. Detection limits", "source_ref": "https://doi.org/10.1080/08929882.2015.996076" }, { "atom_type": "procedure", "confidence": "medium", "content": "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation.", "locator": "analysis pipeline", "provenance_snippet": "AbstractIn this article a case study of the application of antineutrino safeguards to a real-world scenario, the North Korean nuclear crisis in 1994, is presented. Detection limits", "source_ref": "https://doi.org/10.1080/08929882.2015.996076" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "AbstractIn this article a case study of the application of antineutrino safeguards to a real-world scenario, the North Korean nuclear crisis in 1994, is presented. Detection limits to a partial or full core discharge in 1989 based on actual IAEA safeguards access are derived and it is found that two independent methods would have yielded positive evidence for a second core with", "theorem_proof_scaffolds": [], "title": "Antineutrino Reactor Safeguards: A Case Study of the DPRK 1994 Nuclear Crisis", "url": "https://doi.org/10.1080/08929882.2015.996076", "year": 2015 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "S. Oguri", "Yoshihiro Kuroda", "Yasuyuki Kato", "Rie Nakata", "Yoshiyuki Inoue", "Chikara Ito", "M. Minowa" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "S. Oguri, Yoshihiro Kuroda, Yasuyuki Kato et al. (2014). Reactor antineutrino monitoring with a plastic scintillator array as a new safeguards method. Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment. https://doi.org/10.1016/j.nima.2014.04.065", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "Reactor antineutrino monitoring with a plastic scintillator array as a new safeguards method", "source_ref": "https://doi.org/10.1016/j.nima.2014.04.065" }, { "atom_type": "equation", "confidence": "high", "content": "R_{\\bar\\nu}(t)\\propto \\frac{W_{th}(t)}{L^2}\\sum_i f_i(t)\\langle\\sigma_i\\rangle", "locator": "core equation", "provenance_snippet": "Canonical equation mapped for this DOI", "source_ref": "https://doi.org/10.1016/j.nima.2014.04.065" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [ "R_{\\bar\\nu}(t)\\propto \\frac{W_{th}(t)}{L^2}\\sum_i f_i(t)\\langle\\sigma_i\\rangle" ], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "Relevant antineutrino safeguards source: Reactor antineutrino monitoring with a plastic scintillator array as a new safeguards method.", "theorem_proof_scaffolds": [], "title": "Reactor antineutrino monitoring with a plastic scintillator array as a new safeguards method", "url": "https://doi.org/10.1016/j.nima.2014.04.065", "year": 2014 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "K. M. Heeger", "M. N. Tobin", "B. R. Littlejohn", "H. P. Mumm" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "K. M. Heeger, M. N. Tobin, B. R. Littlejohn et al. (2013). Experimental parameters for a reactor antineutrino experiment at very short baselines. Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D, Particles, fields, gravitation, and cosmology. https://doi.org/10.1103/physrevd.87.073008", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "Reactor antineutrinos are used to study neutrino oscillation, search for signatures of nonstandard neutrino interactions, and monitor reactor operation for safeguard applications. ", "source_ref": "https://doi.org/10.1103/physrevd.87.073008" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Reactor antineutrinos are used to study neutrino oscillation, search for signatures of nonstandard neutrino interactions, and monitor reactor operation for safeguard applications. ", "source_ref": "https://doi.org/10.1103/physrevd.87.073008" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "Reactor antineutrinos are used to study neutrino oscillation, search for signatures of nonstandard neutrino interactions, and monitor reactor operation for safeguard applications. ", "source_ref": "https://doi.org/10.1103/physrevd.87.073008" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Reactor antineutrinos are used to study neutrino oscillation, search for signatures of nonstandard neutrino interactions, and monitor reactor operation for safeguard applications. The flux and energy spectrum of reactor antineutrinos can be predicted from the decays of the nuclear fission products. A comparison of recent reactor calculations with past measurements at baselines", "theorem_proof_scaffolds": [], "title": "Experimental parameters for a reactor antineutrino experiment at very short baselines", "url": "https://doi.org/10.1103/physrevd.87.073008", "year": 2013 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Jing Zhao", "Yang Yongwei", "Sicong Xiao", "Zhiwei Zhou" ], "baseline_details": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Jing Zhao, Yang Yongwei, Sicong Xiao et al. (2013). Burnup Analysis of Thorium-Uranium Based Molten Salt Blanket in a Fusion-Fission Hybrid Reactor. Fusion Science & Technology. https://doi.org/10.13182/fst13-a19145", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "AbstractProgress on the fusion-fission hybrid reactor (FFHR) brings fusion a viable energy source in foreseeable future. Energy multiplication in a FFHR makes a much easier prerequ", "source_ref": "https://doi.org/10.13182/fst13-a19145" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "AbstractProgress on the fusion-fission hybrid reactor (FFHR) brings fusion a viable energy source in foreseeable future. Energy multiplication in a FFHR makes a much easier prerequ", "source_ref": "https://doi.org/10.13182/fst13-a19145" }, { "atom_type": "procedure", "confidence": "medium", "content": "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures.", "locator": "analysis pipeline", "provenance_snippet": "AbstractProgress on the fusion-fission hybrid reactor (FFHR) brings fusion a viable energy source in foreseeable future. Energy multiplication in a FFHR makes a much easier prerequ", "source_ref": "https://doi.org/10.13182/fst13-a19145" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "burnup proxy", "energy resolution" ], "procedures": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "paper", "summary": "AbstractProgress on the fusion-fission hybrid reactor (FFHR) brings fusion a viable energy source in foreseeable future. Energy multiplication in a FFHR makes a much easier prerequisite for the fusion reaction than a fusion reactor. The molten salt reactor has advantages on heat transfer and post-processing of the spent fuels. A fission blanket made of molten salt was studied f", "theorem_proof_scaffolds": [], "title": "Burnup Analysis of Thorium-Uranium Based Molten Salt Blanket in a Fusion-Fission Hybrid Reactor", "url": "https://doi.org/10.13182/fst13-a19145", "year": 2013 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Youqi Zheng", "Hongchun Wu", "Tiejun Zu", "Chao Yang", "Liangzhi Cao" ], "baseline_details": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Youqi Zheng, Hongchun Wu, Tiejun Zu et al. (2012). The neutronics studies of fusion fission hybrid power reactor. AIP conference proceedings. https://doi.org/10.1063/1.4706879", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "In this paper, a series of neutronics analysis of hybrid power reactor is proposed. The ideas of loading different fuels in a modular-type fission blanket is analyzed, fitting diff", "source_ref": "https://doi.org/10.1063/1.4706879" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "In this paper, a series of neutronics analysis of hybrid power reactor is proposed. The ideas of loading different fuels in a modular-type fission blanket is analyzed, fitting diff", "source_ref": "https://doi.org/10.1063/1.4706879" }, { "atom_type": "procedure", "confidence": "medium", "content": "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures.", "locator": "analysis pipeline", "provenance_snippet": "In this paper, a series of neutronics analysis of hybrid power reactor is proposed. The ideas of loading different fuels in a modular-type fission blanket is analyzed, fitting diff", "source_ref": "https://doi.org/10.1063/1.4706879" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "energy resolution" ], "procedures": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "paper", "summary": "In this paper, a series of neutronics analysis of hybrid power reactor is proposed. The ideas of loading different fuels in a modular-type fission blanket is analyzed, fitting different level of fusion developments, i.e., the current experimental power output, the level can be obtained in the coming future and the high-power fusion reactor like ITER. The energy multiplication o", "theorem_proof_scaffolds": [], "title": "The neutronics studies of fusion fission hybrid power reactor", "url": "https://doi.org/10.1063/1.4706879", "year": 2012 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "A. C. Hayes", "Holly Trellue", "Michael Martin Nieto", "W.B. Wilson" ], "baseline_details": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "A. C. Hayes, Holly Trellue, Michael Martin Nieto et al. (2012). Antineutrino monitoring of burning mixed oxide plutonium fuels. Physical Review C. https://doi.org/10.1103/physrevc.85.024617", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "Background: Antineutrino monitoring of reactors is an enhanced nuclear safeguard that is being explored by several international groups. A key question is whether such a scheme cou", "source_ref": "https://doi.org/10.1103/physrevc.85.024617" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Background: Antineutrino monitoring of reactors is an enhanced nuclear safeguard that is being explored by several international groups. A key question is whether such a scheme cou", "source_ref": "https://doi.org/10.1103/physrevc.85.024617" }, { "atom_type": "procedure", "confidence": "medium", "content": "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation.", "locator": "analysis pipeline", "provenance_snippet": "Background: Antineutrino monitoring of reactors is an enhanced nuclear safeguard that is being explored by several international groups. A key question is whether such a scheme cou", "source_ref": "https://doi.org/10.1103/physrevc.85.024617" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Background: Antineutrino monitoring of reactors is an enhanced nuclear safeguard that is being explored by several international groups. A key question is whether such a scheme could be used to verify the destruction of plutonium loaded in a reactor as mixed oxide (MOX) fuel.Purpose: To explore the effectiveness of antineutrino monitoring for the purposes of nuclear accountabil", "theorem_proof_scaffolds": [], "title": "Antineutrino monitoring of burning mixed oxide plutonium fuels", "url": "https://doi.org/10.1103/physrevc.85.024617", "year": 2012 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Mark W. Reed", "R. R. Parker", "Benoit Forget" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Mark W. Reed, R. R. Parker, Benoit Forget (2012). A fission-fusion hybrid reactor in steady-state L-mode tokamak configuration with natural uranium. AIP conference proceedings. https://doi.org/10.1063/1.4706872", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Improves reactor antineutrino spectral or flux modeling used in detection inference.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "This work develops a conceptual design for a fusion-fission hybrid reactor operating in steady-state L-mode tokamak configuration with a subcritical natural or depleted uranium peb", "source_ref": "https://doi.org/10.1063/1.4706872" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "This work develops a conceptual design for a fusion-fission hybrid reactor operating in steady-state L-mode tokamak configuration with a subcritical natural or depleted uranium peb", "source_ref": "https://doi.org/10.1063/1.4706872" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "This work develops a conceptual design for a fusion-fission hybrid reactor operating in steady-state L-mode tokamak configuration with a subcritical natural or depleted uranium peb", "source_ref": "https://doi.org/10.1063/1.4706872" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "paper", "summary": "This work develops a conceptual design for a fusion-fission hybrid reactor operating in steady-state L-mode tokamak configuration with a subcritical natural or depleted uranium pebble bed blanket. A liquid lithium-lead alloy breeds enough tritium to replenish that consumed by the D-T fusion reaction. The fission blanket augments the fusion power such that the fusion core itself", "theorem_proof_scaffolds": [], "title": "A fission-fusion hybrid reactor in steady-state L-mode tokamak configuration with natural uranium", "url": "https://doi.org/10.1063/1.4706872", "year": 2012 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "G. Mention", "M. Fechner", "Th. Lasserre", "Th. A. Mueller", "D. Lhuillier", "M. Cribier", "A. Letourneau" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "G. Mention, M. Fechner, Th. Lasserre et al. (2011). Reactor antineutrino anomaly. Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D, Particles, fields, gravitation, and cosmology. https://doi.org/10.1103/physrevd.83.073006", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies.", "Quantifies spectrum/flux prediction behavior and associated uncertainty drivers." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "Recently, new reactor antineutrino spectra have been provided for $^{235}\\mathrm{U}$, $^{239}\\mathrm{Pu}$, $^{241}\\mathrm{Pu}$, and $^{238}\\mathrm{U}$, increasing the mean flux by ", "source_ref": "https://doi.org/10.1103/physrevd.83.073006" }, { "atom_type": "equation", "confidence": "high", "content": "R=\\frac{N_{obs}}{N_{pred}}", "locator": "core equation", "provenance_snippet": "Canonical equation mapped for this DOI", "source_ref": "https://doi.org/10.1103/physrevd.83.073006" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [ "R=\\frac{N_{obs}}{N_{pred}}" ], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "Recently, new reactor antineutrino spectra have been provided for $^{235}\\mathrm{U}$, $^{239}\\mathrm{Pu}$, $^{241}\\mathrm{Pu}$, and $^{238}\\mathrm{U}$, increasing the mean flux by about 3%. To a good approximation, this reevaluation applies to all reactor neutrino experiments. The synthesis of published experiments at reactor-detector distances $<100\\text{ }\\text{ }\\mathrm{m", "theorem_proof_scaffolds": [], "title": "Reactor antineutrino anomaly", "url": "https://doi.org/10.1103/physrevd.83.073006", "year": 2011 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "Th. A. Mueller", "D. Lhuillier", "M. Fallot", "A. Letourneau", "S. Cormon", "M. Fechner", "L. Giot", "T. Lasserre", "J. Martino", "G. Mention", "A. Porta", "F. Yermia" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "Th. A. Mueller, D. Lhuillier, M. Fallot et al. (2011). Improved predictions of reactor antineutrino spectra. Physical Review C. https://doi.org/10.1103/physrevc.83.054615", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies.", "Quantifies spectrum/flux prediction behavior and associated uncertainty drivers." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "Precise predictions of the antineutrino spectra emitted by nuclear reactors is a key ingredient in measurements of reactor neutrino oscillations as well as in recent applications t", "source_ref": "https://doi.org/10.1103/physrevc.83.054615" }, { "atom_type": "equation", "confidence": "high", "content": "S_{tot}(E_{\\bar\\nu})=\\sum_i f_i S_i(E_{\\bar\\nu})", "locator": "core equation", "provenance_snippet": "Canonical equation mapped for this DOI", "source_ref": "https://doi.org/10.1103/physrevc.83.054615" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [ "S_{tot}(E_{\\bar\\nu})=\\sum_i f_i S_i(E_{\\bar\\nu})", "N_{det}=\\frac{N_p}{4\\pi L^2}\\int \\epsilon(E)\\sigma_{IBD}(E)S_{tot}(E)\\,dE" ], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "Precise predictions of the antineutrino spectra emitted by nuclear reactors is a key ingredient in measurements of reactor neutrino oscillations as well as in recent applications to the surveillance of power plants in the context of nonproliferation of nuclear weapons. We report new calculations including the latest information from nuclear databases and a detailed error budget", "theorem_proof_scaffolds": [], "title": "Improved predictions of reactor antineutrino spectra", "url": "https://doi.org/10.1103/physrevc.83.054615", "year": 2011 }, { "assumptions": [ "Reactor antineutrino yield and spectral shape depend on isotope fractions and operational history.", "Detector response and backgrounds are explicit nuisance parameters in inference." ], "authors": [ "Patrick Huber" ], "baseline_details": [ "Model-to-data comparison under detector constraints and operational variation." ], "citation": "Patrick Huber (2011). Determination of antineutrino spectra from nuclear reactors. Physical Review C. https://doi.org/10.1103/physrevc.84.024617", "claims": [ "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states." ], "comparator_lineage": [ "Foundational reactor antineutrino prediction and monitoring methods" ], "conclusions": [ "Provides reusable quantitative evidence for reactor antineutrino monitoring and safeguards inference." ], "contradiction_pairs": [], "contributions": [ "Provides antineutrino-modeling or monitoring evidence directly reusable in safeguards detectability studies.", "Quantifies spectrum/flux prediction behavior and associated uncertainty drivers." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observables support model-based discrimination between baseline and perturbed reactor states.", "locator": "title/abstract", "provenance_snippet": "In this paper we study the effect of well-known higher-order corrections to the allowed $\\ensuremath{\\beta}$-decay spectrum on the determination of antineutrino spectra resulting f", "source_ref": "https://doi.org/10.1103/physrevc.84.024617" }, { "atom_type": "equation", "confidence": "high", "content": "S_k(E_\\nu)=\\exp\\left(\\sum_{p=0}^{5}a_{p,k}E_\\nu^p\\right)", "locator": "core equation", "provenance_snippet": "Canonical equation mapped for this DOI", "source_ref": "https://doi.org/10.1103/physrevc.84.024617" } ], "extraction_completeness": "substantial", "extraction_confidence": "high", "future_work": [ "Cross-validate with independent detectors and broaden uncertainty stress tests for safeguards deployment." ], "key_equations": [ "S_k(E_\\nu)=\\exp\\left(\\sum_{p=0}^{5}a_{p,k}E_\\nu^p\\right)" ], "limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "notation_seeds": [ "E_nu", "S(E,t)", "f_i(t)", "epsilon(E)", "L" ], "parameters": [ "thermal power", "fuel fractions", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Estimate predicted antineutrino spectrum/flux and test deviations with likelihood or chi-square statistics." ], "provenance_notes": [ "Metadata and abstract from OpenAlex DOI endpoint; full-text section locators to be deepened in later derivation pass." ], "reusable_limitations": [ "Site-specific backgrounds and nuclear-data/model uncertainties remain major contributors to uncertainty." ], "source_type": "paper", "summary": "In this paper we study the effect of well-known higher-order corrections to the allowed $\\ensuremath{\\beta}$-decay spectrum on the determination of antineutrino spectra resulting from the decays of fission fragments. In particular, we try to estimate the associated theory errors and find that induced currents like weak magnetism may ultimately limit our ability to improve the c", "theorem_proof_scaffolds": [], "title": "Determination of antineutrino spectra from nuclear reactors", "url": "https://doi.org/10.1103/physrevc.84.024617", "year": 2011 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "D. Reyna", "A. Bernstein", "J.C. Lund", "Scott D. Kiff", "Belkis Cabrera-Palmer", "N. S. Bowden", "S. Dazeley", "G. Keefer" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "D. Reyna, A. Bernstein, J.C. Lund et al. (2011). Advances toward a transportable antineutrino detector system for reactor monitoring and safeguards. . https://doi.org/10.1109/animma.2011.6172887", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Improves reactor antineutrino spectral or flux modeling used in detection inference." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "Nuclear reactors have served as the neutrino source for many fundamental physics experiments. The techniques developed by these experiments make it possible to use these very weakl", "source_ref": "https://doi.org/10.1109/animma.2011.6172887" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Nuclear reactors have served as the neutrino source for many fundamental physics experiments. The techniques developed by these experiments make it possible to use these very weakl", "source_ref": "https://doi.org/10.1109/animma.2011.6172887" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "Nuclear reactors have served as the neutrino source for many fundamental physics experiments. The techniques developed by these experiments make it possible to use these very weakl", "source_ref": "https://doi.org/10.1109/animma.2011.6172887" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Nuclear reactors have served as the neutrino source for many fundamental physics experiments. The techniques developed by these experiments make it possible to use these very weakly interacting particles for a practical purpose. The large flux of antineutrinos that leaves a reactor carries information about two quantities of interest for safeguards: the reactor power and fissil", "theorem_proof_scaffolds": [], "title": "Advances toward a transportable antineutrino detector system for reactor monitoring and safeguards", "url": "https://doi.org/10.1109/animma.2011.6172887", "year": 2011 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Shi Sheng-chun" ], "baseline_details": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Shi Sheng-chun (2010). Preliminary Neutronics Calculation of Thorium-Based and MA Transmutation Breeding Blanket for Hybrid Fusion-Fission Reactor. Nuclear Instruments and Methods in Physics Research Section B Beam Interactions with Materials and Atoms. https://en.cnki.com.cn/Article_en/CJFDTOTAL-YZJS201001011.htm", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "Hybrid fusion-fission reactor has advantages of production of nuclear fuel and transmutation of long-life nuclear waste and having inherent safety,at the same time,demand is signif", "source_ref": "https://en.cnki.com.cn/Article_en/CJFDTOTAL-YZJS201001011.htm" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Hybrid fusion-fission reactor has advantages of production of nuclear fuel and transmutation of long-life nuclear waste and having inherent safety,at the same time,demand is signif", "source_ref": "https://en.cnki.com.cn/Article_en/CJFDTOTAL-YZJS201001011.htm" }, { "atom_type": "procedure", "confidence": "medium", "content": "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures.", "locator": "analysis pipeline", "provenance_snippet": "Hybrid fusion-fission reactor has advantages of production of nuclear fuel and transmutation of long-life nuclear waste and having inherent safety,at the same time,demand is signif", "source_ref": "https://en.cnki.com.cn/Article_en/CJFDTOTAL-YZJS201001011.htm" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "burnup proxy" ], "procedures": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "paper", "summary": "Hybrid fusion-fission reactor has advantages of production of nuclear fuel and transmutation of long-life nuclear waste and having inherent safety,at the same time,demand is significantly reduced compare to the pure fusion reactor.Breeding blanket is the key part of the fusion-fission reactor and in the past,the uranium-plutonium blanket concept was widely investigated.Consider", "theorem_proof_scaffolds": [], "title": "Preliminary Neutronics Calculation of Thorium-Based and MA Transmutation Breeding Blanket for Hybrid Fusion-Fission Reactor", "url": "https://en.cnki.com.cn/Article_en/CJFDTOTAL-YZJS201001011.htm", "year": 2010 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "A. Bernstein", "H.E. Lambert", "H A Elayat", "W.J. O'Connell", "P.E. Rexroth", "George Thomas Baldwin", "N. S. Bowden", "Robert Michael Huelskamp" ], "baseline_details": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "A. Bernstein, H.E. Lambert, H A Elayat et al. (2006). Use of Antineutrino Detectors for Nuclear Reactor Safeguards Effectiveness Assessment. University of North Texas Digital Library (University of North Texas). https://digital.library.unt.edu/ark:/67531/metadc875522/", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Improves reactor antineutrino spectral or flux modeling used in detection inference." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "As described in an earlier article [1], important information regarding reactor power and the amount and type of fissile material in reactor cores can be determined by measuring th", "source_ref": "https://digital.library.unt.edu/ark:/67531/metadc875522/" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "As described in an earlier article [1], important information regarding reactor power and the amount and type of fissile material in reactor cores can be determined by measuring th", "source_ref": "https://digital.library.unt.edu/ark:/67531/metadc875522/" }, { "atom_type": "procedure", "confidence": "medium", "content": "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "locator": "analysis pipeline", "provenance_snippet": "As described in an earlier article [1], important information regarding reactor power and the amount and type of fissile material in reactor cores can be determined by measuring th", "source_ref": "https://digital.library.unt.edu/ark:/67531/metadc875522/" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Construct isotope-weighted antineutrino spectrum/flux prediction and compare against measured prompt-energy spectrum.", "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "As described in an earlier article [1], important information regarding reactor power and the amount and type of fissile material in reactor cores can be determined by measuring the antineutrino rate and energy spectrum, using a cubic meter scale antineutrino detector at tens of meters standoff from the core. Current International Atomic Energy Agency (IAEA) safeguards techniqu", "theorem_proof_scaffolds": [], "title": "Use of Antineutrino Detectors for Nuclear Reactor Safeguards Effectiveness Assessment", "url": "https://digital.library.unt.edu/ark:/67531/metadc875522/", "year": 2006 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Inverse beta decay detection efficiency, background, and standoff distance can be parameterized." ], "authors": [ "A. Bernstein", "Y. Wang", "G. Gratta", "T. West" ], "baseline_details": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "citation": "A. Bernstein, Y. Wang, G. Gratta et al. (2002). Nuclear reactor safeguards and monitoring with antineutrino detectors. Journal of Applied Physics. https://doi.org/10.1063/1.1452775", "claims": [ "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Defines or evaluates antineutrino-based safeguards/monitoring methodology for reactor operations.", "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Antineutrino observations can provide non-intrusive safeguards signals for reactor-state changes or diversion risk.", "locator": "title/abstract", "provenance_snippet": "Cubic-meter-sized antineutrino detectors can be used to non intrusively, robustly, and automatically monitor and safeguard a wide variety of nuclear reactor types, including power ", "source_ref": "https://doi.org/10.1063/1.1452775" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "Cubic-meter-sized antineutrino detectors can be used to non intrusively, robustly, and automatically monitor and safeguard a wide variety of nuclear reactor types, including power ", "source_ref": "https://doi.org/10.1063/1.1452775" }, { "atom_type": "procedure", "confidence": "medium", "content": "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation.", "locator": "analysis pipeline", "provenance_snippet": "Cubic-meter-sized antineutrino detectors can be used to non intrusively, robustly, and automatically monitor and safeguard a wide variety of nuclear reactor types, including power ", "source_ref": "https://doi.org/10.1063/1.1452775" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Validate with multi-detector, multi-standoff deployments under realistic background drift." ], "key_equations": [], "limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [ "thermal power", "burnup proxy", "detector efficiency", "background rate", "energy resolution", "standoff distance" ], "procedures": [ "Apply time-series hypothesis testing or change detection to distinguish baseline from diversion-like operation." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Performance depends on site-specific backgrounds, detector calibration stability, and operational access constraints." ], "source_type": "paper", "summary": "Cubic-meter-sized antineutrino detectors can be used to non intrusively, robustly, and automatically monitor and safeguard a wide variety of nuclear reactor types, including power reactors, research reactors, and plutonium production reactors. Since the antineutrino spectra and relative yields of fissioning isotopes depend on the isotopic composition of the core, changes in com", "theorem_proof_scaffolds": [], "title": "Nuclear reactor safeguards and monitoring with antineutrino detectors", "url": "https://doi.org/10.1063/1.1452775", "year": 2002 }, { "assumptions": [ "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "Blanket composition and neutron economy control fissile breeding rates and byproduct signatures." ], "authors": [ "Janie McCowan" ], "baseline_details": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "citation": "Janie McCowan (1978). Tritium breeding in a fusion--fission hybrid breeder reactor. . https://doi.org/10.2172/6531756", "claims": [ "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "Fusion-adjacent blanket configurations can influence fissile breeding potential and monitoring requirements." ], "comparator_lineage": [ "Baseline reactor-antineutrino monitoring models", "Material- or flux-model comparators where available" ], "conclusions": [ "Source provides evidence relevant to antineutrino detectability and/or fissile pathway assessment under modeled conditions." ], "contradiction_pairs": [], "contributions": [ "Provides fusion-fission blanket/breeding analysis relevant to covert fissile production pathways." ], "evidence_atoms": [ { "atom_type": "claim", "confidence": "medium", "content": "Fuel-composition evolution measurably alters detected antineutrino spectra and can be used for inference.", "locator": "title/abstract", "provenance_snippet": "In order to construct a D-T fusion-fission hybrid breeder reactor there must be some guarantee that tritium will be available to fuel the fusion reaction. This can be achieved by b", "source_ref": "https://doi.org/10.2172/6531756" }, { "atom_type": "assumption", "confidence": "medium", "content": "Reactor thermal power and fuel evolution are modeled as observable or bounded inputs.", "locator": "method framing", "provenance_snippet": "In order to construct a D-T fusion-fission hybrid breeder reactor there must be some guarantee that tritium will be available to fuel the fusion reaction. This can be achieved by b", "source_ref": "https://doi.org/10.2172/6531756" }, { "atom_type": "procedure", "confidence": "medium", "content": "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures.", "locator": "analysis pipeline", "provenance_snippet": "In order to construct a D-T fusion-fission hybrid breeder reactor there must be some guarantee that tritium will be available to fuel the fusion reaction. This can be achieved by b", "source_ref": "https://doi.org/10.2172/6531756" } ], "extraction_completeness": "substantial", "extraction_confidence": "medium", "future_work": [ "Integrate material optimization with safeguards observability objectives and uncertainty propagation." ], "key_equations": [], "limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "notation_seeds": [ "E_nu (antineutrino energy)", "S(E,t) (time-dependent spectrum)", "epsilon(E) (detection efficiency)", "L (standoff distance)" ], "parameters": [], "procedures": [ "Run neutronics/burnup calculations across blanket material configurations to estimate fissile production and signatures." ], "provenance_notes": [ "Metadata and abstract via OpenAlex API; full-text follow-up needed for theorem-level derivations where unavailable." ], "reusable_limitations": [ "Results often depend on parameterized or conceptual fusion designs rather than proprietary plant details." ], "source_type": "paper", "summary": "In order to construct a D-T fusion-fission hybrid breeder reactor there must be some guarantee that tritium will be available to fuel the fusion reaction. This can be achieved by breeding tritium in the blanket of the reactor. A variety of blanket configurations have been studied with the intent of arriving at a blanket design capable of attaining sizeable values of power and f", "theorem_proof_scaffolds": [], "title": "Tritium breeding in a fusion--fission hybrid breeder reactor", "url": "https://doi.org/10.2172/6531756", "year": 1978 } ]