REVIEW 3 major objections 5 minor 46 references
Learning to decode logical circuits
T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper claims that a modular recurrent decoder with one processing cell per logical gate can decode deep logical Clifford circuits with correlated errors from transversal CNOT gates, achieving accuracy competitive with exhaustive…
desk verdict Useful modular LSTM decoder for logical circuits, but the mirror-symmetric-only evaluation undercuts the general-circuit claims. 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 a set of gate-specific LSTM processing cells, meaning long short-term memory recurrent units, connected through per-qubit hidden states, together with the mirror-symmetric random Clifford circuit used for training. A processing cell for a single-qubit gate updates one qubit's hidden state from the new syndrome; the two-qubit CNOT cell concatenates the hidden states and syndromes of control and target, updates both together, and splits the result back. Mirror-symmetric circuits supply ground-truth labels with no extra simulation cost, because a noiseless forward-then-inverse circuit returns the initial state; this lets the decoder be trained end to end with a cross-entropy loss while randomizing over circuits to avoid overfitting. The two-stage curriculum, which trains single-qubit modules first and then freezes them to train only the CNOT module, keeps training data cheap and focuses capacity on the correlated-error structure.
What would settle it
A concrete test: take the trained MCCD and run it on logical circuits that are not mirror-symmetric and whose physical noise is strongly biased, for example dominated by dephasing rather than the mixed Pauli channels simulated here, holding code distance and error rate fixed; if logical accuracy falls well below most-likely-error decoding or belief-propagation with ordered-statistics post-processing, or if wall time becomes superlinear with depth, the paper's generalization and scaling claims would be contradicted.
Extended reading notes
Core claim
The central claim is that decoding a logical circuit can be recast as a supervised per-qubit classification problem and solved by a modular recurrent network whose structure mirrors the circuit's gate set. Each logical qubit carries a hidden state that tracks its error history, and each supported gate, including the entangling CNOT, has a dedicated processing cell that updates the involved qubits' states from the incoming syndrome. The CNOT cell receives the hidden states and syndromes of both control and target qubits at once, so it can represent the correlated errors that arise when a physical error on one qubit propagates through the gate to the other. The paper reports that MCCD, trained with a curriculum that first learns single-qubit gates and then adds the two-qubit cell, achieves logical accuracy competitive with most-likely-error decoding and belief-propagation with ordered-statistics post-processing on surface-code logical qubits of distance 3 and 5, while its wall time grows approximately linearly with circuit depth and remains far below the exhaustive methods.
Load-bearing premise
The accuracy and speed results transfer from the two mirror-symmetric random Clifford circuit templates and the single circuit-level noise model used in training to the logical circuits and hardware noise encountered in deployment.
Editorial extensions
If this is right
- MCCD generalizes to logical circuits significantly deeper than any seen in training, with no observed degradation in logical accuracy for the tested depths.
- Its wall time grows approximately linearly with circuit depth for code distances 3 and 5, making it markedly faster than exhaustive most-likely-error decoding and than belief-propagation with ordered-statistics post-processing at large depth for distance 5.
- A single unified framework handles both single-qubit and entangling logical gates, including the CNOT-induced correlated errors that matching-based decoders cannot capture directly.
- Because it learns from syndrome data rather than from a hand-built noise graph, MCCD is noise-model agnostic and only assumes the hardware's native logical gate set.
- The modular design extends to new gate sets as hardware evolves, since each new logical operation gets its own processing cell.
Reading between the lines
- Beyond the paper: if the linear wall-time scaling persists at larger code distances and with denser entangling layers, MCCD-type decoders could serve as real-time decoders inside the control loop of a fault-tolerant processor, not just as offline verification tools.
- Beyond the paper: the mirror-symmetric training trick is not tied to Clifford gates; the same circuit-equals-its-inverse label scheme could generate training data for teleported non-Clifford gates, although the paper only tests transversal Clifford operations.
- Beyond the paper: the noise-model-agnostic claim is only as broad as the single simulated neutral-atom-style noise model tested; a natural check is to retrain on a depolarizing or biased-noise model and compare transfer, a test the architecture invites but the paper does not perform.
- Beyond the paper: the per-qubit LSTM hidden state has a fixed memory window, so very long-range temporal correlations in deep circuits may eventually be missed; extending the cells with attention or larger context would be a measurable test of that limit.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces MCCD, a modular LSTM-based decoder for logical circuits built from transversal Clifford gates on surface-code logical qubits. The decoder maintains one hidden state per logical qubit, processes syndromes with gate-specific recurrent cells, and uses a two-qubit cell for CNOT-induced correlated errors. The authors train on mirror-symmetric random Clifford circuits (single-qubit Type I and CNOT-containing Type II) generated with Stim under a circuit-level noise model motivated by neutral-atom hardware, then test on unseen circuits of greater depth and at code distances d=3 and d=5. They benchmark logical accuracy and wall time against MWPM, MLE, and BP-OSD, reporting that MCCD achieves accuracy competitive with BP-OSD and superior speed scaling with circuit depth, especially for entangling circuits. The paper claims the framework is a noise-model-agnostic, general logical-circuit decoder.
Significance. If the central claims hold, the paper makes a useful contribution: a modular recurrent decoder that processes syndrome streams with per-gate cells is a natural architecture for logical circuits, and the ability to decode CNOT-induced correlated errors with roughly linear depth scaling would be practically valuable. The manuscript has real strengths: it provides open code, uses Stim for reproducible simulation, benchmarks against three established decoders, and demonstrates depth extrapolation beyond training depths. However, the empirical evidence is narrower than the abstract suggests: only mirror-symmetric circuits are tested, only one noise model is used, and the timing/accuracy figures lack statistical error bars. With additional tests and more careful claims, the work could be an important step toward practical circuit decoding; in its current form, the generality claims outrun the data.
major comments (3)
- [Main text, 'Mirror-symmetric random circuits' and Figs. 3-5] All training and test circuits are mirror-symmetric: a random unitary U followed by its reverse U†. This gives the syndrome stream a special temporal structure: errors created in the forward half are re-encountered in reverse order and conjugated by the backward gates, which an LSTM with memory can exploit. The only held-out variation is circuit depth (and d=3 vs d=5); non-mirror circuits, arbitrary gate sequences, and circuits with more than one CNOT per qubit per layer are never tested. The claim of a 'general circuit decoder' therefore is not established. I request experiments on non-mirror circuits (e.g., random Clifford circuits without enforcing U†, or deterministic logical algorithms such as Bell-state preparation followed by verification), plus circuits violating the one-CNOT-per-qubit-per-layer restriction, to show that the decoder generalizes beyond the mirrored training distribution.
- [Abstract and SM C.2] The abstract claims a 'noise-model agnostic solution,' but MCCD is trained and tested on trajectories generated from a single circuit-level noise model (SM C.2), and the conventional decoders are given that exact same noise model. No experiment varies the noise parameters or trains on one noise model and tests on another. As written, the noise-model-agnosticism claim is unsupported. Either add cross-noise-model transfer tests (e.g., train under the neutral-atom-inspired model and evaluate under depolarizing noise with different error rates, or at least under a perturbed noise channel) or substantially weaken the claim to 'does not require an explicit noise model at inference time.'
- [Figures 4 and 5] The central quantitative claims—logical accuracy and wall-time scaling—are presented without error bars, confidence intervals, or even the number of test trajectories used for each point. This matters because the differences between MCCD and BP-OSD accuracy appear small in some regimes, and the wall-time comparisons depend on implementation and hardware, which are not specified. Please report the sample size per data point, statistical uncertainty in the logical error rates, and the CPU/GPU hardware and software versions used for the timing measurements, and ideally run repeated timing measurements to estimate variability.
minor comments (5)
- [Abstract] The first sentence contains a grammatical error: 'an efficient polynomial-time decoding algorithms' should be 'efficient polynomial-time decoding algorithms.'
- [Main text, paragraph after Fig. 1] 'correlate errors' should be 'correlated errors' in the sentence 'We find MCCD to learn to decode correlate errors from a general circuit successfully.'
- [SM A, Eq. (A1)] The LSTM equations use h_i for the hidden state at time i, but the surrounding text refers to h_t and h_{t-1}; aligning notation would improve readability.
- [SM B, Table III] The table entry 'Training data size 500,000' combined with 'batch size 1024' does not immediately convey that this means 5×10^8 trajectory samples; the text clarifies this, but a footnote in the table would help.
- [Main text, 'Note' paragraph] The sentence 'Note - Toward the conclusion of this work, we noticed a recent work...' is awkward and sounds like an acknowledgment rather than a scientific note. It would be clearer as a normal reference comparison in the introduction or related-work section.
Circularity Check
No circularity found; the central claims rest on held-out simulation data and independent external baseline decoders.
full rationale
I examined the derivation chain from syndrome data to the claimed decoding capability. The training labels are generated by simulating mirror-symmetric random Clifford circuits and comparing final logical measurements with initial preparations; this is a direct construction of ground-truth logical flips, not an output of the decoder. The reported accuracies are measured on held-out test trajectories (deeper random circuits from the same two circuit families), and the conventional decoders (MLE, MWPM, BP-OSD) are independent external algorithms run on the same test trajectories. I found no equation in which a fitted parameter is renamed as a prediction, no load-bearing conclusion justified solely by a self-citation, and no ansatz imported through citation. The mirror-symmetric training distribution is a genuine limitation on the breadth of the 'general circuit' and 'noise-model agnostic' claims, but that is a question of external validity and distribution coverage, not circularity: the test results are not forced by construction. Hence score 0.
Assumptions & free parameters
free parameters (2)
- Trained LSTM and readout weights (single-qubit cells, two-qubit cell, main and auxiliary readouts) =
Not stated; trained on 5e8 syndrome trajectories
- Network hyperparameters =
Hidden sizes 64/128 (d=3) and 192/384 (d=5); 2 LSTM layers; ReLU; learning rate 0.001; auxiliary loss weight 0.5…
assumptions (5)
- standard math Surface code stabilizer formalism and transversal Clifford logical gates provide a valid fault-tolerant encoding under circuit-level noise.
- domain assumption The neutral-atom-motivated circuit-level noise model in SM C.2 matches the target hardware.
- ad hoc to paper Mirror-symmetric random Clifford circuits of Type I and Type II are representative of the logical circuits MCCD must decode.
- ad hoc to paper Per-qubit hidden states plus pair-wise two-qubit processing cells capture all relevant error correlations.
- standard math A noiseless mirror circuit U U-dagger leaves the initial state unchanged, providing ground-truth labels.
Cite this review
Pith. "Pith review of Learning to decode logical circuits." pith.science (2026). https://pith.science/paper/J67CYT4C
@misc{pith2026250416999,
author = {Pith},
title = {Pith review of: Learning to decode logical circuits},
year = {2026},
howpublished = {\url{https://pith.science/paper/J67CYT4C}},
note = {Machine review of arXiv:2504.16999}
}
read the original abstract
With the development of quantum hardware bringing the error-corrected quantum circuits to the near future, the lack of an efficient polynomial-time decoding algorithms for logical circuits presents a critical bottleneck. While quantum memory decoding has been well-studied, inevitable correlated errors introduced by entangling logical gates prevent the straightforward generalization of quantum memory decoders. We introduce a data-centric modular decoder framework, Multi-Core Circuit Decoder (MCCD), consisting of decoder modules corresponding to each logical operation supported by the quantum hardware. The MCCD handles both single-qubit and entangling gates within a unified framework. We train MCCD using mirror-symmetric random Clifford circuits, demonstrating its ability to effectively learn correlated decoding patterns. Through extensive testing on circuits significantly deeper than those used in training, we show that MCCD maintains high logical accuracy while exhibiting competitive polynomial decoding time across increasing circuit depths and code distances. When compared with conventional decoders like Minimum Weight Perfect Matching (MWPM), Most Likely Error (MLE), and Belief Propagation with Ordered Statistics Post-processing (BP-OSD), MCCD achieves competitive accuracy with substantially better time efficiency, particularly for circuits with entangling gates. Our approach represents a noise-model agnostic solution to the decoding challenge for deep logical quantum circuits.
Figures
Figures from the paper (1 more)
Reference graph
Works this paper leans on
-
[3]
N. Lacroix, A. Bourassa, F. J. H. Heras, L. M. Zhang, J. Bausch, A. W. Senior, T. Edlich, N. Shutty, V. Sivak, A. Bengtsson, et al. , Scaling and logic in the color code on a superconducting quantum processor (2024), arXiv:2412.14256 [quant-ph]
arXiv 2024
-
[1]
Acharya, I
R. Acharya, I. Aleiner, R. Allen, T. I. Andersen, M. Ans- mann, F. Arute, K. Arya, A. Asfaw, J. Atalaya, R. Bab- bush, et al. , Suppressing quantum errors by scaling a surface code logical qubit, Nature 614, 676 (2023)
2023
-
[2]
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, et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626, 58 (2024)
2024
-
[4]
P. W. Shor, Scheme for reducing decoherence in quantum computer memory, Physical Review A 52, R2493 (1995)
1995
-
[5]
A. R. Calderbank and P. W. Shor, Good quantum error-correcting codes exist, Physical Review A 54, 1098 (1996)
1996
-
[6]
Gottesman, Stabilizer Codes and Quantum Error Cor- rection, Ph.D
D. Gottesman, Stabilizer Codes and Quantum Error Cor- rection, Ph.D. thesis, California Institute of Technology, United States – California (1997)
work page 1997
-
[7]
E. Knill and R. Laflamme, Theory of quantum error- correcting codes, Physical Review A 55, 900 (1997)
work page 1997
-
[8]
E. Berlekamp, R. McEliece, and H. van Tilborg, On the inherent intractability of certain coding problems (Cor- resp.), IEEE Transactions on Information Theory24, 384 (1978)
work page 1978
Show all 46 references
-
[9]
Vardy, The intractability of computing the minimum distance of a code, IEEE Transactions on Information Theory 43, 1757 (1997)
A. Vardy, The intractability of computing the minimum distance of a code, IEEE Transactions on Information Theory 43, 1757 (1997)
1997
-
[10]
A. G. Fowler, M. Mariantoni, J. M. Martinis, and A. N. Cleland, Surface codes: Towards practical large-scale quantum computation, Physical Review A 86, 032324 (2012), arXiv:1208.0928 [quant-ph]
2012 arXiv
-
[11]
A. G. Fowler, A. C. Whiteside, and L. C. L. Hollenberg, Towards Practical Classical Processing for the Surface Code, Physical Review Letters 108, 180501 (2012)
2012
-
[12]
Higgott, PyMatching: A Python Package for De- coding Quantum Codes with Minimum-Weight Perfect Matching, ACM Transactions on Quantum Computing 3, 1 (2022)
O. Higgott, PyMatching: A Python Package for De- coding Quantum Codes with Minimum-Weight Perfect Matching, ACM Transactions on Quantum Computing 3, 1 (2022)
2022
-
[13]
A. G. Fowler, Optimal complexity correction of corre- lated errors in the surface code (2013), arXiv:1310.0863 [quant-ph]
2013 arXiv
-
[14]
M. Cain, C. Zhao, H. Zhou, N. Meister, J. P. B. Ataides, A. Jaffe, D. Bluvstein, and M. D. Lukin, Correlated De- coding of Logical Algorithms with Transversal Gates, Physical Review Letters 133, 240602 (2024)
2024
-
[15]
Delfosse, Decoding color codes by projection onto sur- face codes, Physical Review A 89, 012317 (2014)
N. Delfosse, Decoding color codes by projection onto sur- face codes, Physical Review A 89, 012317 (2014)
2014
-
[16]
Paler and A
A. Paler and A. G. Fowler, Pipelined correlated minimum weight perfect matching of the surface code, Quantum 7, 1205 (2023), arXiv:2205.09828 [quant-ph]
2023 arXiv
-
[17]
Sahay, Y
K. Sahay, Y. Lin, S. Huang, K. R. Brown, and S. Puri, Er- ror correction of transversal CNOT gates for scalable sur- face code computation (2024), arXiv:2408.01393 [quant- ph]
2024
-
[18]
K. H. Wan, M. Webber, A. G. Fowler, and W. K. Hensinger, An iterative transversal CNOT decoder (2024), arXiv:2407.20976 [quant-ph]
2024 arXiv
-
[19]
B. M. Terhal, Quantum error correction for quantum memories, Reviews of Modern Physics 87, 307 (2015)
2015
-
[20]
Baireuther, T
P. Baireuther, T. E. O’Brien, B. Tarasinski, and C. W. J. Beenakker, Machine-learning-assisted correction of corre- lated qubit errors in a topological code, Quantum 2, 48 (2018), arXiv:1705.07855 [quant-ph]
2018 arXiv
-
[21]
Baireuther, M
P. Baireuther, M. D. Caio, B. Criger, C. W. J. Beenakker, and T. E. O’Brien, Neural network decoder for topolog- ical color codes with circuit level noise, New Journal of Physics 21, 013003 (2019)
2019
-
[23]
D. E. Rumelhart, G. E. Hinton, and R. J. Williams, Learning representations by back-propagating errors, Na- ture 323, 533 (1986)
1986
-
[24]
Hochreiter and J
S. Hochreiter and J. Schmidhuber, Long Short-Term Memory, Neural Computation 9, 1735 (1997)
1997
-
[25]
Only half of the stabilizers can be constructed depending on the measurement basis of the data qubits
-
[26]
Combes, C
J. Combes, C. Granade, C. Ferrie, and S. T. Flammia, Logical Randomized Benchmarking (2017), arXiv:1702.03688 [quant-ph]
2017 arXiv
-
[27]
Gidney, Stim: A fast stabilizer circuit simulator, Quantum 5, 497 (2021), arXiv:2103.02202 [quant-ph]
C. Gidney, Stim: A fast stabilizer circuit simulator, Quantum 5, 497 (2021), arXiv:2103.02202 [quant-ph]. 5
2021 arXiv
-
[28]
Bengio, J
Y. Bengio, J. Louradour, R. Collobert, and J. Weston, Curriculum learning, in Proceedings of the 26th Annual International Conference on Machine Learning (ACM, Montreal Quebec Canada, 2009) pp. 41–48
2009
-
[30]
Roffe, D
J. Roffe, D. R. White, S. Burton, and E. Campbell, De- coding across the quantum low-density parity-check code landscape, Physical Review Research 2, 043423 (2020)
2020
-
[31]
Panteleev and G
P. Panteleev and G. Kalachev, Degenerate Quantum LDPC Codes With Good Finite Length Performance, Quantum 5, 585 (2021)
2021
-
[32]
H. Zhou, C. Zhao, M. Cain, D. Bluvstein, C. Duckering, H.-Y. Hu, S.-T. Wang, A. Kubica, and M. D. Lukin, Al- gorithmic Fault Tolerance for Fast Quantum Computing (2024), arXiv:2406.17653 [quant-ph]
2024
-
[33]
Bombin and M
H. Bombin and M. A. Martin-Delgado, Topological Quantum Distillation, Physical Review Letters 97, 180501 (2006), arXiv:quant-ph/0605138
2006 arXiv
-
[34]
Gottesman, Fault-Tolerant Quantum Computation with Constant Overhead (2014), arXiv:1310.2984 [quant- ph]
D. Gottesman, Fault-Tolerant Quantum Computation with Constant Overhead (2014), arXiv:1310.2984 [quant- ph]
2014 arXiv
-
[35]
Knill, Fault-Tolerant Postselected Quantum Compu- tation: Schemes (2004), arXiv:quant-ph/0402171
E. Knill, Fault-Tolerant Postselected Quantum Compu- tation: Schemes (2004), arXiv:quant-ph/0402171
2004 arXiv
-
[36]
Bravyi and A
S. Bravyi and A. Kitaev, Universal quantum computa- tion with ideal Clifford gates and noisy ancillas, Physical Review A 71, 022316 (2005)
2005
-
[37]
Bravyi and J
S. Bravyi and J. Haah, Magic-state distillation with low overhead, Physical Review A 86, 052329 (2012)
2012
-
[38]
Horsman, A
D. Horsman, A. G. Fowler, S. Devitt, and R. V. Meter, Surface code quantum computing by lattice surgery, New Journal of Physics 14, 123011 (2012)
2012
-
[39]
/+BldcTriYx3r2KMcyARfulIeA0=
D. Litinski and F. von Oppen, Lattice Surgery with a Twist: Simplifying Clifford Gates of Surface Codes, Quantum 2, 62 (2018). 6 QECQECQECQEC (d) <latexit sha1_base64="/+BldcTriYx3r2KMcyARfulIeA0=">AAAB8HicbVBNSwMxEJ2tX7V+VT16CRahXsquSPVY9OKxov2Qdi3ZNNuGJtklyQpl6a/w4kERr/4cb/4...
2018
-
[40]
Logical gate implementations 4 b
The surface code 2 a. Logical gate implementations 4 b. Stabilizer measurement physical circuits 4
-
[41]
Simulation noise model 4 D. Other decoders 5 References 6 Appendix A: Architecture Our modular ML-based decoder consists of three types of modules: (1) decoder modules for single qubit logical operations, (2) decoder module for the entangling logical operation, (3) a readout m...
2025 arXiv
-
[42]
virtually
The surface code We consider a rotated surface code. An illustration of the code layout is shown in SFig. 1. 3 TABLE I: Model hyperparameters used for the staged-trained CircuitLSTMDecoderw2Q for code distance d = 3. Hyperparameter Value Description Input size ( input size) 8 ...
-
[43]
We consider a circuit- level noise model motivated by the current experimental capability of neutral atom array based quantum computers
Simulation noise model For the numerical studies presented in the main text, we use thestim package for simulation. We consider a circuit- level noise model motivated by the current experimental capability of neutral atom array based quantum computers. Specifically, we use a c...
-
[44]
B. M. Varbanov, M. Serra-Peralta, D. Byfield, and B. M. Terhal, Neural network decoder for near-term surface-code experiments, 2307.03280 [quant-ph]
-
[45]
Code available at https://github.com/KimGroup/MCCD.git
-
[46]
Higgott and C
O. Higgott and C. Gidney, Sparse blossom: correcting a million errors per core second with minimum-weight matching, arXiv preprint arXiv:2303.15933 (2023)
2023 arXiv
-
[47]
Higgott, stimbposd: Surface code decoder based on belief propagation and ordered statistics decoding, https://github
O. Higgott, stimbposd: Surface code decoder based on belief propagation and ordered statistics decoding, https://github. com/oscarhiggott/stimbposd (2023), accessed: 2025-04-15
2023
-
[48]
M. Cain, C. Zhao, H. Zhou, N. Meister, J. P. B. Ataides, A. Jaffe, D. Bluvstein, and M. D. Lukin, Correlated Decoding of Logical Algorithms with Transversal Gates, Physical Review Letters 133, 240602 (2024)
2024
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.