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

arXiv:2307.10353 · Quantum

Quantum computation from dynamic automorphism codes

Margarita D. Davydova, Nathanan Tantivasadakarn, Shankar Balasubramanian, David Aasen

Published Aug 27, 2024• 25 citations
arXivHTMLPDF

Abstract

We propose a new model of quantum computation comprised of low-weight measurement sequences that simultaneously encode logical information, enable error correction, and apply logical gates. These measurement sequences constitute a new class of quantum error-correcting codes generalizing Floquet codes, which we call dynamic automorphism (DA) codes. We construct an explicit example, the DA color code, which is assembled from short measurement sequences that can realize all 72 automorphisms of the 2D color code. On a stack of N triangular patches, the DA color code encodes N logical qubits and can implement the full logical Clifford group by a sequence of two- and, more rarely, three-qubit Pauli measurements. We also make the first step towards universal quantum computation with DA codes by introducing a 3D DA color code and showing that a non-Clifford logical gate can be realized by adaptive two-qubit measurements.

DOI
10.22331/q-2024-08-27-1448

Related papers

Logical Operations with a Dynamical Qubit in Floquet-Bacon-Shor Code

Xuandong Sun, Longcheng Li, Zechen Guo +29 more

Quantum error correction (QEC) protects quantum systems against inevitable noises and control inaccuracies, providing a pathway toward fault-tolerant (FT) quantum computation. Stabilizer codes, including surface code and color code, have long been the focus of research and have seen significant experimental progress in recent years. Recently proposed time-dynamical QEC, including Floquet codes and generalized time-dynamical code implementations, opens up new opportunities for FT quantum computation. By employing a periodic schedule of low-weight parity checks, Floquet codes can generate additional dynamical logical qubits, offering enhanced error correction capabilities and, potentially, higher code performance. Here, we experimentally implement the Floquet-Bacon-Shor code on a superconducting quantum processor. We encode a dynamical logical qubit within a 3×3 lattice of data qubits alongside a conventional static logical qubit. We demonstrate FT encoding and measurement of the two-qubit logical states and stabilize these states using repeated error detection. We showcase universal single-qubit logical gates on the dynamical qubit. Furthermore, by implementing a logical controlled-not (cnot) gate, we entangle the dynamical and static logical qubits, generating an error-detected logical Bell state with a fidelity of 75.9%. Our results highlight the potential of Floquet codes for resource-efficient FT quantum computation.

arXiv:2503.03867•Physical Review Letters•Nov 6, 2025•0 citations

Chutes and Ladders: Dynamical Automorphisms via the ZX-Calculus

Alexander Frei, Sascha Zakaib-Bernier, Zachary Mann +2 more

The ZX-calculus is a powerful graphical language for manipulating quantum circuits, which has recently found many applications in quantum error correction. We extend this language to handle Floquet and other dynamical stabilizer codes via the connection between measurement-based code switching and gauge fixing (arXiv:1810.10037). We combine gauge-fixing steps to implement a closed loop in the space of stabilizer codes, returning to the original codespace up to a logical Clifford gate. These measurement-based paths in the space of stabilizer codes can be viewed as shortcuts, or "chutes and ladders", relative to single-qubit Clifford operations and qubit permutations. This yields a machine-interpretable method for constructing dynamical automorphisms and facilitates the search for implementations of desired logical gates. As an example, we implement a logical phase gate via distance-preserving code switching for the seven-qubit code bare code (arXiv:1702.01155), which has no non-trivial logical Clifford gates based on single-qubit Clifford operations and qubit permutations (arXiv:2409.18175).

quant-pharXiv:2606.02542•Jun 2, 2026•0 citations

Simple Construction of Qudit Floquet Codes on a Family of Lattices

Andrew Tanggara, Mile Gu, Kishor Bharti

