🔢 mathematics

Absence of nontrivial local conserved quantities in a class of $U(1)$ -symmetric spin-1 chains

This paper rigorously proves the absence of nontrivial local conserved quantities in a specific class of $U(1)$ -symmetric spin-1 chains, including the periodic Motzkin chain, demonstrating that their spontaneous symmetry breaking arises from frustration-free structures rather than the existence of conserved order parameters.

Original authors: Shunsuke Sengoku, Haruki Watanabe

Published 2026-08-19

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Shunsuke Sengoku, Haruki Watanabe

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 vast landscape of quantum physics, where particles behave in ways that defy everyday intuition, scientists often categorize systems into two broad camps: those that are predictable and those that are chaotic. The predictable ones, known as integrable systems, are special because they possess a hidden order. They are governed by a large number of rules that never change over time, acting like a set of unbreakable laws that keep the system's behavior in check. These rules are called conserved quantities. In contrast, most systems are non-integrable; they lack these extra rules, allowing energy to spread out and the system to eventually reach a state of thermal equilibrium, much like a hot cup of coffee cooling down in a room. Understanding which systems fall into which category is crucial, because the presence or absence of these unchanging rules determines whether a material can be solved with exact mathematics or if it must be studied through approximation and simulation.

For decades, physicists have searched for a clear way to tell these two types of systems apart. A leading idea suggests that if a system has a specific type of rule that involves three neighboring parts of the system, it is likely integrable. If no such rule exists, the system is non-integrable. This distinction is not just a mathematical curiosity; it has profound implications for how matter behaves at the smallest scales, particularly regarding how symmetries—fundamental patterns in nature—can break. In one-dimensional chains of atoms, a famous theorem suggests that continuous symmetries should never break at absolute zero temperature. However, there are known exceptions, such as the Heisenberg ferromagnet, where the symmetry breaks because the system possesses a special, unchanging quantity called magnetization that protects the ordered state. The question that remained unanswered was whether other, more exotic systems could break symmetry without this protective shield.

A team of researchers has now rigorously answered this question for a specific class of quantum spin chains. They focused on a family of one-dimensional systems where atoms interact with their nearest neighbors and possess a specific type of rotational symmetry. Within this family, they examined a set of models where certain interaction strengths were set to zero, creating a scenario that previous mathematical tools could not handle. Their goal was to determine if these systems possessed any non-trivial, local rules that never change over time. By applying a systematic method of checking every possible combination of interactions, they proved that for these specific chains, no such rules exist beyond the most basic ones: the total energy of the system, the total magnetization, and the identity of the system itself.

The researchers demonstrated that for any chain of these atoms, there are no hidden conserved quantities that involve a small number of neighboring sites, specifically anywhere from three sites up to half the length of the entire chain. This finding is significant because it proves that these systems are non-integrable. More importantly, it settles a long-standing debate about a particular "frustration-free" model, a system where the ground state minimizes energy locally without conflict. This model was known to exhibit a spontaneous breaking of symmetry at zero temperature, an exception to the standard rules of one-dimensional physics. However, unlike the Heisenberg ferromagnet, this model does not have a local magnetization that commutes with the system's energy. The new proof confirms that there is no other local quantity that could serve as a guardian for this ordered state.

The absence of these local conserved quantities means that the symmetry breaking in this model cannot be explained by a simple, local rule that stays constant. Instead, the researchers conclude that the phenomenon is enabled by the unique structure of the system's energy landscape, where the interactions are arranged in a way that allows for "soft" excitations that do not cost much energy. This allows the system to order itself even in one dimension, bypassing the usual restrictions. The study also extended this proof to a related system known as the periodic Motzkin chain, another complex quantum model that exhibits similar behavior. In both cases, the researchers showed that any quantity that could act as an order parameter for the symmetry breaking must be highly non-local, involving correlations across a large portion of the system, rather than being a simple property of a few neighboring atoms.

