🌀 nonlinear sciences

Absence of hidden analytic conserved quantities in harmonically confined rods

This paper rigorously proves that systems of hard rods in a one-dimensional harmonic trap possess no additional analytic conserved quantities beyond total energy and center-of-mass energy, while demonstrating that such extra quantities do exist when the rods are reduced to zero-length point particles.

Original authors: Sahil Kumar Singh, Abhishek Dhar, Sanjay Moudgalya

Published 2026-07-22

📖 4 min read☕ Coffee break read

CC BY 4.0

Original authors: Sahil Kumar Singh, Abhishek Dhar, Sanjay Moudgalya

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

Imagine a giant, invisible dance floor where tiny, bouncy balls are zooming around, bouncing off each other and the walls. In the world of physics, scientists love to predict how these balls will move. Usually, if you have enough balls, they eventually settle into a predictable, messy pattern called "thermal equilibrium," where energy is shared evenly, like a crowded party where everyone eventually gets a drink. This is the rule for most chaotic systems. But sometimes, a system acts weird. It refuses to mix, keeps its energy in specific pockets, and moves in perfect, repeating loops, as if it's following a secret rulebook that no one has found yet. This is the mystery of "non-ergodic" behavior. Scientists have been scratching their heads over a specific dance floor: a line of hard, stiff rods trapped in a bowl-shaped energy field (a harmonic trap). These rods bounce off each other and the walls, but instead of getting messy, they seem to have a hidden "superpower" keeping them in order. The big question is: Is there a secret, invisible law of physics we haven't discovered yet that is holding this dance together?

This paper, written by Sahil Kumar Singh, Abhishek Dhar, and Sanjay Moudgalya, dives into that mystery with a magnifying glass and a very strict set of rules. The authors set out to find if there is a "hidden conserved quantity"—a secret number that never changes as the rods bounce, which would explain why they don't get messy. They didn't just guess; they used a systematic, mathematical search to see if such a secret number could exist, but only if it followed a specific rule: it had to be "analytic." In plain English, this means the secret rule had to be smooth and predictable, like a nice curve you could draw without lifting your pen, rather than a jagged, broken line.

Here is the twist: The authors rigorously proved that no such hidden, smooth secret rule exists for these rods, provided at least one of the rods has a real, non-zero length. They showed that the only things that stay constant are the total energy of the system and the energy of the center of mass (the "average" position of the group). If you are looking for a third, hidden number to explain the rods' orderly behavior, you won't find one in the form of a smooth mathematical formula. The authors ruled out the existence of any extra analytic conserved quantity.

However, the story gets a little more playful when the rods shrink down to nothing. If the rods are actually just tiny, dimensionless points (zero length), the rules change completely. In that special case, the system does have a huge family of hidden conserved quantities, making it perfectly predictable and "super-integrable." But the moment you give those points any actual size, even a tiny bit, that magical family of secrets vanishes, leaving only the two known rules.

The authors also looked at a slightly different version of the problem where rods randomly swap speeds at any time (not just when they hit). Even in this chaotic scenario, they proved that no new hidden rules appear. So, the mystery of the harmonically confined rods remains: they act strangely and don't mix like they should, but it's not because of a hidden, smooth mathematical law. The authors suggest that the order might come from something more complex or "rough" that doesn't fit the smooth rules they were looking for, or perhaps the system is just behaving in a way that is harder to pin down than a simple secret number. Their work clears the board of one specific type of explanation, leaving physicists to wonder what else could be keeping the dance floor so orderly.

Technical Summary: Absence of Hidden Analytic Conserved Quantities in Harmonically Confined Rods

Problem Statement
The dynamics of hard rods of equal length confined in a one-dimensional harmonic trap have exhibited peculiar non-ergodic behavior, including regular orbits and zero Lyapunov exponents in specific regimes (e.g., $N=3$ ), despite the system being expected to break integrability. While the system possesses two well-known conserved quantities—the total energy ( $E$ ) and the center-of-mass energy ( $E_{cm}$ )—numerical evidence suggests a lack of thermalization to Gibbs ensembles and the presence of regular phase-space structures. This raises the question of whether "hidden" integrals of motion exist that are analytic in the positions ( $x_i$ ) and momenta ( $p_i$ ) of the rods, which would explain the observed non-ergodicity.

