Forced Gap Post-Selection for Quantum LDPC Codes and their Operations
Pith reviewed 2026-05-21 07:27 UTC · model grok-4.3
The pith
A forced-gap post-selection strategy improves logical error rates by over a factor of 4 for quantum LDPC codes using only belief propagation decoding.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By forcing the decoder to produce a complementary logical solution for each observable after the baseline run and rejecting shots whose likelihood scores for the two solutions are close, logical error rates on the 72-qubit and 144-qubit bivariate bicycle codes and their surgery gadgets fall by more than a factor of four compared with previous post-selection methods, while using only FPGA-friendly belief propagation at the same post-selection rate.
What carries the argument
The forced-gap rejection rule that discards a shot when the decoder likelihood for the baseline solution is comparable to the likelihood obtained when the decoder is forced to return the logically complementary outcome.
If this is right
- Logical error rates drop by more than a factor of four on the tested 72-qubit and 144-qubit bivariate bicycle codes and surgery gadgets at fixed post-selection rate.
- The strategy applies across different decoders and to other high-rate quantum LDPC codes.
- Only repeated belief-propagation decoding passes are required, avoiding the computational cost of BP-OSD.
- The same improvement is observed for both memory and logical surgery operations.
Where Pith is reading between the lines
- If likelihood calibration holds for other decoders, the method could be combined with existing surface-code or other LDPC constructions to lower overall qubit overhead.
- The rejection criterion might be generalized to multiple logical observables simultaneously or to analog syndrome data.
- Hardware implementations could exploit the FPGA-friendly nature of belief propagation to perform the extra decoding rounds with low added latency.
Load-bearing premise
The decoder likelihood scores correctly rank the relative probabilities of logically complementary solutions.
What would settle it
An experiment in which the decoder likelihood scores are deliberately miscalibrated or biased and the logical error rate is then measured with and without the gap-based rejection rule.
Figures
read the original abstract
We develop a simple and general post-selection strategy for high-rate quantum codes that is transferrable across decoders. After an initial baseline run, the decoder is re-run once per logical observable, and forced in these latter runs to provide a solution where the given observable has the complementary outcome. Shots are rejected that find logically complementary solutions with similar likelihoods compared to the baseline. Using the Relay-BP decoder, we benchmark the strategy on the $72$-qubit and $144$-qubit bivariate bicycle codes, as well as surgery gadgets for the latter. In comparison to previous post-selection strategies, our results offer an improved logical error rate by over a factor of $4$ on the same circuit and physical error rate, and at the same rate of post-selection. Our strategies are also lightweight, relying only on FPGA-friendly belief propagation, whereas the previous best used repeated rounds of a high-latency BP-OSD decoder.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents a forced-gap post-selection strategy for quantum low-density parity-check (LDPC) codes. After a baseline decoder run, the decoder is re-run with each logical observable forced to its complementary outcome; shots are rejected when the likelihoods of the baseline and forced-complementary solutions are similar. Using the Relay-BP decoder, the strategy is benchmarked on the 72-qubit and 144-qubit bivariate bicycle codes as well as surgery gadgets for the latter, claiming an improvement in logical error rate by more than a factor of 4 relative to prior post-selection methods at identical post-selection rate and physical error rate. The approach is positioned as lightweight and transferable because it relies only on belief propagation rather than repeated BP-OSD rounds.
Significance. If the central empirical claim holds, the work supplies a practical, decoder-agnostic post-selection technique that materially lowers logical error rates for high-rate quantum LDPC codes without increasing post-selection overhead. The explicit use of FPGA-friendly belief propagation (rather than higher-latency BP-OSD) constitutes a concrete implementation advantage. The direct benchmarking on concrete 72- and 144-qubit codes and surgery gadgets supplies reproducible evidence of the performance gain when the decoder likelihoods behave as assumed.
major comments (1)
- [Benchmarking results on the 72-qubit and 144-qubit bivariate bicycle codes] Benchmarking results on the 72-qubit and 144-qubit bivariate bicycle codes: the reported factor-of-4 logical-error-rate reduction at fixed post-selection rate depends on Relay-BP likelihood scores being at least monotonically related to the true posterior probabilities of logically complementary error patterns. No calibration diagnostics (likelihood histograms conditioned on actual logical outcome, or direct comparison against BP-OSD or exact enumeration on small instances) are supplied to substantiate this assumption. Systematic bias in the approximate decoder could therefore cause the gap-rejection rule either to discard useful shots or to retain erroneous ones, erasing the claimed improvement.
minor comments (2)
- [Abstract and benchmarking sections] The abstract and benchmarking sections omit statistical error bars, the total number of shots collected, and any description of decoder calibration procedures. Inclusion of these details would allow readers to assess the statistical significance of the factor-of-4 claim.
- [Figures] Figure captions and axis labels should explicitly state the physical error rate and post-selection rate at which each curve is evaluated so that the constant-rate comparison is immediately verifiable.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable feedback on our work. We address the major comment in detail below, providing clarifications and committing to revisions where appropriate to strengthen the manuscript.
read point-by-point responses
-
Referee: Benchmarking results on the 72-qubit and 144-qubit bivariate bicycle codes: the reported factor-of-4 logical-error-rate reduction at fixed post-selection rate depends on Relay-BP likelihood scores being at least monotonically related to the true posterior probabilities of logically complementary error patterns. No calibration diagnostics (likelihood histograms conditioned on actual logical outcome, or direct comparison against BP-OSD or exact enumeration on small instances) are supplied to substantiate this assumption. Systematic bias in the approximate decoder could therefore cause the gap-rejection rule either to discard useful shots or to retain erroneous ones, erasing the claimed improvement.
Authors: We acknowledge the referee's concern regarding the lack of explicit calibration for the Relay-BP likelihood scores. However, we note that the post-selection strategy is designed to exploit relative likelihood differences between the baseline and forced-complementary runs, rather than relying on absolute probability values. This relative approach reduces sensitivity to systematic biases in the decoder's approximations. The empirical results demonstrate consistent improvements across different code sizes and operations, which would be unlikely if the likelihoods were not sufficiently correlated with the true posteriors. To further substantiate this, in the revised manuscript we will include additional diagnostics: specifically, likelihood ratio histograms for cases where the logical outcome is known (e.g., via exact methods on smaller analogs or by injecting known errors), and a comparison of post-selection performance using Relay-BP versus BP-OSD on the 72-qubit code. We believe these additions will confirm the validity of our assumptions while maintaining the lightweight nature of the method. revision: yes
Circularity Check
No circularity: strategy and benchmarks are defined independently of results
full rationale
The paper defines the forced-gap post-selection rule directly from baseline and forced-complementary decoder runs, then reports empirical logical error rates from direct benchmarking on 72- and 144-qubit bivariate bicycle codes. No equation or claim reduces to a fitted parameter renamed as prediction, no self-citation chain justifies the central performance gain, and the improvement is measured against prior post-selection methods on identical circuits. The derivation chain is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Belief-propagation decoder likelihoods provide a reliable ranking of logical error probabilities under the physical noise model used.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We develop a simple and general post-selection strategy... Shots are rejected that find logically complementary solutions with similar likelihoods compared to the baseline.
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 1 Pith paper
-
Concatenating Algebraic Codes over High-Rate Quantum LDPC Codes
Concatenating quantum Reed-Solomon outer codes over the gross code using Galois qudits reaches teraquop regime at 10^{-3} physical noise with lower overhead than prior two-gross-code constructions.
Reference graph
Works this paper leans on
-
[1]
arXiv preprint arXiv:2502.16408 , year=
Decision-tree decoders for general quantum LDPC codes , author=. arXiv preprint arXiv:2502.16408 , year=
-
[2]
Fault-Tolerant Quantum Computation With Constant Error Rate
D. Aharonov and M. Ben-Or , title =. quant-ph/9906129 , year =
work page internal anchor Pith review Pith/arXiv arXiv
-
[3]
C. Gidney and M. Newman and P. Brooks and C. Jones , title =. Nature Communications , volume =
-
[4]
C. A. Pattison and A. Krishna and J. Preskill , title =. Quantum , volume =
-
[5]
G. David Forney , address =. Concatenated codes [by] G. David Forney, Jr. , year =. Concatenated codes , lccn =
-
[6]
Tour de gross: A modular quantum computer based on bivariate bicycle codes , author=. 2025 , eprint=
work page 2025
-
[7]
High-threshold and low-overhead fault-tolerant quantum memory , author=. Nature , volume=. 2024 , publisher=
work page 2024
-
[8]
Quantum reed—solomon codes , author=. International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes , pages=. 1999 , organization=
work page 1999
- [9]
- [10]
- [11]
-
[12]
Wills, Adam and Yoder, Theodore J and Chuang, Isaac , title =. 2026 , archivePrefix=
work page 2026
-
[13]
Textbook manuscript preprint , volume=
Surviving as a quantum computer in a classical world , author=. Textbook manuscript preprint , volume=
-
[14]
Asymptotically good quantum codes , author=. Physical Review A , volume=. 2001 , publisher=
work page 2001
-
[15]
Proceedings of 37th conference on foundations of computer science , pages=
Fault-tolerant quantum computation , author=. Proceedings of 37th conference on foundations of computer science , pages=. 1996 , organization=
work page 1996
-
[16]
Journal of Computational Physics , volume=
Efficient estimation of free energy differences from Monte Carlo data , author=. Journal of Computational Physics , volume=. 1976 , publisher=
work page 1976
-
[17]
Physical Review A—Atomic, Molecular, and Optical Physics , volume=
Simulation of rare events in quantum error correction , author=. Physical Review A—Atomic, Molecular, and Optical Physics , volume=. 2013 , publisher=
work page 2013
-
[18]
arXiv preprint arXiv:2602.20546 , year=
Distilling magic states in the bicycle architecture , author=. arXiv preprint arXiv:2602.20546 , year=
-
[19]
arXiv preprint arXiv:2510.05795 , year=
Efficient post-selection for general quantum ldpc codes , author=. arXiv preprint arXiv:2510.05795 , year=
-
[20]
arXiv preprint arXiv:2601.17757 , year=
Simple, Efficient, and Generic Post-Selection Decoding for qLDPC codes , author=. arXiv preprint arXiv:2601.17757 , year=
-
[21]
Bicycle Architecture Compiler , year =
-
[22]
Fault-tolerant quantum cat state preparation , author=. 2022 , publisher=
work page 2022
-
[23]
Physical review letters , volume=
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels , author=. Physical review letters , volume=. 1993 , publisher=
work page 1993
-
[24]
IEEE Transactions on Information Theory , volume=
Nonbinary quantum codes , author=. IEEE Transactions on Information Theory , volume=. 2002 , publisher=
work page 2002
-
[25]
IRE Transactions on information theory , volume=
Encoding and error-correction procedures for the Bose-Chaudhuri codes , author=. IRE Transactions on information theory , volume=. 2003 , publisher=
work page 2003
-
[26]
A class of error-correcting codes in p\^
Gorenstein, Daniel and Zierler, Neal , journal=. A class of error-correcting codes in p\^. 1961 , publisher=
work page 1961
- [27]
-
[28]
IEEE transactions on Information Theory , volume=
Shift-register synthesis and BCH decoding , author=. IEEE transactions on Information Theory , volume=. 2003 , publisher=
work page 2003
- [29]
-
[30]
Decoding of Reed Solomon codes beyond the error-correction bound , author=. Journal of complexity , year=
-
[31]
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat
Improved decoding of Reed-Solomon and algebraic-geometric codes , author=. Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No. 98CB36280) , pages=. 1998 , organization=
work page 1998
- [32]
- [33]
-
[34]
Physical Review A—Atomic, Molecular, and Optical Physics , volume=
Optimal and efficient decoding of concatenated quantum block codes , author=. Physical Review A—Atomic, Molecular, and Optical Physics , volume=. 2006 , publisher=
work page 2006
-
[35]
IEEE Transactions on Information Theory , volume=
Algebraic soft-decision decoding of Reed-Solomon codes , author=. IEEE Transactions on Information Theory , volume=. 2003 , publisher=
work page 2003
-
[36]
arXiv preprint arXiv:2506.01779 , year=
Improved belief propagation is sufficient for real-time decoding of quantum memory , author=. arXiv preprint arXiv:2506.01779 , year=
-
[37]
arXiv preprint arXiv:2510.21600 , year=
Real-time decoding of the gross code memory with FPGAs , author=. arXiv preprint arXiv:2510.21600 , year=
-
[38]
arXiv preprint arXiv:2511.21660 , year=
FPGA-tailored algorithms for real-time decoding of quantum LDPC codes , author=. arXiv preprint arXiv:2511.21660 , year=
-
[39]
Stim: a fast stabilizer circuit simulator , author=. Quantum , volume=. 2021 , publisher=
work page 2021
- [40]
- [41]
-
[42]
Optimization of the surface code design for Majorana-based qubits , author=. Quantum , volume=. 2020 , publisher=
work page 2020
-
[43]
Physical review letters , volume=
Lowering connectivity requirements for bivariate bicycle codes using morphing circuits , author=. Physical review letters , volume=. 2025 , publisher=
work page 2025
- [44]
-
[45]
Delfosse, Nicolas and Nickerson, Naomi H. , year=. Almost-linear time decoding algorithm for topological codes , volume=. doi:10.22331/q-2021-12-02-595 , journal=
-
[46]
Chamberland, Christopher and Beverland, Michael E. , year=. Flag fault-tolerant error correction with arbitrary distance codes , volume=. doi:10.22331/q-2018-02-08-53 , journal=
-
[47]
Quantum Information and Computation , volume=
Trade-off between the tolerance of located and unlocated errors in nondegenerate quantum error-correcting codes , author=. Quantum Information and Computation , volume=. 2008 , eprint=
work page 2008
-
[48]
International Symposium onInformation Theory, 2004
Performance enhancements for algebraic soft decision decoding of Reed-Solomon codes , author=. International Symposium onInformation Theory, 2004. ISIT 2004. Proceedings. , pages=. 2004 , organization=
work page 2004
-
[49]
IEEE Journal on Selected Areas in Communications , volume=
Iterative algebraic soft-decision list decoding of Reed-Solomon codes , author=. IEEE Journal on Selected Areas in Communications , volume=. 2006 , publisher=
work page 2006
-
[50]
IEEE transactions on information theory , volume=
Exponential error bounds for algebraic soft-decision decoding of Reed-Solomon codes , author=. IEEE transactions on information theory , volume=. 2005 , publisher=
work page 2005
-
[51]
IEEE transactions on communications , volume=
Applications of algebraic soft-decision decoding of Reed-Solomon codes , author=. IEEE transactions on communications , volume=. 2006 , publisher=
work page 2006
-
[52]
IEEE transactions on information theory , volume=
Algebraic soft-decision decoding of Reed--Solomon codes using bit-level soft information , author=. IEEE transactions on information theory , volume=. 2008 , publisher=
work page 2008
-
[53]
Algebraic soft-and hard-decision decoding of generalized Reed--Solomon and cyclic codes , author=. 2013 , school=
work page 2013
-
[54]
IEEE Transactions on Communications , volume=
Progressive algebraic soft-decision decoding of Reed--Solomon codes using module minimization , author=. IEEE Transactions on Communications , volume=. 2019 , publisher=
work page 2019
-
[55]
2004 IEEE International Conference on Communications (IEEE Cat
VLSI architectures for soft-decision decoding of Reed-Solomon codes , author=. 2004 IEEE International Conference on Communications (IEEE Cat. No. 04CH37577) , volume=. 2004 , organization=
work page 2004
-
[56]
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) , pages=
Hardware implementation of a Reed-Solomon soft decoder based on information set decoding , author=. 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) , pages=. 2014 , organization=
work page 2014
-
[57]
Tansuwannont, Theerapat and Pato, Balint and Brown, Kenneth R. , year=. Adaptive syndrome measurements for Shor-style error correction , volume=. doi:10.22331/q-2023-08-08-1075 , journal=
-
[58]
Adaptive Loss-tolerant Syndrome Measurements , author=. 2026 , eprint=
work page 2026
-
[59]
New Journal of Physics , volume=
A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes , author=. New Journal of Physics , volume=
-
[60]
Physical review letters , volume=
Tradeoffs for reliable quantum information storage in 2D systems , author=. Physical review letters , volume=. 2010 , publisher=
work page 2010
-
[61]
Quantum communication, computing, and measurement , pages=
Quantum error correction with imperfect gates , author=. Quantum communication, computing, and measurement , pages=. 1997 , publisher=
work page 1997
-
[62]
Fault-tolerant quantum computation by anyons , author=. Annals of physics , volume=. 2003 , publisher=
work page 2003
-
[63]
Quantum low-density parity-check codes , author=. PRX quantum , volume=. 2021 , publisher=
work page 2021
-
[64]
Physical Review A—Atomic, Molecular, and Optical Physics , volume=
Quantum Kronecker sum-product low-density parity-check codes with finite rate , author=. Physical Review A—Atomic, Molecular, and Optical Physics , volume=. 2013 , publisher=
work page 2013
-
[65]
Degenerate quantum LDPC codes with good finite length performance , author=. Quantum , volume=. 2021 , publisher=
work page 2021
-
[66]
Quantum error correction below the surface code threshold , author=. Nature , volume=. 2025 , publisher=
work page 2025
-
[67]
How to factor 2048 bit RSA integers with less than a million noisy qubits
How to factor 2048 bit RSA integers with less than a million noisy qubits , author=. arXiv preprint arXiv:2505.15917 , year=
work page internal anchor Pith review Pith/arXiv arXiv 2048
-
[68]
Parallel Logical Measurements via Quantum Code Surgery
Parallel logical measurements via quantum code surgery , author=. arXiv preprint arXiv:2503.05003 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[69]
arXiv preprint arXiv:2503.10390 , year=
Extractors: QLDPC architectures for efficient Pauli-based computation , author=. arXiv preprint arXiv:2503.10390 , year=
-
[70]
Fast and fault-tolerant logical measurements: Auxiliary hypergraphs and transversal surgery , author=. arXiv preprint arXiv:2510.14895 , year=
-
[71]
arXiv preprint arXiv:2603.02157 , year=
Constant-Time Surgery on 2D Hypergraph Product Codes with Near-Constant Space Overhead , author=. arXiv preprint arXiv:2603.02157 , year=
-
[72]
arXiv preprint arXiv:2603.05082 , year=
Parsimonious Quantum Low-Density Parity-Check Code Surgery , author=. arXiv preprint arXiv:2603.05082 , year=
-
[73]
Universal adapters between quantum low-density parity check codes , author=. PRX Quantum , volume=. 2026 , publisher=
work page 2026
-
[74]
Low-overhead fault-tolerant quantum computing using long-range connectivity , author=. Science Advances , volume=. 2022 , publisher=
work page 2022
-
[75]
Low-overhead fault-tolerant quantum computation by gauging logical operators , author=. Nature Physics , pages=. 2026 , publisher=
work page 2026
-
[76]
Fault-tolerant logical measurements via homological measurement , author=. Physical Review X , volume=. 2025 , publisher=
work page 2025
-
[77]
Physical Review Letters , volume=
Time-efficient logical operations on quantum low-density parity check codes , author=. Physical Review Letters , volume=. 2025 , publisher=
work page 2025
-
[78]
High-Rate Surgery: towards constant-overhead logical operations , author=. arXiv preprint arXiv:2510.08523 , year=
-
[79]
The Pinnacle Architecture: Reducing the cost of breaking RSA-2048 to 100 000 physical qubits using quantum LDPC codes , author=. arXiv preprint arXiv:2602.11457 , year=
work page internal anchor Pith review Pith/arXiv arXiv 2048
-
[80]
Shor's algorithm is possible with as few as 10,000 reconfigurable atomic qubits
Shor's algorithm is possible with as few as 10,000 reconfigurable atomic qubits , author=. arXiv preprint arXiv:2603.28627 , year=
work page internal anchor Pith review Pith/arXiv arXiv
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.