This work provides a rigorous mathematical foundation for understanding how quantum systems can order themselves without the traditional protective mechanisms. It clarifies that the mechanism driving this symmetry breaking is distinct from the one found in ferromagnets. The proof relies on a detailed algebraic analysis that checks every possible way a conserved quantity could be constructed, showing that the equations required for such a quantity to exist simply cannot be satisfied. By ruling out the existence of these local rules, the study confirms that the observed order in these systems arises from a more subtle, global property of the quantum state. This distinction helps physicists better understand the diverse ways in which matter can organize itself at the quantum level, separating the behavior of systems that are protected by local conservation laws from those that rely on the intricate geometry of their interactions.

The implications of this research reach beyond the specific models studied. It offers a clearer picture of the boundary between integrable and non-integrable systems, reinforcing the idea that the absence of local conserved quantities is a robust signature of non-integrability. For the specific frustration-free chains examined, the results indicate that their ability to break symmetry is a direct consequence of their energy structure, not a hidden conservation law. This insight is valuable for the broader field of quantum many-body physics, as it helps identify which systems are likely to thermalize and which might retain memory of their initial state. The study also highlights the power of analytical methods in quantum mechanics, showing that even in complex systems with continuous parameters, it is possible to prove the non-existence of certain properties with absolute certainty.

In the context of the broader scientific conversation, this paper closes a gap in our understanding of one-dimensional quantum systems. It takes a model that was previously an enigma due to its vanishing interaction terms and subjects it to a rigorous test, confirming that it behaves like a generic non-integrable system in terms of its conserved quantities. The researchers' work suggests that the mechanism allowing these systems to break symmetry is fundamentally different from the one in ferromagnets, relying instead on the specific way energy gaps close in frustration-free systems. This distinction is crucial for developing a complete theory of quantum phase transitions and symmetry breaking in low-dimensional materials.

The study does not claim to solve all mysteries of quantum symmetry breaking, but it provides a definitive answer for the specific class of models it investigates. It leaves open the question of how these findings apply to the original, non-periodic version of the Motzkin chain, which has different boundary conditions. However, the authors argue that the underlying mechanism is likely the same, suggesting that the lack of local conserved quantities is a general feature of this type of frustration-free system. The work stands as a testament to the power of precise mathematical reasoning in uncovering the hidden rules that govern the quantum world, offering a clear and unambiguous picture of what is and is not possible in these intricate chains of atoms.

Technical Summary: Absence of Nontrivial Local Conserved Quantities in a Class of U(1)-Symmetric Spin-1 Chains

Problem Statement
The paper addresses the classification of integrable versus non-integrable quantum many-body systems, specifically focusing on spin-1 chains with nearest-neighbor interactions and U(1) symmetry. Integrable systems are characterized by an extensive number of local conserved quantities, which prevent thermalization, whereas generic non-integrable systems lack such quantities. Previous work by Shiraishi [13] and Grabowski and Mathieu [2, 12] established that for many models, the existence of a 3-local conserved quantity is a necessary and sufficient condition for integrability.

However, a specific class of U(1)-symmetric spin-1 chains, defined by the Hamiltonian in Eq. (1) of the paper, had not been fully analyzed. This class includes models where certain quadrupolar couplings ( $f_m$ ) vanish. Previous rigorous proofs of non-integrability [14] relied on the assumption that all dipolar ( $e_m$ ) and quadrupolar ( $f_m$ ) couplings are non-zero. When specific $f_m$ vanish, the cancellation mechanisms used in prior proofs fail, leaving open the question of whether these models possess nontrivial local conserved quantities.

This gap is particularly significant for the frustration-free spin-1 chain defined in Eq. (2), which exhibits spontaneous U(1) symmetry breaking in one dimension at zero temperature. While the Heisenberg ferromagnet also breaks symmetry in 1D, its order parameter (magnetization) commutes with the Hamiltonian. For the frustration-free chain (2), it was known that the specific order parameter discussed in Ref. [34] does not commute with the Hamiltonian, but it remained unproven whether any local order parameter commuting with the Hamiltonian exists. If such a quantity existed, the model would be integrable; if not, the symmetry breaking must arise from a different mechanism (frustration-free structure).

