-
Planar fault-tolerant circuits for non-Clifford gates on the 2D color code
Authors:
Andreas Bauer,
Julio C. Magdalena de la Fuente
Abstract:
We introduce a family of scalable planar fault-tolerant circuits that implement logical non-Clifford operations on a 2D color code, such as a logical $T$ gate or a logical non-Pauli measurement that prepares a magic $|T\rangle$ state. The circuits are relatively simple, consisting only of physical $T$ gates, $CX$ gates, and few-qubit measurements. They can be implemented with an array of qubits on…
▽ More
We introduce a family of scalable planar fault-tolerant circuits that implement logical non-Clifford operations on a 2D color code, such as a logical $T$ gate or a logical non-Pauli measurement that prepares a magic $|T\rangle$ state. The circuits are relatively simple, consisting only of physical $T$ gates, $CX$ gates, and few-qubit measurements. They can be implemented with an array of qubits on a 2D chip with nearest-neighbor couplings, and no wire crossings. The construction is based on a spacetime path integral representation of a non-Abelian 2+1D topological phase, which is related to the 3D color code. We turn the path integral into a circuit by expressing it as a spacetime $ZX$ tensor network, and then traversing it in some chosen time direction. We describe in detail how fault tolerance is achieved using a "just-in-time" decoding strategy, for which we repurpose and extend state-of-the-art color-code matching decoders.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Universal fault tolerant quantum computation in 2D without getting tied in knots
Authors:
Margarita Davydova,
Andreas Bauer,
Julio C. Magdalena de la Fuente,
Mark Webster,
Dominic J. Williamson,
Benjamin J. Brown
Abstract:
We show how to perform scalable fault-tolerant non-Clifford gates in two dimensions by introducing domain walls between the surface code and a non-Abelian topological code whose codespace is stabilized by Clifford operators. We formulate a path integral framework which provides both a macroscopic picture for different logical gates as well as a way to derive the associated microscopic circuits. We…
▽ More
We show how to perform scalable fault-tolerant non-Clifford gates in two dimensions by introducing domain walls between the surface code and a non-Abelian topological code whose codespace is stabilized by Clifford operators. We formulate a path integral framework which provides both a macroscopic picture for different logical gates as well as a way to derive the associated microscopic circuits. We also show an equivalence between our approach and prior proposals where a 2D array of qubits reproduces the action of a transversal gate in a 3D stabilizer code over time, thus, establishing a new connection between 3D codes and 2D non-Abelian topological phases. We prove a threshold theorem for our protocols under local stochastic circuit noise using a just-in-time decoder to correct the non-Abelian code.
△ Less
Submitted 15 May, 2025; v1 submitted 19 March, 2025;
originally announced March 2025.
-
The x+y Floquet code: A simple example for topological quantum computation in the path integral approach
Authors:
Andreas Bauer
Abstract:
The path-integral approach to topological quantum error correction provides a unified way to construct and analyze fault-tolerant circuits in spacetime. In this work, we demonstrate its utility and versatility at hand of a simple example: We construct a new fault-tolerant circuit for the toric-code phase by traversing its path integral on a $(x,y,z)$ cubic lattice in the $x+y$ direction. The circu…
▽ More
The path-integral approach to topological quantum error correction provides a unified way to construct and analyze fault-tolerant circuits in spacetime. In this work, we demonstrate its utility and versatility at hand of a simple example: We construct a new fault-tolerant circuit for the toric-code phase by traversing its path integral on a $(x,y,z)$ cubic lattice in the $x+y$ direction. The circuit acts on qubits on a square lattice, and alternates between horizontal nearest-neighbor $CX$ gates and vertical nearest-neighbor $ZZ$ and $XX$ measurements. We show how to incorporate boundaries and corners into the fault-tolerant circuit and how to perform topologically protected logic gates. As a specific example, we consider performing a fault-tolerant logical $ZZ$ measurement via lattice surgery of two spatial rectangular blocks of our fault-tolerant circuit.
△ Less
Submitted 16 March, 2025; v1 submitted 13 August, 2024;
originally announced August 2024.
-
Low-overhead non-Clifford fault-tolerant circuits for all non-chiral abelian topological phases
Authors:
Andreas Bauer
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…
▽ More
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.
△ Less
Submitted 17 March, 2025; v1 submitted 18 March, 2024;
originally announced March 2024.
-
Topological error correcting processes from fixed-point path integrals
Authors:
Andreas Bauer
Abstract:
We propose a unifying paradigm for analyzing and constructing topological quantum error correcting codes as dynamical circuits of geometrically local channels and measurements. To this end, we relate such circuits to discrete fixed-point path integrals in Euclidean spacetime, which describe the underlying topological order: If we fix a history of measurement outcomes, we obtain a fixed-point path…
▽ More
We propose a unifying paradigm for analyzing and constructing topological quantum error correcting codes as dynamical circuits of geometrically local channels and measurements. To this end, we relate such circuits to discrete fixed-point path integrals in Euclidean spacetime, which describe the underlying topological order: If we fix a history of measurement outcomes, we obtain a fixed-point path integral carrying a pattern of topological defects. As an example, we show that the stabilizer toric code, subsystem toric code, and CSS Floquet code can be viewed as one and the same code on different spacetime lattices, and the honeycomb Floquet code is equivalent to the CSS Floquet code under a change of basis. We also use our formalism to derive two new error-correcting codes, namely a Floquet version of the $3+1$-dimensional toric code using only 2-body measurements, as well as a dynamic code based on the double-semion string-net path integral.
△ Less
Submitted 12 March, 2024; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Bulk-to-boundary anyon fusion from microscopic models
Authors:
Julio C. Magdalena de la Fuente,
Jens Eisert,
Andreas Bauer
Abstract:
Topological quantum error correction based on the manipulation of the anyonic defects constitutes one of the most promising frameworks towards realizing fault-tolerant quantum devices. Hence, it is crucial to understand how these defects interact with external defects such as boundaries or domain walls. Motivated by this line of thought, in this work, we study the fusion events between anyons in t…
▽ More
Topological quantum error correction based on the manipulation of the anyonic defects constitutes one of the most promising frameworks towards realizing fault-tolerant quantum devices. Hence, it is crucial to understand how these defects interact with external defects such as boundaries or domain walls. Motivated by this line of thought, in this work, we study the fusion events between anyons in the bulk and at the boundary in fixed-point models of 2+1-dimensional non-chiral topological order defined by arbitrary fusion categories. Our construction uses generalized tube algebra techniques to construct a bi-representation of bulk and boundary defects. We explicitly derive a formula to calculate the fusion multiplicities of a bulk-to-boundary fusion event for twisted quantum double models and calculate some exemplary fusion events for Abelian models and the (twisted) quantum double model of S3, the simplest non-Abelian group-theoretical model. Moreover, we use the folding trick to study the anyonic behavior at non-trivial domain walls between twisted S3 and twisted Z2 as well as Z3 models. A recurring theme in our construction is an isomorphism relating twisted cohomology groups to untwisted ones. The results of this work can directly be applied to study logical operators in two-dimensional topological error correcting codes with boundaries described by a twisted gauge theory of a finite group.
△ Less
Submitted 14 February, 2025; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Efficient classical algorithms for simulating symmetric quantum systems
Authors:
Eric R. Anschuetz,
Andreas Bauer,
Bobak T. Kiani,
Seth Lloyd
Abstract:
In light of recently proposed quantum algorithms that incorporate symmetries in the hope of quantum advantage, we show that with symmetries that are restrictive enough, classical algorithms can efficiently emulate their quantum counterparts given certain classical descriptions of the input. Specifically, we give classical algorithms that calculate ground states and time-evolved expectation values…
▽ More
In light of recently proposed quantum algorithms that incorporate symmetries in the hope of quantum advantage, we show that with symmetries that are restrictive enough, classical algorithms can efficiently emulate their quantum counterparts given certain classical descriptions of the input. Specifically, we give classical algorithms that calculate ground states and time-evolved expectation values for permutation-invariant Hamiltonians specified in the symmetrized Pauli basis with runtimes polynomial in the system size. We use tensor-network methods to transform symmetry-equivariant operators to the block-diagonal Schur basis that is of polynomial size, and then perform exact matrix multiplication or diagonalization in this basis. These methods are adaptable to a wide range of input and output states including those prescribed in the Schur basis, as matrix product states, or as arbitrary quantum states when given the power to apply low depth circuits and single qubit measurements.
△ Less
Submitted 21 November, 2023; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Disentangling modular Walker-Wang models via fermionic invertible boundaries
Authors:
Andreas Bauer
Abstract:
Walker-Wang models are fixed-point models of topological order in $3+1$ dimensions constructed from a braided fusion category. For a modular input category $\mathcal M$, the model itself is invertible and is believed to be in a trivial topological phase, whereas its standard boundary is supposed to represent a $2+1$-dimensional chiral phase. In this work we explicitly show triviality of the model…
▽ More
Walker-Wang models are fixed-point models of topological order in $3+1$ dimensions constructed from a braided fusion category. For a modular input category $\mathcal M$, the model itself is invertible and is believed to be in a trivial topological phase, whereas its standard boundary is supposed to represent a $2+1$-dimensional chiral phase. In this work we explicitly show triviality of the model by constructing an invertible domain wall to vacuum as well as a disentangling generalized local unitary circuit in the case where $\mathcal M$ is a Drinfeld center. Moreover, we show that if we allow for fermionic (auxiliary) degrees of freedom inside the disentangling domain wall or circuit, the model becomes trivial for a larger class of modular fusion categories, namely those in the Witt classes generated by the Ising UMTC. In the appendices, we also discuss general (non-invertible) boundaries of general Walker-Wang models and describe a simple axiomatization of extended TQFT in terms of tensors.
△ Less
Submitted 11 March, 2023; v1 submitted 5 August, 2022;
originally announced August 2022.
-
Towards topological fixed-point models beyond gappable boundaries
Authors:
Andreas Bauer,
Jens Eisert,
Carolin Wille
Abstract:
We consider fixed-point models for topological phases of matter formulated as discrete path integrals in the language of tensor networks. Such zero-correlation length models with an exact notion of topological invariance are known in the mathematical community as state-sum constructions or lattice topological quantum field theories. All of the established ansatzes for fixed-point models imply the…
▽ More
We consider fixed-point models for topological phases of matter formulated as discrete path integrals in the language of tensor networks. Such zero-correlation length models with an exact notion of topological invariance are known in the mathematical community as state-sum constructions or lattice topological quantum field theories. All of the established ansatzes for fixed-point models imply the existence of a gapped boundary as well as a commuting-projector Hamiltonian. Thus, they fail to capture topological phases without a gapped boundary or commuting-projector Hamiltonian, most notably chiral topological phases in $2+1$ dimensions. In this work, we present a more general fixed-point ansatz not affected by the aforementioned restrictions. Thus, our formalism opens up a possible way forward towards a microscopic fixed-point description of chiral phases and we present several strategies that may lead to concrete examples. Furthermore, we argue that our more general ansatz constitutes a universal form of topological fixed-point models, whereas established ansatzes are universal only for fixed-points of phases which admit topological boundaries.
△ Less
Submitted 11 September, 2022; v1 submitted 29 November, 2021;
originally announced November 2021.
-
A unified diagrammatic approach to topological fixed point models
Authors:
A. Bauer,
J. Eisert,
C. Wille
Abstract:
We introduce a systematic mathematical language for describing fixed point models and apply it to the study to topological phases of matter. The framework is reminiscent of state-sum models and lattice topological quantum field theories, but is formalised and unified in terms of tensor networks. In contrast to existing tensor network ansatzes for the study of ground states of topologically ordered…
▽ More
We introduce a systematic mathematical language for describing fixed point models and apply it to the study to topological phases of matter. The framework is reminiscent of state-sum models and lattice topological quantum field theories, but is formalised and unified in terms of tensor networks. In contrast to existing tensor network ansatzes for the study of ground states of topologically ordered phases, the tensor networks in our formalism represent discrete path integrals in Euclidean space-time. This language is more directly related to the Hamiltonian defining the model than other approaches, via a Trotterization of the respective imaginary time evolution. We introduce our formalism by simple examples, and demonstrate its full power by expressing known families of models in 2+1 dimensions in their most general form, namely string-net models and Kitaev quantum doubles based on weak Hopf algebras. To elucidate the versatility of our formalism, we also show how fermionic phases of matter can be described and provide a framework for topological fixed point models in 3+1 dimensions.
△ Less
Submitted 27 April, 2022; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Quantum mechanics is *-algebras and tensor networks
Authors:
Andreas Bauer
Abstract:
We provide a systematic approach to quantum mechanics from an information-theoretic perspective using the language of tensor networks. Our formulation needs only a single kind of object, so-called positive *-tensors. Physical models translate experimental setups into networks of these *-tensors, and the evaluation of the resulting networks yields the probability distributions describing measuremen…
▽ More
We provide a systematic approach to quantum mechanics from an information-theoretic perspective using the language of tensor networks. Our formulation needs only a single kind of object, so-called positive *-tensors. Physical models translate experimental setups into networks of these *-tensors, and the evaluation of the resulting networks yields the probability distributions describing measurement outcomes. The idea behind our approach is similar to categorical formulations of quantum mechanics. However, our formulation is mathematically simpler and less abstract. Our presentation of the core formalism is completely self-contained and relies on minimal mathematical prerequesites. Therefore, we hope it is in principle also understandable to people without an extensive mathematical background. Additionally, we show how various types of models, like real-time evolutions or thermal systems can be translated into *-tensor networks.
△ Less
Submitted 17 March, 2020;
originally announced March 2020.
-
Towards a mathematical formalism for classifying phases of matter
Authors:
Andreas Bauer,
Jens Eisert,
Carolin Wille
Abstract:
We propose a unified mathematical framework for classifying phases of matter. The framework is based on different types of combinatorial structures with a notion of locality called lattices. A tensor lattice is a local prescription that associates tensor networks to those lattices. Different lattices are related by local operations called moves. Those local operations define consistency conditions…
▽ More
We propose a unified mathematical framework for classifying phases of matter. The framework is based on different types of combinatorial structures with a notion of locality called lattices. A tensor lattice is a local prescription that associates tensor networks to those lattices. Different lattices are related by local operations called moves. Those local operations define consistency conditions for the tensors of the tensor network, the solutions to which yield exactly solvable models for all kinds of phases. We implement the framework to obtain models for symmetry-breaking and topological phases in up to three space-time dimensions, their boundaries, defects, domain walls and symmetries, as well as their anyons for 2+1-dimensional systems. We also deliver ideas of how other kinds of phases, like SPT/SET, fermionic, free-fermionic, chiral, and critical phases, can be described within our framework. We also define another structure called contracted tensor lattices which generalize tensor lattices: The former associate tensors instead of tensor networks to lattices, and the consistency conditions for those tensors are defined by another kind of local operation called gluings. Using this generalization, our framework also covers mathematical structures like axiomatic (non-fully extended or defective) TQFTs, that do not directly describe phases on a microscopic physical level, but formalize certain aspects of potential phases, like the anyon statistics of 2+1-dimensional phases. We also introduce the very powerful concept of (contracted) tensor lattice mapping, unifying a lots of different operations, such as stacking, anyon fusion, anyon condensation, equivalence of different fixed point models, taking the Drinfel'd centre, trivial defects or interpreting a bosonic model as a fermionic model.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.
