Exact strong zero modes in quantum circuits and spin chains with non-diagonal boundary conditions

This paper constructs exact strong zero mode operators in integrable quantum circuits and the spin-1/2 XXZ chain with non-diagonal open boundary conditions that break bulk U(1) symmetry, demonstrating their role in inducing infinite boundary coherence times while showing they become spatially non-local and dynamically insignificant when mapped to the asymmetric simple exclusion process.

The Gist

The Big Picture: The Quantum "Ghost" at the Edge

Imagine you have a long line of people (a "spin chain") holding hands and passing a secret message down the line. In a normal, chaotic crowd, if you whisper a secret to the person at the very front, the message gets scrambled and lost by the time it reaches the middle. The "noise" of the crowd destroys the information.

However, in this paper, the authors discover a special kind of "Ghost" (called an Exact Strong Zero Mode or ESZM) that can live at the very end of this line. This Ghost has a superpower: it never forgets its message. No matter how much the people in the middle of the line dance around and swap places, the Ghost at the edge remains perfectly still and coherent.

Usually, scientists thought this Ghost could only exist if the rules of the game were very strict and symmetrical (like everyone wearing the same color shirt). This paper proves that you don't need those strict rules. Even if you mess up the rules at the edge (breaking the symmetry), this Ghost can still exist, as long as you don't mess up the specific rule that keeps the Ghost's "discrete" identity intact.

---

Part 1: The Quantum Circuit (The Brick Wall)

The Setup:
The authors start with a "Quantum Circuit," which is like a video game level made of blocks. Imagine a "Brick Wall" pattern where quantum gates (logic operations) are applied in layers.

• The Bulk (The Middle): The middle of the wall follows standard, predictable rules.
• The Boundary (The Edge): The authors attach special "handles" to the first and last bricks. These handles are "non-diagonal," meaning they twist the rules in a way that breaks the usual symmetry (like tilting the whole wall).

The Discovery:
Even with these tilted, messy handles, the authors found a mathematical formula for a "Ghost Operator."

• Analogy: Think of the Ghost as a lighthouse beam. Usually, if you tilt the lighthouse, the beam gets lost in the fog. But here, the authors found a specific way to tilt the lighthouse so that the beam stays perfectly focused on the shore, ignoring the fog in the middle of the ocean.
• The Result: This Ghost is localized. It lives only at the edge. It doesn't care what happens 100 steps away. Because it's so stubbornly stuck at the edge, it creates infinite coherence time. In plain English: If you measure the state of the edge, it will remember its initial state forever, never getting "scrambled" by the rest of the system.

Part 2: The Spin Chain (The Heisenberg Model)

The Setup:
The authors then took this idea from the "brick wall" video game and applied it to a real physical model called the XXZ Spin Chain. This is a classic model used to describe magnets where tiny atomic spins interact with their neighbors.

The Discovery:
They proved that even if you apply a magnetic field to the ends of the chain that breaks the usual "Up/Down" symmetry (non-diagonal boundary conditions), the Ghost still exists.

• The Condition: The only rule is that the magnetic field at the left end must be zero in a specific direction (the Z-direction). If you satisfy this, the Ghost appears.
• The Proof: They used a mathematical tool called a Matrix Product Operator (MPO).
  • Analogy: Imagine trying to describe a complex knot. Instead of listing every single twist, you use a "recipe" (the MPO) that tells you how to build the knot step-by-step. The authors wrote down this recipe for the Ghost. They showed that the "ingredients" in the recipe get smaller and smaller as you move away from the edge, proving the Ghost is tightly packed at the boundary and fades away quickly into the bulk.

Part 3: The Twist (The Asymmetric Exclusion Process)

The Setup:
Here is where the story takes a surprising turn. There is a famous mathematical trick that turns this "Spin Chain" (magnets) into a model of traffic flow called the Asymmetric Simple Exclusion Process (ASEP).

• The ASEP: Imagine cars on a one-lane road. They try to move forward, but if the car ahead is there, they get stuck. At the ends of the road, cars can enter or exit. This models how particles move in non-equilibrium systems (like traffic jams or biological transport).

The Twist:
The authors asked: "If we have this perfect, memory-holding Ghost in the magnet model, does it show up in the traffic model?"

