⚛️ high-energy theory

No-signaling-in-time condition for three-flavor neutrino oscillations

This paper extends the investigation of the no-signaling-in-time condition, a necessary and sufficient criterion for strong macrorealism, to the case of three-flavor neutrino oscillations by incorporating the CP-violating phase of the Pontecorvo-Maki-Nakagawa-Sakata matrix.

Original authors: Massimo Blasone, Fabrizio Illuminati, Luciano Petruzziello, Kyrylo Simonov, Luca Smaldone

Published 2026-10-02

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Massimo Blasone, Fabrizio Illuminati, Luciano Petruzziello, Kyrylo Simonov, Luca Smaldone

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the quiet corners of the universe, particles known as neutrinos travel in vast numbers, ghostly and elusive, passing through planets and stars as if they were made of air. These particles come in three distinct types, or "flavors," named after the charged particles they are associated with: electron, muon, and tau. A fundamental mystery of modern physics is how these particles change their identity as they move. A neutrino born as one type can transform into another and then back again, a phenomenon called oscillation. This behavior challenges our everyday intuition about how objects exist in the world. In our daily experience, a chair is either in the kitchen or the living room; it does not exist in a fuzzy state of being in both places at once, nor does it change its location simply because we are not looking at it. This intuitive view of reality is called macrorealism. However, quantum mechanics suggests that at the smallest scales, nature does not follow these rules. To test whether the macrorealist view holds up even for these tiny, fast-moving particles, physicists use a set of mathematical tools designed to catch nature in a contradiction.

A team of researchers has taken this investigation a step further by applying these tests to the full complexity of three-flavor neutrino oscillations. Previous studies had looked at simpler scenarios involving only two types of neutrinos, but the real universe involves three, and the mathematics governing them includes a specific parameter that allows for a subtle difference between matter and antimatter, known as the CP-violating phase. The scientists wanted to see if this extra layer of complexity changed the verdict on whether neutrinos behave like classical objects or quantum ones. They focused on a specific condition called "no-signaling-in-time." In plain terms, this condition asks a simple question: does the act of checking a particle's state at an intermediate moment change the statistics of what we see later? If the world were truly macrorealist, measuring a particle in the middle of its journey should not alter the final outcome in a way that depends on the measurement itself. The researchers calculated the probabilities of neutrinos changing flavors over time, accounting for the fact that these particles are not perfect mathematical points but have a spread in their position, which causes them to lose their quantum "coherence" over very long distances.

The study found that the condition for macrorealism is indeed violated by neutrino oscillations, confirming that these particles do not follow the rules of everyday reality. The researchers discovered that the violation of this condition is not just a minor effect; it persists even when the particles have traveled for long periods and their quantum wave-like properties have begun to fade. Interestingly, the presence of the third flavor and the CP-violating phase introduced a new dependence into the results. When the phase that distinguishes matter from antimatter is active, the violation of the macrorealist condition becomes significantly stronger compared to a scenario where this distinction is absent. This suggests that the subtle asymmetry between matter and antimatter leaves a detectable fingerprint on the fundamental nature of reality, making the quantum behavior of neutrinos even more pronounced. The team also compared their findings with other, older tests known as Leggett-Garg inequalities. They found that while those older tests sometimes fail to detect the quantum nature of the system, especially at long times, the "no-signaling-in-time" condition remains a robust and sensitive detector, revealing the quantumness of the neutrinos even when the older tests might miss it.

This work does more than just confirm that neutrinos are quantum objects; it provides a new, more precise way to look at the problem. The researchers noted that the mathematical expression they derived for the test involves terms that are not just simple probabilities of flavor change, but also include interference effects that are sensitive to the CP-violating phase. This hints that these tests could serve as a new kind of observable, capable of detecting the specific quantum signatures of matter-antimatter asymmetry in a way that standard measurements might not. Furthermore, the authors suggest that this framework could be useful in the future for testing different theoretical descriptions of how neutrinos mix and oscillate. Since different theories predict slightly different behaviors for these particles, a test that is this sensitive to the detailed timing and correlations of the system could help physicists decide which theoretical model best describes the true nature of neutrino mixing. The study stands as a clear demonstration that the strange, non-intuitive rules of the quantum world are not confined to the laboratory but are actively at play in the cosmic dance of neutrinos, and that our ability to detect these rules is becoming increasingly refined.

Problem Statement
Macroscopic realism (macrorealism) is a foundational concept asserting that macroscopic systems exist in definite states at all times and can be measured without disturbing their subsequent evolution. While Leggett–Garg inequalities (LGIs) and their Wigner variants (WLGIs) are standard tools for testing violations of macrorealism, they represent a "weak" version of the concept, relying on correlations measured across different experimental runs. A "strong" version of macrorealism requires the fulfillment of the No-Signaling-In-Time (NSIT) and Arrow-of-Time (AoT) conditions, which provide necessary and sufficient conditions for macrorealism by ensuring that measurement statistics are independent of whether intermediate measurements are performed.

