Mixed-State Topological Phase: Quantized Topological Order Parameter and Lieb-Schultz-Mattis Theorem

This paper extends the concept of symmetry-protected topological phases to one-dimensional mixed-state regimes with strong U(1) and weak $\mathbb{Z}_2$ symmetries by introducing a quantized topological order parameter and demonstrating how these findings allow for a generalization of the Lieb-Schultz-Mattis theorem to mixed states independent of spectral gaps or lattice Hamiltonians.

The Gist

Imagine you are trying to sort a massive pile of socks. In a perfect world (a "pure state"), every sock is clean, dry, and clearly either left-foot or right-foot. You can easily tell if they belong to a specific pair or if they are just a random mess.

But in the real world (a "mixed state"), the socks are wet, muddy, and some are missing. They are tangled in a chaotic pile where you can't see individual socks clearly, only the overall shape of the pile. This is what happens in quantum physics when systems get noisy or interact with their environment: the perfect quantum "socks" get messy.

This paper is about finding a way to sort these messy, noisy quantum socks into distinct categories, even when you can't see the individual pieces.

Here is the breakdown of their discovery using simple analogies:

1. The Problem: The "Messy Room"

For decades, physicists could perfectly classify "clean" quantum systems (like a pristine crystal). They had a rulebook called the Lieb-Schultz-Mattis (LSM) theorem. Think of this theorem as a rule that says: "If you have a room with an odd number of people and they must hold hands in pairs, someone is going to be left out, and the room can't be perfectly calm."

However, real experiments are never perfect. There is noise, heat, and disorder. The system becomes a "mixed state"—a fuzzy cloud of possibilities. The old rulebook didn't work here because it relied on seeing the "perfect" ground state, which no longer exists. Scientists were stuck: How do we tell if a messy quantum system is in a special, ordered phase or just a random mess?

2. The Solution: The "Magic Twist"

The authors, Linhao Li and Yuan Yao, invented a new tool to measure these messy systems. They call it a Topological Order Parameter.

Imagine you have a long, twisted rope representing your quantum system.

• The Old Way: You tried to look at the rope to see if it was knotted. But in a messy system, the rope is covered in fog, so you can't see the knots.
• The New Way: The authors propose a "Magic Twist." They imagine grabbing the rope, twisting it all the way around (like a pretzel), and then checking how the rope feels at the end.

Mathematically, this is a specific calculation involving the "twist" of the spins in the chain. The amazing thing is that in these special quantum phases, this twist doesn't give you a random number. It gives you a strictly quantized answer: either +1 or -1.

• If the answer is +1, the system is in "Phase A."
• If the answer is -1, the system is in "Phase B."
• If the answer is anything else, the system is just a messy, ordinary state.

This is like having a magic compass that, even in a foggy storm, only points North or South, never East or West. It allows scientists to sharply distinguish between two different types of quantum order, even when the system is noisy.

3. The "Weak" and "Strong" Rules

The paper deals with two types of rules (symmetries) that the system follows:

• Strong Symmetry: Every single part of the system obeys the rule perfectly (like every sock being a left-foot sock).
• Weak Symmetry: The system on average obeys the rule, even if individual parts don't (like a pile of socks where 50% are left and 50% are right, but you can't tell which is which).

