Los simuladores cuánticos permiten estudiar un sistema cuántico de forma programable. En este caso, los simuladores son dispositivos especiales diseñados para proporcionar información sobre problemas físicos específicos. [1] [2] [3] Los simuladores cuánticos pueden contrastarse con las computadoras cuánticas "digitales" generalmente programables , que serían capaces de resolver una clase más amplia de problemas cuánticos.
Un sistema cuántico puede ser simulado tanto por una máquina de Turing como por una máquina de Turing cuántica , ya que una máquina de Turing clásica es capaz de simular un ordenador cuántico universal (y por tanto cualquier simulador cuántico más sencillo), lo que significa que son equivalentes desde el punto de vista de la teoría de la computabilidad . Se ha demostrado que la simulación de una física cuántica por un ordenador clásico es ineficiente. [6] En otras palabras, los ordenadores cuánticos no aportan ningún poder adicional sobre los ordenadores clásicos en términos de computabilidad, pero se sospecha que pueden resolver ciertos problemas más rápido que los ordenadores clásicos, lo que significa que pueden estar en diferentes clases de complejidad , por lo que las máquinas de Turing cuánticas son útiles para simular sistemas cuánticos. Esto se conoce como supremacía cuántica , la idea de que hay problemas que solo las máquinas de Turing cuánticas pueden resolver en cualquier cantidad de tiempo factible .
Un sistema cuántico de muchas partículas podría ser simulado por una computadora cuántica utilizando una cantidad de bits cuánticos similar a la cantidad de partículas en el sistema original. [5] Esto se ha extendido a clases mucho más grandes de sistemas cuánticos. [7] [8] [9] [10]
Se han realizado simuladores cuánticos en varias plataformas experimentales, incluidos sistemas de gases cuánticos ultrafríos , moléculas polares, iones atrapados, sistemas fotónicos, puntos cuánticos y circuitos superconductores. [11]
Resolver problemas de física
Muchos problemas importantes en física, especialmente la física de bajas temperaturas y la física de muchos cuerpos , siguen siendo poco comprendidos porque la mecánica cuántica subyacente es enormemente compleja. Las computadoras convencionales, incluidas las supercomputadoras, son inadecuadas para simular sistemas cuánticos con tan solo 30 partículas porque la dimensión del espacio de Hilbert crece exponencialmente con el número de partículas. [12] Se necesitan mejores herramientas computacionales para comprender y diseñar racionalmente materiales cuyas propiedades se cree que dependen del comportamiento cuántico colectivo de cientos de partículas. [2] [3] Los simuladores cuánticos proporcionan una ruta alternativa para comprender las propiedades de estos sistemas. Estos simuladores crean realizaciones limpias de sistemas específicos de interés, lo que permite realizaciones precisas de sus propiedades. El control preciso y la amplia capacidad de ajuste de los parámetros del sistema permiten desenredar claramente la influencia de varios parámetros.
Los simuladores cuánticos pueden resolver problemas que son difíciles de simular en computadoras clásicas porque explotan directamente las propiedades cuánticas de partículas reales. En particular, explotan una propiedad de la mecánica cuántica llamada superposición , en la que una partícula cuántica se hace que esté en dos estados distintos al mismo tiempo, por ejemplo, alineada y antialineada con un campo magnético externo. Fundamentalmente, los simuladores también aprovechan una segunda propiedad cuántica llamada entrelazamiento , que permite correlacionar el comportamiento de partículas incluso físicamente bien separadas. [2] [3] [13]
El sistema basado en trampas de iones constituye un entorno ideal para simular interacciones en modelos de espín cuántico. [18] Un simulador de iones atrapados , creado por un equipo que incluía al NIST, puede diseñar y controlar interacciones entre cientos de bits cuánticos (qubits). [19] Los esfuerzos anteriores no pudieron ir más allá de los 30 bits cuánticos. La capacidad de este simulador es diez veces mayor que la de los dispositivos anteriores. Ha pasado una serie de pruebas de evaluación comparativa importantes que indican una capacidad para resolver problemas en la ciencia de los materiales que son imposibles de modelar en computadoras convencionales.
El simulador de iones atrapados consiste en un pequeño cristal de un solo plano de cientos de iones de berilio , de menos de 1 milímetro de diámetro, flotando dentro de un dispositivo llamado trampa de Penning . El electrón más externo de cada ion actúa como un pequeño imán cuántico y se utiliza como un qubit, el equivalente cuántico de un "1" o un "0" en una computadora convencional. En el experimento de evaluación comparativa, los físicos utilizaron rayos láser para enfriar los iones hasta casi el cero absoluto. Luego, pulsos de microondas y láser cuidadosamente sincronizados hicieron que los qubits interactuaran, imitando el comportamiento cuántico de materiales que de otro modo serían muy difíciles de estudiar en el laboratorio. Aunque los dos sistemas pueden parecer diferentes en apariencia, su comportamiento está diseñado para ser matemáticamente idéntico. De esta manera, los simuladores permiten a los investigadores variar parámetros que no se podrían cambiar en sólidos naturales, como el espaciado y la geometría de la red atómica.
Friedenauer et al., manipularon adiabáticamente 2 espines, mostrando su separación en estados ferromagnéticos y antiferromagnéticos. [20]
Kim et al., extendieron el simulador cuántico de iones atrapados a 3 espines, con interacciones de Ising antiferromagnéticas globales que presentan frustración y muestran el vínculo entre frustración y entrelazamiento [21]
e Islam et al., utilizaron simulación cuántica adiabática para demostrar la agudización de una transición de fase entre el ordenamiento paramagnético y ferromagnético a medida que el número de espines aumentaba de 2 a 9. [22]
Barreiro et al. crearon un simulador cuántico digital de espines en interacción con hasta 5 iones atrapados mediante el acoplamiento a un depósito abierto [23] y Lanyon et al. demostraron una simulación cuántica digital con hasta 6 iones. [24]
Islam, et al., demostraron una simulación cuántica adiabática del modelo transversal de Ising con interacciones de rango variable (largo) con hasta 18 espines de iones atrapados, mostrando el control del nivel de frustración de espín ajustando el rango de interacción antiferromagnética. [25]
Britton, et al. del NIST ha evaluado experimentalmente las interacciones de Ising en un sistema de cientos de qubits para estudios de magnetismo cuántico. [19]
Pagano, et al., informaron sobre un nuevo sistema de captura de iones criogénico diseñado para el almacenamiento a largo plazo de grandes cadenas de iones que demuestra operaciones coherentes de uno y dos qubits para cadenas de hasta 44 iones. [26] Joshi, et al., investigaron la dinámica cuántica de 51 iones controlados individualmente, logrando una cadena de espín interactuante de largo alcance. [27]
Simuladores de átomos ultrafríos
Muchos experimentos con átomos ultrafríos son ejemplos de simuladores cuánticos. Entre ellos se incluyen experimentos que estudian bosones o fermiones en redes ópticas , el gas unitario de Fermi y matrices de átomos de Rydberg en pinzas ópticas . Un hilo conductor común de estos experimentos es la capacidad de realizar hamiltonianos genéricos, como el hamiltoniano de Hubbard o el hamiltoniano de Ising de campo transversal . Los principales objetivos de estos experimentos incluyen la identificación de fases de baja temperatura o el seguimiento de dinámicas fuera de equilibrio para varios modelos, problemas que son teórica y numéricamente intratables. [28] [29] Otros experimentos han realizado modelos de materia condensada en regímenes que son difíciles o imposibles de realizar con materiales convencionales, como el modelo de Haldane y el modelo de Harper-Hofstadter . [30] [31] [32] [33] [34]
Cubits superconductores
Los simuladores cuánticos que utilizan cúbits superconductores se dividen en dos categorías principales. En primer lugar, los denominados recocedores cuánticos determinan los estados fundamentales de ciertos hamiltonianos después de una rampa adiabática. Este enfoque a veces se denomina computación cuántica adiabática . En segundo lugar, muchos sistemas emulan hamiltonianos específicos y estudian sus propiedades de estado fundamental, transiciones de fase cuántica o dinámica temporal. [35] Varios resultados recientes importantes incluyen la realización de un aislante Mott en un sistema Bose-Hubbard disipativo accionado y estudios de transiciones de fase en redes de resonadores superconductores acoplados a cúbits. [36] [37]
^ abc Britton, Joseph W.; Sawyer, Brian C.; Keith, Adam C.; Wang, C.-C. Joseph; Freericks, James K.; Uys, Hermann; Biercuk, Michael J.; Bollinger, John J. (2012). "Interacciones de Ising bidimensionales diseñadas en un simulador cuántico de iones atrapados con cientos de espines" (PDF) . Nature . 484 (7395): 489–92. arXiv : 1204.5789 . Bibcode :2012Natur.484..489B. doi :10.1038/nature10981. PMID 22538611. S2CID 4370334.
Nota: Este manuscrito es una contribución del Instituto Nacional de Estándares y Tecnología de EE. UU. y no está sujeto a derechos de autor de EE. UU.
^ Manin, Yu. I. (1980). Vychislimoe i nevychislimoe [ Computable y no computable ] (en ruso). Sov.Radio. pp. 13–15. Archivado desde el original el 2013-05-10 . Consultado el 2013-03-04 .
^ ab Feynman, Richard (1982). "Simulación de la física con ordenadores". Revista internacional de física teórica . 21 (6–7): 467–488. Código Bibliográfico :1982IJTP...21..467F. CiteSeerX 10.1.1.45.9310 . doi :10.1007/BF02650179. S2CID 124545445.
^ Feynman, Richard P. (1 de junio de 1982). "Simulación de la física con ordenadores". Revista internacional de física teórica . 21 (6): 467–488. Código Bibliográfico :1982IJTP...21..467F. doi :10.1007/BF02650179. ISSN 1572-9575. S2CID 124545445.
^ Dorit Aharonov; Amnon Ta-Shma (2003). "Generación de estados cuánticos adiabáticos y conocimiento estadístico cero". arXiv : quant-ph/0301023 .
^ Berry, Dominic W.; Graeme Ahokas; Richard Cleve; Sanders, Barry C. (2007). "Algoritmos cuánticos eficientes para simular hamiltonianos dispersos". Communications in Mathematical Physics . 270 (2): 359–371. arXiv : quant-ph/0508139 . Código Bibliográfico :2007CMaPh.270..359B. doi :10.1007/s00220-006-0150-x. S2CID 37923044.
^ Childs, Andrew M. (2010). "Sobre la relación entre el paseo cuántico en tiempo continuo y discreto". Communications in Mathematical Physics . 294 (2): 581–603. arXiv : 0810.0312 . Bibcode :2010CMaPh.294..581C. doi :10.1007/s00220-009-0930-1. S2CID 14801066.
^ Kliesch, M.; Barthel, T.; Gogolin, C.; Kastoryano, M.; Eisert, J. (12 de septiembre de 2011). "Teorema de Church-Turing cuántico disipativo". Physical Review Letters . 107 (12): 120501. arXiv : 1105.3986 . Código Bibliográfico :2011PhRvL.107l0501K. doi :10.1103/PhysRevLett.107.120501. PMID 22026760. S2CID 11322270.
^ Nature Physics Insight – Simulación cuántica. Nature.com. Abril de 2012.
^ Lloyd, S. (1996). "Simuladores cuánticos universales". Science . 273 (5278): 1073–8. Bibcode :1996Sci...273.1073L. doi :10.1126/science.273.5278.1073. PMID 8688088. S2CID 43496899.
^ Cirac, J. Ignacio; Zoller, Peter (2012). "Objetivos y oportunidades en la simulación cuántica" (PDF) . Nature Physics . 8 (4): 264–266. Bibcode :2012NatPh...8..264C. doi :10.1038/nphys2275. S2CID 109930964.[ enlace muerto permanente ]
^ Kyprianidis, A.; Machado, F.; Morong, W.; Becker, P.; Collins, KS; Else, DV; Feng, L.; Hess, PW; Nayak, C.; Pagano, G.; Yao, NY (11 de junio de 2021). "Observación de un cristal de tiempo discreto pretérmico". Science . 372 (6547): 1192–1196. arXiv : 2102.01695 . Bibcode :2021Sci...372.1192K. doi :10.1126/science.abg8102. ISSN 0036-8075. PMID 34112691. S2CID 231786633.
^ S, Robert; ers; Berkeley, UC (10 de noviembre de 2021). "Creación de cristales de tiempo mediante nuevas arquitecturas de computación cuántica". SciTechDaily . Consultado el 27 de diciembre de 2021 .
^ Semeghini, G.; Levine, H.; Keesling, A.; Ebadi, S.; Wang, TT; Bluvstein, D.; Verresen, R.; Pichler, H.; Kalinowski, M.; Samajdar, R.; Omran, A. (3 de diciembre de 2021). "Sondeo de líquidos de espín topológicos en un simulador cuántico programable". Science . 374 (6572): 1242–1247. arXiv : 2104.04119 . Bibcode :2021Sci...374.1242S. doi :10.1126/science.abi8794. PMID 34855494. S2CID 233204440.
^ Wood, Charlie (2 de diciembre de 2021). "Los simuladores cuánticos crean una fase totalmente nueva de la materia". Revista Quanta . Consultado el 11 de marzo de 2022 .
^ Monroe, C; et, al (2021). "Simulaciones cuánticas programables de sistemas de espín con iones atrapados". Rev. Mod. Phys . 93 (4): 025001. arXiv : 1912.07845 . Bibcode :2021RvMP...93b5001M. doi :10.1103/RevModPhys.93.025001. ISSN 0034-6861. S2CID 209386771.
^ ab Britton, Joseph W.; Sawyer, Brian C.; Keith, Adam C.; Wang, C.-C. Joseph; Freericks, James K.; Uys, Hermann; Biercuk, Michael J.; Bollinger, John J. (25 de abril de 2012). "Interacciones de Ising bidimensionales diseñadas en un simulador cuántico de iones atrapados con cientos de espines". Nature . 484 (7395): 489–492. arXiv : 1204.5789 . Código Bibliográfico :2012Natur.484..489B. doi :10.1038/nature10981. PMID 22538611. S2CID 4370334.
^ Friedenauer, A.; Schmitz, H.; Glueckert, JT; Porras, D.; Schaetz, T. (27 de julio de 2008). "Simulación de un imán cuántico con iones atrapados". Física de la Naturaleza . 4 (10): 757–761. Código bibliográfico : 2008NatPh...4..757F. doi : 10.1038/nphys1032 .
^ Kim, K.; Chang, M.-S.; Korenblit, S.; Islam, R.; Edwards, EE ; Freericks, JK; Lin, G.-D.; Duan, L.-M.; Monroe, C. (junio de 2010). "Simulación cuántica de espines de Ising frustrados con iones atrapados". Nature . 465 (7298): 590–593. Bibcode :2010Natur.465..590K. doi :10.1038/nature09071. PMID 20520708. S2CID 2479652.
^ Islam, R.; Edwards, EE ; Kim, K.; Korenblit, S.; Noh, C.; Carmichael, H.; Lin, G.-D.; Duan, L.-M.; Joseph Wang, C.-C.; Freericks, JK; Monroe, C. (5 de julio de 2011). "Inicio de una transición de fase cuántica con un simulador cuántico de iones atrapados". Nature Communications . 2 (1): 377. arXiv : 1103.2400 . Bibcode :2011NatCo...2..377I. doi :10.1038/ncomms1374. PMID 21730958. S2CID 33407.
^ Barreiro, Julio T.; Müller, Markus; Schindler, Philipp; Negro, Daniel; Monz, Thomas; Chwalla, Michael; Hennrich, Markus; Roos, Christian F.; Zoller, Peter; Blatt, Rainer (23 de febrero de 2011). "Un simulador cuántico de sistema abierto con iones atrapados". Naturaleza . 470 (7335): 486–491. arXiv : 1104.1146 . Código Bib :2011Natur.470..486B. doi : 10.1038/naturaleza09801. PMID 21350481. S2CID 4359894.
^ Lanyon, BP; Hempel, C.; Nigg, D.; Muller, M.; Gerritsma, R.; Zahringer, F.; Schindler, P.; Barreiro, JT; Rambach, M.; Kirchmair, G.; Hennrich, M.; Zoller, P.; Blatt, R.; Roos, CF (1 de septiembre de 2011). "Simulación cuántica digital universal con iones atrapados". Science . 334 (6052): 57–61. arXiv : 1109.1512 . Bibcode :2011Sci...334...57L. doi :10.1126/science.1208001. PMID 21885735. S2CID 206535076.
^ Islam, R.; Senko, C.; Campbell, WC; Korenblit, S.; Smith, J.; Lee, A.; Edwards, EE ; Wang, C.- CJ; Freericks, JK; Monroe, C. (2 de mayo de 2013). "Aparición y frustración del magnetismo con interacciones de rango variable en un simulador cuántico". Science . 340 (6132): 583–587. arXiv : 1210.0142 . Bibcode :2013Sci...340..583I. doi :10.1126/science.1232296. PMID 23641112. S2CID 14692151.
^ Pagano, G; Hess, PW; Kaplan, HB; Tan, WL; Richerme, P; Becker, P; Kyprianidis, A; Zhang, J; Birckelbaw, E; Hernandez, MR; Wu, Y; Monroe, C (9 de octubre de 2018). "Sistema criogénico de iones atrapados para simulación cuántica a gran escala". Ciencia y tecnología cuántica . 4 (1): 014004. arXiv : 1802.03118 . doi :10.1088/2058-9565/aae0fe. S2CID 54518534.
^ Joshi, MK; Kranzl, F.; Schuckert, A.; Lovas, I.; Maier, C.; Blatt, R.; Knap, M.; Roos, CF (13 de mayo de 2022). "Observación de la hidrodinámica emergente en un imán cuántico de largo alcance". Science . 6594 (376): 720–724. arXiv : 2107.00033 . Bibcode :2022Sci...376..720J. doi :10.1126/science.abk2400. PMID 35549407. S2CID 235694285 . Consultado el 13 de mayo de 2022 .
^ Gross, Christian; Bloch, Immanuel (8 de septiembre de 2017). "Simulaciones cuánticas con átomos ultrafríos en redes ópticas". Nature . 357 (6355): 995–1001. Bibcode :2017Sci...357..995G. doi : 10.1126/science.aal3837 . PMID 28883070.
^ Jotzu, Gregor; Messer, Michael; Desbuquois, Rémi; Lebrat, Martin; Uehlinger, Thomas; Greif, Daniel; Esslinger, Tilman (13 de noviembre de 2014). "Realización experimental del modelo topológico de Haldane con fermiones ultrafríos". Nature . 515 (7526): 237–240. arXiv : 1406.7874 . Código Bibliográfico :2014Natur.515..237J. doi :10.1038/nature13915. PMID 25391960. S2CID 204898338.
^ Simon, Jonathan (13 de noviembre de 2014). «Campos magnéticos sin campos magnéticos». Nature . 515 (7526): 202–203. doi : 10.1038/515202a . PMID 25391956.
^ Zhang, Dan-Wei; Zhu, Yan-Qing; Zhao, YX; Yan, Hui; Zhu, Shi-Liang (29 de marzo de 2019). "Materia cuántica topológica con átomos fríos". Avances en Física . 67 (4): 253–402. arXiv : 1810.09228 . doi :10.1080/00018732.2019.1594094. S2CID 91184189.
^ Alberti, Andrea; Robens, Carsten; Alt, Wolfgang; Brakhane, Stefan; Karski, Michał; Reimann, René; Widera, Artur; Meschede, Dieter (6 de mayo de 2016). "Microscopía de superresolución de átomos individuales en redes ópticas". Nueva Revista de Física . 18 (5): 053010. arXiv : 1512.07329 . Código Bib : 2016NJPh...18e3010A. doi : 10.1088/1367-2630/18/5/053010 . ISSN 1367-2630.
^ Robens, Carsten; Brakhane, Stefan; Meschede, Dieter; Alberti, A. (18 de septiembre de 2016), "Paseos cuánticos con átomos neutros: efectos de interferencia cuántica de una y dos partículas", Laser Spectroscopy , WORLD SCIENTIFIC, págs. 1–15, arXiv : 1511.03569 , doi :10.1142/9789813200616_0001, ISBN978-981-320-060-9, S2CID 118452312 , consultado el 25 de mayo de 2020
^ Paraoanu, GS (4 de abril de 2014). "Progreso reciente en simulación cuántica utilizando circuitos superconductores". Journal of Low Temperature Physics . 175 (5–6): 633–654. arXiv : 1402.1388 . Bibcode :2014JLTP..175..633P. doi :10.1007/s10909-014-1175-8. S2CID 119276238.
^ Ma, Ruichao; Saxberg, Brendan; Owens, Clai; Leung, Nelson; Lu, Yao; Simon, Jonathan; Schuster, David I. (6 de febrero de 2019). "Un aislante de fotones de Mott estabilizado disipativamente". Nature . 566 (7742): 51–57. arXiv : 1807.11342 . Bibcode :2019Natur.566...51M. doi :10.1038/s41586-019-0897-9. PMID 30728523. S2CID 59606678.
^ Fitzpatrick, Mattias; Sundaresan, Neereja M.; Li, Andy CY; Koch, Jens; Houck, Andrew A. (10 de febrero de 2017). "Observación de una transición de fase disipativa en una red QED de circuito unidimensional". Physical Review X . 7 (1): 011016. arXiv : 1607.06895 . Código Bibliográfico :2017PhRvX...7a1016F. doi :10.1103/PhysRevX.7.011016. S2CID 3550701.