Determinación de la capacidad de la computación cuántica universal: prueba de controlabilidad mediante expresividad dimensional

Determinación de la capacidad de la computación cuántica universal: prueba de controlabilidad mediante expresividad dimensional

Nodo de origen: 3029971

Fernando Gago Encinas1, Tobías Hartung2,3, Daniel M. Reich1, Karl Jansen4y Christiane P. Koch1

1Fachbereich Physik y Dahlem Center for Complex Quantum Systems, Freie Universität Berlin, Arnimallee 14, 14195 Berlin, Alemania
2Universidad del Noreste de Londres, Devon House, St Katharine Docks, Londres, E1W 1LP, Reino Unido
3Khoury College of Computer Sciences, Northeastern University, 440 Huntington Avenue, 202 West Village H Boston, MA 02115, EE. UU.
4NIC, DESY Zeuthen, Platanenallee 6, 15738 Zeuthen, Alemania

¿Encuentra este documento interesante o quiere discutirlo? Scite o deje un comentario en SciRate.

Resumen

La controlabilidad del operador se refiere a la capacidad de implementar un unitario arbitrario en SU(N) y es un requisito previo para la computación cuántica universal. Las pruebas de controlabilidad se pueden utilizar en el diseño de dispositivos cuánticos para reducir la cantidad de controles externos. Sin embargo, su uso práctico se ve obstaculizado por la escala exponencial de su esfuerzo numérico con el número de qubits. Aquí, diseñamos un algoritmo híbrido cuántico-clásico basado en un circuito cuántico parametrizado. Mostramos que la controlabilidad está vinculada al número de parámetros independientes, que pueden obtenerse mediante análisis de expresividad dimensional. Ejemplificamos la aplicación del algoritmo a matrices de qubits con acoplamientos de vecino más cercano y controles locales. Nuestro trabajo proporciona un enfoque sistemático para el diseño eficiente de recursos de chips cuánticos.

La controlabilidad nos dice si podemos implementar todas las operaciones unitarias imaginables en un sistema cuántico con campos de control que podemos cambiar en función del tiempo. Esta propiedad es importante para las matrices de qubits, ya que la computación cuántica universal requiere un dispositivo que pueda realizar cualquier operación de lógica cuántica. Dado que cada campo de control ocupa espacio físico, requiere calibración y es potencialmente una fuente de ruido, se vuelve esencial encontrar diseños de dispositivos con la menor cantidad posible de controles y acoplamientos de qubits, a medida que los dispositivos cuánticos crecen. Las pruebas de controlabilidad pueden ayudarnos a lograr este objetivo.

Aquí presentamos una prueba híbrida cuántica-clásica que combina mediciones en un dispositivo cuántico y cálculos clásicos. Nuestro algoritmo se basa en el concepto de circuitos cuánticos paramétricos, la contraparte cuántica de los circuitos booleanos donde algunas de las puertas lógicas dependen de diferentes parámetros. Aprovechamos el análisis de expresividad dimensional para identificar todos los parámetros del circuito que son redundantes y pueden eliminarse. Mostramos que, para cualquier matriz de qubits, se puede definir un circuito cuántico paramétrico de modo que el número de parámetros independientes refleje la controlabilidad del sistema cuántico original.

Esperamos que esta prueba proporcione una herramienta útil para estudiar estos circuitos y diseñar dispositivos cuánticos controlables que puedan ampliarse a dimensiones mayores.

► datos BibTeX

► referencias

[ 1 ] Michael A Nielsen e Isaac L Chuang. “Computación cuántica e información cuántica”. Prensa de la Universidad de Cambridge. (2010).
https: / / doi.org/ 10.1017 / CBO9780511976667

[ 2 ] Philip Krantz, Morten Kjaergaard, Fei Yan, Terry P Orlando, Simon Gustavsson y William D Oliver. "Una guía para ingenieros cuánticos sobre qubits superconductores". Revisiones de física aplicada 6 (2019).
https: / / doi.org/ 10.1063 / 1.5089550

[ 3 ] Juan José García Ripoll. “Información cuántica y óptica cuántica con circuitos superconductores”. Prensa de la Universidad de Cambridge. (2022).
https: / / doi.org/ 10.1017 / 9781316779460

