Pith. sign in

REVIEW 1 major objections 2 minor 5 cited by

T2K and NOvA data remain compatible with standard oscillations while excluding dark dimension neutrino parameters

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-05-21 15:40 UTC pith:LLFK3HKJ

load-bearing objection This paper applies an existing dark extra dimension model to T2K and NOvA data to set exclusion limits on right-handed neutrino parameters, but the limits' strength rests on whether systematics were fully incorporated. the 1 major comments →

arxiv 2601.00790 v2 pith:LLFK3HKJ submitted 2026-01-02 hep-ph astro-ph.COgr-qchep-th

Dark Dimension Right-handed Neutrinos Confronted with Long-Baseline Oscillation Experiments

Ai-Yu Bai , Auttakit Chatrabhuti , Yin-Yuan Huang , Hiroshi Isono , Jian Tang This is my paper
classification hep-ph astro-ph.COgr-qchep-th
keywords neutrino oscillationsextra dimensionsright-handed neutrinosT2KNOvAlong baselinedark dimension
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper tests models where right-handed neutrinos come from dark extra dimensions by looking at their effects on neutrino oscillations. Calculations of the expected spectra with and without the extra dimensions are compared to measurements from the T2K and NOvA long-baseline experiments. The data fits the standard oscillation model well. This fit leads to strong exclusion limits on the parameters describing the dark dimension. The resulting bounds add information from particle colliders and cosmological studies.

Core claim

Right-handed neutrinos naturally appear in dark extra dimension models and affect neutrino oscillations. Long-baseline experiments can probe the model parameters by comparing predicted oscillation spectra to data. The T2K and NOvA results match standard three-neutrino oscillations without extra dimensions, yielding stringent exclusion limits on the dark dimension parameters at high confidence. These limits complement constraints from colliders and cosmology.

What carries the argument

Modified neutrino oscillation spectra due to right-handed neutrinos in dark extra dimensions

Load-bearing premise

The oscillation spectra are computed in a way that accurately includes all relevant effects from the dark dimension without overlooked uncertainties.

What would settle it

A statistical preference in the T2K or NOvA dataset for the extra dimension model parameters over the standard model at high significance would challenge the exclusion limits.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The T2K and NOvA data support the standard neutrino oscillation hypothesis.
  • Stringent exclusion limits are established for the extra dimension model parameters.
  • The constraints on dark dimension right-handed neutrinos complement those from collider experiments and cosmological observations.

Where Pith is reading between the lines

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

  • Future long-baseline experiments could apply similar analyses to further restrict the model space.
  • These results may guide the development of unified theories incorporating extra dimensions and neutrino properties.
  • Cross-checks with other types of neutrino data, such as from reactors or accelerators, could strengthen or weaken the exclusions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 2 minor

Summary. The manuscript investigates right-handed neutrinos induced by dark extra dimension models and their effects on neutrino oscillations. The authors compute oscillation spectra with and without the extra-dimension contributions, compare these to T2K and NOvA data, and report compatibility with the standard three-flavor oscillation hypothesis. They derive stringent exclusion limits on the dark-dimension model parameters at high confidence level, presenting these as complementary to collider and cosmological constraints.

Significance. If the exclusion limits are derived with a statistically sound procedure that properly marginalizes over experimental systematics, the work would provide useful new constraints on extra-dimensional neutrino models using existing long-baseline data. This approach is complementary to direct searches and could help test the viability of dark-dimension scenarios in a regime not accessible to colliders or cosmology alone.

major comments (1)
  1. [§4] §4 (Statistical Analysis): The manuscript does not specify whether the full published covariance matrices and nuisance parameters from T2K and NOvA are included in the likelihood or chi-squared function. Long-baseline results are systematics-dominated; without marginalization over flux, cross-section, and detector uncertainties the derived exclusion contours risk being artificially tight, directly affecting the central claim of 'stringent exclusion limits'.
minor comments (2)
  1. [Figure 1] Figure 1: Axis labels and curve styles should explicitly distinguish the standard oscillation case from the dark-dimension cases with different parameter values.
  2. [References] References: Add the specific T2K and NOvA data-release papers with publication years and arXiv identifiers for reproducibility.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comment on the statistical analysis. We address this point directly below and have revised the manuscript to provide the requested clarification and details.

read point-by-point responses

  1. Referee: [§4] §4 (Statistical Analysis): The manuscript does not specify whether the full published covariance matrices and nuisance parameters from T2K and NOvA are included in the likelihood or chi-squared function. Long-baseline results are systematics-dominated; without marginalization over flux, cross-section, and detector uncertainties the derived exclusion contours risk being artificially tight, directly affecting the central claim of 'stringent exclusion limits'.

    Authors: We agree that explicit documentation of the statistical procedure is necessary, especially since long-baseline results are systematics-dominated. The original manuscript in §4 describes the computation of oscillation spectra and their comparison to T2K and NOvA data but does not detail the precise form of the likelihood or chi-squared function. To address this, we will revise §4 to specify that the analysis employs the full published covariance matrices provided by the T2K and NOvA collaborations. We will also describe the marginalization over the relevant nuisance parameters for flux, cross-section, and detector uncertainties. This revision will confirm that the derived exclusion limits properly incorporate these systematics and are not artificially tight. We believe the updated description will strengthen the presentation of our results while preserving the central findings. revision: yes

