Compilação de circuitos quânticos e computação híbrida usando computação baseada em Pauli

Compilação de circuitos quânticos e computação híbrida usando computação baseada em Pauli

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

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

Acha este artigo interessante ou deseja discutir? Scite ou deixe um comentário no SciRate.

Sumário

A computação baseada em Pauli (PBC) é conduzida por uma sequência de medições não destrutivas e escolhidas adaptativamente dos observáveis ​​de Pauli. Qualquer circuito quântico escrito em termos do conjunto de portas Clifford+$T$ e tendo portas $t$ $T$ pode ser compilado em um PBC em $t$ qubits. Aqui propomos maneiras práticas de implementar PBC como circuitos quânticos adaptativos e fornecemos código para fazer o processamento lateral clássico necessário. Nossos esquemas reduzem o número de portas quânticas para $O(t^2)$ (de uma escala $O(t^3 / log t)$ anterior) e são discutidas compensações espaço/tempo que levam a uma redução do profundidade de $O(t log t)$ a $O(t)$ dentro de nossos esquemas, ao custo de $t$ qubits auxiliares adicionais. Compilamos exemplos de circuitos quânticos aleatórios e de deslocamento oculto em circuitos PBC adaptativos. Também simulamos a computação quântica híbrida, onde um computador clássico estende efetivamente a memória de trabalho de um pequeno computador quântico em $k$ qubits virtuais, a um custo exponencial em $k$. Nossos resultados demonstram a vantagem prática das técnicas PBC para compilação de circuitos e computação híbrida.

[Conteúdo incorporado]

Espera-se que computadores quânticos de grande escala e tolerantes a falhas resolvam tarefas que estão fora do alcance de seus equivalentes clássicos. Essa perspectiva atraente impulsionou muitas pesquisas recentes nas áreas de informação quântica e computação quântica.
Infelizmente, os dispositivos atuais ainda são um tanto limitados em suas capacidades. Assim, são necessários esquemas inteligentes que nos permitam trocar recursos clássicos por recursos quânticos. Em nosso trabalho, exploramos um modelo universal de computação quântica conhecido como computação baseada em Pauli. Mostramos que este modelo pode ser usado para compilar circuitos quânticos dominados por portas de Clifford, demonstrando economias úteis de recursos quânticos em muitos casos. Também descrevemos ganhos de eficiência na computação quântica híbrida clássica, onde os dois tipos de computadores trabalham juntos para simular um dispositivo quântico maior. Nosso artigo é acompanhado por código Python de acesso aberto que permite aos usuários realizar compilação e computação híbrida em circuitos arbitrários especificados pelo usuário, descritos usando o conjunto de portas Clifford+$T$ comum.
Esperamos que o nosso trabalho seja relevante para aplicações de curto e médio prazo, mas também a longo prazo, uma vez que a otimização de recursos quânticos deve ser de interesse mesmo depois de alcançada a computação quântica tolerante a falhas.

► dados BibTeX

► Referências

[1] Peter W. Shor. “Algoritmos para computação quântica: logaritmos discretos e fatoração”. Nos Anais do 35º Simpósio Anual sobre Fundamentos da Ciência da Computação. Páginas 124–134. IEEE Press, Los Alamitos, CA (1994).
https: / / doi.org/ 10.1109 / SFCS.1994.365700

[2] Seth Lloyd. “Simuladores Quânticos Universais”. Ciência 273, 1073–1078 (1996).
https: / / doi.org/ 10.1126 / science.273.5278.1073

[3] Aram W. Harrow, Avinatan Hassidim e Seth Lloyd. “Algoritmo Quântico para Sistemas Lineares de Equações”. Física. Rev. 103, 150502 (2009).
https: / / doi.org/ 10.1103 / PhysRevLett.103.150502

[4] Ashley Montanaro. “Algoritmos quânticos: uma visão geral”. npj Quantum Information 2, 15023 (2016).
https: / / doi.org/ 10.1038 / npjqi.2015.23

