Mixed-state topological order and the errorfield double formulation of decoherence-induced transitions

This paper develops an effective field theory framework that characterizes decoherence in abelian topologically ordered states as a temporal defect driving a boundary phase transition, thereby classifying the resulting loss of quantum information and mixed-state topological order through Lagrangian subgroups of the double topological order.

The Gist

Imagine you have a incredibly complex, magical lockbox (a quantum computer) that stores secrets in a special way called "topological order." This lockbox is designed so that if you poke it here or there, the secret inside remains safe because the information is spread out across the whole box, not stuck in one spot.

However, in the real world, nothing is perfect. The box gets jostled, the air gets warm, and little "glitches" (decoherence) happen. These glitches are like tiny, random errors that try to scramble the secret. The big question the authors ask is: At what point do these glitches become so strong that the lockbox stops working and the secret is lost forever?

Here is how the paper explains this, using some creative metaphors:

1. The "Double-World" Trick

Usually, when physicists try to study a messy, glitchy system, they get stuck because the math gets too complicated. The authors come up with a clever trick: they imagine a parallel universe.

• The Real World: You have your original quantum state (the lockbox).
• The Mirror World: You create a perfect "mirror image" of that lockbox.
• The Double State: You glue these two worlds together.

In this "Double World," the glitches (errors) don't just look like random noise anymore. They look like a defect or a crack running through the middle of this combined universe. The authors call this the "Errorfield Double." It's like taking a pristine piece of fabric and sewing a specific, messy pattern right down the center.

2. The "Party Crashers" (Anyons)

In these topological lockboxes, the "secrets" are protected by special particles called anyons. Think of these anyons as party crashers.

• In a healthy lockbox, these crashers are rare and stay far apart. If they get too close, they cancel each other out, and the secret is safe.
• When glitches happen, they create pairs of these crashers.

The paper argues that as the glitches get stronger, these crasher pairs start to multiply and swarm. Eventually, they reach a "critical point" where they decide to condense.

• The Metaphor: Imagine a room where people are dancing individually. As the music (glitches) gets louder, they start holding hands in pairs and forming a giant, dense crowd in the center of the room. This is "anyon condensation."

3. The Tipping Point (Phase Transition)

The authors discovered that this condensation isn't a slow, gradual fade. It's a sudden phase transition, like water suddenly turning into ice.

