Spin chains, defects, and quantum wires for the quantum-double edge

TL;DR

This work generalizes the 1D edge theory of the Z_N surface code to quantum-double edges for arbitrary finite groups G by introducing a flux-ladder edge model. It constructs both lattice and continuum descriptions, employing a G→Γ embedding to derive a generalized Γ principal chiral model and, in favorable cases, a WZNW-augmented, fermionizable edge that can be mapped to quantum wires via non-Abelian bosonization. A robust Ribbon/Jordan–Wigner framework is developed to realize and analyze non-Abelian edge excitations, including parafermion- and Majorana-like operators for the Dihedral group D_N, and to connect edge physics to bulk anyon data. The paper lays out concrete pathways to realize non-Abelian defects and topologically protected operations in both engineered devices and electronic materials, while outlining numerous open questions on zero-mode stability, continuum defects, and dualities. Together, these results extend the toolbox for defect-based topological quantum computation beyond Abelian cases and establish a formal bridge between lattice quantum doubles and continuum field theories.

Abstract

Non-Abelian defects that bind Majorana or parafermion zero modes are prominent in several topological quantum computation schemes. Underpinning their established understanding is the quantum Ising spin chain, which can be recast as a fermionic model or viewed as a standalone effective theory for the surface-code edge -- both of which harbor non-Abelian defects. We generalize these notions by deriving an effective Ising-like spin chain describing the edge of quantum-double topological order. Relating Majorana and parafermion modes to anyonic strings, we introduce quantum-double generalizations of non-Abelian defects. We develop a way to embed finite-group valued qunits into those valued in continuous groups. Using this embedding, we provide a continuum description of the spin chain and recast its non-interacting part as a quantum wire via addition of a Wess-Zumino-Novikov-Witten term and non-Abelian bosonization.

Figures (5)

• Figure 1: Left panel: Summary of connections between the $\textnormal{Z}_{N}$ surface code and various physical systems, enabled by the 1D quantum Ising spin chain. Right panel: Analogous summary for quantum double models associated with finite group $\textnormal{G}$, outlining the results of this work.
• Figure 2: (a) Continuum Majorana and parafermion zero modes lie at the interface of the superconducting and ferromagnetic phases of the free boson field theory, recast as a fermionic quantum wire. The effect of the two phases amounts to pinning the fields at the ends of the quantum wire to particular values. We show that the ferromagnetic-phase pinning mechanism is equivalent to restricting the configuration space $\textnormal{U}(1)$ of the field $\widehat{\phi}$ to the subgroup space $\textnormal{Z}_{N}$, while the superconducting-phase pinning mechanism is equivalent to restricting $\textnormal{U}(1)$ to the quotient subspace $\textnormal{U}(1)/\textnormal{Z}_{N}$. (b) In a representation-theoretic extension, we conjecture that generalized zero modes lie at interfaces between coupled quantum wires associated with a Lie group $\boldsymbol{\Gamma}$, whose fields are subject to subgroup ($\textnormal{G}$) and quotient-space ($\boldsymbol{\Gamma}/\textnormal{G}$) boundary conditions at the ends. Other boundary conditions based on gapped quantum-double edges can also be implemented.
• Figure 3: (a) A portion of the surface code model (\ref{['eq:ZN-toric-code']}) on a square lattice with vertical edge. The $Z$-type plaquettes and $X$-type stars in the bulk and on the edge are denoted by blue and red, respectively. (b) The resulting course-grained model and its edge operators on a "bicycle-wheel" lattice. (c) The effective edge model after projection into the bulk ground-state subspace.For the quantum double model (\ref{['eq:DN-quantum-double']}), the setup is the same if $\widehat{Z}\to\text{\ooalign{\hidewidth--\hidewidth\cr$\widehat{Z}$\cr}}$, $\widehat{X}^{\dagger}\to\overleftarrow{X}$, and $\widehat{X}\to\overrightarrow{X}$.
• Figure 4: Sketch of the steps required for the procedure $\square\to\boxslash$, which splits a square plaquette into two triangular plaquettes. (a) Initial square quantum-double lattice, with a fresh decoupled site $\hbox{!!!! }$ inside the central plaquette initialized in $|h=1\rangle$. (b) Intermediate configuration depicting "adjusted" plaquettes and stars. (c) Final configuration after application of two $\overrightarrow{\textsc{crot}}$ gates, depicted by the red arrows.
• Figure 5: (a) Sketch of a ribbon operator in the bulk of a quantum double model Kitaev2003, which acts on sites (red) of a ladder-like region of the lattice outlined by linked triangles (blue). Here, $\widehat{\varPi}_g=|g\rangle\langle g|$. (b) A flattened ribbon (\ref{['eq:ribbons']}), acting on a 1D chain and obtained by taking an ordinary ribbon and applying the bulk ground-state constraints from Sec. \ref{['subsec:DN-Coarse-graining-and-projecting-1']}.