Shorter quantum circuits via single-qubit gate approximation

Vadym Kliuchnikov1,2, Kristin Lauter3, Romy Minko4,5, Adam Paetznick1, and Christophe Petit6,7

1Microsoft Quantum, Redmond, WA, US
2Microsoft Quantum, Toronto, ON, CA
3Facebook AI Research, Seattle, WA, US
4University of Oxford, Oxford, UK
5Heilbronn Institute for Mathematical Research, University of Bristol, Bristol, UK
6University of Birmingham, Birmingham, UK
7Université Libre de Bruxelles, Brussels, Belgium

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.

Abstract

We give a novel procedure for approximating general single-qubit unitaries from a finite universal gate set by reducing the problem to a novel magnitude approximation problem, achieving an immediate improvement in sequence length by a factor of 7/9. Extending the works [28] and [15], we show that taking probabilistic mixtures of channels to solve fallback [13] and magnitude approximation problems saves factor of two in approximation costs. In particular, over the Clifford+$\sqrt{\mathrm{T}}$ gate set we achieve an average non-Clifford gate count of $0.23\log_2(1/\varepsilon)+2.13$ and T-count $0.56\log_2(1/\varepsilon)+5.3$ with mixed fallback approximations for diamond norm accuracy $\varepsilon$.
This paper provides a holistic overview of gate approximation, in addition to these new insights. We give an end-to-end procedure for gate approximation for general gate sets related to some quaternion algebras, providing pedagogical examples using common fault-tolerant gate sets (V, Clifford+T and Clifford+$\sqrt{\mathrm{T}}$). We also provide detailed numerical results for Clifford+T and Clifford+$\sqrt{\mathrm{T}}$ gate sets. In an effort to keep the paper self-contained, we include an overview of the relevant algorithms for integer point enumeration and relative norm equation solving. We provide a number of further applications of the magnitude approximation problems, as well as improved algorithms for exact synthesis, in the Appendices.

► BibTeX data

► References

[1] Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C. Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, Fernando G. S. L. Brandao, David A. Buell, Brian Burkett, Yu Chen, Zijun Chen, Ben Chiaro, Roberto Collins, William Courtney, Andrew Dunsworth, Edward Farhi, Brooks Foxen, Austin Fowler, Craig Gidney, Marissa Giustina, Rob Graff, Keith Guerin, Steve Habegger, Matthew P. Harrigan, Michael J. Hartmann, Alan Ho, Markus Hoffmann, Trent Huang, Travis S. Humble, Sergei V. Isakov, Evan Jeffrey, Zhang Jiang, Dvir Kafri, Kostyantyn Kechedzhi, Julian Kelly, Paul V. Klimov, Sergey Knysh, Alexander Korotkov, Fedor Kostritsa, David Landhuis, Mike Lindmark, Erik Lucero, Dmitry Lyakh, Salvatore Mandrà, Jarrod R. McClean, Matthew McEwen, Anthony Megrant, Xiao Mi, Kristel Michielsen, Masoud Mohseni, Josh Mutus, Ofer Naaman, Matthew Neeley, Charles Neill, Murphy Yuezhen Niu, Eric Ostby, Andre Petukhov, John C. Platt, Chris Quintana, Eleanor G. Rieffel, Pedram Roushan, Nicholas C. Rubin, Daniel Sank, Kevin J. Satzinger, Vadim Smelyanskiy, Kevin J. Sung, Matthew D. Trevithick, Amit Vainsencher, Benjamin Villalonga, Theodore White, Z. Jamie Yao, Ping Yeh, Adam Zalcman, Hartmut Neven, and John M. Martinis, ``Quantum supremacy using a programmable superconducting processor'' Nature 574, 505-510 (2019).
https:/​/​doi.org/​10.1038/​s41586-019-1666-5

[2] Wojciech Banaszczyk ``Inequalities for convex bodies and polar reciprocal lattices in $R^n$'' Discrete & Computational Geometry 13, 217–231 (1995).
https:/​/​doi.org/​10.1007/​BF02574039

