Recognition: unknown
Co-Designing Error Mitigation and Error Detection for Logical Qubits
Pith reviewed 2026-05-10 02:35 UTC · model grok-4.3
The pith
Co-designing error detection intervals and steady-state extraction with probabilistic error cancellation delivers 2-11x lower errors on logical qubits than physical-qubit cancellation alone.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that naive integration of QED and PEC actually worsens accuracy below the QED-only baseline because transient errors in the initial detection cycle bias PEC's noise model. The authors solve this by deriving an efficiency condition for the QED interval that shows canonical one-cycle-per-gate insertion fails to break even while optimized intervals succeed on high-rate Iceberg codes, and by developing steady-state extraction to isolate steady-state error profiles. With these co-design elements, PEC+QED on a [[6,4,2]] Iceberg code running QAOA (p=4-8) under fixed shot budget achieves 2-11x lower absolute error and up to 31x lower MSE than PEC alone on physical qubits, with a
What carries the argument
The QED interval, a tunable parameter controlling detection-cycle frequency, paired with the steady-state extraction protocol that removes transient bias from the noise model used by probabilistic error cancellation.
If this is right
- Optimized QED intervals on high-rate codes achieve efficiency break-even where the canonical one-cycle-per-gate frequency does not.
- Steady-state extraction reduces noise-model estimation bias by up to 10.2 times compared with naive characterization.
- Per-interval savings from the co-design compound as the number of intervals grows with circuit depth.
- The combined PEC+QED approach yields lower absolute error and MSE than applying probabilistic error cancellation directly to physical qubits under the same shot budget.
Where Pith is reading between the lines
- The co-design framework could be applied to other variational algorithms to lower the shot counts required for convergence on noisy hardware.
- Hardware control systems might incorporate programmable detection frequencies to enable per-workload optimization of the efficiency condition.
- Characterizing transient versus steady-state noise separately may prove useful for other logical-qubit error-management strategies beyond the Iceberg code.
Load-bearing premise
The load-bearing premise is that steady-state extraction removes transient error bias from the first detection cycle without adding new modeling errors, and that the derived efficiency condition for QED intervals continues to hold under realistic hardware noise beyond the evaluated codes.
What would settle it
Executing the [[6,4,2]] Iceberg code on actual hardware with the co-designed PEC+QED protocol and checking whether the reported 2-11x error reduction and up to 31x MSE improvement appear, or whether the optimized intervals fail to meet the predicted efficiency break-even under measured device noise.
Figures
read the original abstract
Near-term quantum workloads demand error management, yet the two lightest-weight techniques, Quantum Error Detection (QED) and Probabilistic Error Cancellation (PEC), have complementary cost profiles whose joint architectural design space remains unexplored. QED encodes logical qubits and discards error-flagged runs, filtering noise with low qubit overhead but leaving residual errors; PEC can correct these in software, but at exponential cost in noise strength. If QED efficiently reduces per-gate noise, PEC's cost savings can outweigh QED's discard overhead; realizing this, however, requires solving two system-level design challenges. First, the \textit{QED interval} -- how often detection cycles are inserted -- is a tunable architectural parameter governing the cost-accuracy tradeoff. We derive an efficiency condition and show that the canonical one-cycle-per-gate frequency does not achieve break-even in any code we evaluate, while optimized intervals on high-rate Iceberg codes do. Second, we discover that naive PEC+QED integration \textit{degrades} accuracy below the QED-only baseline. The root cause is a transient error profile in the first detection cycle that corrupts PEC's noise model. We develop \textit{steady-state extraction}, a co-designed characterization protocol that isolates steady-state error behavior, reducing estimation bias by up to $10.2\times$. On a $[[6,4,2]]$ Iceberg code running QAOA ($p{=}4$--$8$) with a fixed shot budget, PEC+QED achieves $2$--$11\times$ lower absolute error and up to $31\times$ lower MSE versus PEC on physical qubits, with per-interval savings compounding over interval depth.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that co-designing Quantum Error Detection (QED) with Probabilistic Error Cancellation (PEC) for logical qubits yields practical gains. It derives an efficiency condition showing that the canonical one-cycle-per-gate QED frequency fails to break even in evaluated codes while optimized intervals on high-rate Iceberg codes succeed; identifies that naive PEC+QED integration degrades accuracy due to transient errors in the first detection cycle; introduces a steady-state extraction characterization protocol that reduces estimation bias by up to 10.2×; and reports that, on a [[6,4,2]] Iceberg code executing QAOA (p=4–8) under fixed shot budget, the combined approach achieves 2–11× lower absolute error and up to 31× lower MSE versus PEC on physical qubits, with per-interval savings compounding over depth.
Significance. If the efficiency condition and steady-state extraction hold under realistic hardware noise, the work demonstrates a concrete architectural tradeoff space for combining low-overhead detection with software mitigation, showing that QED can reduce effective noise strength enough for PEC cost savings to dominate discard overhead. The reported compounding gains on an Iceberg code for QAOA provide a falsifiable benchmark for near-term logical-qubit error management.
major comments (3)
- [§3] §3 (efficiency condition derivation): The condition is stated to be derived from cost-accuracy tradeoffs, yet it depends on noise-strength parameters fitted from characterization runs (free parameters include QED interval length and PEC noise strengths); this makes the claim that canonical one-cycle-per-gate never breaks even while optimized Iceberg intervals do sensitive to the specific noise model and potentially circular with the same characterization data used later for PEC.
- [§4] §4 (steady-state extraction protocol): The protocol is presented as isolating steady-state error behavior after the first detection cycle to remove transient bias (up to 10.2× reduction) without introducing new modeling error; however, this rests on the unverified assumption that error statistics become stationary immediately after the initial round. If hardware noise is non-stationary or exhibits temporal correlations, the extracted model remains biased and the reported 2–11× absolute-error and 31× MSE gains versus physical-qubit PEC cannot be guaranteed to compound as claimed.
- [§5–6] §5–6 (experimental results on [[6,4,2]] Iceberg + QAOA p=4–8): The absolute-error and MSE improvements are reported under a fixed shot budget, but without visible error bars, multiple noise realizations, or ablation of the stationarity assumption, it is unclear whether the gains are robust or specific to the evaluated noise model; this is load-bearing for the central claim that co-design outperforms both baselines.
minor comments (2)
- Notation for the QED interval length and the precise definition of 'steady-state extraction' could be introduced earlier with a clear equation or pseudocode to aid readers.
- Figure captions should explicitly state the number of shots, interval depths, and whether error bars represent standard deviation over shots or over noise realizations.
Simulated Author's Rebuttal
We thank the referee for the constructive comments, which help clarify the scope and robustness of our co-design results. We address each major point below with clarifications on the derivations and protocols, and we indicate revisions that will be incorporated to strengthen the presentation and analysis.
read point-by-point responses
-
Referee: [§3] §3 (efficiency condition derivation): The condition is stated to be derived from cost-accuracy tradeoffs, yet it depends on noise-strength parameters fitted from characterization runs (free parameters include QED interval length and PEC noise strengths); this makes the claim that canonical one-cycle-per-gate never breaks even while optimized Iceberg intervals do sensitive to the specific noise model and potentially circular with the same characterization data used later for PEC.
Authors: The efficiency condition is derived analytically from the general tradeoff between QED discard overhead and the resulting reduction in effective per-gate noise strength that lowers PEC sampling cost. Noise-strength parameters are obtained from independent characterization runs that fit the underlying physical noise model; these runs are separate from the PEC estimation experiments that apply the model to the QAOA circuit. The QED interval is an explicit architectural design choice that we optimize over, not a fitted parameter from the PEC data. The claim that canonical one-cycle-per-gate fails to break even while optimized Iceberg intervals succeed holds across the evaluated noise strengths. To address sensitivity concerns, we will add a supplementary analysis showing how the break-even threshold varies with noise strength and code rate in the revised manuscript. revision: partial
-
Referee: [§4] §4 (steady-state extraction protocol): The protocol is presented as isolating steady-state error behavior after the first detection cycle to remove transient bias (up to 10.2× reduction) without introducing new modeling error; however, this rests on the unverified assumption that error statistics become stationary immediately after the initial round. If hardware noise is non-stationary or exhibits temporal correlations, the extracted model remains biased and the reported 2–11× absolute-error and 31× MSE gains versus physical-qubit PEC cannot be guaranteed to compound as claimed.
Authors: The steady-state extraction protocol exploits the fact that, under standard Markovian noise models used in our simulations, the error distribution reaches stationarity after the first detection cycle; the transient bias is isolated by discarding the initial cycle's statistics. This is consistent with common assumptions in quantum error modeling and is verified in our depolarizing-noise simulations, where the bias reduction reaches 10.2×. We acknowledge that strongly non-stationary hardware noise or long temporal correlations could violate the assumption. In the revision we will expand the discussion of this modeling assumption, add simulations under time-correlated noise to quantify robustness, and note that the reported gains are demonstrated under the stationary regime typical of near-term device models. revision: partial
-
Referee: [§5–6] §5–6 (experimental results on [[6,4,2]] Iceberg + QAOA p=4–8): The absolute-error and MSE improvements are reported under a fixed shot budget, but without visible error bars, multiple noise realizations, or ablation of the stationarity assumption, it is unclear whether the gains are robust or specific to the evaluated noise model; this is load-bearing for the central claim that co-design outperforms both baselines.
Authors: The reported 2–11× absolute-error reduction and up to 31× MSE improvement are obtained from Monte Carlo simulations under a fixed depolarizing noise model and shot budget. We agree that statistical error bars, multiple independent noise realizations, and an explicit ablation of the stationarity assumption would strengthen the results. In the revised manuscript we will include error bars computed over repeated runs, results from multiple noise realizations, and an ablation study that varies the stationarity cutoff to demonstrate that the compounding gains remain consistent when the steady-state extraction protocol is applied. revision: yes
Circularity Check
Derivation chain is self-contained with no circular reductions.
full rationale
The paper derives an efficiency condition for QED intervals and introduces steady-state extraction to handle transient bias in PEC integration. These are framed as solutions to system-level challenges, with performance claims backed by explicit evaluations on the [[6,4,2]] Iceberg code running QAOA (p=4-8) under fixed shot budget. No equations, protocols, or steps in the provided text reduce by construction to fitted inputs, self-definitions, or self-citation chains; the efficiency condition and bias reduction (up to 10.2×) are presented as independently testable outcomes rather than tautological renamings or predictions forced by the same data used for validation.
Axiom & Free-Parameter Ledger
free parameters (2)
- QED interval length
- Noise strength parameters in PEC model
axioms (1)
- domain assumption Standard depolarizing or Pauli noise models for gates and measurements
invented entities (1)
-
Steady-state extraction protocol
no independent evidence
Forward citations
Cited by 1 Pith paper
-
Zeno-Enhanced Probabilistic Error Cancellation with Quantum Error Detection Codes
Using post-selection to map physical noise to a weaker accepted logical channel and then applying order-K perturbative PEC reduces sampling overhead by 3-4 orders of magnitude for logical GHZ preparation on up to 200 ...
Reference graph
Works this paper leans on
-
[1]
False Negatives.Errors that occur within the QED circuit can escape detection, causing increased post- selected error
-
[2]
slow” modes with eigenvalues 1−O(p), and 2n−2k “fast
False Positives.These are discarded shots that ac- tually contained no error, which can occur due to both er- rors on the ancilla qubit during syndrome extraction and measurement errors during post-selection, as described in Appendix B. These effects degradeϵ ℓ andp rej from the code- capacity model. To determine whether realistic codes achieve advantage ...
-
[3]
F ull T ransition Matrix Construction To trace the origin of the position-dependent behav- ior, we need a framework that tracks how quantum state populations evolve through successive QED cycles. We model each noisy QED cycle as a stochastic process on Hilbert-space basis states, constructing a transition matrix whose spectral properties will reveal the t...
-
[4]
slow” modes with eigenvalues 1−O(p), and 2n−2k “fast
Eigenstructure Derivation In the noiseless limit (p→0), the absorbing reduc- tion ofT 0 has spectrumσ(T abs 0 ) ={1, . . . ,1} 2k+1 ∪ {0, . . . ,0}2n−2k, where the eigenvalues of 1 correspond to the 2k logical states plus the absorbing reject state, and the zero eigenvalues correspond to leakage states elimi- nated in one cycle. For small but nonzero erro...
-
[5]
This is possible due to the symmetric nature of the [[4,2,2]] code; any leakage state is equidistant from all logical states, and vice versa
Basis-State Reduction for the[[4,2,2]]Code For the [[4,2,2]] code, we perform an additional reduc- tion on the basis states of the Hilbert space, classifying states into four classes: detected error states (C 0), the correct logical state (C 1), incorrect logical states (C 2), and undetected leakage states (C 3). This is possible due to the symmetric natu...
-
[6]
Quantum Computing in the NISQ era and beyond,
J. Preskill, Quantum2, 79 (2018), arXiv:1801.00862
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [7]
- [8]
-
[9]
P. Aliferis, D. Gottesman, and J. Preskill, Quantum In- formation and Computation8, 181 (2008), arXiv:quant- ph/0703264
-
[10]
D. Gottesman, arXiv preprint arXiv:1610.03507 10.48550/arXiv.1610.03507 (2016), arXiv:1610.03507
-
[11]
Error mitigation for short-depth quantum circuits
K. Temme, S. Bravyi, and J. M. Gambetta, Physical Re- view Letters119, 180509 (2017), arXiv:1612.02058
work page Pith review arXiv 2017
-
[12]
S. Endo, S. C. Benjamin, and Y. Li, Physical Review X 8, 031027 (2018)
2018
-
[13]
Z. He, D. Amaro, R. Shaydulin, and M. Pistoia, Com- munications Physics8, 217 (2025)
2025
- [14]
-
[15]
Demonstration of a Logical Architecture Uniting Motion and In-Place Entanglement
R. Rines, B. Hall, M. H. Teo, J. Viszlai, D. C. Cole, D. Mason, C. Barker, M. J. Bedalov, M. Blakely, T. Both- well,et al., arXiv preprint arXiv:2509.13247 (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[16]
N. M. Linke, M. Gutierrez, K. A. Landsman, C. Figgatt, S. Debnath, K. R. Brown, and C. Monroe, Science Ad- vances3, e1701074 (2017)
2017
-
[17]
Vuillot, Quantum Information and Computation18, 949 (2018), arXiv:1705.08957
C. Vuillot, Quantum Information and Computation18, 949 (2018), arXiv:1705.08957
-
[18]
Van Den Berg, Z
E. Van Den Berg, Z. K. Minev, A. Kandala, and K. Temme, Nature Physics19, 1116 (2023)
2023
-
[19]
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 (1997)
1997
-
[20]
C. N. Self, M. Benedetti, and D. Amaro, Nature Physics 20, 219 (2024)
2024
-
[21]
Y. Jin, Z. He, T. Hao, D. Amaro, S. Tannu, R. Shay- dulin, and M. Pistoia, arXiv preprint arXiv:2504.21172 10.48550/arXiv.2504.21172 (2025), arXiv:2504.21172
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2504.21172 2025
-
[22]
Z. Cai, R. Babbush, S. C. Benjamin, S. Endo, W. J. Hug- gins, Y. Li, J. R. McClean, and T. E. O’Brien, Reviews of Modern Physics95, 045005 (2023)
2023
-
[23]
Peruzzo, J
A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O’Brien, Nature Communications5, 4213 (2014)
2014
-
[24]
J. R. McClean, J. Romero, R. Babbush, and A. Aspuru- Guzik, New Journal of Physics18, 023023 (2016)
2016
-
[25]
Kandala, A
A. Kandala, A. Mezzacapo, K. Temme, M. Takita, M. Brink, J. M. Chow, and J. M. Gambetta, Nature549, 242 (2017)
2017
-
[26]
A Quantum Approximate Optimization Algorithm
E. Farhi, J. Goldstone, and S. Gutmann, A quan- tum approximate optimization algorithm (2014), arXiv:1411.4028 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [27]
-
[28]
Mitarai, M
K. Mitarai, M. Negoro, K. Kitagawa, and K. Fujii, Phys- 15 ical Review A98, 032309 (2018)
2018
-
[29]
Classification with Quantum Neural Networks on Near Term Processors
E. Farhi and H. Neven, Classification with quan- tum neural networks on near term processors (2018), arXiv:1802.06002 [quant-ph]
work page Pith review arXiv 2018
-
[30]
Havlicek, A
V. Havlicek, A. D. Corcoles, K. Temme, A. W. Harrow, A. Kandala, J. M. Chow, and J. M. Gambetta, Nature 567, 209 (2019)
2019
-
[31]
Nielsen, R
E. Nielsen, R. Blume-Kohout, K. Rudinger, T. Proctor, M. Sarovar, K. Young, and S. Merkel, Quantum5, 557 (2021)
2021
-
[32]
S. T. Merkel, J. M. Gambetta, J. A. Smolin, S. Poletto, A. D. C´ orcoles, B. R. Johnson, C. A. Ryan, and M. Stef- fen, Physical Review A87, 062119 (2013)
2013
-
[33]
I. L. Chuang and M. A. Nielsen, Journal of Modern Op- tics44, 2455 (1997)
1997
-
[34]
Combining Error Detection and Mitigation: A Hybrid Protocol for Near-Term Quantum Simulation,
D. Zhong, W. Munizzi, H. Chen, and W. A. de Jong, arXiv preprint arXiv:2510.01181 10.48550/arXiv.2510.01181 (2025), arXiv:2510.01181
-
[35]
C. Gidney, Quantum5, 497 (2021), arXiv:2103.02202
-
[36]
Google Quantum AI and Collaborators, Nature638, 920 (2025)
2025
-
[37]
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., Nature626, 58 (2024)
2024
-
[38]
Helios: A 98-qubit trapped-ion quantum computer
A. Ransford, M. Allman, J. Arkinstall, J. Cam- pora III, S. F. Cooper, R. D. Delaney, J. M. Dreiling, B. Estey, C. Figgatt, A. Hall,et al., arXiv preprint arXiv:2511.05465 (2025)
work page internal anchor Pith review arXiv 2025
-
[39]
F. L. Bauer and C. T. Fike, Numerische Mathematik2, 137 (1960)
1960
-
[40]
Seneta,Non-negative Matrices and Markov Chains (Springer, 1981)
E. Seneta,Non-negative Matrices and Markov Chains (Springer, 1981)
1981
- [41]
-
[42]
D. Qin, Y. Li, and Y. Zhou, arXiv preprint arXiv:2510.20686 10.48550/arXiv.2510.20686 (2025), arXiv:2510.20686
-
[43]
J. Combes, C. Granade, C. Ferrie, and S. T. Flam- mia, arXiv preprint 10.48550/arXiv.1702.03688 (2017), arXiv:1702.03688
-
[44]
Cirq Developers, Cirq (2024), see full list of contributors on GitHub
2024
-
[45]
P. Niroula, M. Liu, S. Omanakuttan, D. Amaro, S. Chakrabarti, S. Ghosh, Z. He, Y. Jin, F. Kaleoglu, S. Kordonowy,et al., arXiv preprint arXiv:2602.04859 (2026)
- [46]
-
[47]
A. Kwiatkowski, A. J. Friedman, S. Geller, J. A. Ziyad, S. Glancy, and E. Knill, arXiv preprint arXiv:2509.16887 10.48550/arXiv.2509.16887 (2025), arXiv:2509.16887
- [48]
- [49]
-
[50]
Z. Chen, K. J. Satzinger, J. Atalaya, A. N. Korotkov, A. Dunsworth, D. Sank, C. Quintana, M. McEwen, R. Barends, P. V. Klimov,et al., Nature595, 383 (2021)
2021
-
[51]
Google Quantum AI and Collaborators, Nature614, 676 (2023)
2023
-
[52]
Effi- cient soft-output decoders for the surface code,
N. Meister, C. A. Pattison, and J. Preskill, arXiv preprint arXiv:2405.07433 (2024)
-
[53]
S. C. Smith, B. J. Brown, and S. D. Bartlett, Communi- cations Physics7, 386 (2024)
2024
-
[54]
Error mit- igation for logical circuits using decoder confidence,
M. Dinc˘ a, T. Chan, and S. C. Benjamin, arXiv preprint arXiv:2512.15689 (2025)
-
[55]
J. D. Teoh, P. Winkel, H. K. Babla, B. J. Chapman, J. Claes, S. J. de Graaf, J. W. O. Garmon, W. D. Kalfus, Y. Lu, A. Maiti, K. Sahay, N. Thakur, T. Tsunoda, S. H. Xue, L. Frunzio, S. M. Girvin, S. Puri, and R. J. Schoelkopf, Proceedings of the National Academy of Sci- ences of the United States of America120, e2221736120 (2023)
2023
-
[56]
Y. Wu, S. Kolkowitz, S. Puri, and J. D. Thompson, Na- ture Communications13, 4657 (2022)
2022
-
[57]
B. M. Terhal, Reviews of Modern Physics87, 307 (2015)
2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.