[ 4 ] Fernando Gago-Encinas, Monika Leibscher y Christiane Koch. "Prueba gráfica de controlabilidad en matrices de qubits: una forma sistemática de determinar el número mínimo de controles externos". Ciencia y tecnología cuánticas 8, 045002 (2023).
https:/​/​doi.org/​10.1088/​2058-9565/​ace1a4

[ 5 ] Domenico d'Alessandro. “Introducción al control y la dinámica cuántica”. Prensa CRC. (2021).
https: / / doi.org/ 10.1201 / 9781003051268

[ 6 ] Christiane P. Koch, Ugo Boscain, Tommaso Calarco, Gunther Dirr, Stefan Filipp, Steffen J. Glaser, Ronnie Kosloff, Simone Montangero, Thomas Schulte-Herbrüggen, Dominique Sugny y Frank K. Wilhelm. “Control óptimo cuántico en tecnologías cuánticas. Informe estratégico sobre la situación actual, visiones y objetivos de la investigación en Europa”. Tecnología cuántica EPJ. 9, 19 (2022).
https://​/​doi.org/​10.1140/​epjqt/​s40507-022-00138-x

[ 7 ] Steffen J. Glaser, Ugo Boscain, Tommaso Calarco, Christiane P. Koch, Walter Köckenberger, Ronnie Kosloff, Ilya Kuprov, Burkard Luy, Sophie Schirmer, Thomas Schulte-Herbrüggen, D. Sugny y Frank K. Wilhelm. “Entrenamiento del gato de Schrödinger: control cuántico óptimo. Informe estratégico sobre la situación actual, visiones y objetivos de la investigación en Europa”. EPJ D 69, 279 (2015).
https: / / doi.org/ 10.1140 / epjd / e2015-60464-1

[ 8 ] Francesca Albertini y Domenico D'Alessandro. "La estructura del álgebra de Lie y la controlabilidad de los sistemas de espín". Álgebra lineal y sus aplicaciones 350, 213–235 (2002).
https:/​/​doi.org/​10.1016/​S0024-3795(02)00290-2

[ 9 ] U. Boscain, M. Caponigro, T. Chambrion y M. Sigalotti. "Una condición espectral débil para la controlabilidad de la ecuación bilineal de Schrödinger con aplicación al control de una molécula plana giratoria". Com. Matemáticas. Física. 311, 423–455 (2012).
https: / / doi.org/ 10.1007 / s00220-012-1441-z

[ 10 ] Ugo Boscain, Marco Caponigro y Mario Sigalotti. “Ecuación de Schrödinger de entradas múltiples: controlabilidad, seguimiento y aplicación al momento angular cuántico”. Revista de ecuaciones diferenciales 256, 3524–3551 (2014).
https://​/​doi.org/​10.1016/​j.jde.2014.02.004

[ 11 ] S. G. Schirmer, H. Fu y A. I. Solomon. “Controlabilidad total de los sistemas cuánticos”. Física. Rev. A 63, 063410 (2001).
https: / / doi.org/ 10.1103 / PhysRevA.63.063410

[ 12 ] H Fu, SG Schirmer y AI Solomon. “Controlabilidad total de sistemas cuánticos de nivel finito”. Revista de Física A: Matemática y General 34, 1679 (2001).
https:/​/​doi.org/​10.1088/​0305-4470/​34/​8/​313

[ 13 ] Claudio Altafini. "Controlabilidad de sistemas de mecánica cuántica mediante descomposición espacial de raíces de su (n)". Revista de Física Matemática 43, 2051–2062 (2002).
https: / / doi.org/ 10.1063 / 1.1467611

[ 14 ] Eugenio Pozzoli, Monika Leibscher, Mario Sigalotti, Ugo Boscain y Christiane P. Koch. “Álgebra de mentiras para subsistemas rotacionales de un techo asimétrico conducido”. J. Física. R: Matemáticas. Teor. 55, 215301 (2022).
https://​/​doi.org/​10.1088/​1751-8121/​ac631d

[ 15 ] Thomas Chambrion, Paolo Mason, Mario Sigalotti y Ugo Boscain. "Controlabilidad de la ecuación de Schrödinger de espectro discreto impulsada por un campo externo". Annales de l'Institut Henri Poincaré C 26, 329–349 (2009).
https://​/​doi.org/​10.1016/​j.anihpc.2008.05.001

