⚛️ phenomenology

Effective propagators of flavor neutrinos

This paper demonstrates that while a derivation of flavor neutrino propagators without perturbation treatment violates fundamental quantum field theory principles, an effective propagator can be constructed by treating mass mixing as a perturbation, thereby successfully rederiving neutrino oscillation probabilities in both vacuum and matter.

Original authors: Maxim Dvornikov (IZMIRAN)

Published 2026-08-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Maxim Dvornikov (IZMIRAN)

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

Neutrinos are the most abundant massive particles in the universe, yet they remain among the most elusive. These ghostly particles zip through ordinary matter almost entirely unimpeded, passing through the Earth and even our own bodies by the trillions every second without leaving a trace. What makes them particularly fascinating to physicists is that they do not travel as single, fixed types. Instead, they exist in a state of constant transformation. A neutrino created in a specific way, such as during a nuclear reaction in the sun, is born with a particular identity, but as it travels across space, it shifts into other identities before potentially shifting back. This phenomenon, known as flavor oscillation, proves that neutrinos have mass, a discovery that fundamentally changed our understanding of particle physics. To study these shifts, scientists rely on a powerful theoretical framework called quantum field theory, which treats particles not as solid billiard balls but as excitations in underlying fields, allowing researchers to calculate the probability of a particle changing its identity as it moves from a source to a detector.

For decades, physicists have used a specific mathematical tool within this framework to describe these changing particles: a "propagator." In simple terms, a propagator is a function that tells you how a particle moves and evolves through space and time. When studying neutrino oscillations, researchers often tried to write down a single propagator for the flavor states—the specific identities like electron or muon neutrinos that we observe. This approach seemed logical because it treated the oscillating particle as a single entity moving through space. However, a new analysis by Maxim Dvornikov at the Pushkov Institute of Terrestrial Magnetism, Ionosphere and Radiowave Propagation in Moscow suggests that this common method is fundamentally flawed. The paper argues that you cannot define a propagator for a flavor neutrino in the same way you do for a particle with a fixed mass, because flavor neutrinos do not possess a single, definite mass. In the strict rules of quantum field theory, a particle must have a specific mass to be described by the standard mathematical tools used to track its journey. Since a flavor neutrino is a mixture of different masses, the standard definition of its propagator breaks the basic principles of the theory, rendering the calculation technically invalid even if it sometimes produces the right answer by accident.

Dvornikov's work does not stop at pointing out the error; it offers a corrected path forward. Instead of trying to force a single definition onto a flavor neutrino, the author proposes treating the mixing of different masses as a small disturbance, or perturbation, acting on the underlying particles. By viewing the problem this way, one can construct what is called an "effective propagator." This new tool is not a single, simple formula but rather the result of summing up an infinite series of interactions, a process that accounts for the particle constantly shifting between its mass states as it travels. When the author applies this corrected effective propagator to the problem of neutrinos traveling through a vacuum, the math naturally leads back to the well-known probability formula for oscillations that physicists have used for years. This confirms that while the old method of using a simple flavor propagator was theoretically unsound, the results it produced were correct because they accidentally captured the right physics. The new derivation, however, arrives at that same result through a rigorous and consistent application of quantum field theory.

The study also examines whether this corrected approach works when neutrinos travel through matter, such as the dense core of a star or the Earth's atmosphere, where they interact with other particles. In these environments, the behavior of neutrinos changes due to the presence of background matter, which creates effective potentials that influence their oscillations. The author finds that constructing an effective propagator for flavor neutrinos in this context is even more difficult. Because the interaction with matter affects the different chiralities, or "handedness," of the neutrinos in a way that does not align with the mass mixing, the mathematical series used to build the effective propagator collapses to zero. This means that, within the strict rules of quantum field theory, it is not possible to define a single effective propagator for flavor neutrinos moving through background matter. Instead, researchers must continue to use the propagators of the underlying mass eigenstates to accurately describe what happens in these environments.

Ultimately, this paper clarifies the theoretical foundation of neutrino oscillations by distinguishing between what is mathematically permissible and what is merely convenient. It demonstrates that while flavor neutrinos are the particles we observe, they are not the fundamental entities that propagate through space; those roles belong to the mass eigenstates. The flavor states are a superposition of these fundamental states, and trying to treat them as a single propagating unit violates the symmetry principles that govern the universe. By correcting the mathematical approach, the study ensures that future calculations regarding neutrino behavior in both vacuum and matter are built on a solid, consistent footing. The work serves as a reminder that in the microscopic world, the tools we use to describe nature must be as precise as the laws of physics themselves, and sometimes, the most accurate path to a known answer requires abandoning the shortcuts that led us there in the first place.

Technical Summary: Effective Propagators of Flavor Neutrinos

Problem Statement
The paper addresses a foundational inconsistency in the Quantum Field Theory (QFT) description of neutrino flavor oscillations. While the standard Quantum Mechanics (QM) approach successfully describes flavor oscillations, a rigorous QFT treatment requires treating neutrinos as virtual particles propagating between a source and a detector. Previous QFT studies (e.g., Refs. [9, 10, 19, 20]) attempted to define "flavor neutrino propagators" ( $S_{\alpha\beta}$ ) by analogy with mass eigenstate propagators, treating flavor states as fundamental fields with indefinite masses. The author argues that this definition violates the basic principles of QFT, specifically regarding the definition of the vacuum state and the representation of the Poincaré group.

