Optimized Clifford Noise Reduction: Theory, Simulations and Experiments
IonQ Inc.
| Published: | 2025-08-27, volume 9, page 1829 |
| Editor: | Alioscia Hamma |
| Eprint: | arXiv:2504.13356v2 |
| Doi: | https://doi.org/10.22331/q-2025-08-27-1829 |
| Citation: | Quantum 9, 1829 (2025). |
Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.
Abstract
We propose several optimizations of the CliNR partial error correction scheme which implements Clifford circuits by consuming a resource state. Errors are corrected by measuring a sequence of Pauli operators that we refer to as the verification sequence. We first propose a global optimization algorithm searching for a verification sequence resulting in a low logical error rate using tabu search. Then, we introduce a proxy for the logical error rate which is easier to evaluate and we design a two-step optimization algorithm. First, a verification sequence minimizing the proxy is computed, then this sequence is refined by reintroducing the logical error rate. Finally, we identify a large group of automorphisms of the search space which preserve the proxy and we use this symmetry to reduce the size of the search space. This results in a 168 $\times$ (respectively 20,160 $\times$) reduction of the size of the search space for the optimization of verification sequences with three (respectively four) Pauli operators. Our numerical simulations for 20-qubit Clifford circuits with size 400 under the ion chain model show that our optimization algorithms improve the performance of CliNR by 25% and that the two-step optimization achieves the same results as the global optimization with 64% fewer evaluations of the logical error rate. Finally, we perform experiments on a 36-qubit trapped ion quantum computer, without mid-circuit measurements, showing that the CZNR variant of CliNR is at breakeven.

