Abstract:We propose a family of explicit geometrically local circuits on a 2-dimensional planar grid of qudits, realizing any abelian non-chiral topological phase as an actively error-corrected fault-tolerant memory. These circuits are constructed from measuring 1-form symmetries in discrete fixed-point path integrals, which we express through cellular cohomology and higher-order cup products. The specific path integral we use is the abelian Dijkgraaf-Witten state sum on a 3-dimensional cellulation, which is a spacetime representation of the twisted quantum double model. The resulting circuits are based on a syndrome extraction circuit of the (qudit) stabilizer toric code, into which we insert non-Clifford phase gates that implement the ``twist''. The overhead compared to the toric code is moderate, in contrast to known constructions for twisted abelian phases. We also show that other architectures for the (qudit) toric code phase, like measurement-based topological quantum computation or Floquet codes, can be enriched with phase gates to implement twisted quantum doubles instead of their untwisted versions. As a further result, we prove fault tolerance under arbitrary local (including non-Pauli) noise for a very general class of topological circuits that we call 1-form symmetric fixed-point circuits. This notion unifies the circuits in this paper as well as the stabilizer toric code, subsystem toric code, measurement-based topological quantum computation, or the (CSS) honeycomb Floquet code. We also demonstrate how our method can be adapted to construct fault-tolerant circuits for specific non-Abelian phases. In the appendix we present an explicit combinatorial procedure to define formulas for higher cup products on arbitrary cellulations, which might be interesting in its own right to the TQFT and topological-phases community.

On Phases of Unique Sink Orientations

A Universal Construction for Unique Sink Orientations

Non-Promise Version of Unique Sink Orientations

On Degeneracy in the P-Matroid Oriented Matroid Complementarity Problem

Generating a random sink-free orientation in quadratic time

Local Unitary Equivalence of the SLOCC Class of Three Qubits

Low Depth Phase Oracle Using a Parallel Piecewise Circuit

Effective atypical intersections and applications to orbit closures

Experimental Demonstration of A Unified Framework for Mixed-State Geometric Phases

Unknotting Nonorientable Surfaces of Genus 4 and 5

Low-overhead non-Clifford fault-tolerant circuits for all non-chiral abelian topological phases

Two Choices are Enough for P-LCPs, USOs, and Colorful Tangents

A Topological Version of Schaefer's Dichotomy Theorem

Euler Stratifications of Hypersurface Families

On Uniqueness in Steiner Problem

Universal measurement-based quantum computation in two-dimensional symmetry-protected topological phases

Real phase structures on matroid fans and matroid orientations

Dynamic Schnyder Woods

Realization of geometric phase topology induced by multiple exceptional points

Symmetry-protected Topological Phases, Generalized Laughlin Argument and Orientifolds

Simulating 2D topological quantum phase transitions on a digital quantum computer