The authors showed that even with these "weak" rules, their "Magic Twist" still works perfectly. They proved that as long as the system is "short-range entangled" (meaning the messiness doesn't stretch infinitely across the whole system), this twist will always snap to either +1 or -1.

4. The New "Room Rule" (Generalized LSM Theorem)

The most powerful part of their work is updating the old Lieb-Schultz-Mattis (LSM) theorem for this messy world.

• The Old Rule: "If you have a half-integer spin (like a weird, half-person) and you try to arrange them in a calm, ordered way, physics says: 'No way! You can't do it.'"
• The New Rule: The authors proved this rule still holds even if the room is a mess (mixed state) and even if the rules for arranging the socks are "weak" or involve magnetic twists.

They showed that if you have a chain of these "half-persons" and you try to make them into a simple, calm, ordered pile, the "Magic Twist" will scream "IMPOSSIBLE!" (it will try to be +1 and -1 at the same time, which is a contradiction). This proves that the system must be in a special, complex topological phase.

5. Why This Matters

Think of quantum computers. They are incredibly fragile; noise destroys their information. To build a quantum computer, we need to store information in "topological phases"—states that are robust against noise.

This paper gives us a universal detector.

• Before: We had to build a specific model for every new type of noise to see if it was a good quantum memory.
• Now: We can just apply this "Magic Twist" test. If it gives +1 or -1, we know we have found a stable, topological phase that could be used for quantum computing, even if the system is dirty and noisy.

Summary

The authors took a complex mathematical problem about "messy" quantum systems and solved it by:

1. Defining a Magic Twist that always results in a clear +1 or -1, acting as a sharp switch between different quantum phases.
2. Proving that chaos (noise) doesn't destroy the fundamental rules of quantum order.
3. Updating the LSM theorem to work in the real, noisy world, proving that certain "half-spin" systems cannot be calm and simple; they are forced to be in a special, complex state.

It's like realizing that even in a hurricane, a specific type of wind vane will always point strictly North or South, proving that the storm has a hidden, organized structure.

Technical Summary

1. Problem Statement

The classification of quantum phases of matter has traditionally focused on closed, pure-state systems characterized by ground states and spectral gaps. However, real-world quantum systems are subject to disorder and decoherence, resulting in mixed states described by density matrices ($\rho$).

Key challenges in extending topological phase theory to mixed states include:

• Lack of Order Parameters: Existing non-local string order parameters for mixed states (e.g., in Average SPT phases) are often model-dependent and their expectation values can become arbitrarily small, failing to provide a sharp distinction between phases.
• Absence of Gaps: The concept of a spectral gap is ill-defined for mixed states, making standard Hamiltonian-based proofs (like the original Lieb-Schultz-Mattis theorem) inapplicable.
• Symmetry Definitions: Mixed states require distinguishing between strong symmetries (respected by every component of the density matrix) and weak symmetries (respected only on average).

The authors aim to establish a model-independent, quantized topological order parameter for mixed states and generalize the Lieb-Schultz-Mattis (LSM) theorem to this regime without relying on spectral gaps.

2. Methodology

The authors employ a combination of Matrix Product State (MPS) representations, Quantum Channel theory, and Purification techniques.

• Symmetry Framework: They focus on 1D spin chains with Strong $U(1)_z$ symmetry (generated by total spin $S^z_{tot}$) and Weak $Z^x_2$ symmetry (generated by $\pi$-rotation $R^x_\pi$).
  • Strong $U(1)_z$: $e^{i\theta S^z_{tot}} \rho e^{-i\theta S^z_{tot}} = \rho$.
  • Weak $Z^x_2$: $R^x_\pi \rho (R^x_\pi)^\dagger = \rho$.
• Finite Depth Local Channels (FDLC): They generalize the concept of Finite Depth Local Unitary Circuits (FDLUC) used for pure states to mixed states. An FDLC describes a locality-preserving evolution of a density matrix by introducing an environment, applying a unitary, and tracing out the environment.
• Purification Strategy: To prove theorems for mixed states, the authors utilize a purification technique. They show that any symmetric product mixed state can be purified into a pure state $|\Psi\rangle$ in an enlarged Hilbert space (System + Ancilla + Environment) that respects the symmetries. This allows them to leverage known results from pure-state topology.
• Twisting Operator: They utilize the twisting operator $U$, originally introduced in the pure-state LSM proof:
  $$U \equiv \exp\left( \frac{2\pi i}{L} \sum_{j=1}^L j S^z_j \right)$$

3. Key Contributions and Theoretical Results

A. Quantized Topological Order Parameter

The authors propose the quantity $\text{Tr}(\rho U)$ as a topological order parameter for Short-Range Entangled (SRE) mixed states.

• Theorem 3: For a mixed state $\rho$ that is a (weak $Z^x_2$)-mSRE state (meaning it can be prepared from a product state via a locally symmetric FDLC) respecting strong $U(1)_z$ and weak $Z^x_2$ symmetries, the order parameter is quantized:
  $$\lim_{L \to \infty} \text{Tr}(\rho U) = \pm 1$$
• Significance: Unlike previous string order parameters, this value is discretely quantized and model-independent. It sharply distinguishes two distinct mixed-state topological phases. The proof relies on showing that the mixed state can be purified to a pure SRE state where the expectation value of the twisting operator is known to be $\pm 1$.

B. Generalization of the Lieb-Schultz-Mattis (LSM) Theorem

The authors extend the LSM theorem to mixed states, removing the requirement for a spectral gap or a specific lattice Hamiltonian.

• Theorem 4: If a half-integer spin chain is in a state $\rho$ respecting strong $U(1)_z$, weak $Z^x_2$, and weak (magnetic) translation/reflection symmetry, then:
  $$I[\rho] = -I[T \rho T^{-1}] = -I[R \rho R^{-1}]$$
  where $I[\rho] = \lim_{L\to\infty} \text{Tr}(\rho U)$.
• Corollary 5 (Mixed-State LSM Theorem): A mixed state $\rho$ of a half-integer spin chain respecting strong $U(1)_z$, weak $Z^x_2$, and weak (magnetic) translation/reflection symmetry cannot be a (weak $Z^x_2$)-mSRE state.
  • Implication: Such a system must reside in a non-trivial topological phase.
  • Advancement: This result is strictly stronger than previous mixed-state LSM generalizations (e.g., Ref. [55]) as it applies to magnetic translations and reflections and does not require the state to be a specific type of mSRE.

4. Results and Numerical Verification

A. Exactly Solvable Model

The authors construct a 1D spin-1/2 chain with a clean dimer Hamiltonian ($H_0$) and a disorder term ($H'(B)$) involving random fields $h_n = \pm B$.

• Phase Transition: The system exhibits a sharp topological phase transition at a critical disorder strength $B_c = 1$.
  • Phase I ($0 \le B < 1$): $\text{Tr}(\rho U) \approx -1$.
  • Phase II ($B > 1$): $\text{Tr}(\rho U) \approx +1$.
• Numerical Confirmation: Numerical simulations confirm that the order parameter jumps discontinuously at $B_c$, validating the theoretical prediction of a sharp transition between two distinct Average SPT (ASPT) phases.

B. Chiral Scalar Triple-Product Model

They apply the Mixed-State LSM theorem to a chiral spin model ($H_{ch}$) subjected to a dephasing channel.

• The system preserves the required symmetries.
• The spin-spin correlation function decays as a power law (critical behavior).
• By the Mixed-State LSM theorem, this state cannot be an mSRE state, confirming it belongs to a non-trivial topological phase. This is further verified by showing that assuming it is mSRE leads to a contradiction with the power-law decay of correlations.

5. Significance and Impact

• Rigorous Characterization: The paper provides the first rigorous, model-independent, and quantized order parameter for mixed-state topological phases, solving the problem of "fuzzy" order parameters in previous works.
• Beyond Hamiltonians: It successfully extends fundamental theorems (LSM) to mixed states without relying on the concept of spectral gaps or specific Hamiltonians, relying instead on symmetry and entanglement structure.
• Symmetry Enrichment: It highlights the necessity of enriched symmetry structures (combining strong and weak symmetries) to define and classify mixed-state topological phases.
• Experimental Relevance: By addressing disorder and decoherence explicitly, the findings are directly applicable to noisy intermediate-scale quantum (NISQ) devices and real condensed matter experiments where pure ground states are unattainable.

In summary, Li and Yao establish a robust framework for identifying and classifying topological phases in open quantum systems, bridging the gap between pure-state topology and realistic mixed-state physics.