REVIEW 2 major objections 4 minor 1 cited by
Fault-tolerant Quantum Computation without Distillation on a 2D Device
T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper shows that a looped pipeline architecture can implement a fault-tolerant non-Clifford CCZ gate on a 2D device, at a current time cost about twice that of magic-state distillation.
desk verdict A careful and honest architecture mapping for Brown's linear-time CCZ on a looped pipeline, with a resource comparison that favors distillation but rests on an extrapolated distance estimate. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the looped pipeline architecture: qubits circulate clockwise around fixed shuttling loops in synchrony, and placing multiple qubits per loop stacks independent layers of a code without extra hardware. Inter-loop interactions realise intra-layer stabiliser checks, while intra-loop interactions realise transversal gates between layers, giving effective 3D connectivity on a 2D chip. The second ingredient is the linear-time CCZ gate, which reorders the transversal CCZ of three 3D surface codes so each qubit experiences the same sequence—initialise, measure $Z$ stabilisers, apply physical CCZ, measure out—but slices of the 3D codes are processed one by one in time. Fault tolerance is supplied by just-in-time decoding, which guesses the syndrome of the corresponding 3D code at each timestep; the paper's architecture adds a three-step slice cycle and code-deformation stages for in-place operation.
What would settle it
A full circuit-level Monte Carlo simulation of the complete three-slice linear-time CCZ protocol at distances 50 through 100, measuring the logical CCZ error rate at $p = 5 \times 10^{-4}$, would settle whether the distance needed for $P_{\mathrm{ccz}} \sim 3 \times 10^{-10}$ is near 100 or far below it.
Extended reading notes
Core claim
The central claim is that a strictly 2D device with short-range shuttling loops can run the linear-time CCZ gate of Ref. [6] using the same physical operations as multiple planar surface codes: short-range shuttling on fixed paths, single- and two-qubit gates, and single-qubit Pauli measurements. The implementation maps three different 2D layer codes (a standard square-lattice surface code and two mirrored kagome-lattice codes) and their two-layer 3D slices onto loops of a single grid, with intra-loop interactions supplying transversal operations between layers and inter-loop interactions supplying stabiliser measurements within layers. A three-step slice cycle (two full loop cycles plus a half-cycle ancilla shift) measures all needed $Z$ stabilisers. Resource estimates for a 2048-bit factoring workload put the in-place gate at roughly 700 code cycles and a $5d \times 10d$ footprint, versus about 330 cycles for a CCZ distillation factory placed in the same corridor, so magic-state distillation is about twice as fast at $P_{\mathrm{ccz}} \sim 3 \times 10^{-10}$; the gap narrows to about 1.5x at $P_{\mathrm{ccz}} \sim 10^{-7}$. The paper attributes the overhead almost entirely to the low threshold and poor sub-threshold scaling of the just-in-time decoder, not to the gate itself, and argues that improved decoders—or hybrid post-selection schemes—could change this balance.
Load-bearing premise
The resource comparison depends on the extrapolated estimate that the three-code gate needs a code distance near 100; if circuit-level noise demands much less (or much more), the factor-of-two time gap shrinks or grows accordingly.
Editorial extensions
If this is right
- A looped pipeline device can host a fault-tolerant non-Clifford gate without changing the physical operation set of the surface code, only the shuttling schedule and some local constant-depth circuits.
- At the target error rate for 2048-bit factoring, the in-place linear-time CCZ costs about 700 code cycles and a $5d \times 10d$ patch, while a CCZ distillation factory in the same space produces and teleports a gate in about 330 cycles.
- Using linear-time CCZ to build factories instead of applying it in place gives a space overhead about 1.4 times larger and a time overhead about twice as large as distillation factories.
- If the target CCZ error rate is relaxed to $10^{-7}$, the time gap shrinks to about 1.5x, and the space freed by the gate no longer accommodates a factory per three qubits.
- Over asymptotically small error rates, the linear-time gate's exponential suppression for linear distance growth beats the exponential trial overhead of post-selection-based distillation, though not in the practical regime considered here.
Reading between the lines
- A circuit-level simulation of the full three-slice protocol would be the natural next test: if an optimised just-in-time decoder approaches standard surface-code thresholds, the factor-of-two gap likely closes or reverses.
- The same intra-loop transversal interaction mechanism could be used for other transversal operations among stacked codes, potentially reducing the cost of Clifford factories or enabling new code-deformation routines beyond CCZ.
- The architecture's value may lie less in replacing distillation today than in providing a fallback universal gate set for platforms where shuttling is cheap and magic-state routing is expensive; the paper's own numbers quantify that trade-off.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a concrete implementation of Brown's linear-time CCZ gate (Ref. [6]) on a looped pipeline architecture, giving a detailed shuttling schedule, a mapping of the three surface-code layers and slices onto shuttling loops, and code-deformation procedures for converting standard rotated surface-code patches into the required lattices. It then compares the space-time cost of this in-place CCZ gate with the cost of magic state distillation for a large-scale factoring scenario (2048-bit RSA, N=6000 logical qubits), concluding that distillation is currently faster by roughly a factor of two and that the gap is dominated by the performance of the just-in-time decoder. The paper is explicitly framed as a resource study rather than a claim of practical advantage for the non-distillation approach.
Significance. If the construction is correct, the manuscript provides a concrete architectural blueprint for fault-tolerant non-Clifford gates on a 2D device without magic state distillation, using only short-range shuttling, local gates, and measurements. The detailed mapping of the two-layer slices and the three-step stabiliser measurement schedule is a useful technical contribution, and the paper is commendably transparent about the limitations of its numerical extrapolation. The data underlying Fig. 12 are made available, and the simulations use publicly available code. The negative resource comparison is itself useful as a benchmark and identifies the JIT decoder as the main bottleneck. However, the quantitative factor-of-two speed advantage claimed for distillation is load-bearing and rests on an extrapolation that the authors themselves describe as unreliable, which limits the strength of the headline comparison.
major comments (2)
- [Sec. IV B, Fig. 12] The quantitative resource comparison (T'_lin = 7 d_ccz = 700 code cycles vs T_msd ≈ 330 code cycles, giving a factor-of-two speed advantage for magic state distillation) depends critically on the estimate d_ccz ~ 100. This value is obtained by a linear fit to five Monte Carlo points (L in the range 30 to 40) for a single red code under phenomenological noise, not for the full three-code CCZ gate or for the proposed shuttling schedule. The authors themselves state that this estimate is 'unreliable' and that the simulated slices in Ref. [31] are not the two-layer slices used in the construction. No circuit-level simulation of the full protocol is provided. If the true distance is larger, the distillation advantage grows; if it is smaller (e.g., d_ccz = 50), T'_lin becomes comparable to T_msd and the claimed factor-of-two disadvantage disappears. Since this factor is a central result of the paper, the estimate needs either a substantial strengthening (e.g., circuit-level or at least three-code simulations) or the quantitative claim should be removed and the comparison stated only qualitatively as 'currently in favour of distillation'.
- [Sec. III B and Sec. III C] The paper asserts in the introduction and Sec. III B that 'we thus expect the entire protocol to be fault-tolerant' based on the fault-tolerance proof for the JIT decoder in Ref. [6]. However, the specific implementation here differs from Ref. [6] in several ways: it uses two-layer slices of a different geometry, a three-step stabiliser measurement with a half-cycle advancement of inter-layer ancilla qubits, a compiled physical CCZ gate (six CNOTs), and the looped-pipeline shuttling schedule itself. No argument is given that the JIT decoding proof extends to these modifications, and no simulation covers the correlated XZZ errors that arise when an X error on one code passes through the physical CCZ to the other codes. The resource estimate implicitly assumes that the logical error rate of the full three-code gate is the same as that of the single-code phenomenological simulations. Please either provide a fault-tolerance argument for the exact schedule or explicitly state this as an additional unverified assumption and discuss how it would affect the resource comparison.
minor comments (4)
- [Introduction and Sec. II B] There is a repeated typo 'looped pipleline' in the introduction and Sec. II B; this should read 'looped pipeline'.
- [Sec. IV A] The expression T_msd = 230 + 2d + 3d with d = 21 gives 335 code cycles, not 330; please correct the arithmetic or explicitly round to 335.
- [Sec. V] In the example with target Pccz = 10^-7, the value d_ccz = 50 is introduced without explaining how it is obtained from Fig. 12; please either show the extrapolation or label this as an assumption.
- [Fig. 2 caption and Ref. [32]] In the caption of Fig. 2, 'pipeline /f_low direction' appears to be a LaTeX error and should read 'pipeline/flow direction'. Also, Ref. [32] has a doubled 'https://' in its URL.
Circularity Check
No circularity found: the linear-CCZ schedule and resource comparison are genuine constructions and quantitative estimates, not inputs renamed as predictions.
full rationale
The paper's derivation chain is not circular. The linear-time CCZ gate is taken from Brown's external work [6], and the looped-pipeline architecture from [11] is used as a prior hardware scheme; the new contribution is a concrete mapping of the three code slices onto that architecture with an explicit shuttling schedule. The cost formulas Tlin = 6 d_ccz and T'_lin = 7 d_ccz are bookkeeping from the described schedule (two code cycles for expansion, one for collapse/gate, 2 d_ccz steps), not fitted quantities. The distillation comparison uses external published data and formulas (Gidney and Ekerå [28], Fowler and Gidney [29], Gidney and Fowler [30]) with stated distances and cycle counts. The one input estimated from the authors' own numerical work, d_ccz ~ 100, is explicitly flagged as unreliable, is described as a lower bound, and the paper notes that larger values would only strengthen its conclusion that distillation is faster. Thus the central claim does not reduce to a self-citation or to a fitted parameter called a prediction; it is a falsifiable overhead comparison with clearly stated assumptions. The self-citations [11, 12, 31, 32] are used as prior architecture and code/data resources, not as an unverified uniqueness or correctness theorem that forces the conclusion, so they do not raise the circularity score.
Assumptions & free parameters
free parameters (3)
- d_ccz (linear CCZ code distance) =
~100
- p (physical gate error rate) =
5e-4
- phenomenological noise rate for JIT simulations =
4.67e-4
assumptions (4)
- domain assumption The fault-tolerance proof of the JIT decoder for the slices in Ref. [6] extends to the modified slices used in this paper.
- domain assumption The phenomenological noise simulations of a single red code are representative of the full three-code linear CCZ under circuit-level noise.
- domain assumption Steps 2 and 3 of the slice stabilizer measurement together take about one code cycle, so the expand stage takes about two code cycles.
- standard math The standard surface code threshold formula Pcycle = 0.1(100p)^((d+1)/2) applies for setting the Clifford-operation code distance.
Cite this review
Pith. "Pith review of Fault-tolerant Quantum Computation without Distillation on a 2D Device." pith.science (2026). https://pith.science/paper/JIUARMJX
@misc{pith2026241212529,
author = {Pith},
title = {Pith review of: Fault-tolerant Quantum Computation without Distillation on a 2D Device},
year = {2026},
howpublished = {\url{https://pith.science/paper/JIUARMJX}},
note = {Machine review of arXiv:2412.12529}
}
read the original abstract
We show how looped pipeline architectures - which use short-range shuttling of physical qubits to achieve a finite amount of non-local connectivity - can be used to efficiently implement the fault-tolerant non-Clifford gate between 2D surface codes described in (Sci. Adv. 6, eaay4929 (2020)). The shuttling schedule needed to implement this gate is only marginally more complex than is required for implementing the standard 2D surface code in this architecture. We compare the resource cost of this operation with the cost of magic state distillation and find that, at present, this comparison is heavily in favour of distillation. The high cost of the non-Clifford gate is almost entirely due to the relatively low performance of the just-in-time decoder used as part of this process, which necessitates very large code distances in order to achieve suitably low logical error rates. We argue that, as very little attention has previously been given to the study and optimisation of these decoders, there are potentially significant improvements to be made in this area.
Figures
Figures from the paper (10 more)
Forward citations
Cited by 1 Pith paper
-
Planar fault-tolerant circuits for non-Clifford gates on the 2D color code
The paper constructs a family of planar fault-tolerant 'twisted color circuits' that implement logical T gates and magic-state measurements on the 2D color code via a path-integral and color-cohomology framework.
Reference graph
Works this paper leans on
-
[6]
× (dccz + 2) data qubit loops. The full CCZ requires the codes on the left and right to switch places, so each code needs to travel (2 dccz − 1) + 1 = 2dccz data qubit loops to the left or right. Each step of the gate consists of three stages: expanding a layer to a slice, applying transversal physical CCZ and collapsing to the next layer, and the code wi...
-
[31]
Fedorov, L
A. Fedorov, L. Steffen, M. Baur, M. P. da Silva, and A. Wallraff, Implementation of a toffoli gate with super- conducting circuits, Nature 481, 170 (2012)
2012
-
[1]
6 shows the pipelined implementation for each of the three layers
Layers Fig. 6 shows the pipelined implementation for each of the three layers. The first layer is simply the familiar 2D surface code on a square lattice and the implementation 6 A B A A B A A B A A B A A B A A B A C B A A B C A FIG. 6. Pipelined implementation of the three 2D layers from Fig. 4 and Fig. 5. Coloured (grey) faces are Z (X) stabilis- ers. G...
-
[2]
7) only allows for Z stabiliser mea- surements
Slices As mentioned above, we do not need to measure the X stabilisers of the slices so our proposed implementa- tion (shown in Fig. 7) only allows for Z stabiliser mea- surements. Unlike in the layers, some of the loops now contain two qubits (one from each layer in the slice). In each of the three codes there are two different kinds of Z stabiliser whic...
-
[3]
Perform one full loop cycle. All interactions for intra-layer stabilisers and all possible interactions for inter-layer stabilisers are performed
-
[4]
Advance all inter-layer ancilla by half a cycle
-
[5]
Perform one more full loop cycle. The remaining operations for the inter-layer stabilisers can be per- formed in this cycle. The operations performed in step 1 are similar to that of a code cycle in the 2D codes. Step 2 consists of pure 7 A A A B B B A A A B B B A A A B B B A A A A A A D D C C B B B B B B D D C C FIG. 7. Pipelined implementation of the th...
-
[7]
S. Bravyi and R. K¨ onig, Classification of topologically protected gates for local stabilizer codes, Physical Review Letters 110, 10.1103/PhysRevLett.110.170503 (2013)
Show all 39 references
-
[8]
Gottesman, The heisenberg representation of quan- tum computers, arXiv (1998)
D. Gottesman, The heisenberg representation of quan- tum computers, arXiv (1998)
1998
-
[9]
Webster and S
P. Webster and S. D. Bartlett, Fault-tolerant quantum gates with defects in topological stabilizer codes, Physical Review A 102, 10.1103/physreva.102.022403 (2020)
2020 doi
-
[10]
Bravyi and A
S. Bravyi and A. Kitaev, Universal quantum computa- tion with ideal clifford gates and noisy ancillas, Physical Review A 71, 22316 (2005)
2005
-
[11]
M. E. Beverland, A. Kubica, and K. M. Svore, Cost of universality: A comparative study of the overhead of state distillation and code switching with color codes, PRX Quantum 2, 20341 (2021)
2021
-
[12]
B. J. Brown, A fault-tolerant non-clifford gate for the surface code in two dimensions, Science Advances 6, eaay4929 (2020)
2020
-
[13]
Vasmer and D
M. Vasmer and D. E. Browne, Three-dimensional surface codes: Transversal gates and fault-tolerant architectures, Physical Review A 100, 12312 (2019)
2019
-
[14]
Bombin, 2D quantum computation with 3D topolog- ical codes, arXiv (2018)
H. Bombin, 2D quantum computation with 3D topolog- ical codes, arXiv (2018)
2018
-
[15]
Ryan-Anderson, N
C. Ryan-Anderson, N. C. Brown, C. H. Baldwin, J. M. Dreiling, C. Foltz, J. P. Gaebler, T. M. Gatterman, N. Hewitt, C. Holliman, C. V. Horst, J. Johansen, D. Lucchetti, T. Mengle, M. Matheny, Y. Matsuoka, K. Mayer, M. Mills, S. A. Moses, B. Neyenhuis, J. Pino, P. Siegfried, R. ...
2024
-
[16]
Bluvstein, S
D. Bluvstein, S. J. Evered, A. A. Geim, S. H. Li, H. Zhou, T. Manovitz, S. Ebadi, M. Cain, M. Kali- nowski, D. Hangleiter, J. P. Bonilla Ataides, N. Maskara, I. Cong, X. Gao, P. Sales Rodriguez, T. Karolyshyn, G. Semeghini, M. J. Gullans, M. Greiner, V. Vuleti´ c, and M. D. Lu...
2024
-
[17]
Z. Cai, A. Siegel, and S. Benjamin, Looped pipelines en- abling effective 3D qubit lattices in a strictly 2D device, PRX Quantum 4, 20345 (2023)
2023
-
[18]
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 Sur- face Code, Quantum 6, 721 (2022)
2022
-
[19]
Buonacorsi, Z
B. Buonacorsi, Z. Cai, E. B. Ramirez, K. S. Willick, S. M. Walker, J. Li, B. D. Shaw, X. Xu, S. C. Benjamin, and J. Baugh, Network architecture for a topological quan- tum computer in silicon, Quantum Science and Technol- ogy 4, 25003 (2019)
2019
-
[20]
J. M. Boter, J. P. Dehollain, J. P. van Dijk, Y. Xu, T. Hensgens, R. Versluis, H. W. Naus, J. S. Clarke, M. Veldhorst, F. Sebastiano, and L. M. Vandersypen, Spiderweb array: A sparse spin-qubit array, Physical Re- view Applied 18, 24053 (2022)
2022
-
[21]
Kielpinski, C
D. Kielpinski, C. Monroe, and D. J. Wineland, Architec- ture for a large-scale ion-trap quantum computer, Nature 417, 709 (2002)
2002
-
[22]
Lekitsch, S
B. Lekitsch, S. Weidt, A. G. Fowler, K. Mølmer, S. J. Devitt, C. Wunderlich, and W. K. Hensinger, Blueprint for a microwave trapped ion quantum computer, Science Advances 3, e1601540 (2017)
2017
-
[23]
Kaushal, B
V. Kaushal, B. Lekitsch, A. Stahl, J. Hilder, D. Pijn, C. Schmiegelow, A. Bermudez, M. M¨ uller, F. Schmidt- Kaler, and U. Poschinger, Shuttling-based trapped-ion quantum information processing, A VS Quantum Science 2, 14101 (2020)
2020
-
[24]
Ryan-Anderson, J
C. Ryan-Anderson, J. G. Bohnet, K. Lee, D. Gresh, A. Hankin, J. P. Gaebler, D. Francois, A. Chernogu- zov, D. Lucchetti, N. C. Brown, T. M. Gatterman, S. K. Halit, K. Gilmore, J. A. Gerber, B. Neyenhuis, D. Hayes, and R. P. Stutz, Realization of real-time fault-tolerant quantu...
2021
-
[25]
Hilder, D
J. Hilder, D. Pijn, O. Onishchenko, A. Stahl, M. Orth, B. Lekitsch, A. Rodriguez-Blanco, M. M¨ uller, F. Schmidt-Kaler, and U. G. Poschinger, Fault-tolerant parity readout on a shuttling-based trapped-ion quantum computer, Physical Review X 12, 11032 (2022)
2022
-
[26]
Langrock, J
V. Langrock, J. A. Krzywda, N. Focke, I. Seidler, L. R. Schreiber, and L. Cywi´ nski, Blueprint of a scalable spin qubit shuttle device for coherent mid-range qubit transfer in disordered ${\text{Si/SiGe/SiO}} {2}$, PRX Quan- tum 4, 20305 (2023)
2023
-
[27]
M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition (Cambridge University Press, Cambridge, 2010)
2010
-
[28]
M. J. Gullans and J. R. Petta, Protocol for a resonantly driven three-qubit toffoli gate with silicon spin qubits, Physical Review B 100, 85419 (2019)
2019
-
[29]
Y. Li, L. Wan, H. Zhang, H. Zhu, Y. Shi, L. K. Chin, X. Zhou, L. C. Kwek, and A. Q. Liu, Quantum fredkin and toffoli gates on a versatile programmable silicon pho- tonic chip, npj Quantum Information 8, 1 (2022)
2022
-
[30]
Goel and J
N. Goel and J. K. Freericks, Native multiqubit toffoli gates on ion trap quantum computers, Quantum Science and Technology 6, 44010 (2021)
2021
-
[32]
Y. Kim, A. Morvan, L. B. Nguyen, R. K. Naik, C. J¨ unger, L. Chen, J. M. Kreikebaum, D. I. Santiago, and I. Siddiqi, High-fidelity three-qubit iToffoli gate for fixed-frequency superconducting qubits, Nature Physics 18, 783 (2022)
2022
-
[33]
T. G. Draper, S. A. Kutin, E. M. Rains, and K. M. Svore, A logarithmic-depth quantum carry-lookahead adder, Quantum Information & Computation 6, 351 (2006)
2006
-
[34]
Gidney and M
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)
2021
-
[35]
A. G. Fowler and C. Gidney, Low overhead quantum com- putation using lattice surgery, arXiv (2019)
2019
-
[36]
Gidney and A
C. Gidney and A. G. Fowler, Efficient magic state fac- tories with a catalyzed $|CCZ\rangle$ to $2|T\rangle$ transformation, Quantum 3, 135 (2019)
2019
-
[37]
https://github.com/tRowans/JITdecoding-public
-
[38]
https://https://github.com/tRowans/looped_ pipeline_jit_data
-
[39]
Gidney, N
C. Gidney, N. Shutty, and C. Jones, Magic state cultiva- tion: Growing T states as cheap as CNOT gates, arXiv (2024)
2024
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.