Kürzere Quantenschaltungen durch Single-Qubit-Gate-Näherung

Kürzere Quantenschaltungen durch Single-Qubit-Gate-Näherung

Kürzere Quantenschaltkreise durch Single-Qubit-Gate-Approximation PlatoBlockchain Data Intelligence. Vertikale Suche. Ai.

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

1Microsoft Quantum, Redmond, WA, USA
2Microsoft Quantum, Toronto, ON, CA
3Facebook AI Research, Seattle, WA, USA
4Universität Oxford, Oxford, Großbritannien
5Heilbronn Institut für Mathematische Forschung, Universität Bristol, Bristol, Großbritannien
6Universität Birmingham, Birmingham, Großbritannien
7Université Libre de Bruxelles, Brüssel, Belgien

Findest du dieses Paper interessant oder möchtest du darüber diskutieren? Scite oder hinterlasse einen Kommentar zu SciRate.

Abstrakt

Wir geben ein neuartiges Verfahren zur Approximation allgemeiner Single-Qubit-Unitaries aus einem endlichen universellen Gate-Set an, indem wir das Problem auf ein neuartiges Größennäherungsproblem reduzieren und so eine sofortige Verbesserung der Sequenzlänge um den Faktor 7/9 erreichen. Erweiterung der Arbeiten [28] Und [15] zeigen wir, dass die Verwendung probabilistischer Kanalmischungen zur Lösung von Fallback [13] und Magnituden-Approximationsprobleme sparen den Faktor zwei an Approximationskosten. Insbesondere über den Clifford+$sqrt{mathrm{T}}$-Gate-Satz erreichen wir eine durchschnittliche Nicht-Clifford-Gate-Anzahl von $0.23log_2(1/varepsilon)+2.13$ und eine T-Anzahl von $0.56log_2(1/varepsilon)+5.3 $ mit gemischten Fallback-Approximationen für die Genauigkeit der Diamantnorm $varepsilon$.
Dieses Papier bietet zusätzlich zu diesen neuen Erkenntnissen einen ganzheitlichen Überblick über die Gate-Approximation. Wir geben ein End-to-End-Verfahren zur Gate-Approximation für allgemeine Gate-Sets im Zusammenhang mit einigen Quaternion-Algebren an und liefern pädagogische Beispiele für die Verwendung gängiger fehlertoleranter Gate-Sets (V, Clifford+T und Clifford+$sqrt{mathrm{T}}$). . Wir stellen auch detaillierte numerische Ergebnisse für Clifford+T- und Clifford+$sqrt{mathrm{T}}$-Gate-Sets bereit. Um den Aufsatz in sich geschlossen zu halten, geben wir einen Überblick über die relevanten Algorithmen für die Aufzählung ganzzahliger Punkte und die Lösung relativer Normgleichungen. In den Anhängen stellen wir eine Reihe weiterer Anwendungen der Größennäherungsprobleme sowie verbesserte Algorithmen für die exakte Synthese vor.

► BibTeX-Daten

► Referenzen