[5] João Preskill. “Computação Quântica na era NISQ e além”. Quantum 2, 79 (2018).
https:/​/​doi.org/​10.22331/​q-2018-08-06-79

[6] 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. “Supremacia quântica usando um processador supercondutor programável”. Nature 574, 505–510 (2019).
https:/​/​doi.org/​10.1038/​s41586-019-1666-5

[7] 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. “Vantagem computacional quântica usando fótons”. Ciência 370, 1460–1463 (2020).
https: / / doi.org/ 10.1126 / science.abe8770

[8] 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 vantagem computacional quântica usando um processador quântico supercondutor”. Física. Rev. 127, 180501 (2021).
https: / / doi.org/ 10.1103 / PhysRevLett.127.180501

[9] Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J. Love, Alán Aspuru-Guzik e Jeremy L. O'Brien. “Um solucionador de autovalor variacional em um processador quântico fotônico”. Nature Communications 5, 4213 (2014).
https: / / doi.org/ 10.1038 / ncomms5213

[10] Vedran Dunjko, Yimin Ge e J. Ignacio Cirac. “Aceleração computacional usando pequenos dispositivos quânticos”. Física. Rev. 121, 250501 (2018).
https: / / doi.org/ 10.1103 / PhysRevLett.121.250501

[11] Aram W. Grade. “Pequenos computadores quânticos e grandes conjuntos de dados clássicos” (2020). arXiv:2004.00026.
arXiv: 2004.00026

[12] Sergey Bravyi, Graeme Smith e John A. Smolin. “Negociação de recursos computacionais clássicos e quânticos”. Física. Rev. X 6, 021043 (2016).
https: / / doi.org/ 10.1103 / PhysRevX.6.021043

[13] Mithuna Yoganathan, Richard Jozsa e Sergii Strelchuk. “Vantagem quântica de circuitos Clifford unitários com entradas de estado mágico”. Processo. R.Soc. A 475, 20180427 (2019).
https: / / doi.org/ 10.1098 / rspa.2018.0427

[14] Padraico Calpin. “Explorando a computação quântica através das lentes da simulação clássica”. Tese de doutorado. UCL (University College de Londres). (2020). url: https:/​/​discovery.ucl.ac.uk/​id/​eprint/​10091573.
https:/​/​discovery.ucl.ac.uk/​id/​eprint/​10091573

[15] Daniel Gottesman. “Códigos Estabilizadores e Correção de Erros Quânticos”. Tese de doutorado. Caltech. (1997). arXiv:quant-ph/9705052.
arXiv: quant-ph / 9705052

[16] Daniel Gottesman. “A representação de Heisenberg dos computadores quânticos”. No Grupo22: Anais do XXII Colóquio Internacional sobre Métodos Teóricos de Grupo em Física. Páginas 32–43. (1998). arXiv:quant-ph/​9807006.
arXiv: quant-ph / 9807006

[17] Igor L. Markov e Yaoyun Shi. “Simulando Computação Quântica por Contratação de Redes Tensoriais”. SIAM Journal on Computing 38, 963–981 (2008).
https: / / doi.org/ 10.1137 / 050644756

[18] Cupjin Huang, Michael Newman e Mario Szegedy. “Limites inferiores explícitos em simulação quântica forte” (2018). arXiv:1804.10368.
arXiv: 1804.10368

[19] Hakop Pashayan, Joel J. Wallman e Stephen D. Bartlett. “Estimando probabilidades de resultados de circuitos quânticos usando quase probabilidades”. Física. Rev. 115, 070501 (2015).
https: / / doi.org/ 10.1103 / PhysRevLett.115.070501

[20] Robert Raussendorf, Juani Bermejo-Vega, Emily Tyhurst, Cihan Okay e Michael Zurel. “Método de simulação de espaço de fase para computação quântica com estados mágicos em qubits”. Física. Rev.A 101, 012350 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.101.012350

[21] Scott Aaronson e Daniel Gottesman. “Simulação aprimorada de circuitos estabilizadores”. Física Rev. A 70, 052328 (2004).
https: / / doi.org/ 10.1103 / PhysRevA.70.052328