• Before the Tipping Point: The lockbox is still a "Quantum Memory." Even with some glitches, the secret is safe because the crashers are still well-behaved.
• After the Tipping Point: The crashers have condensed into a giant crowd. The "lock" breaks. The system loses its ability to store quantum secrets and becomes a "Classical Memory" (it can only store simple 0s and 1s, like a regular computer) or a "Trivial State" (it's just empty noise).

4. Why This Matters (The "Map")

Before this paper, scientists could only figure out when this breaking point happened for very simple, specific types of lockboxes (like the Toric code). They had to use trial-and-error algorithms to guess when the secret would be lost.

This paper provides a universal map for any type of topological lockbox.

• They use a mathematical tool called a Lagrangian subgroup to classify the different ways the lockbox can break.
• Think of it like a menu of failure modes. Depending on what kind of glitches you have (bit-flips, phase-flips, etc.), the lockbox will break in a specific, predictable way.
• They show that the moment the quantum secret is lost corresponds exactly to the moment these "crasher pairs" condense in the Double World.

Summary in One Sentence

The paper introduces a clever way of looking at a broken quantum system as a "double universe" with a crack in the middle, showing that the moment a quantum memory fails is exactly the moment a swarm of error-particles condenses into a solid block, and they provide a universal rulebook for predicting exactly when and how this happens for any topological system.

Technical Summary

1. Problem Statement

The paper addresses the fundamental challenge of characterizing topological order in mixed states arising from decoherence in quantum many-body systems.

• Context: Recent experiments (Rydberg atoms, superconducting qubits) realize topological states, but these are inevitably subject to local decoherence channels, resulting in mixed states rather than pure ground states.
• The Conflict:
  • Perspective A: Local decoherence can be modeled as a finite-depth unitary circuit in an extended Hilbert space (including ancillas). Since finite-depth circuits cannot change the topological order of a pure state, this suggests topological order persists for any finite error rate.
  • Perspective B: Decoherence destroys the ability to protect quantum information (error correction threshold). For stabilizer codes (e.g., Toric code), there exists a finite error rate above which quantum memory fails.
• The Gap: Standard probes for topological order (e.g., Wilson loops, string operators) fail to detect the transition associated with the loss of quantum information. Existing theories of error thresholds are limited to solvable stabilizer codes and lack a general field-theoretic framework for generic topological orders.

2. Methodology: The Errorfield Double (EFD) Formulation

The authors develop a universal effective field theory based on the Topological Quantum Field Theory (TQFT) description of the system.

• Double Hilbert Space Representation: The density matrix $\rho$ of the corrupted state is treated as a state vector $|\rho\rangle\rangle$ in a doubled Hilbert space ($|\rho\rangle\rangle \propto |\Psi_0\rangle \otimes |\Psi_0^*\rangle$). This is analogous to the Thermofield Double state.
• Decoherence as a Temporal Defect:
  • The pure state $|\Psi_0\rangle$ is described by a (2+1)D TQFT.
  • The decoherence channel $\mathcal{N}$ acts at a specific time slice ($\tau=0$), coupling the "ket" and "bra" copies.
  • In the path integral representation, this coupling creates a temporal defect in the double TQFT.
• Mapping to Boundary Phases:
  • The authors perform a $\pi/2$ spacetime rotation ($\tau \to -x$), converting the temporal defect at $\tau=0$ into a spatial defect (1D line) at $x=0$ in a (1+1)D boundary problem.
  • The decoherence-induced transition is mapped to a boundary phase transition involving anyon condensation on this defect.
• Effective Field Theory:
  • For Abelian topological orders, the edge physics is described by compact bosons with a K-matrix.
  • The defect is modeled by a Lagrangian containing:
    1. $L_0$: Edge modes of the quadrupled topological order (two copies of ket/bra, left/right).
    2. $L_1$: Coupling between left and right copies (inherent to the path integral definition).
    3. $L_N$: Coupling induced by the error channel (incoherent errors create paired anyons $\alpha\bar{\alpha}$).
  • The phases are classified by Lagrangian subgroups of the anyon group that condense on the boundary, subject to symmetry constraints imposed by the Hermiticity of the density matrix.

3. Key Contributions

1. Universal Framework: Generalizes the concept of error thresholds from specific stabilizer codes to generic Abelian topological orders using TQFT.
2. EFD Formalism: Introduces the "Errorfield Double" formulation, treating the mixed state as a pure state in a doubled space with a temporal defect, allowing the use of standard TQFT tools.
3. Mechanism of Transition: Identifies that the loss of quantum information corresponds to anyon condensation on the boundary of the doubled system.
   • Crucially, this is a boundary transition, distinct from bulk anyon condensation. It does not lead to confinement of the bulk anyons (unlike standard ground-state condensation) but rather destroys the non-commutativity of logical operators.
4. Classification Scheme: Provides a rigorous classification of decoherence-induced phases using Lagrangian subgroups that satisfy specific symmetry and incoherent error constraints.

4. Key Results

• Phase Transitions in the Toric Code:
  • Under bit-flip errors, the system undergoes a transition at a critical error rate $p_c^{(2)} \approx 0.178$ (detected by the second moment of the density matrix).
  • This transition belongs to the 2D classical Ising universality class.
  • Phases Identified:
    • Quantum Phase: No condensation; the state retains quantum memory (non-commuting logical operators).
    • Classical Phases: Condensation of specific paired anyons (e.g., $m\bar{m}$ or $e\bar{e}$). The state becomes a classical memory (logical operators commute).
    • Trivial Phase: Condensation of multiple types; no information can be encoded.
• Topological Entanglement Entropy (TEE):
  • The TEE of the EFD state drops discontinuously at the transition.
  • For the Toric code: $2\log 2$ (pure/quantum phase) $\to$ $\log 2$ (classical phase) $\to$ $0$ (trivial phase).
• Generalization to Other Models:
  • The framework successfully classifies phases for the Double Semion model and the $\nu=1/3$ Laughlin state.
  • Table I in the paper enumerates the distinct phases (Quantum, Classical I-IV, Trivial) based on which Lagrangian subgroups condense.
• Distinction from Thermal Equilibrium:
  • Unlike Gibbs states where topological order is destroyed at any finite temperature, these mixed states retain topological signatures (and quantum memory) up to a finite error threshold. The "suppressed probability" of creating far-separated anyon pairs in the EFD (compared to the Gibbs ensemble) protects the order.

5. Significance

• Theoretical Unification: Resolves the apparent contradiction between the persistence of topological order under finite-depth circuits and the existence of error thresholds. It shows that the threshold is a phase transition in the intrinsic properties of the mixed state (specifically, the boundary of the doubled system), not a change in the bulk topological order detectable by standard Wilson loops.
• Experimental Relevance: Provides a theoretical basis for understanding the limits of topological quantum memories in noisy intermediate-scale quantum (NISQ) devices. It suggests that even if the bulk order appears robust, the information capacity can vanish at a specific error rate.
• New Diagnostics: Proposes that quantities like the Topological Entanglement Entropy of the EFD or Rényi-2 quantities serve as order parameters for these transitions, which are distinct from standard von Neumann entropy measures.
• Future Directions: The framework opens the door to studying non-Abelian topological orders under decoherence, coherent errors, and other non-topological systems (e.g., fracton phases) using similar defect-based mappings.

In summary, the paper establishes that decoherence-induced transitions in topological mixed states are boundary phase transitions characterized by anyon condensation, providing a powerful, universal field-theoretic tool to analyze the breakdown of quantum memory in noisy topological systems.