Circularity Check

0 steps flagged

No circularity: standard data confrontation with external experiments

full rationale

The paper computes oscillation spectra with and without dark-dimension right-handed neutrino effects, then directly compares both to independent T2K and NOvA data sets to test compatibility with standard three-flavor oscillations and derive exclusion limits on the extra-dimension parameters. This is a conventional likelihood or chi-squared analysis against external experimental results; no step reduces a claimed prediction to a fitted input by construction, no self-citation is invoked as a uniqueness theorem or load-bearing premise, and the central result (compatibility plus limits) is not equivalent to the model definition or to any internal fit. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The central claim rests on the unstated assumption that the extra-dimension-induced right-handed neutrinos produce calculable modifications to oscillation probabilities that can be directly compared to data without additional free parameters beyond those already in the model.

pith-pipeline@v0.9.0 · 5652 in / 1178 out tokens · 48104 ms · 2026-05-21T15:40:42.907228+00:00 · methodology

0 comments
read the original abstract

Right-handed neutrinos are naturally induced by dark extra dimension models and play an essential role in neutrino oscillations. The model parameters can be examined by the long-baseline neutrino oscillation experiments. In this work, we compute the predicted neutrino oscillation spectra within/without extra dimension models and compare them with the experimental data. We find that the neutrino data in the T2K and NOvA experiments are compatible with the standard neutrino oscillation hypothesis. The results set the stringent exclusion limit on the extra dimension model parameters at a high confidence level. The derived constraints on dark dimension right-handed neutrinos are complementary to those results from the collider experiments and cosmological observations.

Figures

Figures reproduced from arXiv: 2601.00790 by Ai-Yu Bai, Auttakit Chatrabhuti, Hiroshi Isono, Jian Tang, Yin-Yuan Huang.

Figure 1
Figure 1. Figure 1: Panel (a) plots the values of the squared mixing coefficients in vacuum |Li 0(n) | 2 for n = 1, . . . , 40. Panels (b), (c), (d) plots the values of the squared mixing coefficients |L10(kn) | 2 , |L20(kn) | 2 , |L30(kn) | 2 , respectively. Parameters for the plots are ¯c1 = −c¯2 = −c¯3 = 4 and ¯µ1 = 0.1 with ¯µ2, µ¯3 determined by (2.42) in NH. In matter. Let us consider the case in matter. In this article… view at source ↗
Figure 2
Figure 2. Figure 2: Left panel: Difference on Pνµ→νµ with different KK modes cutoff values when {R, |c¯i |, ¯µ1} are set as {10 µm, 4, 0.1} and the baseline of NOvA is used. The low-pass filter is used to smooth the curves, which is discussed in Section 3.4.1. Right panel: the L 2 norm between Pνµ→νµ with cutoff ∈ [5, 120] and Pνµ→νµ with a fixed cutoff of 200. on the simulated neutrino oscillation spectra. The results obtain… view at source ↗
Figure 3
Figure 3. Figure 3: Neutrino oscillation probabilities for both standard oscillation and DD models at the [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Oscillation probabilities for both standard oscillation and DD models at the NOvA FD [PITH_FULL_IMAGE:figures/full_fig_p016_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The reconstructed neutrino energy spectra for the FD [PITH_FULL_IMAGE:figures/full_fig_p017_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The reconstructed neutrino energy spectra for the FD [PITH_FULL_IMAGE:figures/full_fig_p018_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The exclusion limits at 68% (black line) and 90% (black line) C.L. in the T2K [PITH_FULL_IMAGE:figures/full_fig_p019_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The exclusion limits at 68% (black line) and 90% (black line) C.L. in the NOvA [PITH_FULL_IMAGE:figures/full_fig_p020_8.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Searching for the $N$-naturalness tower of neutrinos

    hep-ph 2026-07 conditional novelty 6.0

    Neutrino data rule out the Majorana realization of N-naturalness with up to 10^4 sectors and fine-tuning r ≥ 0.1, including the no-fine-tuning GUT benchmark.

  2. Breaking Free from the Swampland of Impossible Universes through the DESI Portal

    astro-ph.CO 2026-05 unverdicted novelty 3.0

    DESI data favoring time-evolving dark energy may place constant-Λ cosmology in the string swampland and favor string-inspired dynamical dark energy.

  3. Breaking Free from the Swampland of Impossible Universes through the DESI Portal

    astro-ph.CO 2026-05 unverdicted novelty 2.0

    DESI data indicating evolving dark energy may allow string theory to describe observed universes without violating swampland constraints on constant dark energy.

  4. Breaking Free from the Swampland of Impossible Universes through the DESI Portal

    astro-ph.CO 2026-05 unverdicted novelty 2.0

    A review summarizing advancements over the past two years that link DESI baryon acoustic oscillation data to string-inspired scenarios with dynamic dark energy.

  5. Breaking Free from the Swampland of Impossible Universes through the DESI Portal

    astro-ph.CO 2026-05 unverdicted novelty 2.0

    A review of string-inspired dynamical dark energy models claiming compatibility with DESI's hints of evolving dark energy under swampland constraints.