[3] Adriano Barenco, Charles H. Bennett, Richard Cleve, David P. DiVincenzo, Norman Margolus, Peter Shor, Tycho Sleator, John A. Smolin, and Harald Weinfurter, ``Elementary gates for quantum computation'' Physical Review A 52, 3457–3467 (1995).
https:/​/​doi.org/​10.1103/​PhysRevA.52.3457

[4] Andreas Blass, Alex Bocharov, and Yuri Gurevich, ``Optimal ancilla-free Pauli+V circuits for axial rotations'' Journal of Mathematical Physics 56, 122201 (2015).
https:/​/​doi.org/​10.1063/​1.4936990
arXiv:1412.1033

[5] Michael Beverland, Earl Campbell, Mark Howard, and Vadym Kliuchnikov, ``Lower bounds on the non-Clifford resources for quantum computations'' Quantum Science and Technology 5, 035009 (2020).
https:/​/​doi.org/​10.1088/​2058-9565/​ab8963
arXiv:1904.01124

[6] Michael E. Beverland, Prakash Murali, Matthias Troyer, Krysta M. Svore, Torsten Hoefler, Vadym Kliuchnikov, Guang Hao Low, Mathias Soeken, Aarthi Sundaram, and Alexander Vaschillo, ``Assessing requirements to scale to practical quantum advantage'' (2022).
https:/​/​doi.org/​10.48550/​arXiv.2211.07629
arXiv:2211.07629

[7] Jean Bourgainand Alex Gamburd ``A Spectral Gap Theorem in SU$(d)$'' Journal of the European Mathematical Society 14, 1455–1511 (2012).
https:/​/​doi.org/​10.4171/​JEMS/​337

[8] Alex Bocharov, Yuri Gurevich, and Krysta M. Svore, ``Efficient Decomposition of Single-Qubit Gates into V Basis Circuits'' Physical Review A 88, 1–13 (2013).
https:/​/​doi.org/​10.1103/​PhysRevA.88.012313
arXiv:1303.1411

[9] Sergey Bravyiand Alexei Kitaev ``Universal quantum computation with ideal Clifford gates and noisy ancillas'' Phys. Rev. A 71, 022316 (2005).
https:/​/​doi.org/​10.1103/​PhysRevA.71.022316

[10] Sergey Bravyiand Robert König ``Classification of Topologically Protected Gates for Local Stabilizer Codes'' Phys. Rev. Lett. 110, 170503 (2013).
https:/​/​doi.org/​10.1103/​PhysRevLett.110.170503

[11] Michael E. Beverland, Aleksander Kubica, and Krysta M. Svore, ``Cost of Universality: A Comparative Study of the Overhead of State Distillation and Code Switching with Color Codes'' PRX Quantum 2, 020341 (2021).
https:/​/​doi.org/​10.1103/​PRXQuantum.2.020341

[12] Alex Bocharov, Martin Roetteler, and Krysta M Svore, ``Efficient Synthesis of Universal Repeat-Until-Success Quantum Circuits'' Physical Review Letters 114, 080502 (2015).
https:/​/​doi.org/​10.1103/​PhysRevLett.114.080502
arXiv:1404.5320

[13] Alex Bocharov, Martin Roetteler, and Krysta M. Svore, ``Efficient synthesis of probabilistic quantum circuits with fallback'' Physical Review A 91, 052317 (2015).
https:/​/​doi.org/​10.1103/​PhysRevA.91.052317
arXiv:1409.3552

[14] Vera von Burg, Guang Hao Low, Thomas Häner, Damian S. Steiger, Markus Reiher, Martin Roetteler, and Matthias Troyer, ``Quantum computing enhanced computational catalysis'' Phys. Rev. Research 3, 033055 (2021).
https:/​/​doi.org/​10.1103/​PhysRevResearch.3.033055

