⚛️ phenomenology

Invariant Algebras of Low-Rank Neutrino Matter Flows: Krylov-Plücker Invariants, the $3+1$ Toric Ring, and Controlled Deformations

This paper establishes a unified algebraic framework for identifying matter-invariant quantities in neutrino propagation by characterizing them as the joint kernel of commuting derivations, utilizing Krylov-Plücker invariants to derive exact dimension formulas and revealing that the standard $3+1$ system's invariants form a toric cycle ring rather than a simple monomial factorization.

Original authors: Jianlong Lu

Published 2026-09-15

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Jianlong Lu

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 ghostly particles that stream through the universe in trillions, passing through planets and stars as if they were made of empty air. Despite their elusiveness, they carry a profound secret: as they travel, they can change their identity, shifting from one type to another in a process called oscillation. This behavior is governed by a mathematical description of their energy and how they mix, but the story becomes complicated when these particles move through matter, such as the dense core of the Sun or the Earth's crust. The atoms in this matter interact with the neutrinos, subtly altering their path and their ability to change types. Physicists have long known that some combinations of the neutrino's properties remain unchanged regardless of how dense the matter is, acting as fixed points in a shifting landscape. However, understanding exactly which properties stay constant, and how they hold together when the matter itself changes or when new, unknown forces are introduced, has remained a difficult puzzle.

A researcher has now mapped this landscape with a new level of precision, creating a unified algebraic framework that describes exactly which neutrino properties are immune to the influence of matter. Instead of trying to track the complex, shifting values of energy and mixing as a neutrino travels, the researcher focused on finding the quantities that simply do not change. They treated the matter effect not as a chaotic disturbance, but as a structured addition to the neutrino's energy equation. By analyzing the mathematical structure of this addition, they discovered that the set of unchanging quantities can be broken down into two distinct parts. One part consists of simple, diagonal values that are unaffected by the matter, while the other part is a complex web of relationships between the different types of neutrinos. This web is built from cycles, where the influence of one neutrino type on another loops back to the start, creating a closed loop of interaction that remains constant even as the density of the material changes.

The researcher applied this framework to a specific and realistic scenario involving four types of neutrinos: the three known flavors and a hypothetical fourth type called a sterile neutrino. In this four-flavor system, they found that the unchanging quantities are generated by a specific set of building blocks. These include simple measures of the strength of interaction between pairs of flavors, as well as more complex loops involving three or four flavors at a time. They proved that a commonly used set of eleven numbers, which physicists have relied on for years to describe this system, is actually only a local map. These eleven numbers work well in most situations, but they fail at the edges of the physical landscape, such as when certain interactions become zero. The new work shows that to have a complete, global description that works everywhere, one must include additional building blocks, specifically loops involving four flavors, which the older set missed. This means the full picture of neutrino behavior in matter is richer and more interconnected than previously realized.

The study also explored what happens when the matter itself is not uniform or when new, non-standard forces are introduced. The researcher showed that if the density of different types of matter, like electrons and neutrons, varies independently, the number of unchanging quantities shrinks, but the complex web of loops between neutrino types remains intact. They further demonstrated that if a new force acts diagonally, affecting each neutrino type separately, the web of loops stays exactly the same, though the simple diagonal values shift. However, if a new force acts off-diagonally, connecting different neutrino types directly, it deforms the web. The researcher found that while the original loops drift, a new, corrected version of these loops can be constructed that remains perfectly constant. This correction acts like a precise adjustment, compensating for the new force so that the underlying algebraic structure survives.

A significant portion of the work focused on the mathematical shape of these unchanging quantities. The researcher investigated whether these quantities could be broken down into simple, separate factors, such as a product of mixing angles and energy differences. They confirmed that for the simplest case of a single type of matter influence, this factorization works perfectly, much like a familiar pattern. However, they proved that for more complex, multi-layered matter influences, this simple breakdown is impossible. The quantities become a sum of different terms that cannot be separated into a single clean product. This finding rules out the hope that a simple formula could describe all neutrino behavior in matter, showing instead that the reality is a more intricate sum of independent parts.

The team also examined the boundaries where these mathematical descriptions might break down, such as when the support graph of interactions becomes disconnected. They found that the mathematical space describing these neutrino properties is smooth and well-behaved as long as all the neutrino types remain connected through interactions. If the connections break, the space develops singularities, or sharp points, where the description becomes ambiguous. This distinction is crucial for understanding when a physical model is robust and when it is fragile. Furthermore, they showed that even when the energy levels of the neutrinos become identical, a condition known as degeneracy, the algebraic identities describing the unchanging quantities remain valid. This means the framework is robust enough to handle the most extreme and difficult physical scenarios without failing.

