Compilazione di circuiti quantistici e calcolo ibrido utilizzando il calcolo basato su Pauli

Compilazione di circuiti quantistici e calcolo ibrido utilizzando il calcolo basato su Pauli

Filipa CR Peres1,2 ed Ernesto F. Galvão1,3

1Laboratorio Internazionale di Nanotecnologia Iberica (INL), Av. Mestre José Veiga, 4715-330 Braga, Portogallo
2Departamento de Física e Astronomia, Faculdade de Ciências, Universidade do Porto, rua do Campo Alegre s/n, 4169–007 Porto, Portogallo
3Instituto de Física, Universidade Federal Fluminense, Avenida General Milton Tavares de Souza s/n, Niterói, Rio de Janeiro 24210-340, Brasile

Trovi questo documento interessante o vuoi discuterne? Scrivi o lascia un commento su SciRate.

Astratto

Il calcolo basato su Pauli (PBC) è guidato da una sequenza di misurazioni non distruttive scelte in modo adattivo delle osservabili di Pauli. Qualsiasi circuito quantistico scritto in termini del set di porte Clifford+$T$ e avente porte $t$ $T$ può essere compilato in un PBC su qubit $t$. Qui proponiamo modi pratici per implementare PBC come circuiti quantistici adattivi e fornire codice per eseguire l'elaborazione laterale classica richiesta. I nostri schemi riducono il numero di porte quantistiche a $O(t^2)$ (da un precedente ridimensionamento $O(t^3 / log t)$) e vengono discussi i compromessi spazio/tempo che portano a una riduzione del profondità da $O(t log t)$ a $O(t)$ all'interno dei nostri schemi, al costo di $t$ qubit ausiliari aggiuntivi. Compiliamo esempi di circuiti quantistici casuali e a spostamento nascosto in circuiti PBC adattivi. Simuliamo anche il calcolo quantistico ibrido, in cui un computer classico estende effettivamente la memoria di lavoro di un piccolo computer quantistico con qubit virtuali da $k$, a un costo esponenziale in $k$. I nostri risultati dimostrano il vantaggio pratico delle tecniche PBC per la compilazione di circuiti e il calcolo ibrido.

[Contenuto incorporato]

Ci si aspetta che i computer quantistici su larga scala e tolleranti ai guasti risolvano compiti che sono fuori dalla portata delle loro controparti classiche. Questa prospettiva allettante ha dato impulso a molte ricerche recenti nei campi dell’informazione quantistica e del calcolo quantistico.
Sfortunatamente, le capacità dei dispositivi attuali sono ancora piuttosto limitate. Pertanto, sono necessari schemi intelligenti che ci consentano di scambiare risorse classiche con risorse quantistiche. Nel nostro lavoro esploriamo un modello universale di calcolo quantistico noto come calcolo basato su Pauli. Mostriamo che questo modello può essere utilizzato per compilare circuiti quantistici dominati dalle porte di Clifford, dimostrando in molti casi un utile risparmio di risorse quantistiche. Descriviamo anche i guadagni in efficienza nel calcolo ibrido quantistico-classico, in cui i due tipi di computer lavorano insieme per simulare un dispositivo quantistico più grande. Il nostro articolo è accompagnato da codice Python ad accesso aperto che consente agli utenti di eseguire sia la compilazione che il calcolo ibrido su circuiti arbitrari specificati dall'utente descritti utilizzando il comune set di porte Clifford+$T$.
Ci aspettiamo che il nostro lavoro sia rilevante per le applicazioni a breve e medio termine, ma anche a lungo termine, poiché l’ottimizzazione delle risorse quantistiche dovrebbe essere interessante anche dopo aver raggiunto il calcolo quantistico tollerante ai guasti.

► dati BibTeX

► Riferimenti

, Peter W. Shor. “Algoritmi per la computazione quantistica: logaritmi discreti e fattorizzazione”. Negli Atti del 35° Simposio annuale sui fondamenti dell'informatica. Pagine 124–134. IEEE Press, Los Alamitos, CA (1994).
https: / / doi.org/ 10.1109 / SFCS.1994.365700

, Seth Lloyd. “Simulatori quantistici universali”. Scienza 273, 1073–1078 (1996).
https: / / doi.org/ 10.1126 / science.273.5278.1073

, Aram W. Harrow, Avinatan Hassidim e Seth Lloyd. “Algoritmo quantistico per sistemi lineari di equazioni”. Fis. Rev. Lett. 103, 150502 (2009).
https: / / doi.org/ 10.1103 / PhysRevLett.103.150502