[ 16 ] Nabile Boussaïd, Marco Caponigro y Thomas Chambrion. “Sistemas débilmente acoplados en control cuántico”. Traducción IEEE. Aparato mecánico. Control 58, 2205–2216 (2013).
https: / / doi.org/ 10.1109 / TAC.2013.2255948

[ 17 ] Monika Leibscher, Eugenio Pozzoli, Cristobal Pérez, Melanie Schnell, Mario Sigalotti, Ugo Boscain y Christiane P. Koch. "Control cuántico total de la transferencia de estado selectiva de enantiómeros en moléculas quirales a pesar de la degeneración". Física de las Comunicaciones 5, 1–16 (2022).
https:/​/​doi.org/​10.1038/​s42005-022-00883-6

[ 18 ] Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J Love, Alán Aspuru-Guzik y Jeremy L O'brien. "Un solucionador de valor propio variacional en un procesador cuántico fotónico". Comunicaciones de la naturaleza 5, 4213 (2014).
https: / / doi.org/ 10.1038 / ncomms5213

[ 19 ] Jarrod R McClean, Jonathan Romero, Ryan Babbush y Alán Aspuru-Guzik. “La teoría de los algoritmos cuánticos-clásicos híbridos variacionales”. Nueva Revista de Física 18, 023023 (2016).
https:/​/​doi.org/​10.1088/​1367-2630/​18/​2/​023023

[ 20 ] Juan Preskill. “La computación cuántica en la era nisq y más allá”. Cuántica 2, 79 (2018).
https:/​/​doi.org/​10.22331/​q-2018-08-06-79

[ 21 ] Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn y Paolo Stornati. “Análisis de expresividad dimensional de circuitos cuánticos paramétricos”. Cuántico 5, 422 (2021).
https:/​/​doi.org/​10.22331/​q-2021-03-29-422

[ 22 ] Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Manuel Schneider y Paolo Stornati. “Análisis de expresividad dimensional, errores de mejor aproximación y diseño automatizado de circuitos cuánticos paramétricos” (2021).

[ 23 ] Claudio Altafini. “Controlabilidad de sistemas de mecánica cuántica mediante descomposición espacial de raíces de su (n)”. Revista de Física Matemática 43, 2051–2062 (2002).
https: / / doi.org/ 10.1063 / 1.1467611

[ 24 ] Francesca Albertini y Domenico D'Alessandro. “Nociones de controlabilidad para sistemas cuánticos multinivel bilineales”. Transacciones IEEE sobre control automático 48, 1399–1403 (2003).
https: / / doi.org/ 10.1109 / TAC.2003.815027

[ 25 ] SG Schirmer, ICH Pullen y AI Solomon. "Identificación de álgebras de mentira dinámicas para sistemas de control cuántico de nivel finito". Revista de Física A: Matemática y General 35, 2327 (2002).
https:/​/​doi.org/​10.1088/​0305-4470/​35/​9/​319

[ 26 ] Marco Cerezo, Andrew Arrasmith, Ryan Babbush, Simon C Benjamin, Suguru Endo, Keisuke Fujii, Jarrod R McClean, Kosuke Mitarai, Xiao Yuan, Lukasz Cincio, et al. “Algoritmos cuánticos variacionales”. Nature Reviews Physics 3, 625–644 (2021).
https:/​/​doi.org/​10.1038/​s42254-021-00348-9

[ 27 ] Sukin Sim, Peter D Johnson y Alán Aspuru-Guzik. “Expresibilidad y capacidad de entrelazamiento de circuitos cuánticos parametrizados para algoritmos híbridos cuánticos-clásicos”. Tecnologías cuánticas avanzadas 2, 1900070 (2019).
https: / / doi.org/ 10.1002 / qute.201900070

[ 28 ] Lucas Friedrich y Jonás Maziero. “La dependencia de la concentración de la función de costo cuántico de la expresividad de la parametrización” (2023).
https:/​/​doi.org/​10.1038/​s41598-023-37003-5

[ 29 ] John M. Lee y John M. Lee. “Múltiples suaves”. Saltador. (2012).
https:/​/​doi.org/​10.1007/​978-1-4419-9982-5_1

