Recognition: 2 theorem links
· Lean TheoremOuter Detector of Hyper-Kamiokande
Pith reviewed 2026-05-13 01:53 UTC · model grok-4.3
The pith
Hyper-Kamiokande's outer detector reduces cosmic-ray muon inefficiency to one part in a million using selected photomultiplier tubes and cuts.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The outer detector, instrumented with 8 cm Hamamatsu R14374 photomultiplier tubes, achieves a cosmic-ray muon reduction inefficiency of O(10^{-6}) with OD-based cuts alone. When these cuts are combined with fiducial volume cuts, the inefficiency reaches O(10^{-9}), which is sufficiently negligible for nucleon decay and atmospheric neutrino analyses.
What carries the argument
The outer detector (OD) surrounding the inner detector, instrumented with selected 8 cm photomultiplier tubes, and evaluated through full-detector Monte Carlo simulation of muon propagation and light detection.
If this is right
- Nucleon decay searches can proceed with cosmic-ray muon contamination low enough to be ignored.
- Atmospheric neutrino analyses obtain event samples free of significant cosmic-ray background.
- The detector meets the background requirements needed to begin operations in 2028.
- The chosen Hamamatsu photomultiplier tubes provide the required detection efficiency and long-term stability in water.
Where Pith is reading between the lines
- The reported rejection factors indicate the experiment can accumulate data for rare-event searches over years without cosmic-ray interference dominating the error budget.
- The outer-detector approach demonstrated here could inform background strategies for any future multi-megaton water Cherenkov detectors.
- Real data collected after 2028 will provide an end-to-end test of whether the simulation-based inefficiency predictions match observed muon rates.
Load-bearing premise
The full detector Monte Carlo simulation accurately models real photomultiplier tube response, water properties, and muon propagation so the quoted inefficiency numbers apply to the built detector.
What would settle it
A measurement of the actual cosmic-ray muon rate passing the outer-detector cuts in the completed Hyper-Kamiokande detector that is substantially higher than O(10^{-6}) would show the simulated performance does not hold in reality.
read the original abstract
Hyper-Kamiokande (HK) is the world's largest water Cherenkov ring-imaging detector, planning to start data taking in 2028. The Outer Detector (OD) surrounds the Inner Detector and plays a critical role in rejecting background events entering from outside, particularly cosmic-ray muons. We report on the selection of $8\,\mathrm{cm}$ diameter photomultiplier tubes (PMTs) for the OD, comparing Hamamatsu R14374 and NNVT N2031 candidates, and present the evaluation of cosmic-ray muon background reduction performance using a full detector simulation. Hamamatsu PMTs were adopted for their superior in-water detection efficiency in deep-UV and stability. The cosmic-ray muon reduction inefficiency reaches $O(10^{-6})$ with OD-based cuts alone, and $O(10^{-9})$ is expected when combined with fiducial volume cuts, which is sufficiently negligible for nucleon decay and atmospheric neutrino analyses.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript describes the selection of 8 cm photomultiplier tubes for the Outer Detector (OD) of Hyper-Kamiokande, comparing Hamamatsu R14374 and NNVT N2031 candidates on the basis of measured in-water deep-UV detection efficiency and stability, and reports full-detector Monte Carlo results for cosmic-ray muon background reduction. Hamamatsu R14374 PMTs are adopted; the simulation yields a muon tagging inefficiency of O(10^{-6}) using OD-based cuts alone and O(10^{-9}) when combined with fiducial-volume cuts, stated to be negligible for nucleon-decay and atmospheric-neutrino analyses.
Significance. If the Monte Carlo modeling of PMT response, water optical properties, muon propagation, and reconstruction algorithms is accurate, the reported inefficiency levels would confirm that the OD design meets the background-suppression requirements for Hyper-Kamiokande's primary physics program, providing a quantitative basis for finalizing the OD instrumentation and analysis cuts.
major comments (1)
- [Abstract and simulation evaluation section] Abstract and the section presenting the simulation results: the central claims of O(10^{-6}) inefficiency with OD cuts and O(10^{-9}) with fiducial cuts are obtained exclusively from full-detector Monte Carlo with no reported comparisons to prototype-tank data, beam-test results, or in-situ calibration measurements. Because the applicability of these numbers to the constructed detector rests on the unverified accuracy of the simulation in reproducing absolute PMT quantum efficiency in water, wavelength-dependent attenuation lengths, Cherenkov-photon yield, and trigger/reconstruction performance, this constitutes a load-bearing limitation for the quantitative performance assertions.
Simulated Author's Rebuttal
We thank the referee for their thorough review and for highlighting the importance of simulation validation. We address the major comment below and have revised the manuscript to provide additional context on the modeling assumptions and their grounding in existing data.
read point-by-point responses
-
Referee: [Abstract and simulation evaluation section] Abstract and the section presenting the simulation results: the central claims of O(10^{-6}) inefficiency with OD cuts and O(10^{-9}) with fiducial cuts are obtained exclusively from full-detector Monte Carlo with no reported comparisons to prototype-tank data, beam-test results, or in-situ calibration measurements. Because the applicability of these numbers to the constructed detector rests on the unverified accuracy of the simulation in reproducing absolute PMT quantum efficiency in water, wavelength-dependent attenuation lengths, Cherenkov-photon yield, and trigger/reconstruction performance, this constitutes a load-bearing limitation for the quantitative performance assertions.
Authors: We acknowledge that the reported inefficiency values are obtained from Monte Carlo and that direct comparisons to full-scale OD prototype data are not available, as the Hyper-Kamiokande detector is still under construction. The simulation incorporates the in-water deep-UV detection efficiencies and stability results measured for the selected Hamamatsu R14374 PMTs, as presented in the manuscript. Water optical properties, including wavelength-dependent attenuation, follow the model validated against Super-Kamiokande data, and muon propagation uses the same GEANT4-based framework employed in prior SK analyses. We have added a dedicated paragraph in the simulation section that explicitly discusses these inputs, cross-checks against SK muon tagging performance, and the estimated systematic uncertainties on the inefficiency figures. This revision clarifies the basis for applying the results to the final detector while noting that future in-situ calibration will provide further confirmation. revision: yes
Circularity Check
No significant circularity; inefficiency is forward Monte Carlo output
full rationale
The paper selects PMTs using independent in-water efficiency and stability measurements, then computes cosmic-muon tagging inefficiency exclusively as the output of a full-detector Monte Carlo that propagates muons, generates Cherenkov light, and applies trigger/reconstruction cuts. No equation or step defines the inefficiency in terms of itself, renames a fit as a prediction, or reduces the quoted O(10^{-6}) / O(10^{-9}) figures to the input parameters by construction. The simulation incorporates measured PMT quantum efficiencies but treats them as fixed inputs; the inefficiency is a derived quantity, not a tautology. No load-bearing self-citations appear in the derivation chain.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Standard models of cosmic-ray muon flux and propagation through water and detector materials
- domain assumption Known optical properties of ultra-pure water and PMT response curves
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclearThe cosmic-ray muon reduction inefficiency reaches O(10^{-6}) with OD-based cuts alone... evaluated using a Geant4-based full HK detector simulation (WCSim) incorporating measured characteristics of the Hamamatsu R14374 PMTs.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery unclearThree sequential cuts were applied... NHITAC<20, NHITAC 1000ns <2, NHIT>166.
Reference graph
Works this paper leans on
-
[1]
K. Abe, et al. (Hyper-Kamiokande Proto-Collaboration). Hyper-Kamiokande Design Report . 2018. https://arxiv.org/abs/1805.04163
-
[2]
Repository: https://github.com/WCSim/WCSim/releases/tag/v1.12.29
The Water Cherenkov Simulator (WCSim), version 1.12.29 , 2025. Repository: https://github.com/WCSim/WCSim/releases/tag/v1.12.29
work page 2025
-
[3]
A Three-Dimensional Code for Muon Propagation through the Rock: MUSIC
P.Antonioli, et al. A Three-Dimensional Code for Muon Propagation through the Rock: MUSIC . Astroparticle Physics , 7(4):357--368, 1997. https://doi.org/10.1016/S0927-6505(97)00035-2
-
[4]
Abe, and others (Hyper-Kamiokande Proto-Collaboration) , title =
K. Abe, and others (Hyper-Kamiokande Proto-Collaboration) , title =. 2018 , note =
work page 2018
-
[5]
Astroparticle Physics , volume =
P.Antonioli, and others , title =. Astroparticle Physics , volume =. 1997 , note =
work page 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.