[22] Sergey Bravyi e David Gosset. “Simulação Clássica Melhorada de Circuitos Quânticos Dominados por Clifford Gates”. Física. Rev. 116, 250501 (2016).
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501

[23] Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset e Mark Howard. “Simulação de circuitos quânticos por decomposições de estabilizadores de baixo escalão”. Quantum 3, 181 (2019).
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

[24] Hammam Qassim, Joel J. Wallman e Joseph Emerson. “Recompilação Clifford para simulação clássica mais rápida de circuitos quânticos”. Quântico 3, 170 (2019).
https:/​/​doi.org/​10.22331/​q-2019-08-05-170

[25] Hammam Qassim, Hakop Pashayan e David Gosset. “Melhores limites superiores na classificação do estabilizador de estados mágicos”. Quântico 5, 606 (2021).
https:/​/​doi.org/​10.22331/​q-2021-12-20-606

[26] Aleks Kissinger e John van de Wetering. “Simulação de circuitos quânticos com cálculo ZX reduziu decomposições do estabilizador”. Ciência e Tecnologia Quântica 7, 044001 (2022).
https:/​/​doi.org/​10.1088/​2058-9565/​ac5d20

[27] Xinlan Zhou, Debbie W. Leung e Isaac L. Chuang. “Metodologia para construção de portas lógicas quânticas”. Física. Rev.A 62, 052316 (2000).
https: / / doi.org/ 10.1103 / PhysRevA.62.052316

[28] Sergey Bravyi e Alexei Kitaev. “Computação quântica universal com portas de Clifford ideais e ancillas ruidosas”. Física. Rev.A 71, 022316 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.022316

[29] Earl T. Campbell, Barbara M. Terhal e Christophe Vuillot. “Caminhos para a computação quântica universal tolerante a falhas”. Natureza 549, 172–179 (2017).
https: / / doi.org/ 10.1038 / nature23460

[30] Daniel Litinski. “Destilação de estado mágico: não tão cara quanto você pensa”. Quântico 3, 205 (2019).
https:/​/​doi.org/​10.22331/​q-2019-12-02-205

[31] Ketan N. Patel, Igor L. Markov e John P. Hayes. “Síntese ótima de circuitos lineares reversíveis”. Informações Quânticas. Computação. 8, 282–294 (2008).
https: / / doi.org/ 10.26421 / QIC8.3-4-4

[32] Robert Raussendorf e Hans J. Briegel. “Um computador quântico unidirecional”. Física. Rev. 86, 5188–5191 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.5188

[33] Michael A. Nielsen. “Computação Óptica Quântica Usando Estados de Cluster”. Física. Rev. 93, 040503 (2004).
https: / / doi.org/ 10.1103 / PhysRevLett.93.040503

[34] Daniel E. Browne e Terry Rudolph. “Computação quântica óptica linear com eficiência de recursos”. Física. Rev. 95, 010501 (2005).
https: / / doi.org/ 10.1103 / PhysRevLett.95.010501

[35] P. Walther, KJ Resch, T. Rudolph, E. Schenck, H. Weinfurter, V. Vedral, M. Aspelmeyer e A. Zeilinger. “Computação quântica experimental unidirecional”. Natureza 434, 169–176 (2005).
https: / / doi.org/ 10.1038 / nature03347

[36] Robert Prevedel, Philip Walther, Felix Tiefenbacher, Pascal Böhi, Rainer Kaltenbaek, Thomas Jennewein e Anton Zeilinger. “Computação quântica de óptica linear de alta velocidade usando feed-forward ativo”. Natureza 445, 65–69 (2007).
https: / / doi.org/ 10.1038 / nature05346

[37] Anne Broadbent, Joseph Fitzsimons e Elham Kashefi. “Computação Quântica Cega Universal”. Em 2009, 50º Simpósio Anual IEEE sobre Fundamentos da Ciência da Computação. Páginas 517–526. (2009).
https: / / doi.org/ 10.1109 / FOCS.2009.36