Dynamical quantum error-correcting codes (QECC) offer wider possibilities in how one can protect logical quantum information from noise and perform fault-tolerant quantum computation compared to static QECCs. A family of dynamical QECCs called the ``Floquet codes'' consists of a periodic sequence of two-body measurements that enables error-correction on many-body systems, relaxing hardware implementation requirements and improving error-correction reliability. Existing results on Floquet codes has been focused on qubits, two-level quantum systems, with very little attention given on higher dimensional quantum systems, or qudits. We bridge this gap by proposing a simple, yet general construction of qudit Floquet codes based on a simple set of conditions on the sequence two-body measurements defining the code. Moreover, this construction applies to a large family of configurations of qudits on the vertices of a three-colorable lattice which connectivity represented by the edges. We show that this construction includes the existing constructions of both qubit and qudit Floquet codes as special cases. In addition, any qudit Floquet code obtained by our construction achieves a rate of encoded logical qudits over physical qudits approaching $\frac{1}{2}$ as the number of physical qudits in total and on the faces of the lattice grows larger, as opposed to vanishing rate in existing qudit Floquet code constructions.

arXiv:2410.02022•Oct 2, 2024•0 citations

Achieving the limits of automorphism gates

Jin Ming Koh, Shayan Majidy, Aranya Chakraborty +3 more

Universal fault-tolerant quantum computing combines versatile but expensive operations with specialized but cheap ones. Its efficiency depends on how much computation can be pushed onto the cheap operations and on the size of the code needed to do so. Automorphism gates provide such cheap operations using only physical single-qubit Clifford gates and qubit permutations. Yet no general theory characterizes their maximum logical power or the minimum code size needed to attain it. We develop such a theory. For stabilizer codes encoding $k\geq3$ logical qubits, we show that the largest logical group attainable by automorphisms is generated by all addressable $S$ and $\mathrm{CX}$ gates, and we construct codes attaining it. While this group contains exponentially fewer gates than the full Clifford group, adding one suitable non-Clifford gate yields universality. We further classify the largest logical groups attainable using qubit permutations, physical single-qubit Cliffords, or both across general stabilizer and CSS codes, and derive refined bounds for self-dual CSS subclasses. Achieving the maximum-size logical group through automorphisms requires $n=Θ(2^k)$ physical qubits. By contrast, all addressable diagonal Clifford gates, generated by $S$ and $\mathrm{CZ}$, require only $n=Θ(k^2)$ physical qubits when implemented using physical single-qubit Cliffords alone. Both bounds are tight. This polynomial qubit cost extends beyond Cliffords to all addressable diagonal gates at any fixed level of the Clifford hierarchy, using physical single-qubit diagonal gates. Thus, for full addressability, the sharpest physical-qubit cost divide lies between diagonal and $\mathrm{CX}$-type gates, not between Clifford and non-Clifford gates.

quant-pharXiv:2609.19250•Sep 18, 2026•0 citations

Competing automorphisms and disordered Floquet codes

Cory T. Aitchison, Benjámin Béri

Topological order is a promising basis for quantum error correction, a key milestone towards large-scale quantum computing. Floquet codes provide a dynamical scheme for this while also exhibiting Floquet-enriched topological order where anyons periodically undergo a measurement-induced automorphism that acts uniformly in space. We study disordered Floquet codes where automorphisms have a spatiotemporally heterogeneous distribution: the automorphisms “compete.” We characterize the effect of this competition, showing how key features of the purification dynamics of mixed code states can be inferred from anyon and automorphism properties for any Abelian topological order. This perspective can explain the preservation or measurement of logical information in a dynamic automorphism (DA) code when subjected to a noise model of missing measurements. We demonstrate this using a DA color code with perturbed measurement sequences. The framework of competing automorphisms captures essential features of Floquet codes and robustness to noise, and may elucidate key mechanisms involving topological order, automorphisms, and fault tolerance.

arXiv:2410.02398•Physical review. B./Physical review. B•Jun 5, 2025•2 citations

Constant-rate quantum codes with low-weight stabilizers and full logical Clifford actions via transversal and fold-transversal gates

Takaya Matsuura, Yohji Chin, Shohei Kiryu +1 more