Featured image: Comparing performance of optimized vs unoptimized CliNR and direct non-CliNR circuit implementations.
► BibTeX data
► References
[1] Sara Bartolucci, Patrick Birchall, Hector Bombin, Hugo Cable, Chris Dawson, Mercedes Gimeno-Segovia, Eric Johnston, Konrad Kieling, Naomi Nickerson, Mihir Pant, et al. Fusion-based quantum computation. Nature Communications, 14 (1): 912, 2023. https://doi.org/10.1038/s41467-023-36493-1.
https://doi.org/10.1038/s41467-023-36493-1
[2] Thomas Bendokat, Ralf Zimmermann, and P-A Absil. A grassmann manifold handbook: Basic geometry and computational aspects. Advances in Computational Mathematics, 50 (1): 6, 2024. https://doi.org/10.1007/s10444-023-10090-8.
https://doi.org/10.1007/s10444-023-10090-8
[3] Sergey Bravyi and Alexei Kitaev. Universal quantum computation with ideal clifford gates and noisy ancillas. Physical Review A—Atomic, Molecular, and Optical Physics, 71 (2): 022316, 2005. http://doi.org/10.1103/PhysRevA.71.022316.
https://doi.org/10.1103/PhysRevA.71.022316
[4] Sergey Bravyi and Dmitri Maslov. Hadamard-free circuits expose the structure of the clifford group. IEEE Transactions on Information Theory, 67 (7): 4546–4563, 2021. http://doi.org/10.1109/TIT.2021.3081415.
https://doi.org/10.1109/TIT.2021.3081415
[5] Hans J Briegel, David E Browne, Wolfgang Dür, Robert Raussendorf, and Maarten Van den Nest. Measurement-based quantum computation. Nature Physics, 5 (1): 19–26, 2009. https://doi.org/10.1038/nphys1157.
https://doi.org/10.1038/nphys1157
[6] Jwo-Sy Chen, Erik Nielsen, Matthew Ebert, Volkan Inlek, Kenneth Wright, Vandiver Chaplin, Andrii Maksymov, Eduardo Páez, Amrit Poudel, Peter Maunz, et al. Benchmarking a trapped-ion quantum computer with 30 qubits. Quantum, 8: 1516, 2024. https://doi.org/10.22331/q-2024-11-07-1516.
https://doi.org/10.22331/q-2024-11-07-1516
[7] Dripto M Debroy and Kenneth R Brown. Extended flag gadgets for low-overhead circuit verification. Physical Review A, 102 (5): 052409, 2020. http://doi.org/10.1103/PhysRevA.102.052409.
https://doi.org/10.1103/PhysRevA.102.052409
[8] Nicolas Delfosse and Ben W Reichardt. Short shor-style syndrome sequences. arXiv preprint arXiv:2008.05051, 2020. https://doi.org/10.48550/arXiv.2008.05051.
https://doi.org/10.48550/arXiv.2008.05051
arXiv:2008.05051
[9] Nicolas Delfosse and Edwin Tham. Low-cost noise reduction for clifford circuits. arXiv preprint arXiv:2407.06583, 2024. http://doi.org/10.1103/PhysRevLett.134.090603.
https://doi.org/10.1103/PhysRevLett.134.090603
arXiv:2407.06583
[10] Craig Gidney. Stim: a fast stabilizer circuit simulator. Quantum, 5: 497, 2021. https://doi.org/10.22331/q-2021-07-06-497.
https://doi.org/10.22331/q-2021-07-06-497
[11] Fred Glover. Future paths for integer programming and links to artificial intelligence. Computers & Operations Research, 13 (5): 533–549, 1986. https://doi.org/10.1016/0305-0548(86)90048-1. Applications of Integer Programming.
https://doi.org/10.1016/0305-0548(86)90048-1
[12] Fred Glover. Tabu search—part i. ORSA Journal on computing, 1 (3): 190–206, 1989. https://doi.org/10.1287/ijoc.1.3.190.
https://doi.org/10.1287/ijoc.1.3.190
[13] Daniel Gottesman. Stabilizer codes and quantum error correction. California Institute of Technology, 1997.
[14] Daniel Gottesman. The Heisenberg representation of quantum computers. arXiv preprint quant-ph/9807006, 1998. https://doi.org/10.48550/arXiv.quant-ph/9807006.
https://doi.org/10.48550/arXiv.quant-ph/9807006
arXiv:quant-ph/9807006
[15] Daniel Gottesman and Isaac L. Chuang. Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations. Nature, 402 (6760): 390–393, November 1999. ISSN 1476-4687. https://doi.org/10.1038/46503.
https://doi.org/10.1038/46503
[16] Emanuel Knill. Quantum computing with realistically noisy devices. Nature, 434 (7029): 39–44, 2005. https://doi.org/10.1038/nature03350.
https://doi.org/10.1038/nature03350
[17] Simon Martiel and Ali Javadi-Abhari. Low-overhead error detection with spacetime codes. arXiv preprint arXiv:2504.15725, 2025. https://doi.org/10.48550/arXiv.2504.15725.
https://doi.org/10.48550/arXiv.2504.15725
arXiv:2504.15725
[18] John Preskill. Beyond NISQ: The Megaquop Machine. ACM Transactions on Quantum Computing, 6 (3), April 2025. https://doi.org/10.1145/3723153.
https://doi.org/10.1145/3723153
[19] Robert Raussendorf and Hans J Briegel. A one-way quantum computer. Physical review letters, 86 (22): 5188, 2001. https://doi.org/10.1103/PhysRevLett.86.5188.
https://doi.org/10.1103/PhysRevLett.86.5188
[20] Joschka Roffe, David Headley, Nicholas Chancellor, Dominic Horsman, and Viv Kendon. Protecting quantum memories using coherent parity check codes. Quantum Science and Technology, 3 (3): 035010, 2018. http://doi.org/10.1088/2058-9565/aac64e.
https://doi.org/10.1088/2058-9565/aac64e
[21] Peter W Shor. Fault-tolerant quantum computation. In Proceedings of 37th conference on foundations of computer science, pages 56–65. IEEE, 1996. https://doi.org/10.1109/SFCS.1996.548464.
https://doi.org/10.1109/SFCS.1996.548464
[22] Andrew M Steane. Active stabilization, quantum computation, and quantum state synthesis. Physical Review Letters, 78 (11): 2252, 1997. https://doi.org/10.1103/PhysRevLett.78.2252.
https://doi.org/10.1103/PhysRevLett.78.2252
[23] Theerapat Tansuwannont, Balint Pato, and Kenneth R Brown. Adaptive syndrome measurements for shor-style error correction. Quantum, 7: 1075, 2023. https://doi.org/10.22331/q-2023-08-08-1075.
https://doi.org/10.22331/q-2023-08-08-1075
[24] Ewout van den Berg, Sergey Bravyi, Jay M Gambetta, Petar Jurcevic, Dmitri Maslov, and Kristan Temme. Single-shot error mitigation by coherent pauli checks. Physical Review Research, 5 (3): 033193, 2023. https://doi.org/10.1103/PhysRevResearch.5.033193.
https://doi.org/10.1103/PhysRevResearch.5.033193
[25] Min Ye and Nicolas Delfosse. Quantum error correction for long chains of trapped ions. arXiv preprint arXiv:2503.22071, 2025. https://doi.org/10.48550/arXiv.2503.22071.
https://doi.org/10.48550/arXiv.2503.22071
arXiv:2503.22071
Cited by
[1] Victor V. Albert and Philippe Faist, "Handbook of Error-Correcting Codes", arXiv:2606.11484, (2026).
[2] James Brown, Jason Iaconis, Yuri Alexeev, Linta Joseph, Spencer Churchill, Kenny Heitritter, William Aguilar-Calvo, Martin Roetteler, and Martin Suchara, "Mid-Circuit Measurements for Clifford Noise Reduction in Hamiltonian Simulations", arXiv:2605.06792, (2026).
[3] Aharon Brodutch, Gregory Baimetov, Edwin Tham, and Nicolas Delfosse, "Recursive Clifford noise reduction", arXiv:2511.22624, (2025).
The above citations are from SAO/NASA ADS (last updated successfully 2026-07-15 12:27:25). The list may be incomplete as not all publishers provide suitable and complete citation data.
On Crossref's cited-by service no data on citing works was found (last attempt 2026-07-15 12:27:24).
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.