• The Result: No.
• The Analogy: Imagine you have a perfect, invisible ghost in a room full of mirrors (the magnet model). If you take a photo of the room and translate that photo into a drawing of a city street (the traffic model), the ghost disappears. It becomes "smeared out" across the entire street.
• Why it matters: In the magnet model, the Ghost is a local hero that protects the edge. In the traffic model, the equivalent "Ghost" is spread out over the whole road. It loses its superpower of being localized. This means that while the Ghost is a big deal for the magnets, it doesn't actually help the traffic flow or the particles in the exclusion process. It's a "ghost" that only haunts the magnets, not the cars.

Summary of Key Takeaways

1. Robustness: You don't need perfect symmetry to have a "strong zero mode" (a memory-keeping edge state). You can break the rules at the edge, and the state still survives.
2. Infinite Memory: Because this state is localized at the edge, it creates a system where the edge never "forgets" its initial state, leading to infinite coherence times. This is huge for quantum computing, where keeping information stable is the hardest part.
3. The Map is Tricky: Just because two physical systems are mathematically related (like magnets and traffic flow), it doesn't mean a cool feature in one (the localized Ghost) will look cool in the other. In the traffic model, the Ghost gets diluted and loses its power.

In a Nutshell:
The authors found a way to build a "quantum memory stick" at the edge of a system, even when the system is messy and asymmetric. They proved exactly how it works and showed that while it's a superhero for magnets, it's just a regular citizen when translated into the language of traffic jams.

Technical Summary

1. Problem Statement

The paper addresses the existence and properties of Strong Zero Modes (SZMs) in interacting many-body quantum systems.

• Context: SZMs are operators that commute with the Hamiltonian (or time-evolution operator) up to exponentially small corrections in system size ($L$) and anti-commute with a discrete symmetry. They are known to induce long-lived edge coherence.
• Gap in Literature: Previous constructions of Exact Strong Zero Modes (ESZMs)—operators that commute exactly with the Hamiltonian, $[\Psi, H] = 0$—were restricted to boundary conditions that preserved the bulk global $U(1)$ symmetry (e.g., conservation of magnetization).
• Objective: The authors aim to construct ESZMs for integrable systems with general open boundary conditions that break the bulk $U(1)$ symmetry. Specifically, they investigate whether ESZMs can exist when the boundary magnetic fields break the continuous rotational symmetry, leaving only a discrete $Z_2$ symmetry.

2. Methodology

The authors employ a combination of integrability techniques, transfer matrix formalism, and Matrix Product Operator (MPO) representations.

• Models Studied:

  1. Integrable Brick-Wall Quantum Circuit: A Floquet system consisting of alternating layers of two-qubit gates (bulk) and single-qubit gates (boundaries). The bulk gates are derived from the six-vertex model $R$-matrix.
  2. Spin-1/2 Heisenberg XXZ Chain: Obtained as the continuous time limit (Trotter limit) of the quantum circuit.
  3. Asymmetric Simple Exclusion Process (ASEP): Investigated via a similarity transformation mapping the XXZ chain to this non-equilibrium stochastic model.

• Integrability Framework:

  • The time-evolution operator $U$ is identified with the diagonal-to-diagonal transfer matrix of the inhomogeneous six-vertex model with open boundaries.
  • Boundary conditions are encoded via boundary $K$-matrices satisfying the reflection equation.
  • The authors impose specific constraints on the boundary parameters (specifically the left boundary parameter $\xi^{(L)}$) to ensure the existence of an ESZM.

• Construction of the ESZM ($\Psi$):

  • The ESZM is constructed as a derivative of the transfer matrix at a specific spectral parameter $u^*$: $\Psi \propto T'(u^*)$.
  • The parameter $u^*$ is fixed by a condition where the $R$-matrix and the right boundary $K$-matrix commute in a specific way, effectively "freezing" the bulk dynamics relative to the boundary.
  • The left boundary condition is tuned ($\xi^{(L)} = i\pi/2$) to ensure the resulting operator is localized at the left edge.

• Analysis Tools:

  • MPO Representation: The ESZM is expressed as a Matrix Product Operator, allowing for efficient calculation of its spatial structure.
  • Hilbert-Schmidt Norms: To prove localization, the authors calculate the norm of the operator restricted to the first $j$ sites ($\|\Psi_j\|^2$) and demonstrate exponential decay with distance $j$ from the boundary.
  • Similarity Transformation: To analyze the ASEP, the XXZ ESZM is mapped using a non-unitary similarity transformation $S$.

