Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Quantum circuit for toric code state preparation via graph states

Pengcheng Liao, David L. Feder

Published Mar 23, 2021• 1 citation
OpenAlex

Abstract

Given the wide applicability of topological states for fault-tolerant quantum computation, an important outstanding question is how to generate these states within the quantum circuit model, and if it is possible to do so efficiently. In this work, toric code states on the torus are mapped to an equivalent graph state under local Clifford operations. The graph is composed of only two subgraphs, both of which can be generated in log depth, assuming geometrically non-local gates. Including ancillae and measurements, the circuit depth can be reduced to a constant at the cost of increasing the circuit width. Among many insights, the toric code graph structure reveals a close connection between repetition and topological codes. Due to their local equivalence to the toric code, all two-dimensional translationally invariant topological stabilizer codes are therefore efficiently preparable on a quantum circuit. The results provide a new graph-theoretic framework for the development of novel topological error correction codes, beyond geometrical considerations.

Related papers

Graph-state representation of the toric code

Pengcheng Liao, David L. Feder

Given their potential for fault-tolerant operations, topological quantum states are currently a focus of intense activity. Of particular interest are topological quantum error correction codes, such as the surface and planar stabilizer codes that are equivalent to the celebrated toric code. While every stabilizer state maps to a graph state under local Clifford operations, the graphs associated with topological stabilizer codes remain unknown. We show that the toric code graph is composed of only two kinds of subgraphs: star graphs (which encode Greenberger-Horne-Zeilinger states) and half graphs. The topological order is identified with the existence of multiple star graphs, which reveals a connection between the repetition and toric codes. The graph structure readily yields a log-depth quantum circuit for state preparation, assuming geometrically nonlocal gates, which can be reduced to a constant depth including ancillae and measurements at the cost of increasing the circuit width. The results provide a graph-theoretic framework for the investigation of topological order and the development of topological error correction codes.

arXiv:2103.12268•Physical Review A•Jul 30, 2021•8 citations

Minimal instances for toric code ground states

Nicolai Lang, Hans Peter Büchler

A decade ago Kitaev's toric code model established the new paradigm of topological quantum computation. Due to remarkable theoretical and experimental progress, the quantum simulation of such complex many-body systems is now within the realms of possibility. Here we consider the question, to which extent the ground states of small toric code systems differ from local-unitary (LU)-equivalent graph states. We argue that simplistic (though experimentally attractive) setups obliterate the differences between the toric code and equivalent graph states; hence we search for the smallest setups on the square and triangular lattices, such that the quasilocality of the toric code Hamiltonian becomes a distinctive feature. To this end, a purely geometric procedure to transform a given toric code setup into a local-Clifford (LC)-equivalent graph state is derived. In combination with an algorithmic computation of LC-equivalent graph states, we find the smallest nontrivial setup on the square lattice to contain five plaquettes and 16 qubits; on the triangular lattice the number of plaquettes and qubits is reduced to four and nine, respectively.

arXiv:1206.6994•Physical Review A•Aug 28, 2012•11 citations

Generalized matching decoders for 2D topological translationally-invariant codes

Shi Jie Samuel Tan, Ian Gill, Eric Huang +6 more

Two-dimensional topological translationally-invariant (TTI) quantum codes, such as the toric code (TC) and bivariate bicycle (BB) codes, are promising candidates for fault-tolerant quantum computation. For such codes to be practically relevant, their decoders must successfully correct the most likely errors while remaining computationally efficient. For the TC, graph-matching decoders satisfy both requirements and, additionally, admit provable performance guarantees. Given the equivalence between TTI codes and (multiple copies of) the TC, one may then ask whether TTI codes also admit analogous graph-matching decoders. In this work, we develop a graph-matching approach to decoding general TTI codes. Intuitively, our approach coarse-grains the TTI code to obtain an effective description of the syndrome in terms of TC excitations, which can then be removed using graph-matching techniques. We prove that our decoders correct errors of weight up to a constant fraction of the code distance and achieve nonzero code-capacity and circuit-level thresholds in the specified noise models. We further numerically study a variant optimized for practically relevant BB codes and observe performance comparable to that of belief propagation with ordered statistics decoding (BP-OSD). We also study the code-capacity threshold for the hexagonal color code as a proof of concept. Our results indicate that graph-matching decoders are a viable approach to decoding BB codes and other TTI codes.