Methodology
The author employs two distinct QFT formalisms to analyze the validity of flavor neutrino propagators:

Operator Formalism: The paper examines the construction of propagators via the S-matrix and Wick's theorem. It analyzes the transformation properties of state vectors and field operators under the Poincaré group. The analysis relies on the requirement that physical particles must correspond to irreducible representations of the Poincaré group, characterized by definite mass (Casimir operator $P^2 = m^2$ ).
Path Integral Formalism: The author investigates the derivation of propagators using generating functionals. This involves analyzing the boundary conditions required for the fields at $t \to \pm \infty$ to ensure the convergence of the path integral and the proper definition of the Green function.
Perturbative Construction: To resolve the identified inconsistencies, the author constructs an "effective propagator" by treating the flavor mixing term in the Lagrangian as a perturbation. This involves summing a Dyson-like series of diagrams where the mixing term acts as a vertex connecting diagonal flavor propagators.

Key Contributions and Results

Invalidity of Flavor Propagators:
- Operator Approach: The paper demonstrates that flavor neutrinos, being superpositions of mass eigenstates, do not possess a definite mass. Consequently, they cannot form an irreducible representation of the Poincaré group. This implies that a Fock space and a vacuum state ( $|0_F\rangle$ ) cannot be rigorously defined for flavor fields. Therefore, the definition $iS_{\alpha\beta}(x-y) = \langle 0_F | T\{\nu_\alpha(x)\bar{\nu}_\beta(y)\} | 0_F \rangle$ is ill-defined.
- Path Integral Approach: The derivation of a flavor propagator via path integrals requires boundary conditions where fields behave as free particles with definite masses at asymptotic times. Since flavor fields are inherently mixed and do not satisfy free Dirac equations with definite masses, the boundary conditions necessary to convert the Green function into a valid propagator cannot be satisfied. The resulting expression is formally divergent and lacks a prescription for bypassing poles.
Construction of the Effective Propagator:
- The author proposes a consistent alternative: treating the off-diagonal mass mixing term ( $V$ ) as a perturbation to a diagonal Lagrangian ( $L_0$ ).
- By summing the perturbative series (Dyson series) for the transition amplitude between flavors (e.g., $\nu_e \to \nu_\mu$ ), the author derives an exact expression for the effective propagator ( $\Sigma_{\mu e}$ ).
- This effective propagator satisfies a Dyson-like equation: $(S_\mu V S_e)^{-1} - V = \Sigma_{\mu e}^{-1}$ . The solution explicitly incorporates the mixing parameters and the masses of the underlying mass eigenstates.
Re-derivation of Oscillation Probability in Vacuum:
- Applying the derived effective propagator to the calculation of the S-matrix element for neutrino oscillations in a vacuum, the author re-derives the standard QM transition probability.
- Under the assumptions of ultrarelativistic neutrinos and macroscopic distances ( $L \gg E^{-1}$ ), the result recovers the familiar formula:
  $P_{\nu_e \to \nu_\mu} \approx \sin^2 2\theta \sin^2 \left( \frac{\Delta m^2}{4E} L \right)$
- This confirms that while the flavor propagator is theoretically invalid, the effective propagator approach yields the correct physical predictions.
Limitations in Background Matter:
- The paper analyzes the application of this formalism to neutrino oscillations in background matter. It finds that for Dirac neutrinos, the effective propagator cannot be consistently constructed in the same manner.
- The reason is that the exact propagator for a neutrino in matter (derived in Ref. [13]) is based on a solution to the Dirac equation for a specific chirality (left-handed). The flavor mixing term, however, couples different chiralities (e.g., $\bar{\nu}_{\mu L} \nu_{e R}$ ). Consequently, the perturbative series involving the mixing term vanishes when using the exact matter propagator.
- The author concludes that for oscillations in matter, one must revert to using propagators of mass eigenstates rather than attempting to construct an effective flavor propagator.

Significance and Claims
The paper claims to resolve a theoretical ambiguity in the QFT treatment of neutrino oscillations. It asserts that while previous works obtained correct numerical results for oscillation probabilities, their theoretical input (the definition of flavor propagators) was flawed because it violated the axiomatic principles of QFT regarding Poincaré invariance and vacuum definition.

The significance of the work lies in:

Rigorous Justification: Providing a mathematically consistent framework for treating flavor oscillations in QFT by distinguishing between fundamental mass eigenstates and effective flavor transitions.
Methodological Correction: Demonstrating that flavor mixing must be treated as a perturbation (or via Dyson equations) rather than as a property of the fundamental field propagator itself.
Scope Definition: Clarifying that while effective propagators work for vacuum oscillations, they are not applicable to oscillations in background matter for Dirac neutrinos without violating QFT consistency, necessitating the use of mass eigenstate propagators in that regime.

The author maintains a modest stance, noting that the derived effective propagator is a tool to recover known results within a consistent QFT framework, rather than a proposal for new experimental phenomena or a modification of the standard model.

Technical Summary: Effective Propagators of Flavor Neutrinos

More like this