«Anticommuting» $\mathbb{Z}_2$ quantum spin liquids

This paper investigates a class of lattice $S=\frac{1}{2}$ quantum spin liquid models characterized by an extensive set of mutually anticommuting local $\mathbb{Z}_2$ conserved charges, elucidating their unique many-body order, finite ground-state entropy, and distinct geometric interlinking compared to conventional commuting-algebra spin liquids like the Kitaev honeycomb model.

The Gist

The Big Picture: A New Kind of Quantum "Liquid"

Imagine you have a box full of tiny magnets (spins). Usually, when you cool these magnets down, they do one of two things:

1. Freeze into a solid: They all line up in a perfect pattern (like soldiers in a parade). This is called "order."
2. Stay messy: They point in random directions, but they are just chaotic noise.

For a long time, physicists thought there was a third, magical state called a Quantum Spin Liquid. In this state, the magnets never freeze, even at absolute zero. They keep "jiggling" and entangling with each other in a complex dance. This state is special because it holds secrets for future quantum computers.

The most famous example of this is the Kitaev Toric Code. Think of it like a game of "Whac-A-Mole" where the rules are very strict: every time you hit a mole, a neighbor pops up. The rules are "commutative," meaning the order in which you play doesn't matter; the game always ends the same way.

This paper introduces a brand new type of Spin Liquid. The authors call it "Anticommuting" Spin Liquid.

The Core Idea: The "Clashing" Rules

In the famous Toric Code, the rules of the game work together peacefully. In this new "Anticommuting" model, the rules clash.

The Analogy: The Overlapping Dance Floor
Imagine a dance floor where dancers are grouped into small circles.

• The Old Way (Toric Code): If two circles share a dancer, they agree on the dance move. They are polite and take turns.
• The New Way (Anticommuting): If two circles share a dancer, they disagree. If Circle A says "Spin Left," Circle B (which shares that dancer) says "Spin Right." They can't both be right at the same time.

This "clashing" or anticommuting nature creates a unique problem: the system can't decide on a single pattern. Because it can't pick a winner, it gets stuck in a state of infinite indecision.

The Result: A Sea of "Almost" States

Because the rules clash so much, the system doesn't settle into one ground state. Instead, it has a massive number of equally good ground states.

• The Analogy: Imagine a hotel with 1,000,000 rooms. In a normal hotel, you pick one room and stay there. In this "Anticommuting" hotel, the rules say you can be in any of the 1,000,000 rooms, and they are all equally valid.
• The Consequence: This creates a huge amount of residual entropy. Even at the coldest possible temperature, the system is still "confused" and has a lot of hidden information stored in its indecision. It's like a library where every book is written in a different language, but they all tell the same story.

The Surprising Twist: Order in the Chaos

Here is the most surprising part of the paper. Usually, when you have this much "confusion" (entropy), you expect total chaos. But the authors found that these models actually have a hidden, unconventional order.

The Analogy: The Sliding Puzzle
Think of a sliding tile puzzle.

• In the old Toric Code, the pieces are locked in a grid.
• In this new model, the pieces can slide along entire rows or columns at once without breaking the rules. This is called a "sliding symmetry."

The system has a rigid structure, but it's a structure that allows for massive movement. It's like a crowd of people who are all holding hands in a giant circle, but the whole circle can rotate or slide without anyone letting go. This is what the authors call "Xu-Moore order."

Where Does This Happen? (The Shapes)

The authors didn't just look at flat squares. They showed this works on weird, 3D shapes too:

1. Square Lattice: The basic 2D grid.
2. Kagome Lattice: A pattern of triangles and hexagons (like a woven basket).
3. Pyrochlore Lattice: A 3D structure made of tetrahedrons (pyramids).

The key requirement is that the shapes must "share corners." If the triangles or pyramids only touch at a single point (a corner), the "clashing" rules work perfectly. If they shared an edge, the rules would smooth out, and the magic would disappear.

Why Should We Care?