[ 30 ] Morten Kjaergaard, Mollie E Schwartz, Jochen Braumüller, Philip Krantz, Joel IJ Wang, Simon Gustavsson y William D Oliver. "Qubits superconductores: situación actual". Revisión anual de la física de la materia condensada 11, 369–395 (2020).
https: / / doi.org/ 10.1146 / annurev-conmatphys-031119-050605

[ 31 ] Man-Duen Choi. “Mapas lineales completamente positivos sobre matrices complejas”. Álgebra lineal y sus aplicaciones 10, 285–290 (1975).
https:/​/​doi.org/​10.1016/​0024-3795(75)90075-0

[ 32 ] Andrzej Jamiołkowski. “Transformaciones lineales que conservan la traza y la semidefinición positiva de los operadores”. Informes sobre física matemática 3, 275–278 (1972).
https:/​/​doi.org/​10.1016/​0034-4877(72)90011-0

[ 33 ] Seth Lloyd, Masoud Mohseni y Patrick Rebentrost. “Análisis cuántico de componentes principales”. Física de la naturaleza 10, 631–633 (2014).
https: / / doi.org/ 10.1038 / nphys3029

[ 34 ] Min Jiang, Shunlong Luo y Shuangshuang Fu. “Dualidad canal-estado”. Revisión física A 87, 022310 (2013).
https: / / doi.org/ 10.1103 / PhysRevA.87.022310

[ 35 ] Alicia B Magann, Christian Arenz, Matthew D Grace, Tak-San Ho, Robert L Kosut, Jarrod R McClean, Herschel A Rabitz y Mohan Sarovar. "De pulsos a circuitos y viceversa: una perspectiva de control cuántico óptimo en algoritmos cuánticos variacionales". PRX Quantum 2, 010101 (2021).
https: / / doi.org/ 10.1103 / PRXQuantum.2.010101

[ 36 ] Nicolas Wittler, Federico Roy, Kevin Pack, Max Werninghaus, Anurag Saha Roy, Daniel J. Egger, Stefan Filipp, Frank K. Wilhelm y Shai Machnes. “Conjunto de herramientas integradas para control, calibración y caracterización de dispositivos cuánticos aplicados a qubits superconductores”. Física. Aplicación Rev. 15, 034080 (2021).
https: / / doi.org/ 10.1103 / PhysRevApplied.15.034080

[ 37 ] Jonathan Z Lu, Rodrigo A Bravo, Kaiying Hou, Gebremedhin A Dagnew, Susanne F Yelin y Khadijeh Najafi. “Aprendizaje de simetrías cuánticas con algoritmos variacionales clásicos cuánticos interactivos” (2023).

[ 38 ] Alicja Dutkiewicz, Thomas E O'Brien y Thomas Schuster. “La ventaja del control cuántico en el aprendizaje hamiltoniano de muchos cuerpos” (2023).

[ 39 ] Rongxin Xia y Saber Kais. “Ansatz de solucionador propio cuántico variacional simple y doble de clúster acoplado a Qubit para cálculos de estructuras electrónicas”. Ciencia y Tecnología Cuánticas 6, 015001 (2020).
https:/​/​doi.org/​10.1088/​2058-9565/​abbc74

[ 40 ] Abhinav Kandala, Antonio Mezzacapo, Kristan Temme, Maika Takita, Markus Brink, Jerry M Chow y Jay M Gambetta. “Eigensolver cuántico variacional eficiente en hardware para moléculas pequeñas e imanes cuánticos”. Naturaleza 549, 242–246 (2017).
https: / / doi.org/ 10.1038 / nature23879

[ 41 ] Pauline J. Ollitrault, Alexander Miessen e Ivano Tavernelli. “Dinámica cuántica molecular: una perspectiva de la computación cuántica”. Cuentas de investigación química 54, 4229–4238 (2021).
https://​/​doi.org/​10.1021/​acs.accounts.1c00514

Citado por

No se pudo recuperar Crossref citado por datos durante el último intento 2023-12-21 12:25:23: No se pudieron obtener los datos citados por 10.22331 / q-2023-12-21-1214 de Crossref. Esto es normal si el DOI se registró recientemente. En ANUNCIOS SAO / NASA no se encontraron datos sobre las obras citadas (último intento 2023-12-21 12:25:23).

Sello de tiempo:

Mas de Diario cuántico