On a C*-Diagonal Generated by the Toric Code

Abstract: We study the abelian sub-C*-algebra of the CAR algebra generated by the start and face opertors of Kitaev's toric code. We show that it is a C*-diagonal equivalent to the canonical diagonal of the CAR algebra.

• The paper demonstrates that the sub-C*-algebra formed by Kitaev’s toric code operators is a C*-diagonal with the unique extension property.
• Methodology employs ribbon operators and groupoid techniques to establish automorphism equivalence with the canonical diagonal in M₂∞.
• Results underscore the robustness of topological quantum order, providing insights for quantum memory and noncommutative geometry applications.

C*-Diagonals Generated by the Toric Code: Algebraic and Groupoid Equivalence

Introduction and Background

This paper rigorously addresses the structure and classification of abelian sub-$C^*$-algebras generated by the star and face operators of Kitaev’s toric code within the $2^\infty$-UHF algebra (denoted $M_{2^\infty}$), a central object in operator algebras and quantum many-body theory. Specifically, it analyzes a sub-$C^*$-algebra generated by these commuting symmetries, demonstrating that it forms a $C^*$-diagonal and is automorphism equivalent to the canonical diagonal, despite arising from a physically motivated topological quantum memory model.

The toric code, realized on a square lattice, is a prototypical example of a topologically ordered phase with local commuting projectors governing its dynamics. The associated algebraic structure, $M_{2^\infty}$, is known to contain uncountably many inequivalent $C^*$-diagonals, with several exhibiting Cantor spectrum or more elaborate combinatorial invariants. This study situates the toric code’s diagonal within this classification framework using advanced groupoid techniques.

Technical Contributions

Construction of the Toric Code Diagonal

The authors define star ($A_v$) and face ($B_{\tilde v}$) operators as products of Pauli matrices acting on edges and faces, respectively, generating a commutative, abelian subalgebra $\mathcal{C}$ inside $M_{2^\infty}$. The spectrum of $\mathcal{C}$ is shown to be homeomorphic to a Cantor set $\Omega = \{-1,1\}^W$, where $W$ indexes the combined set of vertices and faces, and each pure state corresponds to a configuration in this space.

Regularity and Unique Extension Property

A focal point is demonstrating that $\mathcal{C}$ is a regular masa with the unique extension property, thus a $C^*$-diagonal. Regularity follows from showing that ribbon operators—which generate the parent algebra via local symmetries—are normalizers for $\mathcal{C}$.

To establish the unique extension property, the paper associates to each pure state of $\mathcal{C}$ a net of frustration-free projections $\{P_\Lambda(f)\}$, parameterized by $f \in \Omega$. The net is proven, via the LTQO (local topological quantum order) property, to admit a unique pure frustration-free ground state, thus ensuring each pure state on $\mathcal{C}$ admits a unique pure extension to $M_{2^\infty}$.

Groupoid and Invariant Analysis

The identification of the groupoid invariant for $\mathcal{C}$ leverages the machinery of Weyl groupoids and twisted groupoid $C^*$-algebras. The authors construct the transformation groupoid $G_\mathcal{C} = \Omega \rtimes \partial\Gamma$, using partial homeomorphisms induced by ribbon operators.

Through the computation of the ordered dimension group $H_0(G_\mathcal{C})$, a complete invariant for $AF$-relations per Krieger’s theorem, and comparison to the canonical diagonal (whose groupoid is well-characterized), the authors conclude that both diagonals correspond to equivalent groupoids (and trivial twists). Thus, automorphism equivalence is established. However, explicit lifting of isomorphisms to automorphisms of $M_{2^\infty}$ is nontrivial, and the paper provides a constructive argument demonstrating the failure of naive lifts.

Numerical and Structural Results

• The spectrum of the frustration-free Hamiltonian derived from the toric code is shown to have non-degenerate ground state and higher eigenspaces parameterized by ribbon operator products, confirming uniqueness and purity.
• The Cantor spectrum and ordered dimension group for the constructed diagonal match those of the canonical diagonal, demonstrating equivalence in invariant-based classification.

Implications and Theoretical Significance

This work situates the diagonal constructed from a physically motivated topological model squarely within the existing abstract theory of $C^*$-diagonals and masa regularity, demonstrating its equivalence to the canonical diagonal via deep groupoid invariants rather than explicit algebraic automorphisms. The result has significant implications:

1. Algebraic Classification: Despite being generated from physically meaningful operators with rich topological content, the diagonal is classifiable using groupoid invariants and does not introduce new equivalence classes within $M_{2^\infty}$.
2. Rigidity of Topological Quantum Order: The uniqueness of the frustration-free ground state and the robustness of LTQO reflect strong stability of the phase and support the use of abelian subalgebra methods in the analysis of quantum memories.
3. Methodological Crossroads: The approach highlights the synergy between operator algebraic classification (masa theory) and groupoid methods, with applications ranging from quantum statistical mechanics to noncommutative geometry.
4. Generalizations: The methodologies presented should generalize to other quantum spin models (including those with more intricate Hopf algebra symmetries or nontrivial twists), informing the classification of Cartan inclusions and diagonal dimensions in $C^*$-algebraic models of topological matter.

Future Directions

Further research is warranted on several fronts:

• Existence of Nonequivalent Physical Diagonals: Exploring diagonals generated by spin models with more complex symmetry actions, including those featuring nontrivial groupoid twists, may yield new equivalence classes.
• Automorphism Construction and Physical Realizability: Identifying or constructing automorphisms that realize these equivalences in concrete $C^*$-algebras remains an open challenge, linking algebraic classification to explicit physical transformations.
• Extensions to Higher Gauge Theories: Applying these frameworks to higher categorical generalizations of the toric code and to interacting models with non-Abelian symmetries may enrich the diagonal classification landscape.
• Quantum Information Theoretic Applications: The unique extension property suggests robustness in encoding quantum information, with implications for fault-tolerant codes and topological quantum computation.

Conclusion

This paper presents a rigorous algebraic and groupoid classification of the abelian sub-$C^*$-algebra generated by the toric code’s commuting projectors, establishing that it forms a $C^*$-diagonal automorphism equivalent to the canonical diagonal of $M_{2^\infty}$. The analysis, grounded in masa regularity, frustration-free models, groupoid invariants, and conditional expectations, underscores the intersection of operator algebra and quantum many-body theory, with ramifications for the classification of topologically ordered phases in mathematical physics and quantum computing.