[15] Earl Campbell ``Shorter gate sequences for quantum computing by mixing unitaries'' Physical Review A 95 (2017).
https:/​/​doi.org/​10.1103/​PhysRevA.95.042306
arXiv:1612.02689

[16] Andrew M. Childs, Yuan Su, Minh C. Tran, Nathan Wiebe, and Shuchen Zhu, ``Theory of Trotter Error with Commutator Scaling'' Phys. Rev. X 11, 011020 (2021).
https:/​/​doi.org/​10.1103/​PhysRevX.11.011020

[17] Denis X. Charles, Kristin E. Lauter, and Eyal Z. Goren, ``Cryptographic Hash Functions from Expander Graphs'' Journal of Cryptology 22, 93–113 (2009).
https:/​/​doi.org/​10.1007/​s00145-007-9002-x

[18] Henri Cohen ``Advanced Topics in Computional Number Theory'' Springer New York (2000).
https:/​/​doi.org/​10.1007/​978-1-4419-8489-0

[19] Henri Cohen ``A Course in Computational Algebraic Number Theory'' Springer Berlin Heidelberg (1993).
https:/​/​doi.org/​10.1007/​978-3-662-02945-9

[20] Shorter Quantum Circuits Dataset (2023).
https:/​/​azure-quantum-notebooks.azurefd.net/​publicdata/​shorter-quantum-circuits-dataset.tar

[21] Bryan Eastinand Emanuel Knill ``Restrictions on Transversal Encoded Quantum Gate Sets'' Phys. Rev. Lett. 102, 110502 (2009).
https:/​/​doi.org/​10.1103/​PhysRevLett.102.110502

[22] Simon Forest, David Gosset, Vadym Kliuchnikov, and David McKinnon, ``Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets'' Journal of Mathematical Physics 56, 082201 (2015).
https:/​/​doi.org/​10.1063/​1.4927100

[23] Daniel Gottesmanand Isaac L. Chuang ``Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations'' Nature 402, 390–393 (1999).
https:/​/​doi.org/​10.1038/​46503

[24] Craig Gidneyand Austin G. Fowler ``Efficient magic state factories with a catalyzed $|CCZ⟩$ to $2|T⟩$ transformation'' Quantum 3, 135 (2019).
https:/​/​doi.org/​10.22331/​q-2019-04-30-135

[25] Joachim von zur Gathenand Jürgen Gerhard ``Modern Computer Algebra'' Cambridge University Press (2013).
https:/​/​doi.org/​10.1017/​CBO9781139856065

[26] Craig Gidney ``Halving the cost of quantum addition'' Quantum 2, 74 (2018).
https:/​/​doi.org/​10.22331/​q-2018-06-18-74

[27] David Gosset, Vadym Kliuchnikov, Michele Mosca, and Vincent Russo, ``An Algorithm for the T-Count'' Quantum Info. Comput. 14, 1261–1276 (2014).
https:/​/​doi.org/​10.48550/​arXiv.1308.4134

[28] Matthew B. Hastings ``Turning gate synthesis errors into incoherent errors'' Quantum Information and Computation 17, 488–494 (2017).
https:/​/​doi.org/​10.48550/​arXiv.1612.01011
arXiv:1612.01011

[29] Aram W. Harrow, Benjamin Recht, and Isaac L. Chuang, ``Efficient discrete approximations of quantum gates'' Journal of Mathematical Physics 43, 4445–4451 (2002).
https:/​/​doi.org/​10.1063/​1.1495899

[30] Kenneth Irelandand Michael Rosen ``A Classical Introduction to Modern Number Theory'' Springer New York (1990).
https:/​/​doi.org/​10.1007/​978-1-4757-2103-4

[31] Raban Iten, Roger Colbeck, Ivan Kukuljan, Jonathan Home, and Matthias Christandl, ``Quantum circuits for isometries'' Phys. Rev. A 93, 032318 (2016).
https:/​/​doi.org/​10.1103/​PhysRevA.93.032318

