Dense packing of the surface code: code deformation procedures and hook-error-avoiding gate scheduling
Pith reviewed 2026-05-21 20:05 UTC · model grok-4.3
The pith
Dense surface code packing with hook-error-avoiding scheduling achieves lower logical error rates than standard layouts while reducing physical qubit overhead.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By applying a sequence of code deformation steps that merge multiple standard surface code patches into a single densely packed configuration and then using a tailored CNOT gate schedule during syndrome extraction, the densely packed surface code simultaneously reduces the number of physical qubits per logical qubit to approximately three-fourths and, at sufficiently large code distances and sufficiently low physical error rates, exhibits a lower logical error rate than the standard surface code.
What carries the argument
Hook-error-avoiding CNOT scheduling for stabilizer measurements in the densely packed lattice, which blocks correlated error propagation that would otherwise arise from the compact geometry.
If this is right
- Space overhead for surface-code fault tolerance drops to about 75 percent of conventional patch layouts.
- Logical error rates improve relative to standard surface codes when physical error rates are low and distances are large.
- Dynamic microarchitectures can reconfigure patches into dense form on demand without permanent qubit loss.
- Stabilizer measurement circuits must incorporate the specific hook-avoiding schedule to realize any advantage.
Where Pith is reading between the lines
- The deformation procedures could be adapted to other planar topological codes that admit similar merging operations.
- Hardware implementations may need additional calibration routines to maintain the exact timing required by the dense schedule.
- If the scheduling generalizes cleanly, it could be combined with other overhead-reduction techniques such as flag-based error detection.
Load-bearing premise
The code deformation steps can be executed on hardware without adding connectivity or timing costs that erase the simulated error-rate advantage, and the Monte Carlo noise model captures the dominant errors of the target device.
What would settle it
An experiment or simulation at distance 9 or higher and physical error rate below 0.5 percent in which the logical error rate of the dense code with hook-error-avoiding scheduling exceeds the logical error rate of a standard surface code of the same distance.
Figures
read the original abstract
The surface code is one of the leading quantum error correction codes for realizing large-scale fault-tolerant quantum computing (FTQC). One major challenge in realizing surface-code-based FTQC is the extremely large number of qubits required. To mitigate this problem, fusing multiple codewords of the surface code into a densely packed configuration has been proposed. It is known that by using dense packing, the number of physical qubits required per logical qubit can be reduced to approximately three-fourths compared to simply placing surface-code patches side by side. Despite its potential, concrete deformation procedures and quantitative error-rate analyses have remained largely unexplored. In this work, we present a detailed code-deformation procedure that transforms multiple standard surface code patches into a densely packed, connected configuration, along with a conceptual microarchitecture to utilize this dense packing. We also propose a CNOT gate-scheduling for stabilizer measurement circuits that suppresses hook errors in the densely packed surface code. We performed circuit-level Monte Carlo noise simulation of densely packed surface codes using this gate scheduling. The numerical results demonstrate that as the code distance of the densely packed surface code increases and the physical error rate decreases, the logical error rate of the densely packed surface code becomes lower than that of the standard surface code. Furthermore, we find that only when employing hook-error-avoiding syndrome extraction can the densely packed surface code achieve a lower logical error rate than the standard surface code, while simultaneously reducing the space overhead.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents explicit code-deformation procedures that fuse multiple standard surface-code patches into a connected, densely packed layout, reducing the physical-qubit overhead per logical qubit to roughly three-quarters of the conventional side-by-side arrangement. It introduces a CNOT gate-scheduling rule for stabilizer extraction that suppresses hook errors in the dense geometry and reports circuit-level Monte Carlo simulations under depolarizing noise showing that, with this scheduling, the logical error rate of the dense code falls below that of a standard surface code of equal distance once the physical error rate is sufficiently low and the distance is increased.
Significance. If the reported error-rate advantage survives more realistic modeling of deformation overheads, the work would provide a concrete route to lowering the space cost of surface-code FTQC while preserving or improving logical performance. The explicit deformation sequences and the demonstration that hook-error avoidance is essential for the advantage constitute useful, falsifiable contributions that can be checked by independent simulators.
major comments (2)
- §5 (Monte Carlo simulations): the circuits used for the dense-packing deformation steps are simulated without additional error channels, longer stabilizer cycles, or routing delays that would accompany the deformation on hardware. Because the central claim is that the dense code eventually outperforms the standard code at large distance and low p, the absence of these costs is load-bearing; a quantitative estimate or sensitivity analysis of the extra error rate per deformation round is required to substantiate the crossover.
- §4.3 (hook-error-avoiding scheduling): the paper states that only the proposed scheduling yields a lower logical error rate than the standard surface code, yet the results section does not present a direct side-by-side comparison (e.g., a table or overlaid plot) of logical error rates for the same dense geometry with and without the hook-avoiding schedule at multiple distances. This comparison is necessary to isolate the scheduling contribution from the packing itself.
minor comments (2)
- Figure 2: the microarchitecture diagram would benefit from an explicit legend indicating which qubits are data, ancilla, and routing qubits in the dense configuration.
- §3.2: the description of the deformation sequence would be clearer if each step were accompanied by a small circuit diagram showing the instantaneous stabilizer measurements.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback on our manuscript. We address each major comment below and outline the revisions we intend to make to strengthen the presentation and support for our claims.
read point-by-point responses
-
Referee: §5 (Monte Carlo simulations): the circuits used for the dense-packing deformation steps are simulated without additional error channels, longer stabilizer cycles, or routing delays that would accompany the deformation on hardware. Because the central claim is that the dense code eventually outperforms the standard code at large distance and low p, the absence of these costs is load-bearing; a quantitative estimate or sensitivity analysis of the extra error rate per deformation round is required to substantiate the crossover.
Authors: We agree that the current simulations model the deformation steps using the same depolarizing noise as steady-state syndrome extraction, without explicitly incorporating additional error channels, extended cycle times, or routing delays. This simplification was chosen to isolate the impact of the dense geometry and scheduling rule. However, we recognize that a quantitative assessment of these overheads is important to substantiate the reported crossover at large distance and low physical error rate. In the revised manuscript we will add a sensitivity analysis: we will introduce a tunable extra error probability per deformation round (or per additional cycle) and show how the logical-error-rate curves shift, identifying the range of overhead values for which the dense code still outperforms the standard surface code. This will make the robustness of the advantage explicit. revision: yes
-
Referee: §4.3 (hook-error-avoiding scheduling): the paper states that only the proposed scheduling yields a lower logical error rate than the standard surface code, yet the results section does not present a direct side-by-side comparison (e.g., a table or overlaid plot) of logical error rates for the same dense geometry with and without the hook-avoiding schedule at multiple distances. This comparison is necessary to isolate the scheduling contribution from the packing itself.
Authors: We appreciate the referee’s observation. While the abstract and the discussion in §4.3 state that the hook-error-avoiding schedule is required for the dense code to achieve lower logical error rates than the standard surface code, we did not include an explicit comparative figure or table in the results section. We will revise the manuscript to add a direct side-by-side comparison—specifically an overlaid plot of logical error rate versus physical error rate for the dense geometry under both standard and hook-error-avoiding scheduling—at several distances. This addition will clearly separate the contribution of the scheduling rule from the effect of the dense packing itself. revision: yes
Circularity Check
No circularity: results from independent Monte Carlo simulations of proposed procedures
full rationale
The paper's central claims rest on circuit-level Monte Carlo noise simulations of the proposed code deformation procedures and hook-error-avoiding gate scheduling. These numerical results are generated from explicit circuit constructions under a depolarizing noise model rather than from any algebraic derivation, fitted parameter, or self-citation chain that reduces to the target logical-error-rate comparison by construction. No equations are presented that equate a prediction to an input fit, and the deformation procedures are described at the logical level without invoking prior self-cited uniqueness theorems or ansatzes that would force the reported advantage. The work is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard depolarizing circuit-level noise model governs the Monte Carlo simulations
Forward citations
Cited by 2 Pith papers
-
FTPrimitiveBench: A Benchmark Suite For Logical Computation Under Hardware-Motivated and Biased Noise Models
FTPrimitiveBench is a new benchmark suite for testing surface-code logical primitives under Pauli-biased, measurement-biased, and spatially non-uniform noise models, revealing that noise structure interacts distinctly...
-
FTPrimitiveBench: A Benchmark Suite For Logical Computation Under Hardware-Motivated and Biased Noise Models
FTPrimitiveBench is an open-source pipeline that connects parameterized hardware-motivated noise models to surface-code logical primitive circuits, enabling reproducible cross-primitive QEC benchmarking under Pauli bi...
Reference graph
Works this paper leans on
-
[1]
Each CNOT gate is followed by two-qubit depolar- izing noise with a probabilityp
-
[2]
Each measurement operation is followed by a result flip with a probabilitypand single-qubit depolar- izing noise with a probabilityp
-
[3]
Each initialization operation is followed by a result flip with a probabilityp
-
[4]
Each single-qubit gate is followed by single-qubit depolarizing noise with a probabilityp/10
-
[5]
Each idle qubit location(where no gate operation occurs) is followed by single-qubit depolarizing noise with a probabilityp/10 during each opera- tion. Single-qubit depolarizing noise with a probabilityp means that during each single-qubit gate operation, an X, Y, Zerror occurs on the qubit with a probability ofp/3 each, while no error occurs with a proba...
-
[6]
P. W. Shor, Polynomial-time algorithms for prime factor- ization and discrete logarithms on a quantum computer, SIAM J. Comput.26, 1484–1509 (1997)
work page 1997
-
[7]
C. Gidney and M. Eker˚ a, How to factor 2048 bit rsa in- tegers in 8 hours using 20 million noisy qubits, Quantum 5, 433 (2021)
work page 2048
- [8]
-
[9]
D. P. DiVincenzo, The physical implementation of quan- tum computation, Fortschr. Phys.48, 771 (2000)
work page 2000
-
[10]
P. W. Shor, Scheme for reducing decoherence in quan- tum computer memory, Phys. Rev. A52, R2493–R2496 (1995)
work page 1995
-
[11]
Preskill, Reliable quantum computers, Proc
J. Preskill, Reliable quantum computers, Proc. R. Soc. A454, 385–410 (1998)
work page 1998
-
[12]
B. M. Terhal, Quantum error correction for quantum memories, Rev. Mod. Phys.87, 307 (2015)
work page 2015
-
[13]
A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys. (NY)303, 2 (2003)
work page 2003
-
[14]
R. Acharya, L. Aghababaie-Beni, I. Aleiner, T. I. Ander- sen, M. Ansmann, F. Arute, K. Arya, A. Asfaw, N. As- trakhantsev, and J. A. et al., Quantum error correction below the surface code threshold, Nature (London)638, 920 (2025)
work page 2025
-
[15]
X. Xue, M. Russ, N. Samkharadze, B. Undseth, A. Sam- mak, G. Scappucci, and L. M. Vandersypen, Quantum logic with spin qubits crossing the surface code thresh- old, Nature (London)601, 343 (2022)
work page 2022
-
[16]
S. B. Bravyi and A. Y. Kitaev, Quantum codes on a lattice with boundary, arXiv:quant-ph/9811052 (1998)
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[17]
A. G. Fowler, M. Mariantoni, J. M. Martinis, and A. N. Cleland, Surface codes: Towards practical large-scale quantum computation, Phys. Rev. A86, 032324 (2012)
work page 2012
-
[18]
D. Horsman, A. G. Fowler, S. Devitt, and R. Van Meter, Surface code quantum computing by lattice surgery, New J. Phys.14, 123011 (2012)
work page 2012
- [19]
-
[20]
D. Litinski and F. v. Oppen, Lattice surgery with a twist: Simplifying clifford gates of surface codes, Quantum2 (2018)
work page 2018
-
[21]
D. Litinski, A game of surface codes: Large-scale quan- tum computing with lattice surgery, Quantum3, 128 (2019)
work page 2019
-
[22]
H. Bombin and M. A. Martin-Delgado, Optimal resources for topological two-dimensional stabilizer codes: Com- parative study, Phys. Rev. A76(2007)
work page 2007
-
[23]
J. T. Anderson, Homological stabilizer codes, Ann. Phys. (NY)330, 1 (2013)
work page 2013
-
[24]
Y. Tomita and K. M. Svore, Low-distance surface codes under realistic quantum noise, Phys. Rev. A90, 062320 (2014)
work page 2014
-
[25]
A. R. O’Rourke and S. Devitt, Compare the pair: Ro- tated versus unrotated surface codes at equal logical error rates, Phys. Rev. Res.7, 033074 (2025)
work page 2025
-
[26]
M. B. Hastings and A. Geller, Reduced space-time and time costs using dislocation codes and arbitrary ancillas, Quantum Inf. Comput.15, 962–986 (2015)
work page 2015
-
[27]
S. Nagayama, T. Satoh, and R. Van Meter, State injection, lattice surgery, and dense packing of the deformation-based surface code, Phys. Rev. A95, 012321 (2017)
work page 2017
- [28]
- [29]
- [30]
- [31]
-
[32]
T. Kobori, Y. Suzuki, Y. Ueno, T. Tanimoto, S. Todo, and Y. Tokunaga, Lsqca: Resource-efficient load/store architecture for limited-scale fault-tolerant quantum computing, in2025 IEEE International Symposium on High Performance Computer Architecture (HPCA) (IEEE, 2025) pp. 304–320
work page 2025
-
[33]
Stabilizer Codes and Quantum Error Correction
D. Gottesman, Stabilizer codes and quantum error cor- rection, arXiv:quant-ph/9705052 (1997)
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[34]
D. Wang, A. Fowler, A. Stephens, and L. Hollenberg, Threshold error rates for the toric and planar codes, Quantum Inf. Comput.10, 456–469 (2010)
work page 2010
-
[35]
I. Byun, J. Kim, D. Min, I. Nagaoka, K. Fukumitsu, I. Ishikawa, T. Tanimoto, M. Tanaka, K. Inoue, and J. Kim, Xqsim: modeling cross-technology control pro- cessors for 10+k qubit quantum computers, inPro- ceedings of the 49th Annual International Symposium on Computer Architecture, ISCA ’22 (ACM, 2022) p. 366–382
work page 2022
-
[36]
C. Duckering, J. M. Baker, D. I. Schuster, and F. T. Chong, Virtualized logical qubits: A 2.5d architecture for error-corrected quantum computing, in2020 53rd Annual IEEE/ACM International Symposium on Microarchitec- ture (MICRO)(IEEE, 2020) p. 173–185
work page 2020
-
[37]
Y. Ueno, M. Kondo, M. Tanaka, Y. Suzuki, and Y. Tabuchi, Qulatis: A quantum error correction methodology toward lattice surgery, in2022 IEEE In- ternational Symposium on High-Performance Computer Architecture (HPCA)(IEEE, 2022) p. 274–287
work page 2022
-
[38]
C. Chamberland and E. T. Campbell, Circuit-level pro- tocol and analysis for twist-based lattice surgery, Phys. Rev. Res.4(2022)
work page 2022
-
[39]
Gidney, Cleaner magic states with hook injection (2023), arXiv:2302.12292
C. Gidney, Cleaner magic states with hook injection, arXiv:2302.12292 (2023)
-
[40]
H. Bomb´ ın and M. A. Martin-Delgado, Quantum mea- surements and gates by code deformation, J. Phys. A42, 095302 (2009)
work page 2009
-
[41]
M. Beverland, V. Kliuchnikov, and E. Schoute, Surface code compilation via edge-disjoint paths, PRX Quantum 3, 020342 (2022)
work page 2022
-
[42]
C. Chamberland and E. T. Campbell, Universal quantum computing with twist-free and temporally encoded lattice surgery, PRX Quantum3, 010331 (2022)
work page 2022
-
[43]
M. E. Beverland, P. Murali, M. Troyer, K. M. Svore, T. Hoefler, V. Kliuchnikov, G. H. Low, M. Soeken, A. Sundaram, and A. Vaschillo, Assessing requirements 17 to scale to practical quantum advantage, arXiv preprint arXiv:2211.07629 (2022)
work page internal anchor Pith review Pith/arXiv arXiv 2022
-
[44]
J. Lee, D. W. Berry, C. Gidney, W. J. Huggins, J. R. Mc- Clean, N. Wiebe, and R. Babbush, Even more efficient quantum computations of chemistry through tensor hy- percontraction, PRX quantum2, 030305 (2021)
work page 2021
- [45]
-
[46]
Gidney, Stim: a fast stabilizer circuit simulator, Quan- tum5, 497 (2021)
C. Gidney, Stim: a fast stabilizer circuit simulator, Quan- tum5, 497 (2021)
work page 2021
-
[47]
O. Higgott and C. Gidney, Sparse blossom: correcting a million errors per core second with minimum-weight matching, Quantum9, 1600 (2025)
work page 2025
-
[48]
K. Fujiu, Code for: Dense packing of the sur- face code,https://github.com/kohei-fujiu/Dense_ Pakcing(2025), accessed: November 9, 2025
work page 2025
-
[49]
Y. Hirano and K. Fujii, Locality-aware pauli-based computation for local magic state preparation, arXiv:2504.12091 (2025)
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.