Previous studies have established that neutrino oscillations violate LGIs, serving as a witness to quantumness. However, it remains necessary to investigate whether these systems also violate the stronger NSIT/AoT conditions, particularly in the context of three-flavor oscillations where the CP-violating phase of the Pontecorvo–Maki–Nakagawa–Sakata (PMNS) matrix plays a role. This paper addresses the extension of NSIT/AoT analysis from two-flavor systems to the full three-flavor neutrino oscillation framework.

Methodology
The authors employ a theoretical framework combining quantum field theory approximations for neutrino mixing with the statistical conditions of macrorealism.

Neutrino Oscillation Model: The study utilizes the standard three-flavor oscillation formalism, incorporating the PMNS mixing matrix with its CP-violating phase ( $\delta$ ). The analysis considers both the plane-wave approximation and a more realistic wave-packet approach to account for decoherence effects at large propagation times.
Observable Definition: A dichotomic observable $\hat{O}_{\nu_e}$ is defined, yielding $+1$ for electron neutrinos and $-1$ for the combined muon and tau flavors. This represents a coarse-grained flavor measurement.
Probability Calculations: The authors compute joint probabilities $P(O_i, O_j)$ and three-time probabilities $P(O_i, O_j, O_k)$ for a neutrino initially produced as a muon flavor. These are derived using time-evolution operators and transition amplitudes $A_{\sigma \to \rho}(t)$ .
Condition Testing:
- NSIT/AoT: The authors derive the specific NSIT condition for this system. They note that AoT conditions are trivially satisfied in this context (no retro-causality), reducing the strong macrorealism test to a single non-trivial equality: $N(t) = P(O_2) - \sum_{O_1} P(O_1, O_2) = 0$ .
- LGIs and WLGIs: The standard LGIs ( $L_1$ through $L_4$ ) and Wigner LGIs ( $W_1$ through $W_3$ ) are calculated for the same setup to serve as comparative benchmarks.
Numerical Simulation: The derived expressions are evaluated using current best-fit parameters for the PMNS matrix (mixing angles and mass-squared differences) and specific values for the wave-packet width ( $\sigma_x$ ) and energy ( $E$ ). The results are plotted against propagation time and compared with the previously established two-flavor case.

Key Contributions and Results

Extension to Three Flavors: The paper successfully extends the NSIT/AoT analysis to three-flavor neutrino oscillations, explicitly incorporating the CP-violating phase $\delta$ .
Reduction to a Single Equality: Consistent with previous two-flavor and meson studies, the authors find that the NSIT/AoT conditions for three-flavor oscillations reduce to a single non-trivial equality, $N(t) = 0$ . This function encodes the effect of an intermediate measurement and involves interference terms between different flavor pathways (specifically $\mu \to \mu \to e$ and $\mu \to \tau \to e$ ).
Violation of Macrorealism: The results demonstrate that the NSIT condition is violated by three-flavor neutrino oscillations. This violation persists even at large times where wave-packet decoherence occurs, a regime where standard LGIs might no longer be violated.
Dependence on CP Violation: The magnitude of the NSIT violation depends on the CP-violating phase $\delta$ . The paper notes that the violation is significantly enhanced when $\delta \neq 0$ compared to the case of conserved CP symmetry.
Comparison with LGIs/WLGIs:
- WLGIs: The Wigner LGIs for three flavors are formally similar to the two-flavor case, differing only in the specific probability expressions.
- Standard LGIs: Unlike the two-flavor case where $L_3$ and $L_4$ coincide, the three-flavor case distinguishes these inequalities. The standard LGIs are satisfied over most of the time interval, with only minor violations at short times, which are less pronounced than in the two-flavor scenario.
- Hierarchy: The results confirm the theoretical hierarchy where NSIT/AoT violations can occur even when LGIs are satisfied, reinforcing NSIT/AoT as a more stringent test of macrorealism.

Significance and Claims
The paper claims that the NSIT/AoT conditions provide a more informative and complete characterization of macrorealism in neutrino oscillations than LGIs alone. Specifically, the inclusion of the tau flavor introduces a dependence on the CP-violating phase into the tests of macrorealism, affecting both the strong (NSIT) and weak (LGI) forms.

The authors suggest that the NSIT function, which is not entirely expressible in terms of simple oscillation probabilities but includes interference terms, may act as a new quantum observable sensitive to CP violation. Furthermore, they propose that this framework could offer a novel perspective on the field-theoretical description of neutrino mixing. Since NSIT/AoT conditions probe detailed temporal correlations rather than time-averaged observables, they could theoretically serve as fine-grained witnesses to discriminate between competing descriptions of neutrino mixing (e.g., standard quantum mechanical approximations versus exact flavor-vacuum formalisms). However, the authors modestly state that quantitatively assessing whether such corrections leave a detectable imprint on these witnesses remains a direction for future work.

More like this