[32] Raban Iten, Oliver Reardon-Smith, Emanuel Malvetti, Luca Mondada, Gabrielle Pauvert, Ethan Redmond, Ravjot Singh Kohli, and Roger Colbeck, ``Introduction to UniversalQCompiler'' (2021).
https:/​/​doi.org/​10.48550/​arXiv.1904.01072
arXiv:1904.01072

[33] Nathaniel Johnston, David W. Kribs, and Vern I. Paulsen, ``Computing Stabilized Norms for Quantum Operations via the Theory of Completely Bounded Maps'' Quantum Info. Comput. 9, 16–35 (2009).
https:/​/​doi.org/​10.48550/​arXiv.0711.3636

[34] Aleksandr Yakovlevich Khinchin ``A quantitative formulation of the approximation theory of Kronecker'' Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 12, 113–122 (1948).

[35] V Kliuchnikov, A Bocharov, M Roetteler, and J Yard, ``A Framework for Approximating Qubit Unitaries'' (2015).
https:/​/​doi.org/​10.48550/​arXiv.1510.03888
arXiv:1510.03888

[36] Phillip Kaye, Raymond Laflamme, and Michele Mosca, ``An Introduction to Quantum Computing'' Oxford University Press (2006).
https:/​/​doi.org/​10.1093/​oso/​9780198570004.001.0001

[37] V Kliuchnikov, D Maslov, and M Mosca, ``Asymptotically Optimal Approximation of Single Qubit Unitaries by Clifford and T Circuits Using a Constant Number of Ancillary Qubits'' Physical Review Letters 110, 190502 (2013).
https:/​/​doi.org/​10.1103/​PhysRevLett.110.190502
arXiv:1212.0822

[38] Vadym Kliuchnikov, Dmitri Maslov, and Michele Mosca, ``Fast and Efficient Exact Synthesis of Single-Qubit Unitaries Generated by Clifford and T Gates'' Quantum Info. Comput. 13, 607–630 (2013).
https:/​/​doi.org/​10.48550/​arXiv.1206.5236

[39] V Kliuchnikovand J Yard ``A framework for exact synthesis'' (2015).
https:/​/​doi.org/​10.48550/​arXiv.1504.04350
arXiv:1504.04350

[40] Guang Hao Lowand Isaac L. Chuang ``Optimal Hamiltonian Simulation by Quantum Signal Processing'' Phys. Rev. Lett. 118, 010501 (2017).
https:/​/​doi.org/​10.1103/​PhysRevLett.118.010501

[41] Franz Lemmermeyer ``The Euclidean algorithm in algebraic number fields'' Expositiones Mathematicae 13, 385–416 (1995).

[42] H. W. Lenstra ``Integer Programming with a Fixed Number of Variables'' Mathematics of Operations Research 8, 538–548 (1983).
https:/​/​doi.org/​10.1287/​moor.8.4.538

[43] Daniel Litinski ``A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery'' Quantum 3, 128 (2019).
https:/​/​doi.org/​10.22331/​q-2019-03-05-128

[44] A. K. Lenstra, H. W. Lenstra, and L. Lovász, ``Factoring polynomials with rational coefficients'' Mathematische Annalen 261, 515–534 (1982).
https:/​/​doi.org/​10.1007/​BF01457454

[45] A. Lubotzky, R. Phillips, and P. Sarnak, ``Ramanujan graphs'' Combinatorica 8, 261–277 (1988).
https:/​/​doi.org/​10.1007/​BF02126799

[46] Easwar Magesan, Jay M. Gambetta, and Joseph Emerson, ``Characterizing quantum gates via randomized benchmarking'' Phys. Rev. A 85, 042311 (2012).
https:/​/​doi.org/​10.1103/​PhysRevA.85.042311

[47] Emanuel Malvetti, Raban Iten, and Roger Colbeck, ``Quantum Circuits for Sparse Isometries'' Quantum 5, 412 (2021).
https:/​/​doi.org/​10.22331/​q-2021-03-15-412