Methodology
The authors employ the systematic technique introduced by Shiraishi [13] to rigorously prove the nonexistence of nontrivial local conserved quantities. The method involves:

Operator Basis Expansion: Expanding a candidate conserved quantity $Q$ in a basis of local operators (specifically, "basis strings" formed by products of rank-1 dipolar and rank-2 quadrupolar operators).
Commutator Analysis: Analyzing the commutator $[Q, H]$ . For $Q$ to be conserved, the coefficient of every basis operator in $[Q, H]$ must vanish, generating a system of linear equations for the expansion coefficients of $Q$ .
Reduction Theorems: Utilizing theorems by Hokkyo [30] which state that if no 3-local quantity $Q$ exists such that $[Q, H]$ is at most 2-local, then no $k$ -local conserved quantities exist for any $3 \le k \le N/2$ .
Case-by-Case Analysis: The authors extend the proof to six specific patterns of vanishing quadrupolar couplings ( $f_m$ ), including the frustration-free chain (2) and the periodic Motzkin chain.

Key Contributions and Results

Generalization of Non-Integrability Proofs: The paper proves that for the Hamiltonian in Eq. (5) with nearest-neighbor interactions, if all dipolar couplings $e_m$ are non-zero and the quadrupolar couplings follow any of the six patterns (i)–(vi) where some $f_m$ vanish, there are no $k$ -local conserved quantities for any $3 \le k \le N/2$ .
- This result relies on proving that any strictly 2-local quantity $X$ with $[X, H]$ containing no length-3 terms must be proportional to the interaction part of the Hamiltonian (Proposition 2). This satisfies the assumptions required to apply Hokkyo's reduction theorems.
Analysis of the Frustration-Free Chain: For the specific frustration-free chain (2) (Pattern (i) with couplings defined in Eq. 9), the authors prove that every local conserved quantity with support up to half the system size ( $N/2$ ) is a linear combination of the identity, the total magnetization $S^z$ , and the Hamiltonian $H$ itself.
- This rigorously establishes that the model admits no local order parameter that commutes with the Hamiltonian.
Analysis of the Periodic Motzkin Chain: The authors extend the proof to the periodic Motzkin chain, another frustration-free spin-1 chain. They demonstrate the absence of $k$ -local conserved quantities for $3 \le k \le N/2$ in this model as well.
Resolution of the Symmetry Breaking Mechanism: The results clarify the mechanism of spontaneous U(1) symmetry breaking in the frustration-free chain (2). Unlike the Heisenberg ferromagnet, where symmetry breaking is protected by a conserved order parameter (magnetization), the symmetry breaking in chain (2) is enabled by the frustration-free structure. The absence of a commuting local order parameter implies that the ordering is not protected by a local conservation law but rather by the specific spectral properties (e.g., gap closing as $O(1/L^2)$ ) of frustration-free systems.

Significance
The paper claims to resolve a specific open question regarding the integrability and symmetry breaking of frustration-free spin-1 chains. By proving the absence of nontrivial local conserved quantities, the authors demonstrate that the continuous symmetry breaking observed in these 1D systems is not an artifact of integrability or a conserved local order parameter. Instead, it supports the view that such symmetry breaking is a consequence of the "frustration-free" nature of the Hamiltonian, which allows for anomalously soft excitations that evade the standard no-go theorems (Coleman's theorem).

Furthermore, the work provides a rigorous foundation for understanding the periodic Motzkin chain, settling a conjecture regarding its lack of local conserved quantities. The authors note that while a nonlocal order parameter (projected onto the ground state) does exist for the frustration-free chain, it is not a local conserved quantity, reinforcing the distinction between the mechanisms of symmetry breaking in these models versus the Heisenberg ferromagnet.

The paper concludes by identifying the analysis of the remaining pattern ( $f_0 = f_{\pm 1} = f_{\pm 2} = 0$ ) and the extension to the original (non-periodic) Motzkin chain as important directions for future work.

More like this