Low-space-overhead fault-tolerant quantum computation requires not only high-rate quantum error-correcting codes but also space-efficient implementations of logical operations. Transversal and fold-transversal gates are promising since they limit error propagation and require no additional qubits. However, the logical operations they enable are typically restricted, and a central challenge is to construct codes that combine a complete set of logical Clifford gates with favorable code parameters. In this work, we introduce a family of quantum codes with an asymptotically constant encoding rate and sublogarithmically growing stabilizer weight, while supporting the entire logical Clifford group using only transversal and fold-transversal gates. Our construction is based on classical codes whose code spaces are absolutely irreducible Steinberg modules of their Tanner-graph automorphism groups. Taking hypergraph products of these classical codes yields quantum codes for which all logical Clifford operations can be synthesized from a fixed set of transversal and fold-transversal gates. Moreover, the slow growth of the stabilizer weight enables a high error-correcting performance in small instances. These results provide a path toward fault-tolerant quantum computation with low space overhead using transversal and fold-transversal gates.

quant-pharXiv:2609.37699•Sep 30, 2026•0 citations
We propose a new model of quantum computation comprised of low-weight measurement sequences that simultaneously encode logical information, enable error correction, and apply logical gates. These measurement sequences constitute a new class of quantum error-correcting codes generalizing Floquet codes, which we call dynamic automorphism (DA) codes. We construct an explicit example, the DA color code, which is assembled from short measurement sequences that can realize all 72 automorphisms of the 2D color code. On a stack of N triangular patches, the DA color code encodes N logical qubits and can implement the full logical Clifford group by a sequence of two- and, more rarely, three-qubit Pauli measurements. We also make the first step towards universal quantum computation with DA codes by introducing a 3D DA color code and showing that a non-Clifford logical gate can be realized by adaptive two-qubit measurements.
Quantum error correction (QEC) protects quantum systems against inevitable noises and control inaccuracies, providing a pathway toward fault-tolerant (FT) quantum computation. Stabilizer codes, including surface code and color code, have long been the focus of research and have seen significant experimental progress in recent years. Recently proposed time-dynamical QEC, including Floquet codes and generalized time-dynamical code implementations, opens up new opportunities for FT quantum computation. By employing a periodic schedule of low-weight parity checks, Floquet codes can generate additional dynamical logical qubits, offering enhanced error correction capabilities and, potentially, higher code performance. Here, we experimentally implement the Floquet-Bacon-Shor code on a superconducting quantum processor. We encode a dynamical logical qubit within a 3×3 lattice of data qubits alongside a conventional static logical qubit. We demonstrate FT encoding and measurement of the two-qubit logical states and stabilize these states using repeated error detection. We showcase universal single-qubit logical gates on the dynamical qubit. Furthermore, by implementing a logical controlled-not (cnot) gate, we entangle the dynamical and static logical qubits, generating an error-detected logical Bell state with a fidelity of 75.9%. Our results highlight the potential of Floquet codes for resource-efficient FT quantum computation.
The ZX-calculus is a powerful graphical language for manipulating quantum circuits, which has recently found many applications in quantum error correction. We extend this language to handle Floquet and other dynamical stabilizer codes via the connection between measurement-based code switching and gauge fixing (arXiv:1810.10037). We combine gauge-fixing steps to implement a closed loop in the space of stabilizer codes, returning to the original codespace up to a logical Clifford gate. These measurement-based paths in the space of stabilizer codes can be viewed as shortcuts, or "chutes and ladders", relative to single-qubit Clifford operations and qubit permutations. This yields a machine-interpretable method for constructing dynamical automorphisms and facilitates the search for implementations of desired logical gates. As an example, we implement a logical phase gate via distance-preserving code switching for the seven-qubit code bare code (arXiv:1702.01155), which has no non-trivial logical Clifford gates based on single-qubit Clifford operations and qubit permutations (arXiv:2409.18175).
Dynamical quantum error-correcting codes (QECC) offer wider possibilities in how one can protect logical quantum information from noise and perform fault-tolerant quantum computation compared to static QECCs. A family of dynamical QECCs called the ``Floquet codes'' consists of a periodic sequence of two-body measurements that enables error-correction on many-body systems, relaxing hardware implementation requirements and improving error-correction reliability. Existing results on Floquet codes has been focused on qubits, two-level quantum systems, with very little attention given on higher dimensional quantum systems, or qudits. We bridge this gap by proposing a simple, yet general construction of qudit Floquet codes based on a simple set of conditions on the sequence two-body measurements defining the code. Moreover, this construction applies to a large family of configurations of qudits on the vertices of a three-colorable lattice which connectivity represented by the edges. We show that this construction includes the existing constructions of both qubit and qudit Floquet codes as special cases. In addition, any qudit Floquet code obtained by our construction achieves a rate of encoded logical qudits over physical qudits approaching 12\frac{1}{2}21​ as the number of physical qudits in total and on the faces of the lattice grows larger, as opposed to vanishing rate in existing qudit Floquet code constructions.
Universal fault-tolerant quantum computing combines versatile but expensive operations with specialized but cheap ones. Its efficiency depends on how much computation can be pushed onto the cheap operations and on the size of the code needed to do so. Automorphism gates provide such cheap operations using only physical single-qubit Clifford gates and qubit permutations. Yet no general theory characterizes their maximum logical power or the minimum code size needed to attain it. We develop such a theory. For stabilizer codes encoding k≥3k\geq3k≥3 logical qubits, we show that the largest logical group attainable by automorphisms is generated by all addressable SSS and CX\mathrm{CX}CX gates, and we construct codes attaining it. While this group contains exponentially fewer gates than the full Clifford group, adding one suitable non-Clifford gate yields universality. We further classify the largest logical groups attainable using qubit permutations, physical single-qubit Cliffords, or both across general stabilizer and CSS codes, and derive refined bounds for self-dual CSS subclasses. Achieving the maximum-size logical group through automorphisms requires n=Θ(2k)n=Θ(2^k)n=Θ(2k) physical qubits. By contrast, all addressable diagonal Clifford gates, generated by SSS and CZ\mathrm{CZ}CZ, require only n=Θ(k2)n=Θ(k^2)n=Θ(k2) physical qubits when implemented using physical single-qubit Cliffords alone. Both bounds are tight. This polynomial qubit cost extends beyond Cliffords to all addressable diagonal gates at any fixed level of the Clifford hierarchy, using physical single-qubit diagonal gates. Thus, for full addressability, the sharpest physical-qubit cost divide lies between diagonal and CX\mathrm{CX}CX-type gates, not between Clifford and non-Clifford gates.
Topological order is a promising basis for quantum error correction, a key milestone towards large-scale quantum computing. Floquet codes provide a dynamical scheme for this while also exhibiting Floquet-enriched topological order where anyons periodically undergo a measurement-induced automorphism that acts uniformly in space. We study disordered Floquet codes where automorphisms have a spatiotemporally heterogeneous distribution: the automorphisms “compete.” We characterize the effect of this competition, showing how key features of the purification dynamics of mixed code states can be inferred from anyon and automorphism properties for any Abelian topological order. This perspective can explain the preservation or measurement of logical information in a dynamic automorphism (DA) code when subjected to a noise model of missing measurements. We demonstrate this using a DA color code with perturbed measurement sequences. The framework of competing automorphisms captures essential features of Floquet codes and robustness to noise, and may elucidate key mechanisms involving topological order, automorphisms, and fault tolerance.
Low-space-overhead fault-tolerant quantum computation requires not only high-rate quantum error-correcting codes but also space-efficient implementations of logical operations. Transversal and fold-transversal gates are promising since they limit error propagation and require no additional qubits. However, the logical operations they enable are typically restricted, and a central challenge is to construct codes that combine a complete set of logical Clifford gates with favorable code parameters. In this work, we introduce a family of quantum codes with an asymptotically constant encoding rate and sublogarithmically growing stabilizer weight, while supporting the entire logical Clifford group using only transversal and fold-transversal gates. Our construction is based on classical codes whose code spaces are absolutely irreducible Steinberg modules of their Tanner-graph automorphism groups. Taking hypergraph products of these classical codes yields quantum codes for which all logical Clifford operations can be synthesized from a fixed set of transversal and fold-transversal gates. Moreover, the slow growth of the stabilizer weight enables a high error-correcting performance in small instances. These results provide a path toward fault-tolerant quantum computation with low space overhead using transversal and fold-transversal gates.