, Ashley Montanaro. “Algoritmi quantistici: una panoramica”. npj Informazioni quantistiche 2, 15023 (2016).
https: / / doi.org/ 10.1038 / npjqi.2015.23

, Giovanni Preskill. "Quantum Computing nell'era NISQ e oltre". Quantum 2, 79 (2018).
https:/​/​doi.org/​10.22331/​q-2018-08-06-79

, Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C. Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, Fernando GSL 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 e John M. Martinis. "Supremazia quantistica utilizzando un processore superconduttore programmabile". Natura 574, 505–510 (2019).
https:/​/​doi.org/​10.1038/​s41586-019-1666-5

, Han-Sen Zhong, Hui Wang, Yu-Hao Deng, Ming-Cheng Chen, Li-Chao Peng, Yi-Han Luo, Jian Qin, Dian Wu, Xing Ding, Yi Hu, Peng Hu, Xiao-Yan Yang, Wei- Jun Zhang, Hao Li, Yuxuan Li, Xiao Jiang, Lin Gan, Guangwen Yang, Lixing You, Zhen Wang, Li Li, Nai-Le Liu, Chao-Yang Lu e Jian-Wei Pan. "Vantaggio computazionale quantistico utilizzando i fotoni". Scienza 370, 1460–1463 (2020).
https: / / doi.org/ 10.1126 / science.abe8770

, Yulin Wu, Wan-Su Bao, Sirui Cao, Fusheng Chen, Ming-Cheng Chen, Xiawei Chen, Tung-Hsun Chung, Hui Deng, Yajie Du, Daojin Fan, Ming Gong, Cheng Guo, Chu Guo, Shaojun Guo, Lianchen Han , Linyin Hong, He-Liang Huang, Yong-Heng Huo, Liping Li, Na Li, Shaowei Li, Yuan Li, Futian Liang, Chun Lin, Jin Lin, Haoran Qian, Dan Qiao, Hao Rong, Hong Su, Lihua Sun, Liangyuan Wang, Shiyu Wang, Dachao Wu, Yu Xu, Kai Yan, Weifeng Yang, Yang Yang, Yangsen Ye, Jianghan Yin, Chong Ying, Jiale Yu, Chen Zha, Cha Zhang, Haibin Zhang, Kaili Zhang, Yiming Zhang, Han Zhao , Youwei Zhao, Liang Zhou, Qingling Zhu, Chao-Yang Lu, Cheng-Zhi Peng, Xiaobo Zhu e Jian-Wei Pan. "Forte vantaggio computazionale quantistico utilizzando un processore quantistico superconduttore". Fis. Rev. Lett. 127, 180501 (2021).
https: / / doi.org/ 10.1103 / PhysRevLett.127.180501

, Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J. Love, Alán Aspuru-Guzik e Jeremy L. O'Brien. "Un risolutore variazionale di autovalori su un processore quantistico fotonico". Natura Comunicazioni 5, 4213 (2014).
https: / / doi.org/ 10.1038 / ncomms5213

, Vedran Dunjko, Yimin Ge e J. Ignacio Cirac. "Accelerazioni computazionali utilizzando piccoli dispositivi quantistici". Fis. Rev. Lett. 121, 250501 (2018).
https: / / doi.org/ 10.1103 / PhysRevLett.121.250501

, Aram W. Harrow. “Piccoli computer quantistici e grandi set di dati classici” (2020). arXiv:2004.00026.
arXiv: 2004.00026

, Sergey Bravyi, Graeme Smith e John A. Smolin. "Scambio di risorse computazionali classiche e quantistiche". Fis. Rev.X6, 021043 (2016).
https: / / doi.org/ 10.1103 / PhysRevX.6.021043

, Mithuna Yoganathan, Richard Jozsa e Sergii Strelchuk. "Vantaggio quantistico dei circuiti unitari di Clifford con ingressi a stato magico". Proc. R.Soc. A475, 20180427 (2019).
https: / / doi.org/ 10.1098 / rspa.2018.0427

, Padraic Calpin. "Esplorare il calcolo quantistico attraverso la lente della simulazione classica". Tesi di dottorato. UCL (University College di Londra). (2020). URL: https://​/​discovery.ucl.ac.uk/​id/​eprint/​10091573.
https://​/​discovery.ucl.ac.uk/​id/​eprint/​10091573

, Daniele Gottesmann. "Codici stabilizzatori e correzione dell'errore quantistico". Tesi di dottorato. Caltech. (1997). arXiv:quant-ph/​9705052.
arXiv: Quant-ph / 9705052