quant-pharXiv:2603.05402•Mar 6, 2026•0 citations

Toric codes all the way down: decoupling translation-invariant topological CSS codes in higher dimensions

Mingxin He, Yifei Wang, Hao Song +1 more

Topological Calderbank-Shor-Steane (CSS) codes in more than two spatial dimensions offer features useful for fault-tolerant quantum computation, such as transversal non-Clifford gates and single-shot decoding, but a systematic understanding of them is still lacking. One approach is to decouple a code: map it to a stack of higher-form toric codes by a finite-depth local CSS-preserving Clifford circuit, possibly after adding ancillas. For translation-invariant $p$-ary CSS codes, where $p$ is prime ($p=2$ for qubits), we require the circuit to commute with the translations of a superlattice. In two dimensions, such a decoupling exists once these translations act trivially on every anyon type. In higher dimensions, excitations are sorted by their dimension into superselection layers, which can remain glued together even when translations act trivially on each layer. We show that this gluing is the only remaining obstruction: a code can be decoupled on a superlattice exactly when, after coarse-graining to it, translations act trivially on every layer and the gluing vanishes. Moreover, for a code with finitely many excitation types in each layer and $m$ nonzero layers, once translations act trivially on every layer, further coarse-graining by a factor of $p^{m-1}$ in every direction removes the aforementioned gluing. Physically, the same criterion determines when the code encodes the maximal number of logical qudits on a finite torus. Finally, we give an explicit algorithm that constructs the decoupling as a circuit of SUM (qudit CNOT) and SWAP gates.

quant-pharXiv:2610.40592•Oct 30, 2026•0 citations

Quantum Logic Codes: Complete Transversal Logical Clifford Instruction Sets for High-Rate Stabilizer Quantum Error Correcting Codes

Adam Holmes

We study the structure and transversal logical capabilities of stabilizer quantum error correcting codes. Among our results, we identify universal lower bounds on circuit depth to generate a full logical Clifford algebra, and develop novel constructions of logical transversal gates including a new depth-one transversal phase $\mathrm{\overline{S}}$ gate in the rotated surface code and a depth-one intra-block $\mathrm{\overline{CZ}}$ gate in the 2D-toric code that generalizes to all odd distances and all lengths $L\ge3$, respectively. Finally, we construct a high-rate non-LDPC CSS code family with parameters $[[n,\sqrt{n},Θ({n^β})]]$ where $β\approx 0.2823$ in one demonstrated case, that provably possesses a constant-depth complete 2-local transversal logical Clifford basis instruction set architecture (ISA) composed of all individually targeted $\mathrm{\overline{S}}$, $\mathrm{\overline{SHS}} = \sqrt{X}$, and $\mathrm{\overline{CZ}}$ gates. This ISA is depth-one for certain subfamilies that we design and generally constant-depth under certain conditions. The code family is built from a small code with parameters $[[n_0, 2, d_0]]$, and is tunable in the standard way: it tiles out to form utility-scale logical qubit counts, and it scales up through concatenation to achieve higher distances and error suppression. We show that this construction preserves the depth-one complete transversal logical Clifford basis ISA when composed with these commuting construction actions, inheriting structure from the core codes so that at scale the complete logical Clifford basis ISA remains depth-one up to depth-two addressable operations between tiled cores. We call these Quantum Logic Codes.

quant-pharXiv:2606.13521•Jun 12, 2026•0 citations

Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices

Jeongwan Haah