[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 und John M. Martinis, „Quantenüberlegenheit mit einem programmierbaren supraleitenden Prozessor“, Nature 574, 505-510 (2019).
https:/​/​doi.org/​10.1038/​s41586-019-1666-5

[2] Wojciech Banaszczyk „Ungleichungen für konvexe Körper und polare reziproke Gitter 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 und 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 und Yuri Gurevich, „Optimale ancilla-freie Pauli+V-Schaltkreise für axiale Rotationen“, Journal of Mathematical Physics 56, 122201 (2015).
https: / / doi.org/ 10.1063 / 1.4936990
arXiv: 1412.1033

[5] Michael Beverland, Earl Campbell, Mark Howard und Vadym Kliuchnikov, „Untergrenzen der Nicht-Clifford-Ressourcen für Quantenberechnungen“ 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 und Alexander Vaschillo, „Bewertung von Anforderungen zur Skalierung auf praktischen Quantenvorteil“ (2022).
https://​/​doi.org/​10.48550/​arXiv.2211.07629
arXiv: 2211.07629

[7] Jean Bourgain und 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 und 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 „Universelle Quantenberechnung mit idealen Clifford-Gattern und verrauschten Ancillas“ Phys. Rev. A 71, 022316 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.022316

[10] Sergey Bravyian und Robert König „Klassifizierung topologisch geschützter Tore für lokale Stabilisatorcodes“ Phys. Rev. Lett. 110, 170503 (2013).
https://doi.org/ 10.1103/PhysRevLett.110.170503

[11] Michael E. Beverland, Aleksander Kubica und 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 und 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 und Krysta M. Svore, „Effiziente Synthese probabilistischer Quantenschaltungen mit 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 und Matthias Troyer, „Quantum Computing Enhanced Computational Catalysis“ Phys. Rev. Research 3, 033055 (2021).
https: / / doi.org/ 10.1103 / PhysRevResearch.3.033055

[15] Earl Campbell „Kürzere Gate-Sequenzen für Quantencomputing durch Mischen von Unitariern“ 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 und 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 und 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 Computational Number Theory“ Springer New York (2000).
https:/​/​doi.org/​10.1007/​978-1-4419-8489-0

[19] Henri Cohen „Ein Kurs in rechnergestützter algebraischer Zahlentheorie“ Springer Berlin Heidelberg (1993).
https:/​/​doi.org/​10.1007/​978-3-662-02945-9

[20] Datensatz kürzerer Quantenschaltkreise (2023).
https://​/​azure-quantum-notebooks.azurefd.net/​publicdata/​shorter-quantum-Circuits-dataset.tar

[21] Bryan Eastin und 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 und David McKinnon, „Exakte Synthese von Single-Qubit-Unitären über Clifford-zyklotomischen Gate-Sets“, Journal of Mathematical Physics 56, 082201 (2015).
https: / / doi.org/ 10.1063 / 1.4927100

[23] Daniel Gottesman und Isaac L. Chuang „Demonstrierung der Machbarkeit universeller Quantenberechnungen mithilfe von Teleportation und Einzel-Qubit-Operationen“ Nature 402, 390–393 (1999).
https: / / doi.org/ 10.1038 / 46503

[24] Craig Gidney und Austin G. Fowler „Effiziente magische Zustandsfabriken mit einer katalysierten Transformation von $|CCZ⟩$ zu $2|T⟩$“ Quantum 3, 135 (2019).
https:/​/​doi.org/​10.22331/​q-2019-04-30-135

[25] Joachim von zur Gathen und Jürgen Gerhard „Modern Computer Algebra“ Cambridge University Press (2013).
https: / / doi.org/ 10.1017 / CBO9781139856065

[26] Craig Gidney „Die Kosten der Quantenaddition halbieren“ Quantum 2, 74 (2018).
https:/​/​doi.org/​10.22331/​q-2018-06-18-74

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

[28] Matthew B. Hastings „Gate-Synthesefehler in inkohärente Fehler verwandeln“ 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 und Isaac L. Chuang, Journal of Mathematical Physics 43, 4445–4451 (2002).
https: / / doi.org/ 10.1063 / 1.1495899

[30] Kenneth Ireland und 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 und Matthias Christandl, „Quantenschaltungen für Isometrien“ 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 und Roger Colbeck, „Einführung in UniversalQCompiler“ (2021).
https://​/​doi.org/​10.48550/​arXiv.1904.01072
arXiv: 1904.01072

[33] Nathaniel Johnston, David W. Kribs und Vern I. Paulsen, „Berechnung stabilisierter Normen für Quantenoperationen mithilfe der Theorie vollständig begrenzter Karten“ Quantum Info. Berechnen. 9, 16–35 (2009).
https://​/​doi.org/​10.48550/​arXiv.0711.3636

[34] Aleksandr Yakovlevich Chinchin „Eine quantitative Formulierung der Näherungstheorie von Kronecker“ Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 12, 113–122 (1948).

[35] V. Kliuchnikov, A. Bocharov, M. Roetteler und 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 und 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 und 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 und Michele Mosca, „Fast and Efficient Exact Synthesis of Single-Qubit Unitaries Generated by Clifford and T Gates“ Quantum Info. Berechnen. 13, 607–630 (2013).
https://​/​doi.org/​10.48550/​arXiv.1206.5236

[39] V Kliuchniko und J Yard „Ein Rahmen für die exakte Synthese“ (2015).
https://​/​doi.org/​10.48550/​arXiv.1504.04350
arXiv: 1504.04350

[40] Guang Hao Lowand Isaac L. Chuang „Optimale Hamilton-Simulation durch Quantensignalverarbeitung“ Phys. Rev. Lett. 118, 010501 (2017).
https://doi.org/ 10.1103/PhysRevLett.118.010501

[41] Franz Lemmermeyer „Der euklidische Algorithmus in algebraischen Zahlenkörpern“ 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 und L. Lovász, „Factoring polynomials with rationalefficients“, Mathematische Annalen 261, 515–534 (1982).
https: / / doi.org/ 10.1007 / BF01457454

[45] A. Lubotzky, R. Phillips und P. Sarnak, „Ramanujan Graphs“ Combinatorica 8, 261–277 (1988).
https: / / doi.org/ 10.1007 / BF02126799

[46] Easwar Magesan, Jay M. Gambetta und Joseph Emerson, "Charakterisierung von Quantentoren durch randomisiertes Benchmarking" Phys. Rev. A 85, 042311 (2012).
https: / / doi.org/ 10.1103 / PhysRevA.85.042311

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

[48] Michael A. Nielsen und Isaac L. Chuang „Quantum Computation and Quantum Information“ Cambridge University Press (2012).
https: / / doi.org/ 10.1017 / CBO9780511976667

[49] Kürzeres Quantenschaltkreis-Notizbuch (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 und 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 und Dmitri Maslov, „Approximate Quanten-Fourier-Transformation mit O(n log(n)) T-Gattern“ npj Quantum Information 6, 26 (2020).
https:/​/​doi.org/​10.1038/​s41534-020-0257-5

[52] Christophe Petit, Kristin Lauter und 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 Pinto und Christophe Petit „Bessere Pfadfindungsalgorithmen in LPS-Ramanujan-Graphen“ Journal of Mathematical Cryptology 12, 191–202 (2018).
https: / / doi.org/ 10.1515 / jmc-2017-0051

[54] Adam Paetznick und 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 Parzanchevski und Peter Sarnak „Super-Golden-Gates for PU(2)“ Advances in Mathematics 327, 869–901 (2018) Sonderband zu Ehren von David Kazhdan.
https://​/​doi.org/​10.1016/​j.aim.2017.06.022

[56] Neil J. Ross „Optimale ancillafreie Clifford+V-Approximation von Z-Rotationen“ Quanteninfo. Berechnen. 15, 932–950 (2015).
https://​/​doi.org/​10.48550/​arXiv.1409.4355

[57] Neil J. Ross und Peter Selinger „Optimale ancilla-freie Clifford+T-Approximation von Z-Rotationen“ Quantum Information & Computation 15, 932–950 (2015).
https://​/​doi.org/​10.48550/​arXiv.1403.2975
arXiv: 1403.2975

[58] Peter Sarnak „Brief an Aaronson und Pollington über das Solvay-Kitaev-Theorem und 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 „Effiziente Clifford+T-Approximation von Single-Qubit-Operatoren“ Quantum Information & Computation 15, 159–180 (2015).
https://​/​doi.org/​10.48550/​arXiv.1212.6253
arXiv: 1212.6253

[61] Zachary Stier private Kommunikation (2020).

[62] Jean-Pierre Tillichand Gilles Zémor „Kollisionen für die LPS-Expander-Graph-Hash-Funktion“ Internationale Jahreskonferenz zur Theorie und Anwendung kryptografischer Techniken 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 „Einführung in zyklotomische Felder“ Springer New York (1997).
https:/​/​doi.org/​10.1007/​978-1-4612-1934-7

[65] John Watrous „Die Theorie der Quanteninformation“ Cambridge University Press (2018).
https: / / doi.org/ 10.1017 / 9781316848142

[66] Paul Webster und Stephen D. Bartlett „Fehlertolerante Quantengatter mit Defekten in topologischen Stabilisatorcodes“ Phys. Rev. A 102, 022403 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.102.022403

Zitiert von

[1] Daniel Litinski und Naomi Nickerson, „Aktives Volumen: Eine Architektur für effiziente fehlertolerante Quantencomputer mit begrenzten nicht-lokalen Verbindungen“, arXiv: 2211.15465, (2022).

[2] Pascal Baßler, Matthias Zipper, Christopher Cedzich, Markus Heinrich, Patrick H. Huber, Michael Johanning und Martin Kliesch, „Synthese und Kompilierung mit zeitoptimalen Multi-Qubit-Gates“, Quantum 7, 984 (2023).

[3] Seiseki Akibue, Go Kato und Seiichiro Tani, „Probabilistische Einheitssynthese mit optimaler Genauigkeit“, arXiv: 2301.06307, (2023).

[4] Thomas Lubinski, Cassandra Granade, Amos Anderson, Alan Geller, Martin Roetteler, Andrei Petrenko und Bettina Heim, „Advancing hybrid Quantum-Classical Computation with Real-Time Execution“, Grenzen in der Physik 10, 940293 (2022).

[5] Seiseki Akibue, Go Kato und Seiichiro Tani, „Probabilistische Zustandssynthese basierend auf optimaler konvexer Näherung“, arXiv: 2303.10860, (2023).

Die obigen Zitate stammen von SAO / NASA ADS (Zuletzt erfolgreich aktualisiert am 2023, 12:19:01 Uhr). Die Liste ist möglicherweise unvollständig, da nicht alle Verlage geeignete und vollständige Zitationsdaten bereitstellen.

On Der von Crossref zitierte Dienst Es wurden keine Daten zum Zitieren von Werken gefunden (letzter Versuch 2023-12-19 01:59:58).

Zeitstempel:

Mehr von Quantenjournal