, Daniele Gottesmann. "La rappresentazione di Heisenberg dei computer quantistici". In Group22: Atti del XXII Colloquio Internazionale sui Metodi Teorici di Gruppo in Fisica. Pagine 32–43. (1998). arXiv:quant-ph/​9807006.
arXiv: Quant-ph / 9807006

, Igor L. Markov e Yaoyun Shi. "Simulazione del calcolo quantistico contraendo reti tensoriali". SIAM Journal on Computing 38, 963–981 (2008).
https: / / doi.org/ 10.1137 / 050644756 mila

, Cupjin Huang, Michael Newman e Mario Szegedy. “Limiti inferiori espliciti per la simulazione quantistica forte” (2018). arXiv:1804.10368.
arXiv: 1804.10368

, Hakop Pashayan, Joel J. Wallman e Stephen D. Bartlett. "Stima delle probabilità di risultato dei circuiti quantistici utilizzando le quasiprobabilità". Fis. Rev. Lett. 115, 070501 (2015).
https: / / doi.org/ 10.1103 / PhysRevLett.115.070501

, Robert Raussendorf, Juani Bermejo-Vega, Emily Tyhurst, Cihan Okay e Michael Zurel. "Metodo di simulazione spazio-fase per il calcolo quantistico con stati magici su qubit". Fis. Rev. A 101, 012350 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.101.012350

, Scott Aaronson e Daniel Gottesmann. "Simulazione migliorata dei circuiti stabilizzatori". Fis. Rev. A 70, 052328 (2004).
https: / / doi.org/ 10.1103 / PhysRevA.70.052328

, Sergey Bravyi e David Gosset. "Simulazione classica migliorata dei circuiti quantistici dominati da Clifford Gates". Fis. Rev. Lett. 116, 250501 (2016).
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501

, Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset e Mark Howard. "Simulazione di circuiti quantistici mediante decomposizioni di stabilizzatori di basso rango". Quantico 3, 181 (2019).
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

, Hammam Qassim, Joel J. Wallman e Joseph Emerson. "Ricompilazione di Clifford per una simulazione classica più rapida di circuiti quantistici". Quantico 3, 170 (2019).
https:/​/​doi.org/​10.22331/​q-2019-08-05-170

, Hammam Qassim, Hakop Pashayan e David Gosset. "Limiti superiori migliorati sul grado stabilizzatore degli stati magici". Quantico 5, 606 (2021).
https:/​/​doi.org/​10.22331/​q-2021-12-20-606

, Aleks Kissinger e John van de Wetering. "La simulazione di circuiti quantistici con il calcolo ZX ha ridotto le decomposizioni degli stabilizzatori". Scienza e tecnologia quantistica 7, 044001 (2022).
https:/​/​doi.org/​10.1088/​2058-9565/​ac5d20

, Xinlan Zhou, Debbie W. Leung e Isaac L. Chuang. “Metodologia per la costruzione di porte logiche quantistiche”. Fis. Rev. A 62, 052316 (2000).
https: / / doi.org/ 10.1103 / PhysRevA.62.052316

, Sergey Bravyi e Alexei Kitaev. "Calcolo quantistico universale con porte di Clifford ideali e ancillari rumorosi". Fis. Rev.A71, 022316 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.022316

, Conte T. Campbell, Barbara M. Terhal e Christophe Vuillot. “Strade verso il calcolo quantistico universale tollerante ai guasti”. Natura 549, 172–179 (2017).
https: / / doi.org/ 10.1038 / nature23460

, Daniele Litinski. "Distillazione allo stato magico: non così costosa come pensi". Quantico 3, 205 (2019).
https:/​/​doi.org/​10.22331/​q-2019-12-02-205

, Ketan N. Patel, Igor L. Markov e John P. Hayes. “Sintesi ottimale di circuiti lineari reversibili”. Informazioni quantistiche. Calcola. 8, 282–294 (2008).
https: / / doi.org/ 10.26421 / QIC8.3-4-4

, Robert Raussendorf e Hans J. Briegel. "Un computer quantistico unidirezionale". Fis. Rev. Lett. 86, 5188–5191 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.5188

, Michael A. Nielsen. "Calcolo quantistico ottico utilizzando gli stati dei cluster". Fis. Rev. Lett. 93, 040503 (2004).
https: / / doi.org/ 10.1103 / PhysRevLett.93.040503

, Daniel E. Browne e Terry Rudolph. "Calcolo quantistico ottico lineare efficiente in termini di risorse". Fis. Rev. Lett. 95, 010501 (2005).
https: / / doi.org/ 10.1103 / PhysRevLett.95.010501