In addition to the theoretical structure, the researcher provided a rigorous verification of their findings. They used computer algebra systems to check the exact mathematical relationships, confirming that the new set of building blocks and the rules connecting them are correct. They tested these relationships against specific numerical examples, including scenarios with varying matter densities and hypothetical new forces. The results showed that the new framework holds up under scrutiny, with the corrected quantities remaining constant to an extremely high degree of precision. This computational verification ensures that the theoretical insights are not just abstract ideas but concrete, testable truths about how neutrinos behave in the real world.

The implications of this work extend to how physicists analyze data from neutrino experiments. By understanding the exact algebraic structure of the unchanging quantities, researchers can better separate the effects of matter from the fundamental properties of the neutrinos themselves. This allows for more accurate measurements of neutrino masses and mixing angles, which are key to understanding the universe's fundamental composition. The framework also provides a clear way to test for new physics. If an experiment observes a deviation from the predicted unchanging quantities, it would signal the presence of a new force or a new type of interaction that the current model does not account for. The ability to distinguish between a simple shift in density and a genuine new force is a powerful tool for future discoveries.

Ultimately, this research transforms a complex and often confusing problem into a clear, structured map. It shows that while the behavior of neutrinos in matter is intricate, it is governed by deep, unchanging principles. The researcher has identified the exact ingredients that make up these principles and shown how they hold together under various conditions. By separating the fixed from the variable, and the simple from the complex, they have provided a new foundation for understanding one of the most elusive particles in nature. This work does not just add a few new facts; it reorganizes the entire way physicists think about neutrino oscillations in matter, offering a precise and reliable guide for navigating the subtle interplay between particles and the matter they traverse.

Technical Summary: Invariant Algebras of Low-Rank Neutrino Matter Flows

Problem Statement
Neutrino oscillations in matter are governed by a Hamiltonian that, in the flavor basis, undergoes a low-dimensional additive deformation by matter potentials. While the spectral response (eigenvalues and mixing vectors) in the mass basis exhibits complex, nonlinear behavior, the flavor-basis description is an elementary translation. Previous work has identified specific matter invariants (e.g., Toshev relations, KTY identities, Harrison-Scott invariants) and local transcendence bases for specific scenarios like the standard 3-flavor or 3+1 systems. However, three structural questions remained unresolved:

Is there a general theorem governing invariants for matter potentials of arbitrary low rank, beyond the known rank-one case?
How does one distinguish between a set of algebraically independent local coordinates and a global polynomial invariant ring, particularly regarding rational reconstruction on physically relevant strata?
How do realistic extensions, such as independently varying diagonal potentials, off-diagonal nonstandard interactions (NSI), and radiative corrections, systematically affect the existence and structure of these invariants?

Methodology
The paper develops a unified algebraic framework treating matter invariants as the joint kernel of two commuting actions on the flavor-basis Hamiltonian space:

Flavor Rephasing: The action of the complexified flavor-rephasing torus $T_f \cong (\mathbb{C}^\times)^n / \mathbb{C}^\times$ .
Matter Translation: Additive translations along the directions specified by matter spurions $P_A$ .

The author formulates the invariant algebra as the intersection of the rephasing-invariant ring and the kernels of the translation derivations $D_A$ . The analysis proceeds over the complex coordinate ring to ensure regularity at spectral degeneracies, later restricting to the Hermitian real form for physical observables.

Key mathematical tools include:

Toric Geometry: Modeling the off-diagonal invariant ring as a semigroup algebra generated by directed cycles on the flavor graph.
Krylov Subspaces: Constructing block-Krylov rows from the Hamiltonian and matter spurions to identify exterior-power covariants.
Plücker Coordinates: Analyzing the spectral pullback of these covariants to determine factorization properties.
Control Theory: Utilizing the concept of output injection to prove the invariance of observability matrices under specific deformations.

Key Contributions and Results

1. General Structure of Diagonal Matter Flows
For $k$ independent traceless diagonal matter directions spanning a space $W$ of dimension $\ell$ , the paper proves that the invariant algebra decomposes into a tensor product:
$\mathcal{I}_{n,W}^{\text{diag}} \cong \mathbb{C}[d_1, \dots, d_{n-1-\ell}] \otimes \mathbb{C}[z_{\alpha\beta} | \alpha \neq \beta]^{T_f}$
where the first factor represents unaffected diagonal linear forms and the second is the rephasing-invariant off-diagonal cycle algebra. The Krull dimension is derived as $n(n-1) - \ell$ . This result unifies fixed-composition matter, independently varying densities, and flavor-nonuniversal radiative corrections.