[48] Michael A. Nielsenand Isaac L. Chuang ``Quantum Computation and Quantum Information'' Cambridge University Press (2012).
https:/​/​doi.org/​10.1017/​CBO9780511976667

[49] Shorter Quantum Circuits Notebook (2023).
https:/​/​github.com/​microsoft/​Quantum/​blob/​a57178163b64a060d37603355c8a78571075f679/​samples/​azure-quantum/​shorter-quantum-circuits/​shorter-quantum-circuits-dataset.ipynb

[50] Gabriele Nebe, Eric M. Rains, and Neil J.A. Sloane, ``Real and Complex Clifford Groups'' Springer Berlin Heidelberg (2006).
https:/​/​doi.org/​10.1007/​3-540-30731-1_6

[51] Yunseong Nam, Yuan Su, and Dmitri Maslov, ``Approximate quantum Fourier transform with O(n log(n)) T gates'' npj Quantum Information 6, 26 (2020).
https:/​/​doi.org/​10.1038/​s41534-020-0257-5

[52] Christophe Petit, Kristin Lauter, and Jean-Jacques Quisquater, ``Full Cryptanalysis of LPS and Morgenstern Hash Functions'' (2008).
https:/​/​doi.org/​10.1007/​978-3-540-85855-3_18

[53] Eduardo Carvalho Pintoand Christophe Petit ``Better path-finding algorithms in LPS Ramanujan graphs'' Journal of Mathematical Cryptology 12, 191–202 (2018).
https:/​/​doi.org/​10.1515/​jmc-2017-0051

[54] Adam Paetznickand Krysta M. Svore ``Repeat-until-success: Non-deterministic decomposition of single-qubit unitaries'' Quantum Information and Computation 14, 1277–1301 (2014).
https:/​/​doi.org/​10.48550/​arXiv.1311.1074
arXiv:1311.1074

[55] Ori Parzanchevskiand Peter Sarnak ``Super-Golden-Gates for PU(2)'' Advances in Mathematics 327, 869–901 (2018) Special volume honoring David Kazhdan.
https:/​/​doi.org/​10.1016/​j.aim.2017.06.022

[56] Neil J. Ross ``Optimal Ancilla-Free Clifford+V Approximation of Z-Rotations'' Quantum Info. Comput. 15, 932–950 (2015).
https:/​/​doi.org/​10.48550/​arXiv.1409.4355

[57] Neil J. Rossand Peter Selinger ``Optimal ancilla-free Clifford+T approximation of z-rotations'' Quantum Information & Computation 15, 932–950 (2015).
https:/​/​doi.org/​10.48550/​arXiv.1403.2975
arXiv:1403.2975

[58] Peter Sarnak ``Letter to Aaronson and Pollington on the Solvay-Kitaev Theorem and Golden Gates, 2015''.
http:/​/​publications.ias.edu/​sarnak/​paper/​2637

[59] Naser T Sardari ``Complexity of Strong Approximation on the Sphere'' International Mathematics Research Notices 2021, 13839–13866 (2021).
https:/​/​doi.org/​10.1093/​imrn/​rnz233

[60] Peter Selinger ``Efficient Clifford+T approximation of single-qubit operators'' Quantum Information & Computation 15, 159–180 (2015).
https:/​/​doi.org/​10.48550/​arXiv.1212.6253
arXiv:1212.6253

[61] Zachary Stier private communication (2020).

[62] Jean-Pierre Tillichand Gilles Zémor ``Collisions for the LPS expander graph hash function'' Annual International Conference on the Theory and Applications of Cryptographic Techniques 254–269 (2008).
https:/​/​doi.org/​10.1007/​978-3-540-78967-3_15

[63] John Voight ``Quaternion Algebras'' Springer International Publishing (2021).
https:/​/​doi.org/​10.1007/​978-3-030-56694-4

