Curator's Take
AI Commentary
This article reveals that a broad class of quantum error‑correcting codes can be understood as “twisted compactifications,” turning the abstract notion of quotient codes into a concrete geometric construction that directly yields logical qudits, operators and distance bounds from a parent stabilizer code. By exploiting Tate cohomology and higher‑form symmetries, the authors generate non‑Pauli stabilizer codes with linear distance and demonstrate how specific twists produce native multi‑qubit gates such as CCZ, addressing a long‑standing goal of achieving fault‑tolerant non‑Clifford operations without magic‑state overhead. The framework unifies recent developments in product‑code families, topological order beyond abelian anyons, and transversal gate design, offering a systematic toolkit for building more powerful, scalable quantum memories.
— Mark Eatherly
Summary
Many quantum codes, including balanced-product, bivariate-bicycle and genon codes and the five-qubit code, are quotient codes: a larger code folded onto itself by identifying each check with its image under a deck transformation composed with a symmetry. We show that this is the lattice form of twisted compactification, in which a theory on $X\times F$ carries a symmetry background along $F$, and we use the correspondence in both directions. For monomial quotients of Pauli stabilizer codes, a transfer theorem gives the logical qudits, logical operators and distance bounds from those of the parent, with a Tate cohomology group counting the logical operators that are new. For higher-form and cup-product symmetries the twist is an entangling diagonal circuit; when a finite cover trivializes the background, the code is a dressed quotient, so abelian Pauli codes give non-abelian topological order such as $D(D_4)$. The dressings have Clifford level at most one less than the degree of the twist, and for cubic twists the code dimension is a count of solutions of quadratic equations in cup products, which certifies that the code is not a Pauli stabilizer code when it is not a power of two; on tori and slabs the distance is linear in the size. Twists also create logical gates: three toric codes on $S^3$ have no logical qubits, but on $\mathbb{RP}^3$ the same circuit is a logical $CCZ$. A quarter-turn twist of the 3D fermionic toric code gives codes of linear distance, from $[[768,2,9]]$ up, whose $p+ip$ pump is an explicit finite-time quasi-local evolution that preserves the code space exactly; using the spin-topological response formula of Barkeshli, Hsin and Kobayashi, we identify its logical action as $T$ up to Clifford factors. Finally, twisting abelian gauge theories reach only the quantum doubles $D(G)$ with $[G,G]$ central.