Scalable accuracy gains from postselection in quantum error correcting codes
Pith reviewed 2026-05-21 21:04 UTC · model grok-4.3
The pith
Postselecting on common syndromes suppresses logical error rates from p_f to p_f^b in stabilizer codes
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Decoding stabilizer codes involves evaluating free-energy differences in a disordered statistical mechanics model whose randomness comes from the observed syndrome pattern. Within the coding phase logical failures are predominantly caused by exponentially unlikely syndromes. Postselecting on not seeing these unlikely patterns suppresses the logical error rate from p_f to p_f^b, where b is at least 2 in general; for the toric code with perfect syndrome measurements numerical results give b = 3.1(1). The arguments apply to general topological stabilizer codes provided the decoding failure probability obeys a large deviation principle.
What carries the argument
The statistical distribution of logical failure rates across observed syndromes in the disordered statistical mechanics model used for decoding.
If this is right
- The logical error rate can be suppressed from p_f to p_f^b with b greater than or equal to 2 for general topological stabilizer codes.
- For the toric code with perfect syndrome measurements the exponent reaches 3.1(1).
- The postselection strategy extends to more general settings as long as the decoding failure probability obeys a large deviation principle.
Where Pith is reading between the lines
- In hardware implementations one could monitor the estimated probability of each syndrome in real time and abort runs whose syndromes fall below a chosen rarity threshold.
- The same large-deviation reasoning may apply to other fault-tolerant protocols in which rare events dominate the overall failure rate.
- This suggests that tracking syndrome rarity statistics could become a standard diagnostic for assessing how close a device is to the coding phase.
Load-bearing premise
The decoding failure probability obeys a large deviation principle.
What would settle it
A direct simulation on larger toric code instances showing that the fraction of logical failures caused by exponentially rare syndromes does not grow with system size would falsify the claim.
Figures
read the original abstract
Decoding stabilizer codes such as the surface and toric codes involves evaluating free-energy differences in a disordered statistical mechanics model, in which the randomness comes from the observed pattern of error syndromes. We study the statistical distribution of logical failure rates across observed syndromes in the toric code, and show that, within the coding phase, logical failures are predominantly caused by exponentially unlikely syndromes. Therefore, postselecting on not seeing these exponentially unlikely syndrome patterns offers a scalable accuracy gain. In general, the logical error rate can be suppressed from $p_f$ to $p_f^b$, where $b \geq 2$ in general; in the specific case of the toric code with perfect syndrome measurements, we find numerically that $b = 3.1(1)$. Our arguments apply to general topological stabilizer codes, and can be extended to more general settings as long as the decoding failure probability obeys a large deviation principle.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that in the toric code (and more generally in topological stabilizer codes), logical failures within the coding phase are predominantly caused by exponentially unlikely syndromes. Postselecting on the absence of these rare syndromes therefore suppresses the logical error rate from p_f to p_f^b with b >= 2 in general; numerical evidence for the toric code with perfect syndrome measurements yields b = 3.1(1). The argument is conditioned on the decoding failure probability obeying a large-deviation principle.
Significance. If the result holds, the work identifies a postselection mechanism that can deliver scalable accuracy improvements in quantum error correction by exploiting the statistics of rare syndromes, without requiring additional physical resources. The combination of a general large-deviation argument with a concrete numerical exponent for the toric code is a potentially useful contribution to fault-tolerant quantum computing.
major comments (1)
- [Abstract and concluding discussion of general codes] The extension to general topological stabilizer codes (stated in the abstract and the final paragraph of the main text) is conditioned on the decoding failure probability obeying a large deviation principle with strictly positive rate function throughout the coding phase. No derivation or proof of this LDP is supplied for arbitrary stabilizer codes, nor is it shown that the rate function remains positive away from the threshold; only numerical support is given for the toric code. This assumption is load-bearing for the general claim.
minor comments (1)
- [Numerical results] The numerical result b = 3.1(1) is reported without accompanying details on the underlying distribution analysis, Monte Carlo sampling method, error-bar estimation, or explicit verification that the large-deviation assumption holds in the simulated regime.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive feedback on our manuscript. We address the major comment below.
read point-by-point responses
-
Referee: [Abstract and concluding discussion of general codes] The extension to general topological stabilizer codes (stated in the abstract and the final paragraph of the main text) is conditioned on the decoding failure probability obeying a large deviation principle with strictly positive rate function throughout the coding phase. No derivation or proof of this LDP is supplied for arbitrary stabilizer codes, nor is it shown that the rate function remains positive away from the threshold; only numerical support is given for the toric code. This assumption is load-bearing for the general claim.
Authors: We agree that the general claim for topological stabilizer codes is conditional on the decoding failure probability obeying a large deviation principle (LDP) with a strictly positive rate function throughout the coding phase, and that the manuscript supplies neither a derivation nor a proof of this LDP for arbitrary codes. The paper explicitly states this conditioning in the abstract and final paragraph, and the toric-code results rest on numerical evidence. A general proof would require establishing the LDP for the free-energy differences in the disordered statistical-mechanics models associated with each code family, which lies outside the scope of the present work. In the revised manuscript we will modify the abstract and concluding discussion to state the conditional character of the general claim more prominently and to add a short paragraph explaining why the LDP (and positivity of the rate function) is expected on the basis of the existence of a threshold and standard large-deviation properties of disordered systems. We do not claim to have proven the LDP for all codes. revision: yes
- Rigorous derivation or proof of the large deviation principle for arbitrary topological stabilizer codes
Circularity Check
No significant circularity; derivation relies on standard LDP assumption and independent numerics
full rationale
The paper's argument that postselection suppresses logical error rates from p_f to p_f^b (b>=2) for general topological stabilizer codes is explicitly conditioned on the decoding failure probability obeying a large deviation principle, which is invoked as an external statistical mechanics assumption rather than derived internally or via self-citation. The specific numerical result b=3.1(1) for the toric code is obtained from direct simulation of syndrome distributions and is not forced by fitting or by construction from the general claim. No steps match self-definitional, fitted-input-called-prediction, or ansatz-smuggled patterns; the central claim remains independent of its inputs.
Axiom & Free-Parameter Ledger
free parameters (1)
- exponent b =
3.1(1)
axioms (1)
- domain assumption decoding failure probability obeys a large deviation principle
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Decoding stabilizer codes ... maps to a disordered statistical mechanics model ... free-energy difference ΔF ... large deviation form P(ΔF=sd)∼exp(−I(s)d)
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our arguments apply to general topological stabilizer codes ... as long as the decoding failure probability obeys a large deviation principle
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 2 Pith papers
-
Syndrome resampling enhances quantum error correction thresholds
Syndrome resampling increases QEC thresholds and cuts logical errors by up to four orders of magnitude by biasing toward likely syndromes, linked to Rényi coherent information phase transitions.
-
Entanglement boosting: Low-volume logical Bell pair preparation for distributed fault-tolerant quantum computation
Entanglement boosting protocol prepares logical Bell pairs in rotated surface codes with orders-of-magnitude lower link-limited volume, reaching 10^{-10} logical error from 86 physical pairs at 1% error using soft dec...
Reference graph
Works this paper leans on
-
[1]
An Introduction to Quantum Error Correction and Fault-Tolerant Quantum Computation
D. Gottesman, An introduction to quantum error cor- rection and fault-tolerant quantum computation (2009), arXiv:0904.2557 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[2]
Google Quantum AI, Exponential suppression of bit or phase errors with cyclic error correction, Nature595, 383 (2021)
work page 2021
-
[3]
C. Ryan-Anderson, J. G. Bohnet, K. Lee, D. Gresh, A. Hankin, J. P. Gaebler, D. Francois, A. Chernoguzov, 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 quan- tum error correction, Phys. Rev. X11, 041058 (2021)
work page 2021
-
[4]
V. V. Sivak, A. Eickbusch, B. Royer, S. Singh, I. Tsiout- 6 sios, S. Ganjam, A. Miano, B. Brock, A. Ding, L. Frun- zio,et al., Real-time quantum error correction beyond break-even, Nature616, 50 (2023)
work page 2023
-
[5]
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, Nature626, 58 (2024)
work page 2024
-
[6]
Z. Cai, R. Babbush, S. C. Benjamin, S. Endo, W. J. Hug- gins, Y. Li, J. R. McClean, and T. E. O’Brien, Quantum error mitigation, Rev. Mod. Phys.95, 045005 (2023)
work page 2023
-
[7]
D. Aharonov, O. Alberton, I. Arad, Y. Atia, E. Bairey, Z. Brakerski, I. Cohen, O. Golan, I. Gurwich, O. Ken- neth,et al., On the importance of error mitigation for quantum computation, arXiv preprint arXiv:2503.17243 (2025)
-
[8]
P. Shor, Fault-tolerant quantum computation, inPro- ceedings of 37th Conference on Foundations of Computer Science(1996) pp. 56–65
work page 1996
-
[9]
Fault-Tolerant Postselected Quantum Computation: Schemes
E. Knill, Fault-tolerant postselected quantum computa- tion: Schemes (2004), arXiv:quant-ph/0402171 [quant- ph]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[10]
S. Bartolucci, P. Birchall, H. Bomb´ ın, H. Cable, C. Daw- son, M. Gimeno-Segovia, E. Johnston, K. Kieling, N. Nickerson, M. Pant, F. Pastawski, T. Rudolph, and C. Sparrow, Fusion-based quantum computation, Nature Communications14, 912 (2023)
work page 2023
-
[11]
Universal quantum computation with ideal clifford gates and noisy ancillas
S. Bravyi and A. Kitaev, Universal quantum computa- tion with ideal clifford gates and noisy ancillas, Physical Review A71, 10.1103/physreva.71.022316 (2005)
-
[12]
S. Bravyi and J. Haah, Magic-state distillation with low overhead, Physical Review A86, 10.1103/phys- reva.86.052329 (2012)
-
[13]
S. C. Smith, B. J. Brown, and S. D. Bartlett, Mitigating errors in logical qubits, Communications Physics7, 386 (2024)
work page 2024
-
[14]
H. Bomb´ ın, M. Pant, S. Roberts, and K. I. Seetharam, Fault-tolerant postselection for low-overhead magic state preparation, PRX Quantum5, 010302 (2024)
work page 2024
- [15]
- [16]
- [17]
-
[18]
C. T. Chubb and S. T. Flammia, Statistical mechanical models for quantum codes with correlated noise, Annales de l’Institut Henri Poincar´ e D, Combinatorics, Physics and their Interactions8, 269–321 (2021)
work page 2021
- [19]
-
[20]
C. Wang, J. Harrington, and J. Preskill, Confinement- higgs transition in a disordered gauge theory and the ac- curacy threshold for quantum memory, Annals of Physics 303, 31–58 (2003)
work page 2003
-
[21]
H. G. Katzgraber, H. Bombin, and M. A. Martin- Delgado, Error threshold for color codes and random three-body ising models, Physical Review Letters103, 10.1103/physrevlett.103.090501 (2009)
- [22]
-
[23]
S. S. Varadhan, Large deviations, inProceedings of the International Congress of Mathematicians 2010 (ICM
work page 2010
-
[24]
I: Plenary Lectures and Cer- emonies Vols
(In 4 Volumes) Vol. I: Plenary Lectures and Cer- emonies Vols. II–IV: Invited Lectures(World Scientific,
-
[25]
D. A. Huse and C. L. Henley, Pinning and roughening of domain walls in ising systems due to random impurities, Phys. Rev. Lett.54, 2708 (1985)
work page 1985
-
[26]
See Supplemental Material for details on the TEBD method for computing the RBIM partition function, the efficiency of code splitting, postselection in general sta- bilizer codes, additional verifications of large-deviation scaling, and the toric code with partially heralded errors
-
[27]
M. Fishman, S. R. White, and E. M. Stoudenmire, The ITensor Software Library for Tensor Network Calcula- tions, SciPost Phys. Codebases , 4 (2022)
work page 2022
-
[28]
M. Fishman, S. R. White, and E. M. Stoudenmire, Code- base release 0.3 for ITensor, SciPost Phys. Codebases , 4 (2022)
work page 2022
-
[29]
P. Carmona and Y. Hu, Fluctuation exponents and large deviations for directed polymers in a random environ- ment, Stochastic processes and their applications112, 285 (2004)
work page 2004
-
[30]
P. Carmona, Directed polymer in random environment and last passage percolation, ESAIM: Probability and Statistics14, 263 (2010)
work page 2010
-
[31]
C. Janjigian, Large deviations of the free energy in the o’connell–yor polymer, Journal of Statistical Physics 160, 1054 (2015)
work page 2015
-
[32]
C. A. Tracy and H. Widom, The distributions of ran- dom matrix theory and their applications, inNew Trends in Mathematical Physics: Selected contributions of the XVth International Congress on Mathematical Physics (Springer, 2009) pp. 753–765
work page 2009
-
[33]
Splitting a toric code in three pieces requires one to be able to move and reassemble qubits, which is feasible in architectures like neutral atoms
-
[34]
G. M. Sommers, D. A. Huse, and M. J. Gullans, Dy- namically generated concatenated codes and their phase diagrams, Phys. Rev. Res.7, 023086 (2025)
work page 2025
-
[35]
J.-P. Tillich and G. Z´ emor, Quantum ldpc codes with positive rate and minimum distance proportional to the square root of the blocklength, IEEE Transactions on Information Theory60, 1193 (2013)
work page 2013
-
[36]
P. Panteleev and G. Kalachev, Asymptotically good quantum and locally testable classical ldpc codes, inPro- ceedings of the 54th annual ACM SIGACT symposium on theory of computing(2022) pp. 375–388
work page 2022
- [37]
- [38]
-
[39]
T. Farrelly, N. Milicevic, R. J. Harris, N. A. McMahon, and T. M. Stace, Parallel decoding of multiple logical qubits in tensor-network codes, Phys. Rev. A105, 052446 (2022)
work page 2022
- [40]
-
[41]
Gidney, Stim: a fast stabilizer circuit simulator, Quan- 7 tum5, 497 (2021)
C. Gidney, Stim: a fast stabilizer circuit simulator, Quan- 7 tum5, 497 (2021)
work page 2021
-
[42]
O. Higgott, PyMatching: A Python Package for De- coding Quantum Codes with Minimum-Weight Perfect Matching, ACM Transactions on Quantum Computing 3, 16:1 (2022)
work page 2022
-
[43]
H. Bombin and M. A. Martin-Delgado, Optimal resources for topological two-dimensional stabilizer codes: Com- parative study, Phys. Rev. A76, 012305 (2007)
work page 2007
-
[44]
D. Horsman, A. G. Fowler, S. Devitt, and R. V. Meter, Surface code quantum computing by lattice surgery, New Journal of Physics14, 123011 (2012)
work page 2012
-
[45]
P. W. Shor, Scheme for reducing decoherence in quantum computer memory, Phys. Rev. A52, R2493 (1995)
work page 1995
- [46]
-
[47]
T. M. Stace, S. D. Barrett, and A. C. Doherty, Thresholds for topological codes in the presence of loss, Phys. Rev. Lett.102, 200501 (2009)
work page 2009
-
[48]
Y. Wu, S. Kolkowitz, S. Puri, and J. D. Thompson, Era- sure conversion for fault-tolerant quantum computing in alkaline earth rydberg atom arrays, Nature Communica- tions13, 10.1038/s41467-022-32094-6 (2022)
- [49]
- [50]
-
[51]
Critical exponents for two-dimensional percolation
S. Smirnov and W. Werner, Critical exponents for two- dimensional percolation (2001), arXiv:math/0109120 [math.PR]. 1 Supplemental Materials: Scalable accuracy gains from postselection in quantum error correcting codes Hongkun Chen,1 Daohong Xu,1 Grace M. Sommers, 2 David A. Huse,2 Jeff D. Thompson,1 and Sarang Gopalakrishnan1 1Department of Electrical an...
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[52]
codes suppresses logical errors as p(2) f (d/ √ 2)≃e − √ 2I(0)d ≪e −I(0)d ≃p f(d).(S17) Because √ 2 is irrational, it is not feasible to directly simulate both distance-dand distance-(d/ √
-
[53]
codes. Instead, we comparedp f(2n),p (2) f (n), andp (4) f (n), and observed numerically thatp (4) f (n) decays exponentially faster inn. We now provide the mathematical explanation. Selecting the maximal|∆F i|among four distance-npatches gives p(4) f (n)≃exp{−min s≥0 [4I(s) +s]d}.(S18) SinceI(s) +s=I(−s) impliesI ′(0) =−1/2, convexity guarantees that 4I(...
-
[54]
withε e ∈ {0,1}revealed to the decoder
The agreement with the un-heralded (r e = 0) case confirms that all RBIMs on the Nishimori line belong to the same universality class, except for the pointr e = 1, which is unstable towards partially heralding. withε e ∈ {0,1}revealed to the decoder. Conditional onε e = 0, the effective flip probability is peff = p(1−r e) 1−pr e , K e = 1 2 log 1−peff pef...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.