{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T04:14:17Z","timestamp":1775880857401,"version":"3.50.1"},"reference-count":66,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2023,12,18]],"date-time":"2023-12-18T00:00:00Z","timestamp":1702857600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>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 \\cite{Hastings2017} and \\cite{Campbell2017}, we show that taking probabilistic mixtures of channels to solve fallback \\cite{BRS2015} and magnitude approximation problems saves factor of two in approximation costs. In particular, over the Clifford+<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:msqrt><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mi mathvariant=\"normal\">T<\/mml:mi><\/mml:mrow><\/mml:msqrt><\/mml:math>gate set we achieve an average non-Clifford gate count of<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mn>0.23<\/mml:mn><mml:msub><mml:mi>log<\/mml:mi><mml:mn>2<\/mml:mn><\/mml:msub><mml:mo>&amp;#x2061;<\/mml:mo><mml:mo stretchy=\"false\">(<\/mml:mo><mml:mn>1<\/mml:mn><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mo>\/<\/mml:mo><\/mml:mrow><mml:mi>&amp;#x03B5;<\/mml:mi><mml:mo stretchy=\"false\">)<\/mml:mo><mml:mo>+<\/mml:mo><mml:mn>2.13<\/mml:mn><\/mml:math>and T-count<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mn>0.56<\/mml:mn><mml:msub><mml:mi>log<\/mml:mi><mml:mn>2<\/mml:mn><\/mml:msub><mml:mo>&amp;#x2061;<\/mml:mo><mml:mo stretchy=\"false\">(<\/mml:mo><mml:mn>1<\/mml:mn><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mo>\/<\/mml:mo><\/mml:mrow><mml:mi>&amp;#x03B5;<\/mml:mi><mml:mo stretchy=\"false\">)<\/mml:mo><mml:mo>+<\/mml:mo><mml:mn>5.3<\/mml:mn><\/mml:math>with mixed fallback approximations for diamond norm accuracy<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>&amp;#x03B5;<\/mml:mi><\/mml:math>.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+<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:msqrt><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mi mathvariant=\"normal\">T<\/mml:mi><\/mml:mrow><\/mml:msqrt><\/mml:math>). We also provide detailed numerical results for Clifford+T and Clifford+<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:msqrt><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mi mathvariant=\"normal\">T<\/mml:mi><\/mml:mrow><\/mml:msqrt><\/mml:math>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.<\/jats:p>","DOI":"10.22331\/q-2023-12-18-1208","type":"journal-article","created":{"date-parts":[[2023,12,18]],"date-time":"2023-12-18T15:43:05Z","timestamp":1702914185000},"page":"1208","update-policy":"https:\/\/doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":25,"title":["Shorter quantum circuits via single-qubit gate approximation"],"prefix":"10.22331","volume":"7","author":[{"given":"Vadym","family":"Kliuchnikov","sequence":"first","affiliation":[{"name":"Microsoft Quantum, Redmond, WA, US"},{"name":"Microsoft Quantum, Toronto, ON, CA"}]},{"given":"Kristin","family":"Lauter","sequence":"additional","affiliation":[{"name":"Facebook AI Research, Seattle, WA, US"}]},{"given":"Romy","family":"Minko","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"},{"name":"Heilbronn Institute for Mathematical Research, University of Bristol, Bristol, UK"}]},{"given":"Adam","family":"Paetznick","sequence":"additional","affiliation":[{"name":"Microsoft Quantum, Redmond, WA, US"}]},{"given":"Christophe","family":"Petit","sequence":"additional","affiliation":[{"name":"University of Birmingham, Birmingham, UK"},{"name":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"}]}],"member":"9598","published-online":{"date-parts":[[2023,12,18]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"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\u00e0, 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&apos;&apos; Nature 574, 505-510 (2019).","DOI":"10.1038\/s41586-019-1666-5"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Wojciech Banaszczyk ``Inequalities for convex bodies and polar reciprocal lattices in $R^n$&apos;&apos; Discrete & Computational Geometry 13, 217\u2013231 (1995).","DOI":"10.1007\/BF02574039"},{"key":"2","doi-asserted-by":"publisher","unstructured":"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&apos;&apos; Physical Review A 52, 3457\u20133467 (1995).","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Andreas Blass, Alex Bocharov, and Yuri Gurevich, ``Optimal ancilla-free Pauli+V circuits for axial rotations&apos;&apos; Journal of Mathematical Physics 56, 122201 (2015).","DOI":"10.1063\/1.4936990"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Michael Beverland, Earl Campbell, Mark Howard, and Vadym Kliuchnikov, ``Lower bounds on the non-Clifford resources for quantum computations&apos;&apos; Quantum Science and Technology 5, 035009 (2020).","DOI":"10.1088\/2058-9565\/ab8963"},{"key":"5","doi-asserted-by":"publisher","unstructured":"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&apos;&apos; (2022).","DOI":"10.48550\/arXiv.2211.07629"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Jean Bourgainand Alex Gamburd ``A Spectral Gap Theorem in SU$(d)$&apos;&apos; Journal of the European Mathematical Society 14, 1455\u20131511 (2012).","DOI":"10.4171\/JEMS\/337"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Alex Bocharov, Yuri Gurevich, and Krysta M. Svore, ``Efficient Decomposition of Single-Qubit Gates into V Basis Circuits&apos;&apos; Physical Review A 88, 1\u201313 (2013).","DOI":"10.1103\/PhysRevA.88.012313"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Sergey Bravyiand Alexei Kitaev ``Universal quantum computation with ideal Clifford gates and noisy ancillas&apos;&apos; Phys. Rev. A 71, 022316 (2005).","DOI":"10.1103\/PhysRevA.71.022316"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Sergey Bravyiand Robert K\u00f6nig ``Classification of Topologically Protected Gates for Local Stabilizer Codes&apos;&apos; Phys. Rev. Lett. 110, 170503 (2013).","DOI":"10.1103\/PhysRevLett.110.170503"},{"key":"10","doi-asserted-by":"publisher","unstructured":"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&apos;&apos; PRX Quantum 2, 020341 (2021).","DOI":"10.1103\/PRXQuantum.2.020341"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Alex Bocharov, Martin Roetteler, and Krysta M Svore, ``Efficient Synthesis of Universal Repeat-Until-Success Quantum Circuits&apos;&apos; Physical Review Letters 114, 080502 (2015).","DOI":"10.1103\/PhysRevLett.114.080502"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Alex Bocharov, Martin Roetteler, and Krysta M. Svore, ``Efficient synthesis of probabilistic quantum circuits with fallback&apos;&apos; Physical Review A 91, 052317 (2015).","DOI":"10.1103\/PhysRevA.91.052317"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Vera von Burg, Guang Hao Low, Thomas H\u00e4ner, Damian S. Steiger, Markus Reiher, Martin Roetteler, and Matthias Troyer, ``Quantum computing enhanced computational catalysis&apos;&apos; Phys. Rev. Research 3, 033055 (2021).","DOI":"10.1103\/PhysRevResearch.3.033055"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Earl Campbell ``Shorter gate sequences for quantum computing by mixing unitaries&apos;&apos; Physical Review A 95 (2017).","DOI":"10.1103\/PhysRevA.95.042306"},{"key":"15","doi-asserted-by":"publisher","unstructured":"Andrew M. Childs, Yuan Su, Minh C. Tran, Nathan Wiebe, and Shuchen Zhu, ``Theory of Trotter Error with Commutator Scaling&apos;&apos; Phys. Rev. X 11, 011020 (2021).","DOI":"10.1103\/PhysRevX.11.011020"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Denis X. Charles, Kristin E. Lauter, and Eyal Z. Goren, ``Cryptographic Hash Functions from Expander Graphs&apos;&apos; Journal of Cryptology 22, 93\u2013113 (2009).","DOI":"10.1007\/s00145-007-9002-x"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Henri Cohen ``Advanced Topics in Computional Number Theory&apos;&apos; Springer New York (2000).","DOI":"10.1007\/978-1-4419-8489-0"},{"key":"18","doi-asserted-by":"publisher","unstructured":"Henri Cohen ``A Course in Computational Algebraic Number Theory&apos;&apos; Springer Berlin Heidelberg (1993).","DOI":"10.1007\/978-3-662-02945-9"},{"key":"19","unstructured":"Shorter Quantum Circuits Dataset (2023)."},{"key":"20","doi-asserted-by":"publisher","unstructured":"Bryan Eastinand Emanuel Knill ``Restrictions on Transversal Encoded Quantum Gate Sets&apos;&apos; Phys. Rev. Lett. 102, 110502 (2009).","DOI":"10.1103\/PhysRevLett.102.110502"},{"key":"21","doi-asserted-by":"publisher","unstructured":"Simon Forest, David Gosset, Vadym Kliuchnikov, and David McKinnon, ``Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets&apos;&apos; Journal of Mathematical Physics 56, 082201 (2015).","DOI":"10.1063\/1.4927100"},{"key":"22","doi-asserted-by":"publisher","unstructured":"Daniel Gottesmanand Isaac L. Chuang ``Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations&apos;&apos; Nature 402, 390\u2013393 (1999).","DOI":"10.1038\/46503"},{"key":"23","doi-asserted-by":"publisher","unstructured":"Craig Gidneyand Austin G. Fowler ``Efficient magic state factories with a catalyzed $|CCZ\u27e9$ to $2|T\u27e9$ transformation&apos;&apos; Quantum 3, 135 (2019).","DOI":"10.22331\/q-2019-04-30-135"},{"key":"24","doi-asserted-by":"publisher","unstructured":"Joachim von zur Gathenand J\u00fcrgen Gerhard ``Modern Computer Algebra&apos;&apos; Cambridge University Press (2013).","DOI":"10.1017\/CBO9781139856065"},{"key":"25","doi-asserted-by":"publisher","unstructured":"Craig Gidney ``Halving the cost of quantum addition&apos;&apos; Quantum 2, 74 (2018).","DOI":"10.22331\/q-2018-06-18-74"},{"key":"26","doi-asserted-by":"publisher","unstructured":"David Gosset, Vadym Kliuchnikov, Michele Mosca, and Vincent Russo, ``An Algorithm for the T-Count&apos;&apos; Quantum Info. Comput. 14, 1261\u20131276 (2014).","DOI":"10.48550\/arXiv.1308.4134"},{"key":"27","doi-asserted-by":"publisher","unstructured":"Matthew B. Hastings ``Turning gate synthesis errors into incoherent errors&apos;&apos; Quantum Information and Computation 17, 488\u2013494 (2017).","DOI":"10.48550\/arXiv.1612.01011"},{"key":"28","doi-asserted-by":"publisher","unstructured":"Aram W. Harrow, Benjamin Recht, and Isaac L. Chuang, ``Efficient discrete approximations of quantum gates&apos;&apos; Journal of Mathematical Physics 43, 4445\u20134451 (2002).","DOI":"10.1063\/1.1495899"},{"key":"29","doi-asserted-by":"publisher","unstructured":"Kenneth Irelandand Michael Rosen ``A Classical Introduction to Modern Number Theory&apos;&apos; Springer New York (1990).","DOI":"10.1007\/978-1-4757-2103-4"},{"key":"30","doi-asserted-by":"publisher","unstructured":"Raban Iten, Roger Colbeck, Ivan Kukuljan, Jonathan Home, and Matthias Christandl, ``Quantum circuits for isometries&apos;&apos; Phys. Rev. A 93, 032318 (2016).","DOI":"10.1103\/PhysRevA.93.032318"},{"key":"31","doi-asserted-by":"publisher","unstructured":"Raban Iten, Oliver Reardon-Smith, Emanuel Malvetti, Luca Mondada, Gabrielle Pauvert, Ethan Redmond, Ravjot Singh Kohli, and Roger Colbeck, ``Introduction to UniversalQCompiler&apos;&apos; (2021).","DOI":"10.48550\/arXiv.1904.01072"},{"key":"32","doi-asserted-by":"publisher","unstructured":"Nathaniel Johnston, David W. Kribs, and Vern I. Paulsen, ``Computing Stabilized Norms for Quantum Operations via the Theory of Completely Bounded Maps&apos;&apos; Quantum Info. Comput. 9, 16\u201335 (2009).","DOI":"10.48550\/arXiv.0711.3636"},{"key":"33","unstructured":"Aleksandr Yakovlevich Khinchin ``A quantitative formulation of the approximation theory of Kronecker&apos;&apos; Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 12, 113\u2013122 (1948)."},{"key":"34","doi-asserted-by":"publisher","unstructured":"V Kliuchnikov, A Bocharov, M Roetteler, and J Yard, ``A Framework for Approximating Qubit Unitaries&apos;&apos; (2015).","DOI":"10.48550\/arXiv.1510.03888"},{"key":"35","doi-asserted-by":"publisher","unstructured":"Phillip Kaye, Raymond Laflamme, and Michele Mosca, ``An Introduction to Quantum Computing&apos;&apos; Oxford University Press (2006).","DOI":"10.1093\/oso\/9780198570004.001.0001"},{"key":"36","doi-asserted-by":"publisher","unstructured":"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&apos;&apos; Physical Review Letters 110, 190502 (2013).","DOI":"10.1103\/PhysRevLett.110.190502"},{"key":"37","doi-asserted-by":"publisher","unstructured":"Vadym Kliuchnikov, Dmitri Maslov, and Michele Mosca, ``Fast and Efficient Exact Synthesis of Single-Qubit Unitaries Generated by Clifford and T Gates&apos;&apos; Quantum Info. Comput. 13, 607\u2013630 (2013).","DOI":"10.48550\/arXiv.1206.5236"},{"key":"38","doi-asserted-by":"publisher","unstructured":"V Kliuchnikovand J Yard ``A framework for exact synthesis&apos;&apos; (2015).","DOI":"10.48550\/arXiv.1504.04350"},{"key":"39","doi-asserted-by":"publisher","unstructured":"Guang Hao Lowand Isaac L. Chuang ``Optimal Hamiltonian Simulation by Quantum Signal Processing&apos;&apos; Phys. Rev. Lett. 118, 010501 (2017).","DOI":"10.1103\/PhysRevLett.118.010501"},{"key":"40","unstructured":"Franz Lemmermeyer ``The Euclidean algorithm in algebraic number fields&apos;&apos; Expositiones Mathematicae 13, 385\u2013416 (1995)."},{"key":"41","doi-asserted-by":"publisher","unstructured":"H. W. Lenstra ``Integer Programming with a Fixed Number of Variables&apos;&apos; Mathematics of Operations Research 8, 538\u2013548 (1983).","DOI":"10.1287\/moor.8.4.538"},{"key":"42","doi-asserted-by":"publisher","unstructured":"Daniel Litinski ``A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery&apos;&apos; Quantum 3, 128 (2019).","DOI":"10.22331\/q-2019-03-05-128"},{"key":"43","doi-asserted-by":"publisher","unstructured":"A. K. Lenstra, H. W. Lenstra, and L. Lov\u00e1sz, ``Factoring polynomials with rational coefficients&apos;&apos; Mathematische Annalen 261, 515\u2013534 (1982).","DOI":"10.1007\/BF01457454"},{"key":"44","doi-asserted-by":"publisher","unstructured":"A. Lubotzky, R. Phillips, and P. Sarnak, ``Ramanujan graphs&apos;&apos; Combinatorica 8, 261\u2013277 (1988).","DOI":"10.1007\/BF02126799"},{"key":"45","doi-asserted-by":"publisher","unstructured":"Easwar Magesan, Jay M. Gambetta, and Joseph Emerson, ``Characterizing quantum gates via randomized benchmarking&apos;&apos; Phys. Rev. A 85, 042311 (2012).","DOI":"10.1103\/PhysRevA.85.042311"},{"key":"46","doi-asserted-by":"publisher","unstructured":"Emanuel Malvetti, Raban Iten, and Roger Colbeck, ``Quantum Circuits for Sparse Isometries&apos;&apos; Quantum 5, 412 (2021).","DOI":"10.22331\/q-2021-03-15-412"},{"key":"47","doi-asserted-by":"publisher","unstructured":"Michael A. Nielsenand Isaac L. Chuang ``Quantum Computation and Quantum Information&apos;&apos; Cambridge University Press (2012).","DOI":"10.1017\/CBO9780511976667"},{"key":"48","unstructured":"Shorter Quantum Circuits Notebook (2023)."},{"key":"49","doi-asserted-by":"publisher","unstructured":"Gabriele Nebe, Eric M. Rains, and Neil J.A. Sloane, ``Real and Complex Clifford Groups&apos;&apos; Springer Berlin Heidelberg (2006).","DOI":"10.1007\/3-540-30731-1_6"},{"key":"50","doi-asserted-by":"publisher","unstructured":"Yunseong Nam, Yuan Su, and Dmitri Maslov, ``Approximate quantum Fourier transform with O(n log(n)) T gates&apos;&apos; npj Quantum Information 6, 26 (2020).","DOI":"10.1038\/s41534-020-0257-5"},{"key":"51","doi-asserted-by":"publisher","unstructured":"Christophe Petit, Kristin Lauter, and Jean-Jacques Quisquater, ``Full Cryptanalysis of LPS and Morgenstern Hash Functions&apos;&apos; (2008).","DOI":"10.1007\/978-3-540-85855-3_18"},{"key":"52","doi-asserted-by":"publisher","unstructured":"Eduardo Carvalho Pintoand Christophe Petit ``Better path-finding algorithms in LPS Ramanujan graphs&apos;&apos; Journal of Mathematical Cryptology 12, 191\u2013202 (2018).","DOI":"10.1515\/jmc-2017-0051"},{"key":"53","doi-asserted-by":"publisher","unstructured":"Adam Paetznickand Krysta M. Svore ``Repeat-until-success: Non-deterministic decomposition of single-qubit unitaries&apos;&apos; Quantum Information and Computation 14, 1277\u20131301 (2014).","DOI":"10.48550\/arXiv.1311.1074"},{"key":"54","doi-asserted-by":"publisher","unstructured":"Ori Parzanchevskiand Peter Sarnak ``Super-Golden-Gates for PU(2)&apos;&apos; Advances in Mathematics 327, 869\u2013901 (2018) Special volume honoring David Kazhdan.","DOI":"10.1016\/j.aim.2017.06.022"},{"key":"55","doi-asserted-by":"publisher","unstructured":"Neil J. Ross ``Optimal Ancilla-Free Clifford+V Approximation of Z-Rotations&apos;&apos; Quantum Info. Comput. 15, 932\u2013950 (2015).","DOI":"10.48550\/arXiv.1409.4355"},{"key":"56","doi-asserted-by":"publisher","unstructured":"Neil J. Rossand Peter Selinger ``Optimal ancilla-free Clifford+T approximation of z-rotations&apos;&apos; Quantum Information & Computation 15, 932\u2013950 (2015).","DOI":"10.48550\/arXiv.1403.2975"},{"key":"57","unstructured":"Peter Sarnak ``Letter to Aaronson and Pollington on the Solvay-Kitaev Theorem and Golden Gates, 2015&apos;&apos;."},{"key":"58","doi-asserted-by":"publisher","unstructured":"Naser T Sardari ``Complexity of Strong Approximation on the Sphere&apos;&apos; International Mathematics Research Notices 2021, 13839\u201313866 (2021).","DOI":"10.1093\/imrn\/rnz233"},{"key":"59","doi-asserted-by":"publisher","unstructured":"Peter Selinger ``Efficient Clifford+T approximation of single-qubit operators&apos;&apos; Quantum Information & Computation 15, 159\u2013180 (2015).","DOI":"10.48550\/arXiv.1212.6253"},{"key":"60","doi-asserted-by":"crossref","unstructured":"Zachary Stier private communication (2020).","DOI":"10.20517\/2574-1225.2019.75"},{"key":"61","doi-asserted-by":"publisher","unstructured":"Jean-Pierre Tillichand Gilles Z\u00e9mor ``Collisions for the LPS expander graph hash function&apos;&apos; Annual International Conference on the Theory and Applications of Cryptographic Techniques 254\u2013269 (2008).","DOI":"10.1007\/978-3-540-78967-3_15"},{"key":"62","doi-asserted-by":"publisher","unstructured":"John Voight ``Quaternion Algebras&apos;&apos; Springer International Publishing (2021).","DOI":"10.1007\/978-3-030-56694-4"},{"key":"63","doi-asserted-by":"publisher","unstructured":"Lawrence C. Washington ``Introduction to Cyclotomic Fields&apos;&apos; Springer New York (1997).","DOI":"10.1007\/978-1-4612-1934-7"},{"key":"64","doi-asserted-by":"publisher","unstructured":"John Watrous ``The Theory of Quantum Information&apos;&apos; Cambridge University Press (2018).","DOI":"10.1017\/9781316848142"},{"key":"65","doi-asserted-by":"publisher","unstructured":"Paul Websterand Stephen D. Bartlett ``Fault-tolerant quantum gates with defects in topological stabilizer codes&apos;&apos; Phys. Rev. A 102, 022403 (2020).","DOI":"10.1103\/PhysRevA.102.022403"}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-12-18-1208\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T07:23:02Z","timestamp":1730877782000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-12-18-1208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,18]]},"references-count":66,"URL":"https:\/\/doi.org\/10.22331\/q-2023-12-18-1208","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,18]]},"article-number":"1208"}}