We prove that on any two-dimensional lattice of qudits of a prime dimension, every translation invariant Pauli stabilizer group with local generators and with the code distance being the linear system size is decomposed by a local Clifford circuit of constant depth into a finite number of copies of the toric code stabilizer group (Abelian discrete gauge theory). This means that under local Clifford circuits, the number of toric code copies is the complete invariant of topological Pauli stabilizer codes. Previously, the same conclusion was obtained under the assumption of nonchirality for qubit codes or the Calderbank–Shor–Steane structure for prime qudit codes; we do not assume any of these.

arXiv:1812.11193•Journal of Mathematical Physics•Jan 1, 2021•35 citations
Given the wide applicability of topological states for fault-tolerant quantum computation, an important outstanding question is how to generate these states within the quantum circuit model, and if it is possible to do so efficiently. In this work, toric code states on the torus are mapped to an equivalent graph state under local Clifford operations. The graph is composed of only two subgraphs, both of which can be generated in log depth, assuming geometrically non-local gates. Including ancillae and measurements, the circuit depth can be reduced to a constant at the cost of increasing the circuit width. Among many insights, the toric code graph structure reveals a close connection between repetition and topological codes. Due to their local equivalence to the toric code, all two-dimensional translationally invariant topological stabilizer codes are therefore efficiently preparable on a quantum circuit. The results provide a new graph-theoretic framework for the development of novel topological error correction codes, beyond geometrical considerations.
Given their potential for fault-tolerant operations, topological quantum states are currently a focus of intense activity. Of particular interest are topological quantum error correction codes, such as the surface and planar stabilizer codes that are equivalent to the celebrated toric code. While every stabilizer state maps to a graph state under local Clifford operations, the graphs associated with topological stabilizer codes remain unknown. We show that the toric code graph is composed of only two kinds of subgraphs: star graphs (which encode Greenberger-Horne-Zeilinger states) and half graphs. The topological order is identified with the existence of multiple star graphs, which reveals a connection between the repetition and toric codes. The graph structure readily yields a log-depth quantum circuit for state preparation, assuming geometrically nonlocal gates, which can be reduced to a constant depth including ancillae and measurements at the cost of increasing the circuit width. The results provide a graph-theoretic framework for the investigation of topological order and the development of topological error correction codes.
A decade ago Kitaev's toric code model established the new paradigm of topological quantum computation. Due to remarkable theoretical and experimental progress, the quantum simulation of such complex many-body systems is now within the realms of possibility. Here we consider the question, to which extent the ground states of small toric code systems differ from local-unitary (LU)-equivalent graph states. We argue that simplistic (though experimentally attractive) setups obliterate the differences between the toric code and equivalent graph states; hence we search for the smallest setups on the square and triangular lattices, such that the quasilocality of the toric code Hamiltonian becomes a distinctive feature. To this end, a purely geometric procedure to transform a given toric code setup into a local-Clifford (LC)-equivalent graph state is derived. In combination with an algorithmic computation of LC-equivalent graph states, we find the smallest nontrivial setup on the square lattice to contain five plaquettes and 16 qubits; on the triangular lattice the number of plaquettes and qubits is reduced to four and nine, respectively.
Two-dimensional topological translationally-invariant (TTI) quantum codes, such as the toric code (TC) and bivariate bicycle (BB) codes, are promising candidates for fault-tolerant quantum computation. For such codes to be practically relevant, their decoders must successfully correct the most likely errors while remaining computationally efficient. For the TC, graph-matching decoders satisfy both requirements and, additionally, admit provable performance guarantees. Given the equivalence between TTI codes and (multiple copies of) the TC, one may then ask whether TTI codes also admit analogous graph-matching decoders. In this work, we develop a graph-matching approach to decoding general TTI codes. Intuitively, our approach coarse-grains the TTI code to obtain an effective description of the syndrome in terms of TC excitations, which can then be removed using graph-matching techniques. We prove that our decoders correct errors of weight up to a constant fraction of the code distance and achieve nonzero code-capacity and circuit-level thresholds in the specified noise models. We further numerically study a variant optimized for practically relevant BB codes and observe performance comparable to that of belief propagation with ordered statistics decoding (BP-OSD). We also study the code-capacity threshold for the hexagonal color code as a proof of concept. Our results indicate that graph-matching decoders are a viable approach to decoding BB codes and other TTI codes.
Topological Calderbank-Shor-Steane (CSS) codes in more than two spatial dimensions offer features useful for fault-tolerant quantum computation, such as transversal non-Clifford gates and single-shot decoding, but a systematic understanding of them is still lacking. One approach is to decouple a code: map it to a stack of higher-form toric codes by a finite-depth local CSS-preserving Clifford circuit, possibly after adding ancillas. For translation-invariant ppp-ary CSS codes, where ppp is prime (p=2p=2p=2 for qubits), we require the circuit to commute with the translations of a superlattice. In two dimensions, such a decoupling exists once these translations act trivially on every anyon type. In higher dimensions, excitations are sorted by their dimension into superselection layers, which can remain glued together even when translations act trivially on each layer. We show that this gluing is the only remaining obstruction: a code can be decoupled on a superlattice exactly when, after coarse-graining to it, translations act trivially on every layer and the gluing vanishes. Moreover, for a code with finitely many excitation types in each layer and mmm nonzero layers, once translations act trivially on every layer, further coarse-graining by a factor of pm−1p^{m-1}pm−1 in every direction removes the aforementioned gluing. Physically, the same criterion determines when the code encodes the maximal number of logical qudits on a finite torus. Finally, we give an explicit algorithm that constructs the decoupling as a circuit of SUM (qudit CNOT) and SWAP gates.
We study the structure and transversal logical capabilities of stabilizer quantum error correcting codes. Among our results, we identify universal lower bounds on circuit depth to generate a full logical Clifford algebra, and develop novel constructions of logical transversal gates including a new depth-one transversal phase S‾\mathrm{\overline{S}}S gate in the rotated surface code and a depth-one intra-block CZ‾\mathrm{\overline{CZ}}CZ gate in the 2D-toric code that generalizes to all odd distances and all lengths L≥3L\ge3L≥3, respectively. Finally, we construct a high-rate non-LDPC CSS code family with parameters [[n,n,Θ(nβ)]][[n,\sqrt{n},Θ({n^β})]][[n,n​,Θ(nβ)]] where β≈0.2823β\approx 0.2823β≈0.2823 in one demonstrated case, that provably possesses a constant-depth complete 2-local transversal logical Clifford basis instruction set architecture (ISA) composed of all individually targeted S‾\mathrm{\overline{S}}S, SHS‾=X\mathrm{\overline{SHS}} = \sqrt{X}SHS=X​, and CZ‾\mathrm{\overline{CZ}}CZ gates. This ISA is depth-one for certain subfamilies that we design and generally constant-depth under certain conditions. The code family is built from a small code with parameters [[n0,2,d0]][[n_0, 2, d_0]][[n0​,2,d0​]], and is tunable in the standard way: it tiles out to form utility-scale logical qubit counts, and it scales up through concatenation to achieve higher distances and error suppression. We show that this construction preserves the depth-one complete transversal logical Clifford basis ISA when composed with these commuting construction actions, inheriting structure from the core codes so that at scale the complete logical Clifford basis ISA remains depth-one up to depth-two addressable operations between tiled cores. We call these Quantum Logic Codes.
We prove that on any two-dimensional lattice of qudits of a prime dimension, every translation invariant Pauli stabilizer group with local generators and with the code distance being the linear system size is decomposed by a local Clifford circuit of constant depth into a finite number of copies of the toric code stabilizer group (Abelian discrete gauge theory). This means that under local Clifford circuits, the number of toric code copies is the complete invariant of topological Pauli stabilizer codes. Previously, the same conclusion was obtained under the assumption of nonchirality for qubit codes or the Calderbank–Shor–Steane structure for prime qudit codes; we do not assume any of these.