[64] Lawrence C. Washington ``Introduction to Cyclotomic Fields'' Springer New York (1997).
https:/​/​doi.org/​10.1007/​978-1-4612-1934-7

[65] John Watrous ``The Theory of Quantum Information'' Cambridge University Press (2018).
https:/​/​doi.org/​10.1017/​9781316848142

[66] Paul Websterand Stephen D. Bartlett ``Fault-tolerant quantum gates with defects in topological stabilizer codes'' Phys. Rev. A 102, 022403 (2020).
https:/​/​doi.org/​10.1103/​PhysRevA.102.022403

Cited by

[1] Jakob Günther, Freek Witteveen, Alexander Schmidhuber, Marek Miller, Matthias Christandl, and Aram W. Harrow, "Phase Estimation with Partially Randomized Time Evolution", PRX Quantum 7 2, 020332 (2026).

[2] Angus Kan, Jessica Lemieux, Olga Okrut, and Burak Şahinoğlu, "Optimized quantum algorithms for simulating the Schwinger effect", Physical Review D 113 11, 114503 (2026).

[3] Nobuyuki Yoshioka, Seiseki Akibue, Hayata Morisaki, Kento Tsubouchi, and Yasunari Suzuki, "Error crafting in mixed quantum gate synthesis", npj Quantum Information 11 1, 95 (2025).

[4] Alexandre Fleury, James Brown, Erika Lloyd, Maritza Hernandez, and Isaac H. Kim, "Nonunitary Coupled Cluster Enabled by Midcircuit Measurements on Quantum Computers", Journal of Chemical Theory and Computation 20 24, 10807 (2024).

[5] Nick S. Blunt, György P. Gehér, and Alexandra E. Moylett, "Compilation of a simple chemistry application to quantum error correction primitives", Physical Review Research 6 1, 013325 (2024).

[6] Surabhi Luthra, Alexandra E Moylett, Dan E Browne, and Earl T Campbell, "Unlocking early fault-tolerant quantum computing with mitigated magic dilution", Quantum Science and Technology 10 4, 045066 (2025).

[7] Yutaka Hirano and Keisuke Fujii, 2025 IEEE International Conference on Quantum Computing and Engineering (QCE) 670 (2025) ISBN:979-8-3315-5736-2.

[8] Tenzan Araki, Joseph F. Goodwin, and Bálint Koczor, "Space-time trade-off in networked virtual distillation", Physical Review A 112 4, 042619 (2025).

[9] Abhinav Anand and Kenneth R. Brown, "Stabilizer configuration interaction: Finding molecular subspaces with error detection properties", Physical Review A 112 3, 032421 (2025).

[10] Zhu Sun, Gregory Boyd, Zhenyu Cai, Hamza Jnane, Bálint Koczor, Richard Meister, Romy Minko, Benjamin Pring, Simon C. Benjamin, and Nikitas Stamatopoulos, "Low-depth phase oracle using a parallel piecewise circuit", Physical Review A 111 6, 062420 (2025).

[11] Dmitrii Khitrin, Kenneth R Brown, and Abhinav Anand, "Unbiased observable estimation with approximate channels in fault-tolerant quantum computation", Quantum Science and Technology 11 1, 015034 (2026).

[12] Zhu Sun and Bálint Koczor, "Space and time cost of continuous rotations in surface codes", Quantum Science and Technology 11 2, 025046 (2026).

[13] Lingxuan Feng and Luo Shunlong, "Группы диагональных вентилей в иерархии Клиффорда", Теоретическая и математическая физика 221 3, 477 (2024).

[14] Alexander Kunitsa, Diksha Dhawan, Stepan Fomichev, Juan Miguel Arrazola, Minghao Zhang, and Torin F. Stetina, "Quantum simulation of electron energy loss spectroscopy for battery materials", The Journal of Chemical Physics 163 24, 244110 (2025).