1. Quantum Computing: The famous Toric Code is used to protect quantum information (making it error-resistant). This new "Anticommuting" model might be an even better or different kind of protector. It acts like a Topological Subsystem Code, which is a fancy way of saying it stores data in a way that is very hard to accidentally destroy.
2. New Physics: It proves that you can have a state of matter that is both highly disordered (lots of entropy) and highly ordered (sliding symmetries) at the same time. It breaks the old rules of how we think about "order" vs. "disorder."
3. 3D Spin Liquids: They found a concrete way to make this happen in 3D space (the Pyrochlore lattice), which is a huge step toward building real materials that exhibit these properties.

Summary in One Sentence

The paper discovers a new type of quantum matter where the rules of the game clash so violently that the system can't settle down, creating a "liquid" state that is simultaneously chaotic, highly ordered in a sliding pattern, and potentially perfect for building unbreakable quantum computers.

Technical Summary

1. Problem Statement

The paper investigates a specific class of $S=1/2$ quantum spin models characterized by bond-dependent Ising couplings and a unique algebraic structure: a set of extensively many local $Z_2$ conserved charges that mutually "anticommute" when they share a lattice site.

• Context: Standard quantum spin liquids (QSLs), such as the Kitaev Toric Code or the Kitaev Honeycomb model, rely on mutually commuting local conserved charges (stabilizers). These models typically exhibit gapped spectra with topological order or gapless spectra with specific fractionalization.
• The Gap: Previous work (Ref. [6]) introduced models where the local conserved charges anticommute. This leads to extensive residual ground state entropy (finite entropy density at $T=0$) and quantum spin liquidity, contrasting sharply with the unique ground states of standard topological phases.
• Objective: This paper aims to deepen the understanding of these "anticommuting" ($ac$) Z2 QSLs by:
  1. Analyzing their structure in the Kitaev Majorana representation.
  2. Mapping specific multi-spin variants to known effective models (Xu-Moore).
  3. Investigating the nature of their topological degeneracy and many-body order.
  4. Extending the framework to non-bipartite lattices (Kagome, Pyrochlore).

2. Methodology

The authors employ a combination of exact analytical techniques:

• Kitaev Majorana Representation: They map spin operators to Majorana fermions ($\sigma^\mu_i = i\gamma^0_i \gamma^\mu_j$) to analyze the Hamiltonian structure, conserved quantities, and gauge properties.
• Block Decimation (Coarse-Graining): A "one-time" block decimation procedure is used to map the microscopic spin Hamiltonian to an effective model of block variables (plaquette or tetrahedral parities). This reveals the underlying effective physics (e.g., Xu-Moore models).
• Algebraic Analysis: The authors analyze the commutation and anticommutation relations of local and non-local conserved operators to determine degeneracy counting, superselection sectors, and the nature of topological protection.
• Lattice Generalization: The framework is applied to various lattices:
  • Square lattice (4-spin and 2-spin couplings).
  • Kagome lattice (3-spin couplings).
  • Pyrochlore lattice (4-spin couplings).

3. Key Contributions and Results

A. Structure in the Kitaev Representation

• Non-Standard Gauge Theory: Unlike the Kitaev Honeycomb model where bond variables ($u_{ij}$) are static $Z_2$ gauge fields, in $ac$-Z2 QSLs, the corresponding Majorana multilinear terms are dynamically fluctuating and do not reduce the system to free fermions.
• Gauge Dependence: The conserved quantities in the extended Hilbert space (e.g., 4-Majorana forms on plaquettes) are gauge-dependent and not physical observables in the projected spin Hilbert space. However, their global product yields a physical global $Z_2$ symmetry (rotation around the y-axis).
• Distinction from Toric Code: The physics cannot be described by standard Levin-Wen string-net constructions because the local charges do not commute, preventing the formation of a standard loop superposition wavefunction.

B. The 4-Spin Model on the Square Lattice

