Optimized Clifford Noise Reduction: Theory, Simulations and Experiments

Edwin Tham and Nicolas Delfosse

IonQ Inc.

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.

► 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).