Strong Zero Modes via Commutant Algebras

This paper unifies the understanding of Strong Zero Modes (SZMs) by revealing their underlying commutant algebra structures, which not only demystifies their connection to ground state phases but also enables the construction of integrability-breaking models that preserve exact SZMs, while distinguishing between SZMs that survive such perturbations and those that do not.

The Gist

Imagine you have a giant, complex machine made of thousands of tiny switches (quantum spins). Usually, when you flip one switch, it sends a ripple through the whole machine, changing everything. But sometimes, in very special machines, there are "ghost switches" at the very ends that seem to operate independently. No matter what happens in the middle, these end switches stay perfectly still, or they flip in a way that creates a perfect mirror image of the machine's state.

In physics, these ghost switches are called Strong Zero Modes (SZMs). They are like magical, indestructible levers that keep a system stable. For a long time, scientists thought you could only build these magical levers in machines that were perfectly predictable and simple (called "integrable" systems). If you added any messy, complex interactions (making the machine "non-integrable"), the magic would break, and the levers would stop working.

This paper is a detective story that changes that rule.

Here is the breakdown of what the authors discovered, using simple analogies:

1. The New Detective Tool: The "Commutant"

The authors used a new mathematical flashlight called a Commutant Algebra.

• The Analogy: Imagine the machine is a room full of people (the Hamiltonian). Usually, we only look for people who are wearing the same shirt (standard symmetries). But the "Commutant" is a way of looking for everyone in the room who doesn't disturb the conversation, even if they are wearing different clothes or standing in weird spots.
• The Discovery: By using this flashlight, the authors scanned through many different types of quantum machines. They found that the "ghost switches" (SZMs) weren't just random accidents; they were actually hidden symmetries waiting to be found.

2. The Big Surprise: Magic in Messy Machines

The biggest shock in the paper is that you don't need a perfect machine to have these ghost switches.

• The Old Belief: "If you add a little bit of chaos or interaction to the machine, the ghost switch will vanish."
• The New Reality: The authors built "messy" (non-integrable) machines that still have these ghost switches perfectly intact.
• The Metaphor: Think of a perfectly balanced spinning top. If you shake the table, it usually falls over. But these authors found a way to design a top that is so cleverly constructed that even if you shake the table violently, the top keeps spinning perfectly upright. They proved that "integrability" (perfect order) isn't required for this stability.

3. The "Hidden" Symmetries

While hunting for these switches, they found some unexpected side effects.

• The Analogy: It's like trying to fix a leaky faucet, and while you're at it, you discover that the faucet also plays music when you turn it on.
• The Discovery: In some of these machines, the ghost switches come with a "hidden" rule (a quasi-local U(1) symmetry). This rule acts like a conservation law that isn't obvious at first glance. It's like a rule that says, "No matter how the water swirls, the total amount of 'blue' in the pipe stays the same," even though the water looks chaotic. This leads to interesting new behaviors in how the machine moves and flows (hydrodynamics).

4. The Two Types of Ghosts

The paper also looked at a very famous, complex machine called the XYZ Chain (the "Fendley SZM").

• The Twist: They found that this specific famous machine is different. Its ghost switch only works if the machine is perfectly ordered (integrable). If you make it messy, the switch breaks.
• The Conclusion: This suggests there are two types of ghost switches:
  1. The Tough Ones: These survive even when the machine is messy and chaotic. (The ones the authors found in the Ising and XY models).
  2. The Fragile Ones: These only exist in perfectly ordered, simple machines. (The famous Fendley one).

5. Why Should We Care? (The "So What?")

Why does finding these switches in messy machines matter?

• Quantum Computers: These ghost switches are like perfect memory storage. If you can store information in a ghost switch, it won't get corrupted by noise or heat.
• Better Qubits: By building these "messy" machines that still have the switches, we might be able to build more robust quantum computers that don't need to be kept in a perfectly sterile, zero-interaction environment.
• New Physics: It changes how we understand how energy and information move through complex materials. It shows that order can emerge from chaos in ways we didn't expect.