• Mapping to Xu-Moore Model: By defining block variables based on plaquette parities ($\tau^\mu_I = \prod \sigma^\mu_i$), the 4-spin Hamiltonian maps to the Xu-Moore model.
  • Unlike Wegner's $Z_2$ Ising gauge theory (where variables live on bonds), the Xu-Moore variables live on sites/vertices.
  • This leads to "sliding symmetries" (conserved charges on rows/columns) and unconventional many-body order (non-local bond order) rather than standard topological order.
• Topological Degeneracy vs. Local Decomposability:
  • The model exhibits a 4-fold degeneracy on a torus, analogous to the Toric Code, generated by non-local operators ($O^x_h, O^z_h, O^x_v, O^z_v$).
  • Crucial Finding: In the specific 4-spin model (Eq. 9), these non-local operators can be decomposed into products of local 2-spin conserved charges. Consequently, the degeneracy is not topologically protected against local perturbations (it splits at low order).
  • Generalized Models: By modifying the Hamiltonian to remove these local 2-spin symmetries (e.g., Eq. 48 or 49), the authors construct models where the 4-fold degeneracy becomes genuinely topological (splitting only exponentially with system size), co-existing with extensive residual entropy.

C. Non-Bipartite Lattices (Kagome and Pyrochlore)

• Kagome Lattice (3-spin model):
  • The model is defined on corner-sharing triangles.
  • Local 3-spin terms do not form an anticommuting algebra on the triangles themselves (due to odd bond counts), but they do on the hexagonal "missing" plaquettes.
  • Block decimation maps this to a Xu-Moore model on a triangular lattice, which exhibits long-range order (ferromagnetic or 3-sublattice) rather than the subsystem symmetry of the square lattice case.
• Pyrochlore Lattice (3D, 4-spin model):
  • Defined on corner-sharing tetrahedra.
  • Exhibits a 3D topological quantum spin liquid with 8-fold topological degeneracy on a torus.
  • Like the square lattice case, the specific limit (Eq. 71) has local 2-spin symmetries that break topological protection, but generalized versions (Eq. 89/90) restore genuine topological order.
  • The effective block-decimated model lives on an FCC lattice with edge-sharing tetrahedra, exhibiting Xu-Moore physics (subsystem symmetries on planes).

D. 2-Spin Couplings

• For 2-spin models (Eq. 1), the block decimation leads to three-valued variables (unlike the two-valued variables in the 4-spin case).
• The effective Hamiltonian resembles a quantum Ising model with three-level degrees of freedom, suggesting a different universality class for the phase transitions.

4. Significance and Implications

• New Phase of Matter: The paper establishes a distinct class of quantum phases: $ac$-Z2 QSLs. These phases are characterized by the coexistence of:
  1. Extensive residual ground state entropy (due to the anticommuting algebra).
  2. Quantum spin liquidity (absence of symmetry breaking).
  3. Topological degeneracy (in generalized models) that is distinct from the Toric Code universality class.
• Beyond Toric Code: The work challenges the notion that topological order must arise from commuting stabilizers. It demonstrates that anticommuting algebras can generate robust topological features, though the protection mechanism differs (often relying on the absence of local decomposable symmetries).
• Quantum Error Correction: The authors conjecture that these models may serve as topological subsystem codes. Unlike the Toric Code (a stabilizer code), these $ac$-Z2 QSLs might offer new avenues for fault-tolerant quantum computation, potentially utilizing the "anticommuting" structure for error detection.
• Theoretical Framework: The identification of "sliding symmetries" and "unconventional many-body order" (Xu-Moore type) co-existing with spin liquidity provides a new theoretical lens for understanding frustrated magnets and lattice gauge theories with non-standard gauge structures.

Conclusion

This paper rigorously characterizes "anticommuting" Z2 quantum spin liquids, showing they are not merely trivial paramagnets with high entropy but host rich, non-trivial many-body physics. They represent a new frontier in topological phases where extensive degeneracy, spin liquidity, and topological order coexist, driven by a unique algebraic structure that defies standard commuting stabilizer paradigms. The work opens new questions regarding the robustness of these phases under perturbations and their potential application in quantum information processing.