[15] Seiseki Akibue, Go Kato, and Seiichiro Tani, "Probabilistic state synthesis based on optimal convex approximation", npj Quantum Information 10 1, 3 (2024).

[16] Angus Kan and Benjamin C. B. Symons, "Resource-optimized fault-tolerant simulation of the Fermi-Hubbard model and high-temperature superconductor models", npj Quantum Information 11 1, 138 (2025).

[17] Haiyue Kang, Younghun Kim, Eromanga Adermann, Martin Sevior, and Muhammad Usman, "Almost fault-tolerant quantum machine learning with drastic overhead reduction", Quantum Science and Technology 11 1, 015021 (2026).

[18] Bálint Koczor, "Sparse Probabilistic Synthesis of Quantum Operations", PRX Quantum 5 4, 040352 (2024).

[19] Vivien Vandaele, "Lower T-count with faster algorithms", Quantum 9, 1860 (2025).

[20] Seiseki Akibue, Go Kato, and Seiichiro Tani, "Probabilistic Unitary Synthesis with Optimal Accuracy", ACM Transactions on Quantum Computing 5 3, 1 (2024).

[21] Matthew L. Goh and Bálint Koczor, "Direct estimation of the density of states for fermionic systems", Physical Review Research 8 1, 013250 (2026).

[22] Yutaka Hirano, Tomohiro Itogawa, and Keisuke Fujii, 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) 843 (2024) ISBN:979-8-3315-4137-8.

[23] Sam McArdle, András Gilyén, and Mario Berta, "Quantum State Preparation without Coherent Arithmetic", Physical Review Letters 136 24, 240603 (2026).

[24] Tianyi Hao, Amanda Xu, and Swamit Tannu, Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 1589 (2026) ISBN:9798400723599.

[25] Bence Bakó, Tenzan Araki, and Bálint Koczor, "Exponential Distillation of Dominant Eigenproperties", PRX Quantum 7 1, 010334 (2026).

[26] Eromanga Adermann, Haiyue Kang, Martin Sevior, and Muhammad Usman, Quantum Science and Technology 413 (2026) ISBN:978-3-032-11152-4.

[27] Lingxuan Feng and Shunlong Luo, "Groups of diagonal gates in the Clifford hierarchy", Theoretical and Mathematical Physics 221 3, 2007 (2024).

[28] S.N. Saadatmand, Tyler L. Wilson, Mark J. Hodson, Mark Field, Simon J. Devitt, Madhav Krishnan Vijayan, Alan Robertson, Thinh P. Le, Jannis Ruh, Alexandru Paler, Arshpreet Singh Maan, Ioana Moflic, Athena Caesura, and Josh Y. Mutus, "Superconducting qubits in the millions: The potential and limitations of modularity", Physical Review Applied 25 6, 064038 (2026).

[29] Chusei Kiumi and Bálint Koczor, "TE-PAI: exact time evolution by sampling random circuits", Quantum Science and Technology 10 4, 045071 (2025).

[30] Etienne Granet, Yuta Kikuchi, Henrik Dreyer, and Enrico Rinaldi, "Simulating sparse SYK model with a randomized algorithm on a trapped-ion quantum computer", npj Quantum Information 12 1, 43 (2026).

[31] Theodore J. Yoder, Eddie Schoute, Patrick Rall, Emily Pritchett, Jay M. Gambetta, Andrew W. Cross, Malcolm Carroll, and Michael E. Beverland, "Tour de gross: A modular quantum computer based on bivariate bicycle codes", arXiv:2506.03094, (2025).

[32] Marc Grau Davis, Ed Younis, Mathias Weiden, Hyeongrak Choi, and Dirk Englund, "T Count as a Numerically Solvable Minimization Problem", arXiv:2603.25101, (2026).

[33] Victor V. Albert and Philippe Faist, "Handbook of Error-Correcting Codes", arXiv:2606.11484, (2026).

[34] Daniel Litinski and Naomi Nickerson, "Active volume: An architecture for efficient fault-tolerant quantum computers with limited non-local connections", arXiv:2211.15465, (2022).