, P. Walther, KJ Resch, T. Rudolph, E. Schenck, H. Weinfurter, V. Vedral, M. Aspelmeyer e A. Zeilinger. "Calcolo quantistico sperimentale unidirezionale". Natura 434, 169–176 (2005).
https: / / doi.org/ 10.1038 / nature03347

, Robert Prevedel, Philip Walther, Felix Tiefenbacher, Pascal Böhi, Rainer Kaltenbaek, Thomas Jennewein e Anton Zeilinger. "Calcolo quantistico in ottica lineare ad alta velocità che utilizza feed-forward attivo". Natura 445, 65–69 (2007).
https: / / doi.org/ 10.1038 / nature05346

, Anne Broadbent, Joseph Fitzsimons e Elham Kashefi. “Calcolo quantistico cieco universale”. Nel 2009 50° Simposio annuale dell'IEEE sui fondamenti dell'informatica. Pagine 517–526. (2009).
https: / / doi.org/ 10.1109 / FOCS.2009.36

, Matthew Amy, Dmitri Maslov e Michele Mosca. "Ottimizzazione della profondità T in tempo polinomiale dei circuiti Clifford + T tramite partizionamento matroide". Transazioni IEEE sulla progettazione assistita da computer di circuiti e sistemi integrati 33, 1476–1489 (2014).
https: / / doi.org/ 10.1109 / TCAD.2014.2341953

, Yunseong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs e Dmitri Maslov. "Ottimizzazione automatizzata di grandi circuiti quantistici con parametri continui". npj Informazioni quantistiche 4, 1 (2018).
https:/​/​doi.org/​10.1038/​s41534-018-0072-4

, Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons e Seyon Sivarajah. "Sintesi di gadget di fase per circuiti poco profondi". Atti elettronici in informatica teorica 318, 213–228 (2020).
https: / / doi.org/ 10.4204 / EPTCS.318.13

, Aleks Kissinger e John van de Wetering. "Ridurre il numero di porte non Clifford nei circuiti quantistici". Fis. Rev. A 102, 022406 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.102.022406

, Fang Zhang e Jianxin Chen. "Ottimizzazione delle porte T nel circuito Clifford+T come rotazioni $pi/​4$ attorno a Paulis" (2019). arXiv:1903.12456.
arXiv: 1903.12456

, Tianyi Peng, Aram W. Harrow, Maris Ozols e Xiaodi Wu. "Simulazione di grandi circuiti quantistici su un piccolo computer quantistico". Fis. Rev. Lett. 125, 150504 (2020).
https: / / doi.org/ 10.1103 / PhysRevLett.125.150504

, Wei Tang, Teague Tomesh, Martin Suchara, Jeffrey Larson e Margaret Martonosi. "CutQC: utilizzo di piccoli computer quantistici per valutazioni di circuiti quantistici di grandi dimensioni". Negli atti della 26a conferenza internazionale ACM sul supporto architetturale per linguaggi di programmazione e sistemi operativi. Pagina 473–486. ASPLOS '21New York, NY, Stati Uniti (2021). Associazione per le macchine informatiche.
https: / / doi.org/ 10.1145 / 3445814.3446758 mila

, Christophe Piveteau e David Sutter. “La maglia a circuito con la comunicazione classica” (2023). arXiv:2205.00016.
arXiv: 2205.00016

, Angus Lowe, Matija Medvidović, Anthony Hayes, Lee J. O'Riordan, Thomas R. Bromley, Juan Miguel Arrazola e Nathan Killoran. "Taglio veloce di circuiti quantistici con misurazioni randomizzate". Quantico 7, 934 (2023).
https:/​/​doi.org/​10.22331/​q-2023-03-02-934

, Daniele Gottesmann. "Un'introduzione alla correzione degli errori quantistici e al calcolo quantistico con tolleranza agli errori" (2009). arXiv:0904.2557.
arXiv: 0904.2557

, Austin G. Fowler, Matteo Mariantoni, John M. Martinis e Andrew N. Cleland. "Codici di superficie: verso un pratico calcolo quantistico su larga scala". Fis. Rev. A 86, 032324 (2012).
https: / / doi.org/ 10.1103 / PhysRevA.86.032324

, Daniele Litinski. "Un gioco di codici di superficie: calcolo quantistico su larga scala con chirurgia del reticolo". Quantico 3, 128 (2019).
https:/​/​doi.org/​10.22331/​q-2019-03-05-128

, Byung-Soo Choi e Rodney Van Meter. "Sull'effetto della distanza di interazione quantistica sui circuiti di addizione quantistica". J. Emerg. Tecnologia. Calcola. Sist. 7 (2011).
https: / / doi.org/ 10.1145 / 2000502.2000504 mila