Summary

The authors took a complex mathematical tool (Commutant Algebras) and used it to hunt for "ghost switches" (Strong Zero Modes) in quantum machines. They discovered that these switches aren't just for perfect, simple machines; they can exist in messy, complex ones too. This opens the door to building more stable quantum technologies and reveals a hidden layer of order in the chaotic quantum world. They also found that while some famous switches are fragile, others are tough enough to survive the chaos.

Technical Summary

Here is a detailed technical summary of the paper "Strong Zero Modes via Commutant Algebras" by Sanjay Moudgalya and Olexei I. Motrunich.

1. Problem Statement

Strong Zero Modes (SZMs) are (approximately) conserved quantities localized at the edges of one-dimensional quantum chains that lead to exact or approximate double degeneracies in the entire energy spectrum. Historically, exact SZMs were believed to exist only in non-interacting or integrable models (e.g., the transverse-field Ising chain or the Bethe-ansatz integrable XYZ chain). It was generally assumed that integrability-breaking perturbations would destroy these modes, reducing them to "weak" zero modes that only protect ground-state degeneracy.

The paper addresses three main open questions:

1. Can SZMs exist in non-integrable (interacting) models?
2. Is there a unified algebraic framework to understand the diverse examples of SZMs found in literature?
3. What is the relationship between SZMs and the ground-state phases of matter (e.g., ferromagnetic vs. paramagnetic)?

2. Methodology

The authors employ a systematic search using Commutant Algebras, a framework borrowed from quantum information and representation theory.

• Bond and Commutant Algebras:
  • Bond Algebra ($\mathcal{A}$): The associative algebra generated by a set of strictly local operators $\{ \hat{H}_\alpha \}$ appearing in the Hamiltonian.
  • Commutant Algebra ($\mathcal{C}$): The set of all operators that commute with every element in $\mathcal{A}$. This represents the full symmetry algebra of any Hamiltonian constructed from $\mathcal{A}$.
• Systematic Search:
  • The authors scan families of nearest-neighbor qubit Hamiltonians parameterized by $\vec{\mu} = (\kappa, \gamma, h_+, h_-)$.
  • They construct a super-Hamiltonian $\hat{P}(\vec{\mu})$ whose ground states correspond to the commutant algebra.
  • By computing the dimension of the commutant ($\dim(\mathcal{C})$) and a "commutant entropy," they identify special parameter points where the commutant is larger than generic, indicating hidden symmetries.
• Construction of Non-Integrable Models:
  • Once a bond algebra with a desired commutant (containing an SZM) is identified, the authors construct non-integrable Hamiltonians by including products of the generators (e.g., anti-commutators) in addition to linear combinations. Since products of free-fermion terms generally create interactions, these models break integrability while preserving the commutant symmetries.
• Dynamical Analysis:
  • They utilize Brownian circuits (random unitary circuits) to simulate the dynamics of these non-integrable models. This allows for the calculation of autocorrelation functions and the verification of hydrodynamic modes associated with the symmetries.
• Matrix Product Operator (MPO) Formalism:
  • For the Fendley SZM in the XYZ chain, they recast the operator as an MPO to provide an alternate proof of its existence and to analyze its properties (normalizability, Majorana nature) in the thermodynamic limit.

3. Key Contributions and Results

A. Unification via Commutant Algebras

The paper demonstrates that several known SZMs (Ising, XY) can be understood as symmetries within a specific commutant algebra.

• Ising SZM: For the transverse-field Ising model, the commutant algebra is generated by the global $Z_2$ symmetry ($Q_Z$), the edge SZM ($\Psi_\ell$), and a boundary operator. The authors show that $\Psi_\ell$ is an exact conserved quantity for any Hamiltonian in the bond algebra, provided the system size is finite.
• Phase Dependence: The paper clarifies that while the algebraic SZM exists for all parameters, it is localized and leads to stable spectral degeneracy only in the ferromagnetic phase ($|q| < 1$). In the paramagnetic phase ($|q| > 1$), the mode delocalizes, and the degeneracy is unstable to local perturbations.

