Impact of different neutrino decoherence formalisms at the future long-baseline Experiments

This paper investigates how two distinct formalisms for modeling neutrino decoherence—one defined in the matter mass eigenstate basis and the other in the vacuum mass eigenstate basis—yield divergent oscillation probabilities and experimental sensitivities for future long-baseline experiments like DUNE and P2SO, particularly when decoherence parameters are large or matter effects are significant.

The Gist

Imagine you are trying to listen to a specific song playing in a crowded, noisy room. The song is the "neutrino," a tiny, ghost-like particle that zips through the universe. The "crowd" is the matter (like the Earth's crust) it travels through, and the "noise" is the environment trying to mess with the music.

This paper is about two different ways scientists try to calculate how much that noise distorts the song as it travels from one place to another. The authors are looking at two future giant experiments, DUNE (in the US) and P2SO (in Europe), which will shoot beams of these particles through the Earth to see how they change.

Here is the breakdown of the paper using simple analogies:

1. The Core Problem: The "Ghost" Loses Its Rhythm

Neutrinos have a weird superpower called oscillation. They can change their "flavor" (like switching from a "musical note" of one type to another) as they travel. This happens because they are quantum objects, behaving like waves that interfere with each other.

However, there is a concept called decoherence. Think of this like a dancer losing their rhythm.

• Standard Physics: The dancer keeps perfect rhythm the whole time, even in a crowd.
• Decoherence: The crowd bumps into the dancer, or the floor is shaky. The dancer starts to stumble. The "quantum interference" (the perfect dance) gets dampened or erased.

Scientists want to know: How much does the dancer stumble? They use a number called Gamma ($\Gamma$) to measure how strong this "stumbling" is.

2. The Two Different Maps (Formalisms)

The paper argues that scientists are using two different "maps" to predict how the dancer stumbles in a crowded room (matter).

• Map A (Formalism-A): The "On-the-Spot" Map
  Imagine you are walking through a crowd. Map A says, "Let's just look at the crowd right in front of us and assume the stumbling happens based only on how dense the crowd is right here." It simplifies things by assuming the rules of the dance change instantly to match the local crowd.

  • The Flaw: It's a bit of a shortcut. It assumes the dancer's internal rhythm is already perfectly adjusted to the crowd before they even start walking.

• Map B (Formalism-B): The "True Origin" Map
  Map B says, "No, let's remember how the dancer started in a quiet room (vacuum). We know their original rhythm. As they enter the crowd, we have to mathematically rotate their original rhythm to see how the crowd affects them step-by-step."

  • The Advantage: This is the more rigorous, "correct" way. It respects the fact that the dancer started with a specific rhythm in a quiet place and only then encountered the crowd.

3. The Experiment: When Do the Maps Agree?

The authors ran simulations to see if these two maps give different results.

• Scenario 1: The Quiet Room (Vacuum)
  If the "stumbling" (decoherence) is very weak (a small $\Gamma$), both maps give the exact same answer. It doesn't matter which map you use; the dancer stumbles the same amount in both.

  • Analogy: If the crowd is thin, both maps agree the dancer barely stumbles.

• Scenario 2: The Dense Crowd (Matter)
  This is where it gets interesting. When the neutrinos travel through the Earth (a dense crowd), the two maps start to disagree, especially if the "stumbling" is strong.

  • Map A predicts a weird, fake "peak" in the data around 11 GeV (a specific energy level). It looks like the dancer suddenly gets better at dancing for a split second, which doesn't make physical sense.
  • Map B does not show this fake peak. It shows a smooth, realistic change.

4. The Results: Why It Matters

The authors tested how well DUNE and P2SO could detect this "stumbling" using both maps.

• Finding the Limit: They calculated the maximum amount of "stumbling" the experiments could detect.

  • In the Vacuum, the limits were similar for both maps.
  • In Matter, the limits were very different. Map B gave a tighter, more realistic limit. Map A was a bit too optimistic or confused by its own shortcut.

• Solving the Mystery: The experiments want to solve three big puzzles:

  1. Mass Ordering: Which neutrino is the heaviest?
  2. Octant: Is the mixing angle "low" or "high"?
  3. CP Violation: Why is there more matter than antimatter in the universe?

  The paper found that if you use Map A, you might think you can solve these puzzles better than you actually can (or worse, in some cases). Map B shows that the "stumbling" actually makes it harder to solve these puzzles, and the two maps predict different levels of difficulty.

The Bottom Line

The authors are saying: "Don't use the shortcut map (Map A) when you are walking through a dense crowd (matter)."

If you use the simplified method, you might see fake signals (like that weird peak at 11 GeV) or get the wrong idea about how well your experiment will work. To get the true picture of the universe, you must use the rigorous method (Map B) that accounts for how the particles started their journey and how the Earth's matter truly affects them.

In short: When studying these ghostly particles deep inside the Earth, the "correct" math matters. Using the wrong math could lead scientists to draw the wrong conclusions about the fundamental laws of the universe.

Technical Summary

1. Problem Statement

Neutrino oscillation physics aims to determine fundamental parameters such as the CP-violating phase ($\delta_{CP}$), the mass ordering, and the octant of $\theta_{23}$. The standard paradigm assumes coherent propagation of neutrino mass eigenstates. However, quantum decoherence—the loss of quantum coherence due to interactions with an environment or intrinsic space-time fluctuations (e.g., quantum gravity effects)—can act as a sub-leading effect that damps oscillation amplitudes.

A critical theoretical ambiguity exists in how to model decoherence in the presence of matter effects (neutrinos propagating through the Earth's crust):

• Formalism-A: Assumes the decoherence matrix is diagonal and energy-independent in the matter mass eigenstate basis (the basis that diagonalizes the Hamiltonian in matter).
• Formalism-B: Defines the decoherence matrix in the vacuum mass eigenstate basis and rotates it to the matter basis via a unitary transformation.

Previous literature has debated these approaches, with Formalism-A predicting a "purported peak" in appearance probabilities that Formalism-B does not. The authors aim to quantify the impact of choosing one formalism over the other on the sensitivity of future long-baseline experiments, specifically DUNE (Deep Underground Neutrino Experiment) and P2SO (Protvino-to-Super-ORCA).

2. Methodology

The study employs a comparative analysis using the GLoBES simulation package to calculate oscillation probabilities and $\chi^2$ sensitivities.

• Theoretical Framework:

  • The evolution of the neutrino system is described using the Lindblad master equation for open quantum systems.
  • Formalism-A: The dissipator matrix $D$ is defined directly in the matter basis with diagonal elements corresponding to damping factors $\exp(-\Gamma_{ij}L)$.
  • Formalism-B: The dissipator is defined in the vacuum basis and transformed to the matter basis using the mixing matrix.
  • The authors derive explicit probability formulas for both formalisms, considering the decoherence parameter $\Gamma$ (assumed energy-independent, $n=0$).

• Experimental Configurations:

  • DUNE: 1.2 MW beam, 40 kt Liquid Argon TPC, baseline $\approx$ 1300 km.
  • P2SO: 450 kW beam, Super-ORCA detector, baseline $\approx$ 2595 km.
  • Both experiments are simulated with 6.5 years of neutrino and 6.5 years of antineutrino running (total 13 years).

• Analysis Strategy:

  • Probability Level: Comparison of oscillation probabilities ($P_{\nu_\mu \to \nu_e}$) in vacuum and matter for varying $\Gamma$.
  • Sensitivity Level: Calculation of exclusion limits on $\Gamma$ at $3\sigma$ confidence level.
  • Physics Reach: Evaluation of the impact on determining Mass Ordering, $\theta_{23}$ Octant, and CP Violation ($\delta_{CP}$) as a function of $\Gamma$.
  • Systematic uncertainties (normalization and shape) are incorporated using the pull method.

3. Key Contributions

• Direct Comparison of Formalisms: The paper provides a rigorous, side-by-side comparison of Formalism-A and Formalism-B under identical experimental conditions, clarifying the conditions under which they diverge.
• Matter Effect Analysis: It demonstrates that while the two formalisms converge in vacuum for small $\Gamma$, they yield significantly different results in the presence of strong matter effects, even for small decoherence parameters.
• Resolution of the "Peak" Controversy: The authors investigate the anomalous peak in probability predicted by Formalism-A (around 11 GeV) and determine its relevance to experimental sensitivity bounds.
• Quantification of Sensitivity Degradation: The study quantifies how the choice of formalism alters the projected sensitivity to standard oscillation parameters (Mass Ordering, Octant, CPV) in the presence of decoherence.

4. Results

A. Probability Level Differences

• Vacuum: For small decoherence parameters ($\Gamma \lesssim 10^{-23}$ GeV), both formalisms yield identical probabilities. Divergence occurs only at larger $\Gamma$ values.
• Matter: Even for small $\Gamma$ ($10^{-23}$ GeV), the formalisms produce significantly different probabilities in matter.
  • Formalism-A: Curves closely match the standard oscillation scenario (SI) and exhibit a spurious peak around 11 GeV for $\Gamma = 5 \times 10^{-23}$ GeV.
  • Formalism-B: Shows an enhancement in probability compared to the standard case and lacks the spurious peak.

B. Constraints on Decoherence Parameter ($\Gamma$)

• Vacuum: Constraints from DUNE are similar for both formalisms, but P2SO shows a slight difference. Formalism-B generally provides tighter bounds.
• Matter: The difference between the formalisms is significantly enhanced. Formalism-B provides better (tighter) constraints on $\Gamma$ for both experiments.
• The "Peak" Relevance: The authors conclude that the peak observed in Formalism-A occurs at $\Gamma$ values far exceeding the $3\sigma$ exclusion limits. Therefore, this artifact does not contribute to the estimation of sensitivity bounds for DUNE or P2SO.

C. Impact on Physics Sensitivities

The choice of formalism drastically alters the projected sensitivity to standard parameters:

• Mass Ordering:
  • Formalism-A: Sensitivity increases relative to the standard scenario as $\Gamma$ increases.
  • Formalism-B: Sensitivity decreases initially, then may rise at very high $\Gamma$ (beyond current limits).
  • Conclusion: Formalism-A suggests better mass ordering sensitivity, but this is likely an artifact of the incorrect basis choice.
• Octant and CP Violation:
  • Formalism-A: Sensitivity decreases monotonically with increasing $\Gamma$.
  • Formalism-B: Sensitivity initially drops but recovers/increases at higher $\Gamma$ values ($\sim 2 \times 10^{-23}$ GeV).
  • Conclusion: For Octant and CPV, Formalism-B provides better sensitivity than Formalism-A at higher decoherence strengths.
• Experiment Dependence: The discrepancies between the two formalisms are more pronounced for P2SO (longer baseline, stronger matter effect) than for DUNE.

5. Significance and Conclusion

The paper concludes that Formalism-B (defining decoherence in the vacuum basis and rotating to matter) is the physically correct approach for neutrinos propagating through matter.

• Implication for Future Experiments: Relying on Formalism-A could lead to over-optimistic estimates of mass ordering sensitivity and underestimation of CPV/Octant sensitivity in the presence of decoherence.
• Recommendation: For future long-baseline experiments where matter effects are substantial (like DUNE and P2SO), it is crucial to adopt Formalism-B to obtain realistic sensitivity projections.
• Final Verdict: The "purported peak" in Formalism-A is an artifact that does not affect the exclusion limits but highlights the theoretical inconsistency of defining the decoherence matrix directly in the matter basis without proper unitary transformation.

This work serves as a critical guide for the DUNE and P2SO collaborations, ensuring that their sensitivity studies for new physics (decoherence) and standard parameters are based on a robust theoretical framework.