Methodology
The authors employ a systematic algebraic approach to constrain the functional forms of potential conserved quantities. Rather than searching for specific solutions, they derive necessary symmetry conditions that any analytic conserved quantity $Q(\{x_i\}, \{p_i\})$ must satisfy to be conserved under both free harmonic motion and elastic collisions.

Free Motion Constraint: Conservation during free motion (Eq. 4) requires $Q$ to be invariant under a continuous $U(1)$ rotation in each $(x_i, p_i)$ plane. This restricts $Q$ to the algebra generated by quadratic invariants $C^{\pm}_{ij} = x_i x_j \pm p_i p_j$ , or equivalently, balanced monomials in complex coordinates $z_i = x_i + i p_i$ and $\bar{z}_i = x_i - i p_i$ .
Collision Constraint: Conservation during collisions (Eq. 5) imposes discrete symmetry constraints. The nature of these constraints depends on the rod lengths ( $a_i$ $a_{i}$ ):
- Zero Length ( $a_i=0$ ): Collisions correspond to particle exchange, requiring invariance under the simultaneous permutation of positions and momenta ( $S^{(x,p)}_N$ ).
- Non-Zero Length ( $a_i \neq 0$ ): The collision condition, combined with the $U(1)$ invariance, forces the conserved quantity to be invariant under the independent permutation of momenta ( $S^{(p)}_N$ ) and, subsequently, positions ( $S^{(x)}_N$ ).
Algebraic Analysis: The authors analyze the intersection of these symmetry groups to determine the exhaustive set of analytic conserved quantities for four distinct cases: free motion, point particles ( $a_i=0$ ), Stochastic Momentum Exchange Dynamics (SMED), and hard rods with at least one non-zero length.

Key Contributions and Results

Free Motion (Theorem 3.1): For non-interacting rods, the authors rigorously prove that the exhaustive set of analytic conserved quantities is generated by the $U(1)$ -invariant quadratic polynomials $C^{\pm}_{ij}$ . This confirms the system is maximally superintegrable with $2N-1$ independent integrals.
Point Particles ( $a_i=0$ ) (Theorem 4.2): In the limit where rods have zero length, the system retains $U(1)$ symmetry and gains $S^{(x,p)}_N$ symmetry (joint permutation of labels). The authors construct an exhaustive set of conserved quantities using symmetric power sums of the complex variables ( $Z_{m,n} = \sum z_i^m \bar{z}_i^n$ ). This results in a much larger family of conserved quantities than just $E$ and $E_{cm}$ , rendering the point-particle system maximally superintegrable.
Stochastic Momentum Exchange Dynamics (SMED) (Theorem 5.1): For a system where momenta are exchanged stochastically (independent of position), the authors show that any analytic conserved quantity must be invariant under independent permutations of positions ( $S^{(x)}_N$ ) and momenta ( $S^{(p)}_N$ ). This symmetry group, combined with $U(1)$ , restricts the algebra of conserved quantities strictly to functions of $E$ and $E_{cm}$ .
Hard Rods with Non-Zero Length (Theorem 6.2): This is the central result. The authors demonstrate that if at least one rod has a non-zero length, the collision constraints force any analytic conserved quantity to be invariant under the full permutation group of momenta ( $S^{(p)}_N$ ). By mapping this to the SMED case, they prove that no independent analytic conserved quantities exist beyond $E$ and $E_{cm}$ . Consequently, the system is not integrable in the analytic sense.

Significance and Claims
The paper claims to rigorously rule out the existence of hidden analytic conserved quantities in the system of harmonically confined hard rods with non-zero lengths. This finding clarifies the structure of the conserved quantities, showing that the observed non-ergodic behavior and regular orbits cannot be attributed to a new, simple analytic integral of motion.

The authors note that this absence of analytic integrals deepens the mystery of the system's dynamics, as the non-ergodicity persists despite the lack of such conserved quantities. They suggest that the observed regularity (e.g., in $N=3$ ) may arise from "dressed" or quasi-conserved quantities that are only valid in specific regions of phase space (reminiscent of KAM tori in weakly perturbed integrable systems) rather than global analytic invariants. The work establishes a systematic algebraic framework applicable to other classical many-body systems to distinguish between integrable, non-integrable, and systems with hidden non-analytic constraints.

The paper explicitly states that its results apply to quantities analytic at the origin of phase space and does not rule out non-analytic or non-local conserved quantities, nor does it provide a definitive explanation for the non-ergodicity observed in numerical simulations, but rather narrows the search for its origin.

More like this