3. Key Contributions

A. Existence of ESZMs with Broken $U(1)$ Symmetry

The paper proves that ESZMs exist even when the bulk $U(1)$ symmetry (magnetization conservation) is broken by boundary fields.

• Condition: For the XXZ chain with Hamiltonian $H_{XXZ}$, an ESZM localized at the left boundary exists if the left boundary magnetic field $\vec{h}_1$ lies in the $x-y$ plane (i.e., $h_1^z = 0$).
• Symmetry: While the continuous $U(1)$ symmetry is broken, a discrete $Z_2$ symmetry (rotation by $\pi$ around the axis of $\vec{h}_1$) remains. The ESZM anti-commutes with this $Z_2$ symmetry, satisfying the definition of a strong zero mode.
• Generality: The right boundary field $\vec{h}_N$ can be arbitrary, as the ESZM is localized at the opposite edge.

B. Explicit MPO Construction and Localization Proof

• The authors derive an explicit MPO form for the ESZM operator $\Psi$.
• They prove analytically and numerically that the Hilbert-Schmidt norm of the operator components decays exponentially with distance from the boundary: $\|\Psi_j\|^2 \sim e^{-\alpha j}$.
• This confirms that the ESZM is strictly localized at the boundary in the thermodynamic limit, provided the specific boundary constraint ($\xi^{(L)} = i\pi/2$) is met. If this constraint is violated, the operator becomes non-local.

C. Infinite Edge Coherence Times

• The presence of an ESZM implies that local observables near the boundary have non-vanishing overlaps with the conserved quantity.
• Using the von Neumann mean ergodic theorem, the authors show that the infinite-temperature autocorrelation function $C_O(t) = \langle O(t)O(0) \rangle$ does not decay to zero. Instead, it saturates to a finite value determined by the overlap of the observable with the ESZM:
  $$\lim_{T \to \infty} C_O(T) = |c_1|^2 > 0$$
• Numerical simulations on the XXZ chain confirm that $\sigma_1^z$ autocorrelations exhibit this infinite coherence time.

D. Non-Local Nature in the Asymmetric Exclusion Process (ASEP)

• The authors investigate the physical relevance of the ESZM in the ASEP, which is related to the XXZ chain via a similarity transformation $S$.
• Result: Under the map $S$, the localized ESZM of the XXZ chain transforms into an operator $\Psi_{ASEP}$ that is spatially non-local.
• The Hilbert-Schmidt norms of the ASEP operator components vanish as the system size $N \to \infty$ for any fixed distance from the boundary.
• Conclusion: The ESZM does not play a significant role in the local dynamics or boundary properties of the ASEP, despite being an exact symmetry of the mapped Hamiltonian.

4. Results Summary

1. Construction: Exact Strong Zero Modes are constructed for integrable quantum circuits and the XXZ chain with non-diagonal (symmetry-breaking) boundary conditions.
2. Localization: The ESZM is exponentially localized at the boundary where the symmetry-breaking field is constrained (specifically $h^z=0$).
3. Dynamics: The existence of the ESZM guarantees infinite coherence times for boundary observables in the XXZ chain.
4. Mapping Failure: The localization property is not preserved under the similarity transformation to the ASEP. The ESZM becomes delocalized in the ASEP representation, suggesting it is a mathematical artifact of the integrable structure rather than a driver of physical boundary phenomena in the stochastic model.

5. Significance

• Theoretical Advancement: This work significantly broadens the scope of integrable boundary conditions under which exact zero modes can be found. It demonstrates that ESZMs do not require global charge conservation, challenging the assumption that $U(1)$ symmetry is a prerequisite for such edge modes.
• Quantum Simulation: The brick-wall circuit model studied is directly realizable on near-term quantum computers. The findings suggest that specific boundary engineering can protect edge qubits from decoherence even in the presence of symmetry-breaking interactions.
• Non-Equilibrium Physics: The distinction drawn between the XXZ chain and the ASEP highlights the subtlety of mapping integrable quantum models to stochastic processes. It cautions against assuming that exact symmetries in the quantum Hamiltonian translate to physically observable localized modes in the corresponding stochastic dynamics.
• Robustness: The results reinforce the idea that strong zero modes are robust features of integrable systems, persisting even when bulk symmetries are explicitly broken by boundaries, provided a discrete remnant symmetry is preserved.