[38] Matthew Amy, Dmitri Maslov e Michele Mosca. “Otimização de profundidade T em tempo polinomial de circuitos Clifford + T via particionamento Matroid”. Transações IEEE sobre Projeto Auxiliado por Computador de Circuitos e Sistemas Integrados 33, 1476–1489 (2014).
https: / / doi.org/ 10.1109 / TCAD.2014.2341953

[39] Yunseong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs e Dmitri Maslov. “Otimização automatizada de grandes circuitos quânticos com parâmetros contínuos”. npj Informação Quântica 4, 1 (2018).
https:/​/​doi.org/​10.1038/​s41534-018-0072-4

[40] Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons e Seyon Sivarajah. “Síntese de dispositivos de fase para circuitos rasos”. Procedimentos Eletrônicos em Ciência da Computação Teórica 318, 213–228 (2020).
https: / / doi.org/ 10.4204 / EPTCS.318.13

[41] Aleks Kissinger e John van de Wetering. “Reduzindo o número de portas não-Clifford em circuitos quânticos”. Física. Rev. A 102, 022406 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.102.022406

[42] Fang Zhang e Jianxin Chen. “Otimizando portas T no circuito Clifford+T como $pi/​4$ rotações em torno de Paulis” (2019). arXiv:1903.12456.
arXiv: 1903.12456

[43] Tianyi Peng, Aram W. Harrow, Maris Ozols e Xiaodi Wu. “Simulando Grandes Circuitos Quânticos em um Pequeno Computador Quântico”. Física. Rev. 125, 150504 (2020).
https: / / doi.org/ 10.1103 / PhysRevLett.125.150504

[44] Wei Tang, Teague Tomesh, Martin Suchara, Jeffrey Larson e Margaret Martonosi. “CutQC: Usando pequenos computadores quânticos para avaliações de grandes circuitos quânticos”. Nos Anais da 26ª Conferência Internacional ACM sobre Suporte Arquitetural para Linguagens de Programação e Sistemas Operacionais. Página 473–486. ASPLOS '21Nova York, NY, EUA (2021). Associação de Máquinas de Computação.
https: / / doi.org/ 10.1145 / 3445814.3446758

[45] Christophe Piveteau e David Sutter. “Circuito de tricô com comunicação clássica” (2023). arXiv:2205.00016.
arXiv: 2205.00016

[46] Angus Lowe, Matija Medvidović, Anthony Hayes, Lee J. O'Riordan, Thomas R. Bromley, Juan Miguel Arrazola e Nathan Killoran. “Corte rápido de circuito quântico com medições aleatórias”. Quântico 7, 934 (2023).
https:/​/​doi.org/​10.22331/​q-2023-03-02-934

[47] Daniel Gottesman. “Uma introdução à correção quântica de erros e à computação quântica tolerante a falhas” (2009). arXiv:0904.2557.
arXiv: 0904.2557

[48] Austin G. Fowler, Matteo Mariantoni, John M. Martinis e Andrew N. Cleland. “Códigos de superfície: Rumo à computação quântica prática em larga escala”. Física Rev. A 86, 032324 (2012).
https: / / doi.org/ 10.1103 / PhysRevA.86.032324

[49] Daniel Litinski. “Um jogo de códigos de superfície: computação quântica em grande escala com cirurgia em rede”. Quântico 3, 128 (2019).
https:/​/​doi.org/​10.22331/​q-2019-03-05-128

[50] Byung-Soo Choi e Rodney Van Meter. “Sobre o efeito da distância de interação quântica em circuitos de adição quântica”. J. Emerg. Tecnologia. Computação. Sist. 7 (2011).
https: / / doi.org/ 10.1145 / 2000502.2000504

[51] Filipa CR Peres. “Modelo de computação quântica baseado em Pauli com sistemas de dimensões superiores”. Física. Rev. A 108, 032606 (2023).
https: / / doi.org/ 10.1103 / PhysRevA.108.032606

[52] Yihui Quek, Mark M. Wilde e Eneet Kaur. “Estimativa de traços multivariados em profundidade quântica constante” (2022). arXiv:2206.15405.
arXiv: 2206.15405

