pith. sign in

arxiv: 2508.10714 · v2 · submitted 2025-08-14 · 🪐 quant-ph

Magic tricycles: Efficient magic state generation with finite block-length quantum LDPC codes

Pith reviewed 2026-05-18 22:46 UTC · model grok-4.3

classification 🪐 quant-ph
keywords quantum LDPC codesmagic statesfault toleranceCCZ gatessingle-shot error correctionhomological product codesneutral atom platforms
0
0 comments X

The pith

Tricycle codes enable efficient magic state generation using short quantum LDPC blocks with constant-depth CCZ gates

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces tricycle codes as three-dimensional generalizations of bicycle codes within the family of quantum LDPC codes. These codes support constant-depth physical circuits for logical CCZ gates between three blocks and single-shot state preparation with error correction. This setup yields a magic-state generation protocol that produces many high-fidelity non-Clifford states from one code block. A sympathetic reader would care because magic states are required for universal quantum computation yet have historically required repeated distillation rounds with high space-time cost; finite-block codes that reach low error rates at modest sizes could make fault-tolerant computation more feasible.

Core claim

We introduce tricycle codes, which generalize bicycle codes to three homological dimensions. These codes admit constant-depth physical circuits that implement logical CCZ gates between three code blocks, developed through new analytical and numerical techniques for three-dimensional homological and balanced product codes. Tricycle codes enable single-shot state-preparation and error correction, yielding a highly efficient magic-state generation protocol. Simulations under circuit-level noise confirm a threshold above 0.5%, and with modest post-selection certain codes with 50-100 qubits reach logical error rates of 6×10^{-10} or lower. Optimal depth syndrome extraction circuits are also given

What carries the argument

Tricycle codes: three-dimensional homological product quantum LDPC codes that support constant-depth logical CCZ gates and single-shot magic state preparation

Load-bearing premise

The homological properties of the three-dimensional constructions allow transversal or constant-depth physical implementations of logical CCZ gates without introducing uncorrectable errors or requiring additional rounds of correction

What would settle it

A circuit-level simulation or hardware run in which the observed logical error rate for tricycle codes stays above 10^{-8} even after post-selection when the physical noise is at or below 0.5%

Figures

Figures reproduced from arXiv: 2508.10714 by Andi Gu, Daniel Bochen Tan, J. Pablo Bonilla-Ataides, Mikhail D. Lukin, Rohan Mehta, Varun Menon.