, Filipa CR Peres. "Modello di calcolo quantistico basato su Pauli con sistemi a dimensione superiore". Fis. Rev. A 108, 032606 (2023).
https: / / doi.org/ 10.1103 / PhysRevA.108.032606

, Yihui Quek, Mark M. Wilde e Eneet Kaur. “Stima di tracce multivariate a profondità quantistica costante” (2022). arXiv:2206.15405.
arXiv: 2206.15405

, Markus Heinrich e David Gross. “Robustezza della magia e simmetrie del politopo stabilizzatore”. Quantico 3, 132 (2019).
https:/​/​doi.org/​10.22331/​q-2019-04-08-132

, Mark Howard e Earl Campbell. "Applicazione di una teoria delle risorse per gli stati magici al calcolo quantistico tollerante agli errori". Fis. Rev. Lett. 118 (2017).
https: / / doi.org/ 10.1103 / PhysRevLett.118.090501

, Lorenzo Leone, Salvatore FE Oliviero, and Alioscia Hamma. “Entropia di Rényi stabilizzatore”. Fis. Rev. Lett. 128, 050402 (2022).
https: / / doi.org/ 10.1103 / PhysRevLett.128.050402

, Blake Johnson. “Portare tutta la potenza dei circuiti dinamici in Qiskit Runtime”. URL: https://​/​research.ibm.com/​blog/​quantum-dynamic-circuits. (accesso: 2022-11-09).
https://​/​research.ibm.com/​blog/​quantum-dynamic-circuits

, Team di sviluppo Qiskit. “Simulatore di vettori di stato”. url: https://​/​qiskit.org/​documentation/​stubs/​qiskit.provviders.aer.StatevectorSimulator.html. (accesso: 2022-11-01).
https://​/​qiskit.org/​documentation/​stubs/​qiskit.providers.aer.StatevectorSimulator.html

, Vivek V. Shende e Igor L. Markov. “Sul costo CNOT dei cancelli TOFFOLI”. Informazioni quantistiche. Calcola. 9, 461–486 (2009).
https: / / doi.org/ 10.26421 / QIC8.5-6-8

, Sergio Boixo, Sergei V. Isakov, Vadim N. Smelyanskiy, Ryan Babbush, Nan Ding, Zhang Jiang, Michael J. Bremner, John M. Martinis e Hartmut Neven. "Caratterizzazione della supremazia quantistica nei dispositivi a breve termine". Fisica della natura 14, 595–600 (2018).
https: / / doi.org/ 10.1038 / s41567-018-0124-x

, Hsin-Yuan Huang, Richard Kueng e John Preskill. "Prevedere molte proprietà di un sistema quantistico da pochissime misurazioni". Fisica della natura 16, 1050–1057 (2020).
https:/​/​doi.org/​10.1038/​s41567-020-0932-7

, Alastair Kay. “Quantikz”. url: https://​/​doi.org/​10.17637/​rh.7000520.v4.
https://​/​doi.org/​10.17637/​rh.7000520.v4

Citato da

[1] Michael Zurel, Lawrence Z. Cohen e Robert Raussendorf, "Simulazione del calcolo quantistico con stati magici tramite trasformazioni di Jordan-Wigner", arXiv: 2307.16034, (2023).

[2] Qiuhao Chen, Yuxuan Du, Qi Zhao, Yuling Jiao, Xiliang Lu e Xingyao Wu, "Compilatore quantistico efficiente e pratico verso sistemi multi-qubit con apprendimento di rinforzo profondo", arXiv: 2204.06904, (2022).

[3] Filipa CR Peres, “Modello di calcolo quantistico basato su Pauli con sistemi a dimensione superiore”, Revisione fisica A 108 3, 032606 (2023).

[4] Michael Zurel, Cihan Okay e Robert Raussendorf, "Simulazione del calcolo quantistico con stati magici: quanti" bit "per" esso "?", arXiv: 2305.17287, (2023).

[5] Mark Koch, Richie Yeung e Quanlong Wang, "Contrazione rapida dei diagrammi ZX con triangoli tramite decomposizioni dello stabilizzatore", arXiv: 2307.01803, (2023).

Le citazioni sopra sono di ANNUNCI SAO / NASA (ultimo aggiornamento riuscito 2023-10-04 03:09:33). L'elenco potrebbe essere incompleto poiché non tutti gli editori forniscono dati di citazione adeguati e completi.

On Il servizio citato da Crossref non sono stati trovati dati su citazioni (ultimo tentativo 2023-10-04 03:09:31).

Timestamp:

Di più da Diario quantistico