B. Discovery of Novel Quasilocal $U(1)$ Symmetries

In the spin-1/2 XY model, the authors discover parameter regimes where the commutant algebra contains not just the SZM but also quasilocal $U(1)$ symmetries.

• These symmetries are sums of exponentially localized terms (e.g., $Q_X^I(q)$) rather than strictly local operators.
• They arise in specific parameter lines (e.g., $q(\kappa+\gamma) = q^{-1}(\kappa-\gamma)$) and reduce to conventional or staggered $U(1)$ symmetries in limits.
• These symmetries are distinct from standard integrability; they coexist with the SZM and lead to unique dynamical signatures.

C. Existence of SZMs in Non-Integrable Models

This is the paper's most significant breakthrough. The authors explicitly construct non-integrable Hamiltonians that possess exact SZMs.

• Construction: By adding interaction terms (products of generators) to the Ising and XY bond algebras, they create models that exhibit Wigner-Dyson level statistics (a hallmark of chaos/non-integrability) but still possess an exact SZM.
• Implication: Integrability is not a necessary condition for the existence of exact SZMs. This resolves the long-standing confusion about whether SZMs are exclusive to integrable systems.

D. Dynamical Signatures and Hydrodynamics

Using Brownian circuits, the authors analyze the dynamics of these non-integrable models:

• Edge Autocorrelations: In the ferromagnetic phase, the edge spin autocorrelation function $C_X(t)$ saturates to a non-zero constant ($1-|q|^2$), a direct signature of the localized SZM.
• Hydrodynamic Modes: For the quasilocal $U(1)$ symmetries, the bulk autocorrelation functions exhibit diffusive power-law decay ($\sim t^{-1/2}$), similar to systems with standard conserved charges. However, near boundaries where the symmetry is broken, the decay follows a different power law ($\sim t^{-3/2}$), characteristic of a diffusing particle with an absorbing boundary.

E. The Fendley SZM in the XYZ Chain

The authors revisit the celebrated Fendley SZM in the interacting spin-1/2 XYZ chain:

• Non-Interacting Limit: In the $J_x=0$ (YZ) limit, the SZM fits perfectly into the commutant framework.
• Interacting Case: In the full interacting XYZ model, the SZM cannot be understood as a symmetry of a bond algebra generated by strictly local terms. The spectrum of the Fendley SZM is non-degenerate for finite systems, preventing the existence of a non-trivial bond algebra.
• Conclusion: This suggests a dichotomy: there are two types of SZMs:
  1. Those that survive integrability breaking (understood via commutants).
  2. Those that are intrinsically tied to integrability (like the Fendley SZM).
• New Proof: Despite the lack of a commutant structure, the authors use the MPO representation to provide a simplified, alternate proof of the Fendley SZM's existence using a "telescoping" cancellation mechanism.

4. Significance

• Theoretical Unification: The work provides a unified algebraic language (commutant algebras) to classify and understand diverse edge modes, moving beyond the specific solvability of individual models.
• Breaking Integrability Dogma: It proves that exact Strong Zero Modes can exist in chaotic, non-integrable systems, opening new avenues for robust quantum memory and topological protection in generic many-body systems.
• New Symmetries: The discovery of quasilocal $U(1)$ symmetries accompanying SZMs reveals a richer structure of conservation laws in quantum chains, with implications for non-equilibrium hydrodynamics.
• Methodological Advance: The systematic search using super-Hamiltonians and the application of MPO techniques to analyze SZMs offer powerful tools for discovering new symmetries in complex quantum systems.

In summary, the paper demystifies the nature of Strong Zero Modes, showing that while some are deeply tied to integrability, a broad class of them arises from algebraic structures (commutants) that persist even when integrability is broken, leading to robust dynamical signatures in non-integrable matter.