Figure 1
Figure 1. Figure 1 [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Single-shot distillation with tricycle codes. The logical |+⟩ ⊗k state of the tricycle code can be prepared fault-tolerantly in constant depth by harnessing the code’s intrinsic resilience in one basis—namely, by preparing the physical qubits such that the associated stabilizer checks are deterministic—together with single-shot error correction in the complementary, non-deterministic, basis. The logical no… view at source ↗
Figure 3
Figure 3. Figure 3: Phenomenological noise simulation of single-shot state preparation in the Z basis. Our method resembles Ref. [43] and assumes that the initial Z syndrome is trivial. We apply a round of measurement errors with probability p, followed by two more rounds of syndrome measurement. Pauli X errors occur in each on the data qubits with probability p, in addition to measurement errors. The three rounds of syndrome… view at source ↗
Figure 4
Figure 4. Figure 4: Circuit-level noise simulation results for tricycle codes. (a) Logical error rate (as measured by block failure probability) versus two-qubit physical gate error rate (p2q) for single-shot error correction in the Z basis. Single-shot performance is evaluated using a windowed decoding protocol: three rounds of syndrome extraction followed by decoding and correction, with the window repeated 14 times (for 42… view at source ↗
Figure 5
Figure 5. Figure 5: Implementation of tricycle codes on neutral atom arrays. (a) Syndrome extraction circuit. Each line denotes a sector. CNOTs are applied on pairs of qubits across two sectors, with the pairing determined by the permutation matrices. (b) Within each sector, physical qubits sharing the same x index form tiles arranged in a row; within each tile, qubits are ordered by their y and z indices. Two AOD movements c… view at source ↗
Figure 6
Figure 6. Figure 6: Syndrome extraction circuit for multiple cycles: (a) When wc is odd, X-check measurements can overlap with the last CNOT layer, and Z-check initialization can overlap with the first CNOT layer. (b) Staggered scheduling with separate check qubits for even and odd cycles. Solid and hatched patterns indicate CNOTs for even and odd cycles, respectively. Measurement and initialization for one cycle can overlap … view at source ↗
Figure 7
Figure 7. Figure 7: Reference neutral atom array architecture. Rydberg interactions are enabled only within the entangling zone. We slice the zones to regions Ei and Si , each one can store a sector. Each region contains two trap arrays (dots/− and circles/+) to facilitate sector permutation or parallel CNOTs. In the workspace, traps are spaced by twice the minimal distance permitted by optical resolution, dmin, allowing qubi… view at source ↗
read the original abstract

The preparation of high-fidelity non-Clifford (magic) states is an essential subroutine for universal quantum computation, but imposes substantial space-time overhead. Magic state factories based on high rate and distance quantum low-density parity check (LDPC) codes equipped with transversal non-Clifford gates can potentially reduce these overheads significantly, by circumventing the need for multiple rounds of distillation and by producing a large number of magic states in a single code-block. As a step towards realizing efficient, fault-tolerant magic state production, we introduce a class of finite block-length quantum LDPC codes which we name tricycle codes, generalizing the well-known bicycle codes to three homological dimensions. These codes can support constant-depth physical circuits that implement logical $CCZ$ gates between three code blocks. To construct these constant-depth $CCZ$ circuits, we develop new analytical and numerical techniques that apply to a broad class of three-dimensional homological and balanced product codes. We further show that tricycle codes enable single-shot state-preparation and error correction, leading to a highly efficient magic-state generation protocol. Numerical simulations of specific codes confirm robust performance under circuit-level noise, demonstrating a high circuit-noise threshold of $>0.5\%$. With modest post-selection, certain tricycle codes of block-lengths of only $50-100$ qubits are shown to achieve logical error-rates of $6\times 10^{-10}$ or lower. Finally, we construct optimal depth syndrome extraction circuits for tricycle codes and present a protocol for implementing them efficiently on a reconfigurable neutral atom platform.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript introduces tricycle codes, a class of finite block-length quantum LDPC codes obtained by generalizing bicycle codes to three homological dimensions. These codes support constant-depth physical circuits implementing logical CCZ gates between three code blocks via newly developed analytical and numerical techniques applicable to three-dimensional homological and balanced-product codes. The codes enable single-shot state preparation and error correction, which the authors use to construct a highly efficient magic-state generation protocol. Numerical simulations of concrete small codes under circuit-level noise report a threshold above 0.5% and, with modest post-selection, logical error rates of 6×10^{-10} or lower for block lengths of 50-100 qubits. The paper also constructs optimal-depth syndrome extraction circuits and outlines an implementation protocol on reconfigurable neutral-atom platforms.

Significance. If the central claims hold, the work offers a concrete route to substantially lower space-time overhead for magic-state distillation by combining high-rate LDPC codes, transversal non-Clifford gates, and single-shot decoding. The explicit constructions for modest block lengths together with the reported circuit-noise threshold and post-selected error rates constitute a practical advance over multi-round distillation protocols. Credit is due for the reproducible numerical simulations, the parameter-free aspects of the homological constructions, and the development of techniques that extend beyond the specific tricycle family.

major comments (1)
  1. [Sections on the tricycle code family and the analytical/numerical techniques for CCZ circuits] Sections on the tricycle code family and the analytical/numerical techniques for CCZ circuits: the central efficiency claim—that constant-depth CCZ implementations preserve single-shot error correction without extra rounds—requires explicit verification that errors injected by the CCZ gates remain within the correctable set of the subsequent single-shot decoder. For the reported block lengths of 50-100 qubits and the claimed >0.5% threshold, a concrete error-propagation analysis or additional simulation results demonstrating the absence of logical failures outside the single-shot window would be necessary to substantiate the advantage over multi-round distillation.
minor comments (2)
  1. [Abstract] Abstract: the summary of numerical results is terse; stating the precise code parameters, noise model details, and post-selection fractions used to reach 6×10^{-10} would improve readability without lengthening the abstract substantially.
  2. [Figures and tables] Figure captions and table legends: ensure that all circuit-noise thresholds and logical error rates are accompanied by the corresponding code distance, rate, and number of Monte Carlo samples so that the reported performance can be directly compared with other LDPC constructions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive feedback. Their emphasis on the need for explicit verification of error handling in the constant-depth CCZ protocol is well taken, and we have revised the paper to strengthen this aspect of the presentation.

read point-by-point responses
  1. Referee: [Sections on the tricycle code family and the analytical/numerical techniques for CCZ circuits] Sections on the tricycle code family and the analytical/numerical techniques for CCZ circuits: the central efficiency claim—that constant-depth CCZ implementations preserve single-shot error correction without extra rounds—requires explicit verification that errors injected by the CCZ gates remain within the correctable set of the subsequent single-shot decoder. For the reported block lengths of 50-100 qubits and the claimed >0.5% threshold, a concrete error-propagation analysis or additional simulation results demonstrating the absence of logical failures outside the single-shot window would be necessary to substantiate the advantage over multi-round distillation.

    Authors: We agree that an explicit error-propagation analysis strengthens the central claim. The circuit-level simulations reported in the manuscript were performed on the complete magic-state generation protocol, which incorporates the constant-depth CCZ gates followed immediately by single-shot decoding; the observed threshold above 0.5% and post-selected logical error rates of 6×10^{-10} therefore already reflect the combined effect of CCZ-induced errors and single-shot correction. To address the referee's request directly, the revised manuscript now includes a dedicated subsection that analytically characterizes the error operators produced by the CCZ circuit. Using the three-dimensional homological structure of the tricycle codes, we show that these operators are equivalent to errors lying in the correctable set of the single-shot decoder, with no propagation that would require additional correction rounds. We have also added supplementary numerical results that isolate the CCZ step for the concrete 50-100 qubit instances, confirming the absence of logical failures outside the single-shot window at the noise rates considered. These additions make the single-shot property fully explicit while preserving the reported performance figures. revision: yes

Circularity Check

0 steps flagged

No significant circularity; claims rest on explicit constructions and independent simulations

full rationale

The paper defines tricycle codes via explicit generalization of bicycle codes to three homological dimensions, then develops new analytical/numerical techniques to realize constant-depth CCZ circuits on them. Single-shot preparation/correction and performance metrics (threshold >0.5%, logical error rates down to 6e-10) are obtained from direct numerical simulations on concrete finite-length instances (block lengths 50-100) under circuit noise, not from any parameter fitted to the target result or from a self-citation chain that reduces the central claim to its own inputs. The homological properties are analyzed as part of the new constructions rather than smuggled in via prior self-work that assumes the outcome.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the existence of the newly defined tricycle codes with the stated homological properties, standard circuit-level noise models for the simulations, and the assumption that constant-depth physical CCZ implementations are feasible on the target hardware platform.

axioms (1)
  • domain assumption Standard assumptions of stabilizer quantum error correction and circuit-level depolarizing noise
    Invoked for all threshold and error-rate simulations.
invented entities (1)
  • Tricycle codes no independent evidence
    purpose: Finite block-length 3D quantum LDPC codes supporting constant-depth logical CCZ and single-shot magic state preparation
    Newly introduced class generalizing bicycle codes; no independent evidence provided outside this work.

pith-pipeline@v0.9.0 · 5838 in / 1509 out tokens · 56993 ms · 2026-05-18T22:46:13.393064+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Scalable Neural Decoders for Practical Fault-Tolerant Quantum Computation

    quant-ph 2026-04 unverdicted novelty 7.0

    Neural decoder for quantum LDPC codes achieves ~10^{-10} logical error at 0.1% physical error with 17x improvement and high throughput, enabling practical fault tolerance at modest code sizes.

  2. Towards Deploying Optimistic Quantum Fourier Transforms: An Architecture-Algorithm Co-Design Study

    quant-ph 2026-05 unverdicted novelty 6.0

    A hot-zone architecture for OQFT on reconfigurable neutral-atom hardware yields tunable latency via 2-4 zones, converging to roughly 500 extra logical ancillae and 128-qubit peak parallelism for half-time performance ...

  3. Fault-Tolerant Quantum Computing with Trapped Ions: The Walking Cat Architecture

    quant-ph 2026-04 unverdicted novelty 6.0

    A trapped-ion architecture based on LDPC codes and cat-state factories achieves 110 logical qubits and one million T gates per day using 2514 physical qubits, with estimates for Heisenberg model simulation on 100 site...

  4. Towards Ultra-High-Rate Quantum Error Correction with Reconfigurable Atom Arrays

    quant-ph 2026-04 unverdicted novelty 6.0

    A family of quantum LDPC codes with encoding rates exceeding 1/2 achieves logical error rates of 10^{-13} per round on atom arrays under 0.1% circuit noise using hierarchical decoding.

Reference graph

Works this paper leans on

100 extracted references · 100 canonical work pages · cited by 4 Pith papers · 9 internal anchors

  1. [1]

    Aliferis, F

    P. Aliferis, F. Brito, D. P. DiVincenzo, J. Preskill, M. Steffen, and B. M. Terhal. Fault-tolerant computing with biased-noise superconducting qubits: a case study.New Journal of Physics, 11(1):013061, 2009

  2. [2]

    et al., Leveraging Atom Loss Errors in Fault Tolerant Quantum Algorithms, arXiv (2025), 2502.20558 [quant-ph]

    G. Baranes, M. Cain, J. P. Bonilla Ataides, D. Bluvstein, J. Sinclair, V. Vuletic, H. Zhou, and M. D. Lukin. Leveraging atom loss errors in fault tolerant quantum algorithms.arXiv preprint arXiv:2502.20558, 2025

  3. [3]

    M. J. Bedalov, M. Blakely, P. D. Buttler, C. Carnahan, F. T. Chong, W. C. Chung, D. C. Cole, P. Goiporia, P. Gokhale, B. Heim, G. T. Hickman, E. B. Jones, R. A. Jones, P. Khalate, J.-S. Kim, K. W. Kuper, M. T. Lichtman, S. Lee, D. Mason, N. A. Neff-Mallon, T. W. Noel, V. Omole, A. G. Radnaev, R. Rines, M. Saffman, E. Shabtai, M. H. Teo, B. Thotakura, T. T...

  4. [4]

    Bluvstein, S

    D. Bluvstein, S. J. Evered, A. A. Geim, S. H. Li, H. Zhou, T. Manovitz, S. Ebadi, M. Cain, M. Kalinowski, D. Hangleiter, J. P. Bonilla Ataides, N. Maskara, I. Cong, X. Gao, P. Sales Ro- driguez, T. Karolyshyn, G. Semeghini, M. J. Gullans, M. Greiner, V. Vuletić, and M. D. Lukin. Logicalquantumprocessorbasedonreconfigurableatomarrays. Nature, 626(7997):58–...

  5. [5]

    Bluvstein, A

    D. Bluvstein, A. A. Geim, S. H. Li, S. J. Evered, J. Ataides, G. Baranes, A. Gu, T. Manovitz, M. Xu, M. Kalinowski, et al. Architectural mechanisms of a universal fault-tolerant quantum computer. arXiv preprint arXiv:2506.20661, 2025

  6. [6]

    Bluvstein, H

    D. Bluvstein, H. Levine, G. Semeghini, T. T. Wang, S. Ebadi, M. Kalinowski, A. Keesling, N. Maskara, H. Pichler, M. Greiner, et al. A quantum processor based on coherent transport of entangled atom arrays.Nature, 604(7906):451–456, 2022

  7. [7]

    H. Bombín. Single-shot fault-tolerant quantum error correction. Physical Review X, 5(3):031043, 2015

  8. [8]

    H. Bombin. 2d quantum computation with 3d topological codes. arXiv preprint arXiv:1810.09571, 2018

  9. [9]

    Bombin and M.-A

    H. Bombin and M.-A. Martin-Delgado. Topological computation without braiding.Physical review letters, 98(16):160502, 2007

  10. [10]

    Bombín, M

    H. Bombín, M. Pant, S. Roberts, and K. I. Seetharam. Fault-tolerant postselection for low- overhead magic state preparation.PRX Quantum, 5:010302, Jan 2024

  11. [11]

    J. P. Bonilla Ataides, D. K. Tuckett, S. D. Bartlett, S. T. Flammia, and B. J. Brown. The xzzx surface code.Nature Communications, 12(1), Apr. 2021. 38

  12. [12]

    J. P. Bonilla Ataides, H. Zhou, Q. Xu, G. Baranes, B. Li, M. D. Lukin, and L. Jiang. Constant-overhead fault-tolerant bell-pair distillation using high-rate codes.arXiv preprint arXiv:2502.09542, 2025

  13. [13]

    Bravyi, A

    S. Bravyi, A. W. Cross, J. M. Gambetta, D. Maslov, P. Rall, and T. J. Yoder. High-threshold and low-overhead fault-tolerant quantum memory.Nature, 627(8005):778–782, 2024

  14. [14]

    Bravyi and J

    S. Bravyi and J. Haah. Magic-state distillation with low overhead. Physical Review A—Atomic, Molecular, and Optical Physics, 86(5):052329, 2012

  15. [15]

    Bravyi and A

    S. Bravyi and A. Kitaev. Universal quantum computation with ideal clifford gates and noisy ancillas. Physical Review A—Atomic, Molecular, and Optical Physics, 71(2):022316, 2005

  16. [16]

    N. P. Breuckmann, M. Davydova, J. N. Eberhardt, and N. Tantivasadakarn. Cups and gates i: Cohomology invariants and logical quantum operations.arXiv preprint arXiv:2410.16250, 2024

  17. [17]

    N. P. Breuckmann and J. N. Eberhardt. Balanced product quantum codes.IEEE Transactions on Information Theory, 67(10):6653–6674, 2021

  18. [18]

    B. J. Brown, N. H. Nickerson, and D. E. Browne. Fault-tolerant error correction with the gauge color code.Nature Communications, 7(1), July 2016

  19. [19]

    A. R. Calderbank and P. W. Shor. Good quantum error-correcting codes exist. Physical Review A, 54(2):1098, 1996

  20. [20]

    E. T. Campbell. A theory of single-shot error correction for adversarial noise. Quantum Science and Technology, 4(2):025006, 2019

  21. [21]

    E. T. Campbell, H. Anwar, and D. E. Browne. Magic-state distillation in all prime dimensions using quantum reed-muller codes.Physical Review X, 2(4):041021, 2012

  22. [22]

    J. Chen, Y. Yan, and Y. Zhou. Magic of quantum hypergraph states.Quantum, 8:1351, 2024

  23. [23]

    N.-C. Chiu, E. C. Trapp, J. Guo, M. H. Abobeih, L. M. Stewart, S. Hollerith, P. Stroganov, M. Kalinowski, A. A. Geim, S. J. Evered, S. H. Li, L. M. Peters, D. Bluvstein, T. T. Wang, M. Greiner, V. Vuletić, and M. D. Lukin. Continuous operation of a coherent 3,000-qubit system. arXiv preprint arXiv:2506.20660, 2025

  24. [24]

    Christandl, F

    M. Christandl, F. Gesmundo, and J. Zuiddam. A gap in the subrank of tensors.SIAM Journal on Applied Algebra and Geometry, 7(4):742–767, 2023

  25. [25]

    L. Z. Cohen, I. H. Kim, S. D. Bartlett, and B. J. Brown. Low-overhead fault-tolerant quantum computing using long-range connectivity.Science Advances, 8(20), 2022

  26. [27]

    Cross, Z

    A. Cross, Z. He, P. Rall, and T. Yoder. Linear-Size Ancilla Systems for Logical Measurements in QLDPC Codes.arXiv preprint arXiv:2407.18393, 2024. 39

  27. [28]

    Daguerre, R

    L. Daguerre, R. Blume-Kohout, N. C. Brown, D. Hayes, and I. H. Kim. Experimen- tal demonstration of high-fidelity logical magic states from code switching.arXiv preprint arXiv:2506.14169, 2025

  28. [29]

    Eastin and E

    B. Eastin and E. Knill. Restrictions on transversal encoded quantum gate sets. Physical review letters, 102(11):110502, 2009

  29. [30]

    J. N. Eberhardt and V. Steffan. Logical operators and fold-transversal gates of bivariate bicycle codes. IEEE Transactions on Information Theory, 2024

  30. [31]

    S. J. Evered, D. Bluvstein, M. Kalinowski, S. Ebadi, T. Manovitz, H. Zhou, S. H. Li, A. A. Geim, T. T. Wang, N. Maskara, et al. High-fidelity parallel entangling gates on a neutral-atom quantum computer.Nature, 622(7982):268–272, 2023

  31. [32]

    C. Gidney. Stim: a fast stabilizer circuit simulator.Quantum, 5:497, 2021

  32. [33]

    C. Gidney. How to factor 2048 bit rsa integers with less than a million noisy qubits.arXiv preprint arXiv:2505.15917, 2025

  33. [34]

    Gidney, M

    C. Gidney, M. Newman, P. Brooks, and C. Jones. Yoked surface codes, 2023

  34. [35]

    Quantum LDPC Codes with Transversal Non- Clifford Gates via Products of Algebraic Codes.arXiv preprint arXiv:2410.14662, 2024

    L. Golowich and T.-C. Lin. Quantum ldpc codes with transversal non-clifford gates via products of algebraic codes.arXiv preprint arXiv:2410.14662, 2024

  35. [36]

    Gottesman

    D. Gottesman. Theory of fault-tolerant quantum computation.Physical Review A, 57(1):127, 1998

  36. [37]

    Gottesman and I

    D. Gottesman and I. L. Chuang. Demonstrating the viability of universal quantum computa- tion using teleportation and single-qubit operations.Nature, 402(6760):390–393, 1999

  37. [38]

    Gurobi Optimizer Reference Manual, 2024

    Gurobi Optimization, LLC. Gurobi Optimizer Reference Manual, 2024

  38. [39]

    Continuous operation of large-scale atom arrays in optical lattices.Phys

    F.Gyger, M.Ammenwerth, R.Tao, H.Timme, S.Snigirev, I.Bloch, andJ.Zeiher. Continuous operation of large-scale atom arrays in optical lattices.Phys. Rev. Res., 6:033104, Jul 2024

  39. [40]

    M. B. Hastings and J. Haah. Distillation with sublogarithmic overhead. Physical review letters, 120(5):050504, 2018

  40. [41]

    Hatcher.Algebraic topology

    A. Hatcher.Algebraic topology. Cambridge University Press, Cambridge, 2002

  41. [42]

    Efficient fault-tolerant code switching via one-way transversal cnot gates, 2024

    S. Heußen and J. Hilder. Efficient fault-tolerant code switching via one-way transversal cnot gates. arXiv preprint arXiv:2409.13465, 2024

  42. [43]

    Y. Hong. Single-shot preparation of hypergraph product codes via dimension jump.arXiv preprint arXiv:2410.05171, 2024

  43. [44]

    W. C. Huffman, J.-L. Kim, and P. Solé.Concise encyclopedia of coding theory. Chapman and Hall/CRC, 2021

  44. [45]

    B. Ide, M. G. Gowda, P. J. Nadkarni, and G. Dauphinais. Fault-tolerant logical measurements via homological measurement.arXiv preprint arXiv:2410.02753, 2024. 40

  45. [46]

    Ignatiev, A

    A. Ignatiev, A. Morgado, and J. Marques-Silva. PySAT: A Python toolkit for prototyping with SAT oracles. InSAT, pages 428–437, 2018

  46. [47]

    Jacob, C

    A. Jacob, C. McLauchlan, and D. E. Browne. Single-shot decoding and fault-tolerant gates with trivariate tricycle codes.arXiv preprint arXiv:2508.08191, 2025

  47. [48]

    Kopparty, G

    S. Kopparty, G. Moshkovitz, and J. Zuiddam. Geometric rank of tensors and subrank of matrix multiplication.arXiv preprint arXiv:2002.09472, 2020

  48. [49]

    A. A. Kovalev and L. P. Pryadko. Quantum kronecker sum-product low-density parity- check codes with finite rate. Physical Review A—Atomic, Molecular, and Optical Physics, 88(1):012311, 2013

  49. [50]

    Krishna and J.-P

    A. Krishna and J.-P. Tillich. Towards low overhead magic state distillation.Physical review letters, 123(7):070507, 2019

  50. [51]

    A. J. Landahl, J. T. Anderson, and P. R. Rice. Fault-tolerant quantum computing with color codes. arXiv preprint arXiv:1108.5738, 2011

  51. [52]

    J. S. Leon. A probabilistic algorithm for computing minimum weights of large error-correcting codes. IEEE Transactions on Information Theory, 34(5):1354–1359, 1988

  52. [53]

    Leverrier and G

    A. Leverrier and G. Zémor. Quantum tanner codes. In2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 872–883. IEEE, 2022

  53. [54]

    Lin and L

    H.-K. Lin and L. P. Pryadko. Quantum two-block group algebra codes.Physical Review A, 109(2):022407, 2024

  54. [55]

    T.-C. Lin. Transversal non-clifford gates for quantum ldpc codes on sheaves.arXiv preprint arXiv:2410.14631, 2024

  55. [56]

    W.-H. Lin, D. B. Tan, and J. Cong. Reuse-aware compilation for zoned quantum architec- tures based on neutral atoms. In2025 IEEE International Symposium on High Performance Computer Architecture (HPCA), pages 127–142. IEEE, 2025

  56. [57]

    S. Loor. From möbius strips to twisted toric codes

  57. [58]

    S. Ma, G. Liu, P. Peng, B. Zhang, S. Jandura, J. Claes, A. P. Burgers, G. Pupillo, S. Puri, and J. D. Thompson. High-fidelity gates and mid-circuit erasure conversion in an atomic qubit. Nature, 622(7982):279–284, 2023

  58. [59]

    Maskara, Q

    N. Maskara, Q. Xu, and et al. Batched high-rate logical operations for quantum ldpc codes. To be published, 2025

  59. [60]

    Mehta, J

    R. Mehta, J. P. Bonilla Ataides, G. Baranes, M. Cain, H. Zhou, L. Jiang, and M. D. Lukin. Dynamically generated logical gates. In preparation

  60. [61]

    S. A. Moses, C. H. Baldwin, M. S. Allman, R. Ancona, L. Ascarrunz, C. Barnes, J. Bar- tolotta, B. Bjork, P. Blanchard, M. Bohn, J. G. Bohnet, N. C. Brown, N. Q. Burdick, W. C. Burton, S. L. Campbell, J. P. Campora, C. Carron, J. Chambers, J. W. Chan, Y. H. Chen, A. Chernoguzov, E. Chertkov, J. Colina, J. P. Curtis, R. Daniel, M. DeCross, D. Deen, 41 C. De...

  61. [62]

    D. E. Muller. Application of boolean algebra to switching circuit design and to error detection. Transactions of the IRE professional group on electronic computers, (3):6–12, 1954

  62. [63]

    Q. T. Nguyen. Good binary quantum codes with transversal ccz gate. doi: 10.48550.arXiv preprint arXiv.2408.10140, 2024

  63. [64]

    D. Nigg, M. Mueller, E. A. Martinez, P. Schindler, M. Hennrich, T. Monz, M. A. Martin- Delgado, and R. Blatt. Quantum computations on a topologically encoded qubit.Science, 345(6194):302–305, 2014

  64. [65]

    Panteleev and G

    P. Panteleev and G. Kalachev. Degenerate quantum ldpc codes with good finite length per- formance. Quantum, 5:585, 2021

  65. [66]

    Panteleev and G

    P. Panteleev and G. Kalachev. Quantum ldpc codes with almost linear minimum distance. IEEE Transactions on Information Theory, 68(1):213–229, 2021

  66. [67]

    Panteleev and G

    P. Panteleev and G. Kalachev. Asymptotically good quantum and locally testable classi- cal ldpc codes. In Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, pages 375–388, 2022

  67. [68]

    L. P. Pryadko, V. A. Shabashov, and V. K. Kozin. Qdistrnd: A gap package for computing the distance of quantum error-correcting codes.arXiv preprint arXiv:2308.15140, 2023

  68. [69]

    I. S. Reed. A class of multiple-error-correcting codes and the decoding scheme. Technical report, 1953

  69. [70]

    B. W. Reichardt, A. Paetznick, D. Aasen, I. Basov, J. M. Bello-Rivas, P. Bonderson, R. Chao, W. van Dam, M. B. Hastings, R. V. Mishmash, A. Paz, M. P. da Silva, A. Sundaram, K. M. Svore, A. Vaschillo, Z. Wang, M. Zanner, W. B. Cairncross, C.-A. Chen, D. Crow, H. Kim, J. M. Kindem, J. King, M. McDonald, M. A. Norcia, A. Ryou, M. Stone, L. Wadleigh, K. Barn...

  70. [71]

    J. Roffe. LDPC: Python tools for low density parity check codes, 2022

  71. [72]

    Roffe, D

    J. Roffe, D. R. White, S. Burton, and E. Campbell. Decoding across the quantum low-density parity-check code landscape.Phys. Rev. Res., 2:043423, Dec 2020

  72. [73]

    Sales Rodriguez, J

    P. Sales Rodriguez, J. M. Robinson, P. N. Jepsen, Z. He, C. Duckering, C. Zhao, K.-H. Wu, J. Campo, K. Bagnall, M. Kwon, et al. Experimental demonstration of logical magic state distillation. Nature, pages 1–3, 2025

  73. [74]

    Scholl, M

    P. Scholl, M. Schuler, H. J. Williams, A. A. Eberharter, D. Barredo, K.-N. Schymik, V. Lien- hard, L.-P. Henry, T. C. Lang, T. Lahaye, et al. Quantum simulation of 2d antiferromagnets with hundreds of rydberg atoms.Nature, 595(7866):233–238, 2021

  74. [75]

    T. R. Scruby, D. E. Browne, P. Webster, and M. Vasmer. Numerical Implementation of Just-In-Time Decoding in Novel Lattice Slices Through the Three-Dimensional Surface Code. Quantum, 6:721, May 2022

  75. [76]

    Fault-tolerantquantumcomputationwithoutdistillation on a 2d device, 2025

    T.R.Scruby, K.Nemoto, andZ.Cai. Fault-tolerantquantumcomputationwithoutdistillation on a 2d device, 2025

  76. [77]

    T. R. Scruby, A. Pesah, and M. Webster. Quantum rainbow codes. arXiv preprint arXiv:2408.13130, 2024

  77. [78]

    P. W. Shor. Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th annual symposium on foundations of computer science, pages 124–134. Ieee, 1994

  78. [79]

    M. D. Shulman, O. E. Dial, S. P. Harvey, H. Bluhm, V. Umansky, and A. Yacoby. Demonstra- tion of entanglement of electrostatically coupled singlet-triplet qubits.science, 336(6078):202– 205, 2012

  79. [80]

    Sipser and D

    M. Sipser and D. A. Spielman. Expander codes.IEEE transactions on Information Theory, 42(6):1710–1722, 2002

  80. [81]

    Stade, W.-H

    Y. Stade, W.-H. Lin, J. Cong, and R. Wille. Routing-aware placement for zoned neutral atom-based quantum computing.arXiv preprint arXiv:2505.22715, 2025

Showing first 80 references.