[53] Markus Heinrich e David Gross. “Robustez da Magia e Simetrias do Politopo Estabilizador”. Quântico 3, 132 (2019).
https:/​/​doi.org/​10.22331/​q-2019-04-08-132

[54] Mark Howard e Earl Campbell. “Aplicação de uma teoria de recursos para estados mágicos à computação quântica tolerante a falhas”. Física. Rev. 118 (2017).
https: / / doi.org/ 10.1103 / PhysRevLett.118.090501

[55] Lorenzo Leone, Salvatore FE Oliviero e Alioscia Hamma. “Estabilizador Rényi Entropia”. Física. Rev. 128, 050402 (2022).
https: / / doi.org/ 10.1103 / PhysRevLett.128.050402

[56] Blake Johnson. “Trazendo todo o poder dos circuitos dinâmicos para o Qiskit Runtime”. url: https://research.ibm.com/​blog/​quantum-dynamic-circuits. (acessado em: 2022-11-09).
https://research.ibm.com/​blog/​quantum-dynamic-circuits

[57] Equipe de desenvolvimento do Qiskit. “Simulador de vetor de estado”. url: https://​/​qiskit.org/​documentation/​stubs/​qiskit.providers.aer.StatevectorSimulator.html. (acessado em: 2022/11/01).
https://​/​qiskit.org/​documentation/​stubs/​qiskit.providers.aer.StatevectorSimulator.html

[58] Vivek V. Shende e Igor L. Markov. “Sobre o custo CNOT das portas TOFFOLI”. Informações Quânticas. Computação. 9, 461–486 (2009).
https: / / doi.org/ 10.26421 / QIC8.5-6-8

[59] Sergio Boixo, Sergei V. Isakov, Vadim N. Smelyanskiy, Ryan Babbush, Nan Ding, Zhang Jiang, Michael J. Bremner, John M. Martinis e Hartmut Neven. “Caracterizando a supremacia quântica em dispositivos de curto prazo”. Nature Physics 14, 595-600 (2018).
https: / / doi.org/ 10.1038 / s41567-018-0124-x

[60] Hsin-Yuan Huang, Richard Kueng e John Preskill. “Prevendo muitas propriedades de um sistema quântico a partir de poucas medições”. Nature Physics 16, 1050–1057 (2020).
https:/​/​doi.org/​10.1038/​s41567-020-0932-7

[61] Alastair Kay. “Quantikz”. URL: https://​/​doi.org/​10.17637/​rh.7000520.v4.
https://​/​doi.org/​10.17637/​rh.7000520.v4

Citado por

[1] Michael Zurel, Lawrence Z. Cohen e Robert Raussendorf, “Simulação de computação quântica com estados mágicos via transformações de Jordan-Wigner”, arXiv: 2307.16034, (2023).

[2] Qiuhao Chen, Yuxuan Du, Qi Zhao, Yuling Jiao, Xiliang Lu e Xingyao Wu, “Compilador quântico eficiente e prático para sistemas multi-qubit com aprendizagem por reforço profundo”, arXiv: 2204.06904, (2022).

[3] Filipa CR Peres, “Modelo de computação quântica baseado em Pauli com sistemas de dimensões superiores”, Revisão Física A 108 3, 032606 (2023).

[4] Michael Zurel, Cihan Okay e Robert Raussendorf, “Simulando computação quântica com estados mágicos: quantos “bits” para “isso”?”, arXiv: 2305.17287, (2023).

[5] Mark Koch, Richie Yeung e Quanlong Wang, “Contração rápida de diagramas ZX com triângulos via decomposições de estabilizador”, arXiv: 2307.01803, (2023).

As citações acima são de SAO / NASA ADS (última atualização com êxito 2023-10-04 03:09:33). A lista pode estar incompleta, pois nem todos os editores fornecem dados de citação adequados e completos.

On Serviço citado por Crossref nenhum dado sobre a citação de trabalhos foi encontrado (última tentativa 2023-10-04 03:09:31).

Carimbo de hora:

Mais de Diário Quântico