2. Low-Rank Krylov–Plücker Invariants
For matter directions with a common effective support of rank $r$ (after scalar shifts), the author constructs block-Krylov matrices $K_q$ . They prove that the exterior product of the rows of $K_q$ is constant along matter flows.

Rank One: When $r=1$ , the maximal minors yield the familiar Vandermonde factorization, recovering known identities like the KTY relation.
Higher Rank ( $r \ge 2$ ): The paper establishes a "no-separation" theorem. For the square case $n=qr$ with $q, r \ge 2$ , the spectral pullback of the Krylov determinant does not admit a universal separated Plücker–spectral factorization (i.e., it cannot be written as a product of a Plücker term and a spectral polynomial). Furthermore, no pairwise eigenvalue difference is a universal divisor.
4×4, Rank-Two Classification: A complete classification is provided for the physically central 3+1 system ( $n=4, r=2$ ). The determinant is irreducible on the generic Plücker stratum but factorizes on specific boundary strata (where certain Plücker coordinates vanish) or vanishes identically on others (matroid basis-packing failure).

3. The Global Standard 3+1 Toric Ring
For the standard fixed-composition 3+1 system, the off-diagonal algebra is identified as the toric cycle ring of the complete four-vertex graph.

Generators: The minimal generating set consists of 20 monomials: 6 two-cycles (edge moduli), 8 directed triangles, and 6 directed quadrangles.
Relations: The ideal of relations is a prime binomial toric ideal of height 11, generated by a unique minimal Markov basis of 55 binomials.
Local vs. Global: The paper demonstrates that the commonly cited "eleven invariants" constitute a valid local coordinate system on a dense open set (where specific edge moduli are non-zero) but fail to form a global polynomial generating set. Specifically, quadrangle invariants cannot be globally reconstructed from triangles without division by edge moduli, which may vanish on physical strata.
CP Structure: The paper provides a global criterion for CP conservation: the vanishing of the imaginary parts of all four triangle pairs and all three quadrangle pairs. It shows that triangle phases alone are insufficient to detect CP violation in chordless square supports.
Singularities: The physical quotient is smooth if and only if the support graph of the Hamiltonian is connected. Disconnected support graphs correspond to singular strata in the quotient.

4. Controlled Deformations and NSI
The framework distinguishes between different types of matter deformations:

Diagonal Corrections: These rotate the diagonal annihilator subspace but leave the off-diagonal cycle algebra and its syzygies exactly unchanged.
Tied Off-Diagonal NSI: If an off-diagonal NSI is tied to a diagonal anchor, the invariant algebra undergoes an exact "shear" (Theorem VIII.1). The original cycle generators are replaced by "dressed" generators that remain exact invariants, preserving the toric structure and syzygies.
Independent Off-Diagonal NSI: If an NSI direction varies independently, it acts as a new translation direction. This reduces the dimension of the invariant ring discontinuously (even for small coupling) and destroys the exact invariance of the original cycles unless they happen to lie in the new kernel.
Radiative Corrections: These are treated as diagonal deformations that rotate the flow direction. They preserve the off-diagonal cycle algebra but may lift the effective rank of the matter support, thereby destroying special spectral factorizations (like the rank-one Vandermonde form) even if the flow remains one-dimensional.

Significance and Claims
The paper claims to provide a rigorous algebraic separation between three distinct concepts often conflated in neutrino physics:

First Integrals: Quantities constant along a specific trajectory.
Global Polynomial Invariants: Quantities regular on the full algebraic quotient.
Spectral Factorization: The stronger property of factorizing into a single product of mixing and eigenvalue terms.

The author emphasizes that the existence of exact invariants is a property of the local Hamiltonian family and is distinct from the existence of a spectral factorization. The framework clarifies why certain identities (like Toshev relations) are sensitive to the specific rank and support of the matter potential, while the underlying cycle algebra remains robust. The work offers exact algebraic inputs for reconstruction and NSI analyses, distinguishing between obstructions arising from the choice of a restricted correction class (e.g., requiring a specific factorization form) and the non-existence of an exact polynomial invariant.

The paper explicitly limits its scope to finite-dimensional Hermitian propagation Hamiltonians, excluding non-Hermitian decay, decoherence, collective self-interactions, and full experimental sensitivity forecasts. It does not claim to resolve generalized mass-ordering degeneracies or provide a UV completion but organizes the nonlinear response of effective parameters within a low-dimensional affine geometry.

Technical Summary: Invariant Algebras of Low-Rank Neutrino Matter Flows

More like this