[35] Justin Kalloor, Lucas Kovalsky, Mathias Weiden, John Kubiatowicz, Ed Younis, Costin Iancu, and Mohan Sarovar, "Application Scale Quantum Circuit Compilation with Controlled Error", arXiv:2510.18000, (2025).

[36] Stepan Fomichev, Pablo A. M. Casares, Jay Soni, Utkarsh Azad, Alexander Kunitsa, Arne-Christian Voigt, Jonathan E. Mueller, and Juan Miguel Arrazola, "Fast simulations of X-ray absorption spectroscopy for battery materials on a quantum computer", arXiv:2506.15784, (2025).

[37] Thomas Lubinski, Cassandra Granade, Amos Anderson, Alan Geller, Martin Roetteler, Andrei Petrenko, and Bettina Heim, "Advancing hybrid quantum-classical computation with real-time execution", Frontiers in Physics 10, 940293 (2022).

[38] Yutaka Hirano and Keisuke Fujii, "Locality-aware Pauli-based computation for local magic state preparation", arXiv:2504.12091, (2025).

[39] Pascal Baßler, Matthias Zipper, Christopher Cedzich, Markus Heinrich, Patrick H. Huber, Michael Johanning, and Martin Kliesch, "Synthesis of and compilation with time-optimal multi-qubit gates", Quantum 7, 984 (2023).

[40] Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, and Neil J. Ross, "Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits", arXiv:2311.07741, (2023).

[41] Yingheng Li, Xulong Tang, Paul Hovland, and Ji Liu, "Non-Clifford Fusion: T-Gate Optimization for Quantum Simulation", arXiv:2510.13573, (2025).

[42] Giovanni De Micheli, Jie-Hong R. Jiang, Robert Rand, Kaitlin Smith, and Mathias Soeken, "Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective", IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 3, 584 (2022).

[43] Yutaka Hirano, Tomohiro Itogawa, and Keisuke Fujii, "Leveraging Zero-Level Distillation to Generate High-Fidelity Magic States", arXiv:2404.09740, (2024).

[44] Refaat Ismail, Milan Kornjača, Hong-Ye Hu, Nishad Maskara, Sheng-Tao Wang, Hengyun Zhou, and Chen Zhao, "Fast and Parallel High-Rate STAR Architecture for Megaquop Quantum Simulation", arXiv:2606.25011, (2026).

[45] Soichiro Yamazaki and Seiseki Akibue, "Multi-qubit controlled gate with optimal T-count", arXiv:2603.14202, (2026).

[46] Seiseki Akibue, Go Kato, and Seiichiro Tani, "Probabilistic unitary synthesis with optimal accuracy", arXiv:2301.06307, (2023).

[47] Anna M. Krol, Marvin Erdmann, Ewan Munro, Andre Luckow, and Zaid Al-Ars, "Assessing the Requirements for Industry Relevant Quantum Computation", arXiv:2408.02587, (2024).

[48] Alexis de Vos, "X, Y, and Z Subgroups of the Unitary Group", Open Systems and Information Dynamics 31 3, 2450014-630 (2024).

[49] Shuntaro Yamamoto and Nobuyuki Yoshioka, "pygridsynth: A fast numerical tool for ancilla-free Clifford+T synthesis", arXiv:2604.21333, (2026).

[50] Vadym Kliuchnikov, Jendrik Brachter, and Marcus P. da Silva, "Direct U(2) approximation via repeat-until-success circuits", arXiv:2604.20033, (2026).

The above citations are from Crossref's cited-by service (last updated successfully 2026-07-17 03:44:16) and SAO/NASA ADS (last updated successfully 2026-07-16 14:30:15). The list may be incomplete as not all publishers provide suitable and complete citation data.

Could not fetch ADS cited-by data during last attempt 2026-07-17 03:44:16: Cannot retrieve data from ADS due to rate limitations.