stringtranslate.com

Computación cuántica

Quantum System One , un ordenador cuántico de IBM de 2019 con 20 qubits superconductores [1]

Una computadora cuántica es una computadora que aprovecha los fenómenos de la mecánica cuántica .

A pequeñas escalas, la materia física exhibe propiedades tanto de partículas como de ondas , y la computación cuántica aprovecha este comportamiento, específicamente la superposición y el entrelazamiento cuánticos , utilizando hardware especializado que respalda la preparación y manipulación de estados cuánticos .

La física clásica no puede explicar el funcionamiento de estos dispositivos cuánticos, y una computadora cuántica escalable podría realizar algunos cálculos exponencialmente más rápido (con respecto al escalamiento del tamaño de entrada) [2] que cualquier computadora "clásica" moderna . En particular, una computadora cuántica a gran escala podría romper los esquemas de cifrado ampliamente utilizados y ayudar a los físicos a realizar simulaciones físicas ; sin embargo, el estado actual de la tecnología es en gran medida experimental y poco práctico, con varios obstáculos para aplicaciones útiles. Además, las computadoras cuánticas escalables no son prometedoras para muchas tareas prácticas, y para muchas tareas importantes se ha demostrado que las aceleraciones cuánticas son imposibles.

La unidad básica de información en la computación cuántica es el qubit , similar al bit en la electrónica digital tradicional. A diferencia de un bit clásico, un qubit puede existir en una superposición de sus dos estados "básicos". Cuando se mide un qubit, el resultado es una salida probabilística de un bit clásico, por lo que las computadoras cuánticas en general no son deterministas. Si una computadora cuántica manipula el qubit de una manera particular, los efectos de interferencia de ondas pueden amplificar los resultados de medición deseados. El diseño de algoritmos cuánticos implica la creación de procedimientos que permitan a una computadora cuántica realizar cálculos de manera eficiente y rápida.

La ingeniería física de qubits de alta calidad ha demostrado ser un desafío. Si un qubit físico no está suficientemente aislado de su entorno, sufre decoherencia cuántica , introduciendo ruido en los cálculos. Paradójicamente, aislar perfectamente los qubits tampoco es deseable porque los cálculos cuánticos normalmente necesitan inicializar los qubits, realizar interacciones controladas de los qubits y medir los estados cuánticos resultantes. Cada una de esas operaciones introduce errores y sufre ruido, y esas imprecisiones se acumulan.

En principio, una computadora no cuántica (clásica) puede resolver los mismos problemas computacionales que una computadora cuántica, si se le da suficiente tiempo. La ventaja cuántica se presenta en forma de complejidad temporal en lugar de computabilidad , y la teoría de la complejidad cuántica muestra que algunos algoritmos cuánticos para tareas cuidadosamente seleccionadas requieren exponencialmente menos pasos computacionales que los algoritmos no cuánticos más conocidos. En teoría, estas tareas pueden resolverse en una computadora cuántica a gran escala, mientras que las computadoras clásicas no terminarían los cálculos en un período de tiempo razonable. Sin embargo, la aceleración cuántica no es universal ni siquiera típica en las tareas computacionales, ya que se ha demostrado que tareas básicas como la clasificación no permiten ninguna aceleración cuántica asintótica. Las afirmaciones de supremacía cuántica han llamado mucho la atención sobre la disciplina, pero se demuestran en tareas artificiales, mientras que los casos de uso práctico a corto plazo siguen siendo limitados.

Historia

El interferómetro Mach-Zehnder muestra que los fotones pueden exhibir interferencias en forma de ondas .

Durante muchos años, los campos de la mecánica cuántica y la informática formaron comunidades académicas distintas. [3] La teoría cuántica moderna se desarrolló en la década de 1920 para explicar la dualidad onda-partícula observada a escalas atómicas, [4] y las computadoras digitales surgieron en las décadas siguientes para reemplazar a las computadoras humanas en los cálculos tediosos. [5] Ambas disciplinas tuvieron aplicaciones prácticas durante la Segunda Guerra Mundial ; Las computadoras desempeñaron un papel importante en la criptografía en tiempos de guerra , [6] y la física cuántica fue esencial para la física nuclear utilizada en el Proyecto Manhattan . [7]

A medida que los físicos aplicaron modelos de mecánica cuántica a problemas computacionales e intercambiaron bits digitales por qubits , los campos de la mecánica cuántica y la informática comenzaron a converger. En 1980, Paul Benioff introdujo la máquina cuántica de Turing , que utiliza la teoría cuántica para describir una computadora simplificada. [8] Cuando las computadoras digitales se volvieron más rápidas, los físicos enfrentaron un aumento exponencial de los gastos generales al simular la dinámica cuántica , [9] lo que llevó a Yuri Manin y Richard Feynman a sugerir de forma independiente que el hardware basado en fenómenos cuánticos podría ser más eficiente para la simulación por computadora. [10] [11] [12] En un artículo de 1984, Charles Bennett y Gilles Brassard aplicaron la teoría cuántica a los protocolos de criptografía y demostraron que la distribución de claves cuánticas podría mejorar la seguridad de la información . [13] [14]

Peter Shor (en la foto de 2017) demostró en 1994 que una computadora cuántica escalable podría romper el cifrado RSA .

Luego surgieron algoritmos cuánticos para resolver problemas de oráculos , como el algoritmo de Deutsch en 1985, [15] el algoritmo de Bernstein-Vazirani en 1993, [16] y el algoritmo de Simon en 1994. [17] Estos algoritmos no resolvieron problemas prácticos, pero demostraron matemáticamente que se podría obtener más información consultando una caja negra con un estado cuántico en superposición , a veces denominado paralelismo cuántico . [18] Peter Shor se basó en estos resultados con sus algoritmos de 1994 para romper los protocolos de cifrado RSA y Diffie-Hellman , ampliamente utilizados, [19] que atrajeron una atención significativa al campo de la computación cuántica. [20] En 1996, el algoritmo de Grover estableció una aceleración cuántica para el problema de búsqueda no estructurada de amplia aplicación . [21] [22] El mismo año, Seth Lloyd demostró que las computadoras cuánticas podían simular sistemas cuánticos sin la sobrecarga exponencial presente en las simulaciones clásicas, [23] validando la conjetura de Feynman de 1982. [24]

A lo largo de los años, los experimentadores han construido computadoras cuánticas a pequeña escala utilizando iones atrapados y superconductores . [25] En 1998, una computadora cuántica de dos qubits demostró la viabilidad de la tecnología, [26] [27] y experimentos posteriores aumentaron el número de qubits y redujeron las tasas de error. [25] En 2019, Google AI y la NASA anunciaron que habían logrado la supremacía cuántica con una máquina de 54 qubits, realizando un cálculo que es imposible para cualquier computadora clásica. [28] [29] [30] Sin embargo, la validez de esta afirmación todavía se está investigando activamente. [31] [32]

El teorema del umbral muestra cómo aumentar el número de qubits puede mitigar los errores, [33] pero la computación cuántica totalmente tolerante a fallos sigue siendo "un sueño bastante lejano". [34] Según algunos investigadores, las ruidosas máquinas cuánticas de escala intermedia ( NISQ ) pueden tener usos especializados en un futuro próximo, pero el ruido en las puertas cuánticas limita su confiabilidad. [34]

La inversión en investigación en computación cuántica ha aumentado en los sectores público y privado. [35] [36] Como resumió una empresa consultora, [37]

...  Los dólares de inversión están llegando a raudales y están proliferando las nuevas empresas de computación cuántica.  ... Si bien la computación cuántica promete ayudar a las empresas a resolver problemas que están más allá del alcance y la velocidad de las computadoras convencionales de alto rendimiento , los casos de uso son en gran medida experimentales e hipotéticos en esta etapa inicial.

Centrándose en el punto de vista de la gestión empresarial, las aplicaciones potenciales de la computación cuántica se dividen en cuatro categorías principales: ciberseguridad, análisis de datos e inteligencia artificial, optimización y simulación, y gestión y búsqueda de datos. [38]

En diciembre de 2023, los físicos informaron por primera vez sobre el entrelazamiento de moléculas individuales, que puede tener aplicaciones importantes en la computación cuántica. [39] También en diciembre de 2023, los científicos de Harvard crearon con éxito "circuitos cuánticos" que corrigen errores de manera más eficiente que los métodos alternativos, lo que potencialmente puede eliminar un obstáculo importante para las computadoras cuánticas prácticas. [40] [41] El equipo de investigación de Harvard contó con el apoyo del MIT , QuEra Computing , Caltech y Princeton y fue financiado por el programa de optimización con dispositivos cuánticos ruidosos de escala intermedia (ONISQ) de DARPA . [42] [43] Se están realizando esfuerzos de investigación para impulsar la computación cuántica también a través de enfoques topológicos y fotónicos. [44]

Procesamiento de información cuántica

Los ingenieros informáticos suelen describir el funcionamiento de una computadora moderna en términos de electrodinámica clásica . Dentro de estas computadoras "clásicas", algunos componentes (como semiconductores y generadores de números aleatorios ) pueden depender del comportamiento cuántico, pero estos componentes no están aislados de su entorno, por lo que cualquier información cuántica se desacopla rápidamente . Si bien los programadores pueden depender de la teoría de la probabilidad al diseñar un algoritmo aleatorio , las nociones de la mecánica cuántica como la superposición y la interferencia son en gran medida irrelevantes para el análisis de programas .

Los programas cuánticos , por el contrario, se basan en un control preciso de sistemas cuánticos coherentes . Los físicos describen estos sistemas matemáticamente utilizando álgebra lineal . Los números complejos modelan amplitudes de probabilidad , los vectores modelan estados cuánticos y las matrices modelan las operaciones que se pueden realizar en estos estados. Programar una computadora cuántica es entonces una cuestión de componer operaciones de tal manera que el programa resultante calcule un resultado útil en teoría y sea implementable en la práctica.

Como el físico Charlie Bennett describe la relación entre las computadoras cuánticas y clásicas, [45]

Una computadora clásica es una computadora cuántica... así que no deberíamos preguntarnos "¿de dónde vienen las aceleraciones cuánticas?" Deberíamos decir: "bueno, todas las computadoras son cuánticas... ¿De dónde vienen las desaceleraciones clásicas?"

Información cuántica

Representación de la esfera de Bloch de un qubit. El estado es un punto en la superficie de la esfera, a medio camino entre los polos, y .

Así como el bit es el concepto básico de la teoría de la información clásica, el qubit es la unidad fundamental de información cuántica . El mismo término qubit se utiliza para referirse a un modelo matemático abstracto y a cualquier sistema físico que esté representado por ese modelo. Un bit clásico, por definición, existe en cualquiera de dos estados físicos, que pueden denominarse 0 y 1. Un qubit también se describe mediante un estado, y dos estados a menudo escritos |0⟩ y |1⟩ sirven como contrapartes cuánticas de los estados clásicos 0 y 1. Sin embargo, los estados cuánticos |0⟩ y |1⟩ pertenecen a un espacio vectorial , lo que significa que pueden multiplicarse por constantes y sumarse, y el resultado es nuevamente un estado cuántico válido. Esta combinación se conoce como superposición de |0⟩ y |1⟩ . [46] [47]

Un vector bidimensional representa matemáticamente un estado de qubit. Los físicos suelen utilizar la notación de Dirac para el álgebra lineal de la mecánica cuántica , escribiendo | ψ ' ket psi ' para un vector etiquetado como ψ . Debido a que un qubit es un sistema de dos estados, cualquier estado de qubit toma la forma α |0⟩ + β |1⟩ , donde |0⟩ y |1⟩ son los estados base estándar , [a] y α y β son la probabilidad amplitudes , que son en general números complejos . [47] Si α o β es cero, el qubit es efectivamente un bit clásico; cuando ambos son distintos de cero, el qubit está en superposición. Un vector de estado cuántico de este tipo actúa de manera similar a un vector de probabilidad (clásico) , con una diferencia clave: a diferencia de las probabilidades, las amplitudes de probabilidad no son necesariamente números positivos. [49] Las amplitudes negativas permiten interferencias de ondas destructivas.

Cuando un qubit se mide en base estándar , el resultado es un bit clásico. La regla de Born describe la correspondencia norma cuadrada entre amplitudes y probabilidades: cuando se mide un qubit α |0⟩ + β |1⟩ , el estado colapsa a |0⟩ con probabilidad | α | 2 , o a |1⟩ con probabilidad | β | 2 . Cualquier estado de qubit válido tiene coeficientes α y β tales que | α | 2 + | β | 2 = 1 . Como ejemplo, midiendo el qubit1/√2|0⟩ +1/√2|1⟩ produciría |0⟩ o |1⟩ con la misma probabilidad.

Cada qubit adicional duplica la dimensión del espacio de estados . [48] ​​Como ejemplo, el vector1/√2|00⟩ +1/√2|01⟩ representa un estado de dos qubits, un producto tensorial del qubit |0⟩ con el qubit1/√2|0⟩ +1/√2|1⟩ . Este vector habita en un espacio vectorial de cuatro dimensionesabarcado por los vectores base |00⟩ , |01⟩ , |10⟩ y |11⟩ . El estado de Bell 1/√2|00⟩ +1/√2|11⟩ es imposible descomponerse en el producto tensorial de dos qubits individuales: los dos qubits están entrelazados porque sus amplitudes de probabilidad están correlacionadas . En general, el espacio vectorial para un sistema de n -qubits es de 2 n -dimensionalidad, y esto hace que sea difícil para una computadora clásica simular uno cuántico: representar un sistema de 100 qubits requiere almacenar 2.100 valores clásicos.

Operadores unitarios

El estado de esta memoria cuántica de un qubit se puede manipular aplicando puertas lógicas cuánticas , de forma análoga a cómo se puede manipular la memoria clásica con puertas lógicas clásicas . Una puerta importante tanto para la computación clásica como para la cuántica es la puerta NOT, que puede representarse mediante una matriz.

la multiplicación de matrices
y .

Las matemáticas de las puertas de un solo qubit se pueden ampliar para operar en memorias cuánticas de múltiples qubits de dos maneras importantes. Una forma es simplemente seleccionar un qubit y aplicar esa puerta al qubit objetivo sin afectar el resto de la memoria. Otra forma es aplicar la puerta a su objetivo sólo si otra parte de la memoria está en el estado deseado. Estas dos opciones pueden ilustrarse con otro ejemplo. Los posibles estados de una memoria cuántica de dos qubits son

NOT controlada (CNOT)

En resumen, la computación cuántica puede describirse como una red de puertas y mediciones de lógica cuántica. Sin embargo, cualquier medición puede posponerse hasta el final de la computación cuántica, aunque este aplazamiento puede tener un costo computacional, por lo que la mayoría de los circuitos cuánticos representan una red que consta únicamente de puertas lógicas cuánticas y ninguna medición.

Paralelismo cuántico

El paralelismo cuántico es la heurística según la cual se puede considerar que las computadoras cuánticas evalúan una función para múltiples valores de entrada simultáneamente. Esto se puede lograr preparando un sistema cuántico en una superposición de estados de entrada y aplicando una transformación unitaria que codifique la función a evaluar. El estado resultante codifica los valores de salida de la función para todos los valores de entrada en la superposición, lo que permite el cálculo de múltiples salidas simultáneamente. Esta propiedad es clave para acelerar muchos algoritmos cuánticos. Sin embargo, el "paralelismo" en este sentido es insuficiente para acelerar un cálculo, porque la medición al final del cálculo da sólo un valor. Para ser útil, un algoritmo cuántico también debe incorporar algún otro ingrediente conceptual. [50] [51]

Programación cuántica

Existen varios modelos de computación para la computación cuántica, que se distinguen por los elementos básicos en los que se descompone el cálculo.

Matriz de puertas

Un diagrama de circuito cuántico que implementa una puerta de Toffoli a partir de puertas más primitivas

Una matriz de puertas cuánticas descompone la computación en una secuencia de puertas cuánticas de unos pocos qubits . Una computación cuántica puede describirse como una red de puertas y mediciones lógicas cuánticas. Sin embargo, cualquier medición puede posponerse hasta el final de la computación cuántica, aunque este aplazamiento puede tener un costo computacional, por lo que la mayoría de los circuitos cuánticos representan una red que consta únicamente de puertas lógicas cuánticas y ninguna medición.

Cualquier cálculo cuántico (que es, en el formalismo anterior, cualquier matriz unitaria de tamaño sobre qubits) puede representarse como una red de puertas lógicas cuánticas de una familia de puertas bastante pequeña. La elección de una familia de puertas que permite esta construcción se conoce como conjunto de puertas universales , ya que una computadora que puede ejecutar tales circuitos es una computadora cuántica universal . Un conjunto común de este tipo incluye todas las puertas de un solo qubit, así como la puerta CNOT desde arriba. Esto significa que cualquier cálculo cuántico se puede realizar ejecutando una secuencia de puertas de un solo qubit junto con puertas CNOT. Aunque este conjunto de puertas es infinito, se puede reemplazar con un conjunto de puertas finitas apelando al teorema de Solovay-Kitaev .

Computación cuántica basada en mediciones

Una computadora cuántica basada en mediciones descompone el cálculo en una secuencia de mediciones del estado de Bell y puertas cuánticas de un solo qubit aplicadas a un estado inicial altamente entrelazado (un estado de cúmulo ), utilizando una técnica llamada teletransportación de puerta cuántica .

Computación cuántica adiabática

Una computadora cuántica adiabática , basada en el recocido cuántico , descompone el cálculo en una lenta transformación continua de un hamiltoniano inicial en un hamiltoniano final, cuyos estados fundamentales contienen la solución. [52]

Computación cuántica neuromórfica

La computación cuántica neuromórfica (abreviada como 'n.computación cuántica') es un tipo de computación no convencional que utiliza la computación neuromórfica para realizar operaciones cuánticas. Se sugirió que los algoritmos cuánticos , que son algoritmos que se ejecutan en un modelo realista de computación cuántica, pueden calcularse con la misma eficiencia que la computación cuántica neuromórfica. Tanto la computación cuántica tradicional como la computación cuántica neuromórfica son enfoques informáticos no convencionales basados ​​en la física y no siguen la arquitectura de von Neumann . Ambos construyen un sistema (un circuito) que representa el problema físico en cuestión y luego aprovechan sus respectivas propiedades físicas del sistema para buscar el "mínimo". La computación cuántica neuromórfica y la computación cuántica comparten propiedades físicas similares durante la computación.

Computación cuántica topológica

Una computadora cuántica topológica descompone la computación en el trenzado de cualquiera en una red 2D. [53]

Máquina cuántica de Turing

Una máquina cuántica de Turing es el análogo cuántico de una máquina de Turing . [8] Se ha demostrado que todos estos modelos de computación (circuitos cuánticos, [54] computación cuántica unidireccional, [55] computación cuántica adiabática, [56] y computación cuántica topológica [57]) son equivalentes al modelo cuántico de Turing. máquina; dada una implementación perfecta de una de esas computadoras cuánticas, puede simular todas las demás con no más que una sobrecarga polinómica. Esta equivalencia no tiene por qué ser válida para los ordenadores cuánticos prácticos, ya que los gastos generales de la simulación pueden ser demasiado grandes para ser prácticos.

Criptografía cuántica y ciberseguridad

La computación cuántica tiene importantes aplicaciones potenciales en los campos de la criptografía y la ciberseguridad. La criptografía cuántica, que se basa en los principios de la mecánica cuántica, ofrece la posibilidad de canales de comunicación seguros y resistentes a las escuchas ilegales. Los protocolos de distribución de claves cuánticas (QKD), como BB84, permiten el intercambio seguro de claves criptográficas entre partes, garantizando la confidencialidad y la integridad de la comunicación. Además, los generadores cuánticos de números aleatorios (QRNG) pueden producir números aleatorios de alta calidad, que son esenciales para el cifrado seguro.

Sin embargo, la computación cuántica también plantea desafíos a los sistemas criptográficos tradicionales. El algoritmo de Shor, un algoritmo cuántico para la factorización de números enteros, podría potencialmente romper esquemas de criptografía de clave pública ampliamente utilizados como RSA, que se basan en la dificultad de factorizar números grandes. La criptografía poscuántica, que implica el desarrollo de algoritmos criptográficos resistentes a los ataques de computadoras tanto clásicas como cuánticas, es un área activa de investigación destinada a abordar esta preocupación.

La investigación en curso en criptografía cuántica y criptografía poscuántica es crucial para garantizar la seguridad de las comunicaciones y los datos frente a la evolución de las capacidades de la computación cuántica. Los avances en estos campos, como el desarrollo de nuevos protocolos QKD, la mejora de los QRNG y la estandarización de algoritmos criptográficos poscuánticos, desempeñarán un papel clave en el mantenimiento de la integridad y confidencialidad de la información en la era cuántica. [58]

Comunicación

La criptografía cuántica permite nuevas formas de transmitir datos de forma segura; por ejemplo, la distribución de claves cuánticas utiliza estados cuánticos entrelazados para establecer claves criptográficas seguras . [59] Cuando un remitente y un receptor intercambian estados cuánticos, pueden garantizar que un adversario no intercepte el mensaje, ya que cualquier espía no autorizado perturbaría el delicado sistema cuántico e introduciría un cambio detectable. [60] Con protocolos criptográficos apropiados , el remitente y el receptor pueden establecer información privada compartida resistente a las escuchas ilegales. [13] [61]

Los cables de fibra óptica modernos pueden transmitir información cuántica a distancias relativamente cortas. La investigación experimental en curso tiene como objetivo desarrollar hardware más confiable (como repetidores cuánticos), con la esperanza de escalar esta tecnología a redes cuánticas de larga distancia con entrelazamiento de extremo a extremo. En teoría, esto podría permitir aplicaciones tecnológicas novedosas, como la computación cuántica distribuida y la detección cuántica mejorada . [62] [63]

Algoritmos

Los avances en la búsqueda de algoritmos cuánticos normalmente se centran en este modelo de circuito cuántico, aunque existen excepciones como el algoritmo adiabático cuántico . Los algoritmos cuánticos se pueden clasificar aproximadamente por el tipo de aceleración lograda con respecto a los algoritmos clásicos correspondientes. [64]

Los algoritmos cuánticos que ofrecen más que una aceleración polinómica sobre el algoritmo clásico más conocido incluyen el algoritmo de Shor para factorización y los algoritmos cuánticos relacionados para calcular logaritmos discretos , resolver la ecuación de Pell y, de manera más general, resolver el problema de subgrupos ocultos para grupos finitos abelianos . [64] Estos algoritmos dependen de la primitiva de la transformada cuántica de Fourier . No se ha encontrado ninguna prueba matemática que demuestre que no se pueda descubrir un algoritmo clásico igualmente rápido, pero la evidencia sugiere que esto es poco probable. [65] Ciertos problemas de oráculo como el problema de Simon y el problema de Bernstein-Vazirani dan aceleraciones demostrables, aunque esto es en el modelo de consulta cuántica , que es un modelo restringido donde los límites inferiores son mucho más fáciles de probar y no necesariamente se traduce en aceleraciones. para problemas prácticos.

Otros problemas, incluida la simulación de procesos físicos cuánticos de la química y la física del estado sólido, la aproximación de ciertos polinomios de Jones y el algoritmo cuántico para sistemas lineales de ecuaciones, tienen algoritmos cuánticos que parecen dar aceleraciones superpolinomiales y son BQP completos. Debido a que estos problemas son BQP completos, un algoritmo clásico igualmente rápido para ellos implicaría que ningún algoritmo cuántico proporciona una aceleración superpolinomial, lo que se cree que es poco probable. [66]

Algunos algoritmos cuánticos, como el algoritmo de Grover y la amplificación de amplitud , proporcionan aceleraciones polinómicas sobre los algoritmos clásicos correspondientes. [64] Aunque estos algoritmos brindan una aceleración cuadrática comparativamente modesta, son ampliamente aplicables y, por lo tanto, brindan aceleraciones para una amplia gama de problemas. [22]

Simulación de sistemas cuánticos.

Dado que la química y la nanotecnología se basan en la comprensión de los sistemas cuánticos, y dichos sistemas son imposibles de simular de manera eficiente de manera clásica, la simulación cuántica puede ser una aplicación importante de la computación cuántica. [67] La ​​simulación cuántica también podría usarse para simular el comportamiento de átomos y partículas en condiciones inusuales, como las reacciones dentro de un colisionador . [68] En junio de 2023, los científicos informáticos de IBM informaron que una computadora cuántica producía mejores resultados para un problema de física que una supercomputadora convencional. [69] [70]

Alrededor del 2% de la producción energética mundial anual se utiliza para la fijación de nitrógeno para producir amoníaco para el proceso Haber en la industria de fertilizantes agrícolas (aunque los organismos naturales también producen amoníaco). Se podrían utilizar simulaciones cuánticas para comprender este proceso y aumentar la eficiencia energética de la producción. [71] Se espera que un uso temprano de la computación cuántica sea un modelo que mejore la eficiencia del proceso Haber-Bosch [72] a mediados de la década de 2020 [73] , aunque algunos han predicho que llevará más tiempo. [74]

Criptografía poscuántica

Una aplicación notable de la computación cuántica son los ataques a sistemas criptográficos que se utilizan actualmente. Se cree que la factorización de enteros , que sustenta la seguridad de los sistemas criptográficos de clave pública , es computacionalmente inviable con una computadora común para enteros grandes si son producto de unos pocos números primos (por ejemplo, productos de dos primos de 300 dígitos). [75] En comparación, una computadora cuántica podría resolver este problema exponencialmente más rápido usando el algoritmo de Shor para encontrar sus factores. [76] Esta capacidad permitiría a una computadora cuántica romper muchos de los sistemas criptográficos que se utilizan hoy en día, en el sentido de que habría un algoritmo de tiempo polinómico (en el número de dígitos del número entero) para resolver el problema. En particular, la mayoría de los cifrados de clave pública populares se basan en la dificultad de factorizar números enteros o en el problema del logaritmo discreto , los cuales pueden resolverse mediante el algoritmo de Shor. En particular, los algoritmos RSA , Diffie-Hellman y de curva elíptica Diffie-Hellman podrían romperse. Se utilizan para proteger páginas web seguras, correo electrónico cifrado y muchos otros tipos de datos. Romperlos tendría ramificaciones importantes para la privacidad y la seguridad electrónicas.

La identificación de sistemas criptográficos que puedan ser seguros contra los algoritmos cuánticos es un tema de investigación activa en el campo de la criptografía poscuántica . [77] [78] Algunos algoritmos de clave pública se basan en problemas distintos de la factorización de números enteros y los problemas de logaritmos discretos a los que se aplica el algoritmo de Shor, como el criptosistema McEliece basado en un problema de teoría de codificación . [77] [79] Tampoco se sabe que los criptosistemas basados ​​en celosías sean rotos por computadoras cuánticas, y encontrar un algoritmo de tiempo polinomial para resolver el problema del subgrupo oculto del diédrico , que rompería muchos criptosistemas basados ​​en celosías, es un problema abierto bien estudiado. . [80] Se ha demostrado que aplicar el algoritmo de Grover para romper un algoritmo simétrico (clave secreta) mediante fuerza bruta requiere un tiempo equivalente a aproximadamente 2 n /2 invocaciones del algoritmo criptográfico subyacente, en comparación con aproximadamente 2 n en el caso clásico, [ 81] , lo que significa que las longitudes de las claves simétricas se reducen efectivamente a la mitad: AES-256 tendría la misma seguridad contra un ataque utilizando el algoritmo de Grover que AES-128 contra la búsqueda clásica de fuerza bruta (consulte Tamaño de clave ).

Problemas de búsqueda

El ejemplo más conocido de un problema que permite una aceleración cuántica polinómica es la búsqueda no estructurada , que implica encontrar un elemento marcado en una lista de elementos en una base de datos. Esto puede resolverse mediante el algoritmo de Grover mediante consultas a la base de datos, cuadráticamente menos que las consultas requeridas para los algoritmos clásicos. En este caso, la ventaja no sólo es demostrable sino también óptima: se ha demostrado que el algoritmo de Grover proporciona la máxima probabilidad posible de encontrar el elemento deseado para cualquier número de búsquedas de Oracle. Muchos ejemplos de aceleraciones cuánticas demostrables para problemas de consulta se basan en el algoritmo de Grover, incluido el algoritmo de Brassard, Høyer y Tapp para encontrar colisiones en funciones dos a uno, [82] y el algoritmo de Farhi, Goldstone y Gutmann para evaluar árboles NAND. [83]

Los problemas que pueden abordarse eficientemente con el algoritmo de Grover tienen las siguientes propiedades: [84] [85]

  1. No existe una estructura de búsqueda en la colección de posibles respuestas,
  2. El número de posibles respuestas a verificar es el mismo que el número de entradas al algoritmo, y
  3. Existe una función booleana que evalúa cada entrada y determina si es la respuesta correcta.

Para problemas con todas estas propiedades, el tiempo de ejecución del algoritmo de Grover en una computadora cuántica se escala como la raíz cuadrada del número de entradas (o elementos en la base de datos), a diferencia del escalamiento lineal de los algoritmos clásicos. Una clase general de problemas a los que se puede aplicar el algoritmo de Grover [86] es un problema de satisfacibilidad booleano , donde la base de datos a través de la cual itera el algoritmo es la de todas las respuestas posibles. Un ejemplo y una posible aplicación de esto es un descifrador de contraseñas que intenta adivinar una contraseña. Romper cifrados simétricos con este algoritmo es de interés para las agencias gubernamentales. [87]

recocido cuántico

El recocido cuántico se basa en el teorema adiabático para realizar cálculos. Se coloca un sistema en el estado fundamental para un hamiltoniano simple, que lentamente evoluciona hacia un hamiltoniano más complicado cuyo estado fundamental representa la solución al problema en cuestión. El teorema adiabático establece que si la evolución es lo suficientemente lenta, el sistema permanecerá en su estado fundamental en todo momento durante el proceso.La optimización adiabática puede resultar útil para resolver problemas de biología computacional . [88]

Aprendizaje automático

Dado que las computadoras cuánticas pueden producir resultados que las computadoras clásicas no pueden producir de manera eficiente, y dado que la computación cuántica es fundamentalmente algebraica lineal, algunos expresan esperanza en desarrollar algoritmos cuánticos que puedan acelerar las tareas de aprendizaje automático . [34] [89]

Por ejemplo, se cree que el algoritmo HHL , que lleva el nombre de sus descubridores Harrow, Hassidim y Lloyd, proporciona mayor velocidad que sus homólogos clásicos. [34] [90] Algunos grupos de investigación han explorado recientemente el uso de hardware de recocido cuántico para entrenar máquinas Boltzmann y redes neuronales profundas . [91] [92] [93]

Los modelos de química generativa profunda emergen como herramientas poderosas para acelerar el descubrimiento de fármacos . Sin embargo, el inmenso tamaño y la complejidad del espacio estructural de todas las posibles moléculas similares a las drogas plantean obstáculos importantes que los ordenadores cuánticos podrían superar en el futuro. Las computadoras cuánticas son naturalmente buenas para resolver problemas complejos de muchos cuerpos cuánticos [23] y, por lo tanto, pueden ser fundamentales en aplicaciones que involucran la química cuántica. Por lo tanto, se puede esperar que los modelos generativos mejorados cuánticamente [94] , incluidas las GAN cuánticas [95], eventualmente puedan convertirse en algoritmos de química generativa definitivos.

Ingeniería

Una oblea de computadoras cuánticas adiabáticas

A partir de 2023, las computadoras clásicas superarán a las cuánticas en todas las aplicaciones del mundo real. Si bien las computadoras cuánticas actuales pueden acelerar las soluciones a problemas matemáticos particulares, no ofrecen ninguna ventaja computacional para tareas prácticas. Para muchas tareas no hay promesa de una aceleración cuántica útil, y algunas tareas probablemente prohíben cualquier aceleración cuántica en el sentido de que cualquier aceleración está descartada por teoremas probados. Los científicos e ingenieros están explorando múltiples tecnologías para el hardware de computación cuántica y esperan desarrollar arquitecturas cuánticas escalables, pero persisten serios obstáculos. [96] [97]

Desafíos

Hay una serie de desafíos técnicos en la construcción de una computadora cuántica a gran escala. [98] El físico David DiVincenzo ha enumerado estos requisitos para una computadora cuántica práctica: [99]

También es muy difícil conseguir piezas para ordenadores cuánticos. Las computadoras cuánticas superconductoras , como las construidas por Google e IBM , necesitan helio-3 , un subproducto de la investigación nuclear , y cables superconductores especiales fabricados únicamente por la empresa japonesa Coax Co. [100]

El control de sistemas multi-qubit requiere la generación y coordinación de una gran cantidad de señales eléctricas con una resolución temporal ajustada y determinista. Esto ha llevado al desarrollo de controladores cuánticos que permiten la interfaz con los qubits. Escalar estos sistemas para que admitan un número creciente de qubits es un desafío adicional. [101]

Decoherencia

Uno de los mayores desafíos relacionados con la construcción de computadoras cuánticas es controlar o eliminar la decoherencia cuántica . Esto generalmente significa aislar el sistema de su entorno, ya que las interacciones con el mundo externo hacen que el sistema se decoherya. Sin embargo, también existen otras fuentes de decoherencia. Los ejemplos incluyen las puertas cuánticas y las vibraciones de la red y el giro termonuclear de fondo del sistema físico utilizado para implementar los qubits. La decoherencia es irreversible, ya que efectivamente no es unitaria y, por lo general, es algo que debe controlarse en gran medida, si no evitarse. Los tiempos de decoherencia para los sistemas candidatos en particular, el tiempo de relajación transversal T 2 (para la tecnología de RMN y RM , también llamado tiempo de desfase ), normalmente oscilan entre nanosegundos y segundos a baja temperatura. [102] Actualmente, algunas computadoras cuánticas requieren que sus qubits se enfríen a 20 mikelvin (generalmente usando un refrigerador de dilución [103] ) para evitar una decoherencia significativa. [104] Un estudio de 2020 sostiene que, no obstante, la radiación ionizante, como los rayos cósmicos, puede hacer que ciertos sistemas se decoheran en milisegundos. [105]

Como resultado, las tareas que consumen mucho tiempo pueden hacer que algunos algoritmos cuánticos sean inoperables, ya que intentar mantener el estado de los qubits durante un tiempo suficientemente largo eventualmente corromperá las superposiciones. [106]

Estos problemas son más difíciles para los enfoques ópticos, ya que las escalas de tiempo son órdenes de magnitud más cortas y un enfoque citado con frecuencia para superarlos es la conformación del pulso óptico . Las tasas de error suelen ser proporcionales a la relación entre el tiempo de operación y el tiempo de decoherencia, por lo que cualquier operación debe completarse mucho más rápido que el tiempo de decoherencia.

Como lo describe el teorema del umbral , si la tasa de error es lo suficientemente pequeña, se cree que es posible utilizar la corrección de errores cuánticos para suprimir errores y decoherencia. Esto permite que el tiempo total de cálculo sea mayor que el tiempo de decoherencia si el esquema de corrección de errores puede corregir los errores más rápido de lo que los introduce la decoherencia. Una cifra que se cita con frecuencia para la tasa de error requerida en cada puerta para el cálculo tolerante a fallas es 10 −3 , suponiendo que el ruido es despolarizante.

Cumplir esta condición de escalabilidad es posible para una amplia gama de sistemas. Sin embargo, el uso de la corrección de errores conlleva el coste de un número mucho mayor de qubits necesarios. El número requerido para factorizar números enteros usando el algoritmo de Shor sigue siendo polinomio y se cree que está entre L y L 2 , donde L es el número de dígitos del número que se va a factorizar; Los algoritmos de corrección de errores inflarían esta cifra en un factor adicional de L. Para un número de 1000 bits, esto implica la necesidad de aproximadamente 10 4 bits sin corrección de errores. [107] Con la corrección de errores, la cifra aumentaría a aproximadamente 10 7 bits. El tiempo de cálculo es de aproximadamente L 2 o aproximadamente 10 7 pasos y a 1  MHz, aproximadamente 10 segundos. Sin embargo, los gastos generales de codificación y corrección de errores aumentan el tamaño de una computadora cuántica real tolerante a fallas en varios órdenes de magnitud. Estimaciones cuidadosas [108] [109] muestran que al menos 3  millones de qubits físicos factorizarían un entero de 2048 bits en 5 meses en una computadora cuántica de iones atrapados con errores totalmente corregidos. En términos del número de qubits físicos, hasta la fecha, esta sigue siendo la estimación más baja [110] para un problema de factorización de enteros prácticamente útil con un tamaño de 1.024 bits o mayor.

Otro enfoque al problema de estabilidad-decoherencia es crear una computadora cuántica topológica con anyons , cuasipartículas utilizadas como hilos, y basándose en la teoría de la trenza para formar puertas lógicas estables. [111] [112]

Supremacía cuántica

El físico John Preskill acuñó el término supremacía cuántica para describir la hazaña de la ingeniería de demostrar que un dispositivo cuántico programable puede resolver un problema que va más allá de las capacidades de las computadoras clásicas de última generación. [113] [114] [115] El problema no tiene por qué ser útil, por lo que algunos ven la prueba de supremacía cuántica solo como un posible punto de referencia futuro. [116]

En octubre de 2019, Google AI Quantum, con la ayuda de la NASA, se convirtió en el primero en afirmar haber alcanzado la supremacía cuántica al realizar cálculos en el ordenador cuántico Sycamore más de 3.000.000 de veces más rápido de lo que se podían hacer en Summit , generalmente considerado el más rápido del mundo. computadora. [29] [117] [118] Esta afirmación ha sido cuestionada posteriormente: IBM ha declarado que Summit puede realizar muestras mucho más rápido de lo que se afirma, [119] [120] y desde entonces los investigadores han desarrollado mejores algoritmos para el problema de muestreo utilizado para afirmar que la tecnología cuántica supremacía, reduciendo sustancialmente la brecha entre Sycamore y las supercomputadoras clásicas [121] [122] [123] e incluso superándola. [124] [125] [126]

En diciembre de 2020, un grupo de la USTC implementó un tipo de muestreo de bosones en 76 fotones con una computadora cuántica fotónica , Jiuzhang , para demostrar la supremacía cuántica. [127] [128] [129] Los autores afirman que una supercomputadora clásica contemporánea requeriría un tiempo de cálculo de 600 millones de años para generar la cantidad de muestras que su procesador cuántico puede generar en 20 segundos. [130]

Las afirmaciones de supremacía cuántica han generado entusiasmo en torno a la computación cuántica, [131] pero se basan en tareas de referencia artificiales que no implican directamente aplicaciones útiles en el mundo real. [96] [132]

Escepticismo

A pesar de las grandes esperanzas en la computación cuántica, los avances significativos en el hardware y el optimismo sobre las aplicaciones futuras, un artículo destacado de Nature de 2023 resumió las computadoras cuánticas actuales como "Por ahora, [no sirven para] absolutamente nada". [96] El artículo detalla que las computadoras cuánticas aún no son más útiles o eficientes que las computadoras convencionales en cualquier caso, aunque también argumenta que a largo plazo dichas computadoras probablemente sean útiles. Un artículo de Communications of the ACM de 2023 [97] encontró que los algoritmos de computación cuántica actuales son "insuficientes para una ventaja cuántica práctica sin mejoras significativas en toda la pila de software/hardware". Sostiene que los candidatos más prometedores para lograr la aceleración con las computadoras cuánticas son los "problemas de datos pequeños", por ejemplo en química y ciencia de materiales. Sin embargo, el artículo también concluye que una amplia gama de aplicaciones potenciales que consideró, como el aprendizaje automático, "no lograrán una ventaja cuántica con los algoritmos cuánticos actuales en el futuro previsible", e identificó limitaciones de E/S que hacen que la aceleración sea poco probable para "Problemas de big data, sistemas lineales no estructurados y búsqueda de bases de datos basada en el algoritmo de Grover".

Esta situación puede atribuirse a varias consideraciones actuales y de largo plazo.

En particular, construir computadoras con una gran cantidad de qubits puede ser inútil si esos qubits no están lo suficientemente bien conectados y no pueden mantener un grado de entrelazamiento suficientemente alto durante mucho tiempo. Cuando intentan superar a las computadoras convencionales, los investigadores de computación cuántica a menudo buscan nuevas tareas que puedan resolverse en computadoras cuánticas, pero esto deja la posibilidad de que se desarrollen técnicas no cuánticas eficientes como respuesta, como se vio en las demostraciones de supremacía cuántica . Por lo tanto, es deseable demostrar límites inferiores a la complejidad de los mejores algoritmos no cuánticos posibles (que pueden ser desconocidos) y mostrar que algunos algoritmos cuánticos mejoran asintomáticamente esos límites.

Algunos investigadores han expresado escepticismo sobre la posibilidad de construir computadoras cuánticas escalables, generalmente debido a la cuestión de mantener la coherencia a gran escala, pero también por otras razones.

Bill Unruh dudaba de la practicidad de las computadoras cuánticas en un artículo publicado en 1994. [135] Paul Davies argumentó que una computadora de 400 qubits incluso entraría en conflicto con la información cosmológica vinculada al principio holográfico . [136] Escépticos como Gil Kalai dudan de que alguna vez se logre la supremacía cuántica. [137] [138] [139] El físico Mikhail Dyakonov ha expresado su escepticismo sobre la computación cuántica de la siguiente manera:

"Así que el número de parámetros continuos que describen el estado de una computadora cuántica tan útil en cualquier momento dado debe ser... alrededor de 10 300 ... ¿Podríamos alguna vez aprender a controlar los más de 10 300 parámetros continuamente variables que definen el estado cuántico de tal sistema? Mi respuesta es simple. No, nunca. " [140] [141]

Candidatos a realizaciones físicas.

Una computadora cuántica práctica debe utilizar un sistema físico como registro cuántico programable. [142] Los investigadores están explorando varias tecnologías como candidatas para implementaciones confiables de qubits. [143] Los superconductores y los iones atrapados son algunas de las propuestas más desarrolladas, pero los experimentadores también están considerando otras posibilidades de hardware. [144]

Teoría

Computabilidad

Cualquier problema computacional que pueda resolverse con una computadora clásica también lo puede resolver una computadora cuántica. [145] Intuitivamente, esto se debe a que se cree que todos los fenómenos físicos, incluido el funcionamiento de las computadoras clásicas, pueden describirse utilizando la mecánica cuántica , que es la base del funcionamiento de las computadoras cuánticas.

Por el contrario, cualquier problema que pueda resolverse con una computadora cuántica también lo puede resolver una computadora clásica. Es posible simular manualmente computadoras cuánticas y clásicas con solo un poco de papel y un bolígrafo, si se le da suficiente tiempo. Más formalmente, cualquier computadora cuántica puede ser simulada por una máquina de Turing . En otras palabras, las computadoras cuánticas no proporcionan potencia adicional sobre las computadoras clásicas en términos de computabilidad . Esto significa que las computadoras cuánticas no pueden resolver problemas indecidibles como el problema de la detención , y la existencia de computadoras cuánticas no refuta la tesis de Church-Turing . [146]

Complejidad

Si bien las computadoras cuánticas no pueden resolver ningún problema que las computadoras clásicas ya no puedan resolver, se sospecha que pueden resolver ciertos problemas más rápido que las computadoras clásicas. Por ejemplo, se sabe que las computadoras cuánticas pueden factorizar números enteros de manera eficiente , mientras que no se cree que este sea el caso de las computadoras clásicas.

La clase de problemas que puede resolver eficientemente una computadora cuántica con error acotado se llama BQP , que significa "error acotado, tiempo polinómico cuántico". Más formalmente, BQP es la clase de problemas que pueden resolverse mediante una máquina cuántica de Turing de tiempo polinomial con una probabilidad de error de como máximo 1/3. Como clase de problemas probabilísticos, BQP es la contraparte cuántica de BPP ("error acotado, probabilístico, tiempo polinomial"), la clase de problemas que pueden resolverse mediante máquinas de Turing probabilísticas de tiempo polinomial con error acotado. [147] Se sabe y se sospecha ampliamente que , lo que intuitivamente significaría que las computadoras cuánticas son más poderosas que las computadoras clásicas en términos de complejidad temporal . [148]

La sospecha de relación de BQP con varias clases de complejidad clásicas [66]

Se desconoce la relación exacta de BQP con P , NP y PSPACE . Sin embargo, se sabe que ; es decir, todos los problemas que pueden resolverse eficientemente con una computadora clásica determinista también pueden resolverse eficientemente con una computadora cuántica, y todos los problemas que pueden resolverse eficientemente con una computadora cuántica también pueden resolverse con una computadora clásica determinista con recursos espaciales polinomiales . Además, se sospecha que BQP es un superconjunto estricto de P, lo que significa que hay problemas que pueden resolverse eficientemente mediante computadoras cuánticas que no pueden resolverse eficientemente mediante computadoras clásicas deterministas. Por ejemplo, se sabe que la factorización de números enteros y el problema de logaritmos discretos están en BQP y se sospecha que están fuera de P. Sobre la relación de BQP con NP, poco se sabe más allá del hecho de que algunos problemas de NP que se cree que no están en P también están en BQP (la factorización de números enteros y el problema de logaritmos discretos están ambos en NP, por ejemplo). Se sospecha que ; es decir, se cree que existen problemas comprobables de manera eficiente que no pueden resolverse de manera eficiente mediante una computadora cuántica. Como consecuencia directa de esta creencia, también se sospecha que BQP está separado de la clase de problemas NP-completos (si un problema NP-completo estuviera en BQP, entonces se seguiría de la dureza NP que todos los problemas en NP están en BQP). [149]

Ver también

Notas

  1. ^ La base estándar es también la base computacional . [48]

Referencias

  1. ^ Russell, John (10 de enero de 2019). "Actualización de IBM Quantum: lanzamiento de Q System One, nuevos colaboradores y planes del centro de control de calidad". Cable HPC . Consultado el 9 de enero de 2023 .
  2. ^ Aquí y en adelante, "exponencialmente más rápido" tiene un significado teórico de complejidad preciso , es decir, que, en función del tamaño de entrada (en bits), el mejor algoritmo clásico para un problema requiere un número de pasos exponencialmente creciente , mientras que el mejor algoritmo cuántico solo necesita un número polinómico de pasos.
  3. ^ Aaronson 2013, pag. 132.
  4. ^ Bhatta, Varun S. (10 de mayo de 2020). "Pluralidad de dualidad onda-partícula" (PDF) . Ciencia actual . 118 (9): 1365. doi :10.18520/cs/v118/i9/1365-1374. ISSN  0011-3891. S2CID  216143449.
  5. ^ Ceruzzi, Paul E. (2012). Computación: una historia concisa . Cambridge, Massachusetts : MIT Press. págs.3, 46. ISBN 978-0-262-31038-3. OCLC  796812982.
  6. ^ Hodges, Andrés (2014). Alan Turing: El Enigma . Princeton, Nueva Jersey: Princeton University Press . pag. xviii. ISBN 9780691164724.
  7. ^ Mårtensson-Pendrill, Ann-Marie (1 de noviembre de 2006). "El proyecto Manhattan: una parte de la historia de la física". Educación Física . 41 (6): 493–501. Código bibliográfico : 2006PhyEd..41..493M. doi :10.1088/0031-9120/41/6/001. ISSN  0031-9120. S2CID  120294023.
  8. ^ ab Benioff, Paul (1980). "La computadora como sistema físico: un modelo hamiltoniano microscópico de mecánica cuántica de computadoras representado por las máquinas de Turing". Revista de Física Estadística . 22 (5): 563–591. Código Bib : 1980JSP....22..563B. doi :10.1007/bf01011339. S2CID  122949592.
  9. ^ Buluta, Iulia; Nori, Franco (2 de octubre de 2009). "Simuladores cuánticos". Ciencia . 326 (5949): 108–111. Código Bib : 2009 Ciencia... 326.. 108B. doi : 10.1126/ciencia.1177838. ISSN  0036-8075. PMID  19797653. S2CID  17187000.
  10. ^ Manin, Yu. Yo (1980). Vychislimoe i nevychislimoe [ Computable y no computable ] (en ruso). Radio soviética. págs. 13-15. Archivado desde el original el 10 de mayo de 2013 . Consultado el 4 de marzo de 2013 .
  11. ^ Feynman, Richard (junio de 1982). "Simulando Física con Computadoras" (PDF) . Revista Internacional de Física Teórica . 21 (6/7): 467–488. Código bibliográfico : 1982IJTP...21..467F. doi :10.1007/BF02650179. S2CID  124545445. Archivado desde el original (PDF) el 8 de enero de 2019 . Consultado el 28 de febrero de 2019 .
  12. ^ Nielsen y Chuang 2010, pág. 214.
  13. ^ ab Bennett, Charles H .; Brassard, Gilles (diciembre de 1984). Criptografía cuántica: distribución de claves públicas y lanzamiento de monedas . Conferencia internacional IEEE sobre computadoras, sistemas y procesamiento de señales. Bangalore. págs. 175-179. arXiv : 2003.06557 . doi :10.1016/j.tcs.2014.05.025.
  14. ^ Brassard, G. (2005). "Breve historia de la criptografía cuántica: una perspectiva personal". Taller de teoría de la información del IEEE sobre teoría y práctica en seguridad teórica de la información, 2005 . Isla Awaji, Japón: IEEE. págs. 19-23. arXiv : quant-ph/0604072 . doi :10.1109/ITWTPI.2005.1543949. ISBN 978-0-7803-9491-9. S2CID  16118245.
  15. ^ Deutsch, D. (8 de julio de 1985). "La teoría cuántica, el principio de Church-Turing y la computadora cuántica universal". Actas de la Royal Society de Londres. A. Ciencias Matemáticas y Físicas . 400 (1818): 97-117. Código Bib : 1985RSPSA.400...97D. doi :10.1098/rspa.1985.0070. ISSN  0080-4630. S2CID  1438116.
  16. ^ Bernstein, Ethan; Vazirani, Umesh (1993). "Teoría de la complejidad cuántica". Actas del vigésimo quinto simposio anual de ACM sobre teoría de la informática - STOC '93 . San Diego, California, Estados Unidos: ACM Press. págs. 11-20. doi :10.1145/167088.167097. ISBN 978-0-89791-591-5. S2CID  676378.
  17. ^ Simón, DR (1994). "Sobre el poder de la computación cuántica". Actas del 35º Simposio Anual sobre Fundamentos de la Informática . Santa Fe, Nuevo México, EE.UU.: IEEE Comput. Soc. Prensa. págs. 116-123. doi :10.1109/SFCS.1994.365701. ISBN 978-0-8186-6580-6. S2CID  7457814.
  18. ^ Nielsen y Chuang 2010, pág. 30-32.
  19. ^ Corto 1994.
  20. ^ Academias Nacionales de Ciencias, Ingeniería y Medicina 2019, p. 15.
  21. ^ Grover, Lov K. (1996). Un algoritmo rápido de mecánica cuántica para la búsqueda de bases de datos . Simposio ACM sobre Teoría de la informática. Filadelfia : ACM Press. págs. 212-219. arXiv : quant-ph/9605043 . doi :10.1145/237814.237866. ISBN 978-0-89791-785-8.
  22. ^ ab Nielsen y Chuang 2010, pág. 7.
  23. ^ ab Lloyd, Seth (23 de agosto de 1996). "Simuladores cuánticos universales". Ciencia . 273 (5278): 1073–1078. Código Bib : 1996 Ciencia... 273.1073L. doi : 10.1126/ciencia.273.5278.1073. ISSN  0036-8075. PMID  8688088. S2CID  43496899.
  24. ^ Cao, Yu Dong; Romero, Jonatán; Olson, Jonathan P.; Degroote, Matías; Johnson, Peter D.; et al. (9 de octubre de 2019). "Química cuántica en la era de la computación cuántica". Reseñas químicas . 119 (19): 10856–10915. arXiv : 1812.09976 . doi : 10.1021/acs.chemrev.8b00803. ISSN  0009-2665. PMID  31469277. S2CID  119417908.
  25. ^ ab Academias Nacionales de Ciencias, Ingeniería y Medicina 2019, págs. 164-169.
  26. ^ Chuang, Isaac L.; Gershenfeld, Neil; Kubinec, Markdoi (abril de 1998). "Implementación experimental de búsqueda cuántica rápida". Cartas de revisión física . Sociedad Estadounidense de Física . 80 (15): 3408–3411. Código bibliográfico : 1998PhRvL..80.3408C. doi : 10.1103/PhysRevLett.80.3408.
  27. ^ Holton, William Coffeen. "computadora cuántica". Enciclopedia Británica . Enciclopedia Británica . Consultado el 4 de diciembre de 2021 .
  28. ^ Gibney, Elizabeth (23 de octubre de 2019). "¡Hola mundo cuántico! Google publica una afirmación histórica de supremacía cuántica". Naturaleza . 574 (7779): 461–462. Código Bib :2019Natur.574..461G. doi : 10.1038/d41586-019-03213-z . PMID  31645740.
  29. ^ ab Resumen de Lay: Martinis, John; Boixo, Sergio (23 de octubre de 2019). "Supremacía cuántica utilizando un procesador superconductor programable". Naturaleza . IA de Google . 574 (7779): 505–510. arXiv : 1910.11333 . Código Bib :2019Natur.574..505A. doi :10.1038/s41586-019-1666-5. PMID  31645734. S2CID  204836822 . Consultado el 27 de abril de 2022 .
     • Artículo de revista: Arute, Frank; Arya, Kunal; Babbush, Ryan; Tocino, Dave; Bardin, José C.; et al. (23 de octubre de 2019). "Supremacía cuántica mediante un procesador superconductor programable". Naturaleza . 574 (7779): 505–510. arXiv : 1910.11333 . Código Bib :2019Natur.574..505A. doi :10.1038/s41586-019-1666-5. PMID  31645734. S2CID  204836822.
  30. ^ Aaronson, Scott (30 de octubre de 2019). "Opinión | Por qué es importante el hito de la supremacía cuántica de Google". Los New York Times . ISSN  0362-4331 . Consultado el 25 de septiembre de 2021 .
  31. ^ Pednault, Edwin (22 de octubre de 2019). "Sobre la 'supremacía cuántica'". Blog de investigación de IBM . Consultado el 9 de febrero de 2021 .
  32. ^ Pan, Feng; Zhang, Pan (4 de marzo de 2021). "Simulación de los circuitos de supremacía cuántica de Sycamore". arXiv : 2103.03074 [cuántico-ph].
  33. ^ Nielsen y Chuang 2010, pág. 481.
  34. ^ abcd Preskill, John (6 de agosto de 2018). "Computación cuántica en la era NISQ y más allá". Cuántico . 2 : 79. arXiv : 1801.00862 . Código Bib : 2018Cantidad...2...79P. doi : 10.22331/q-2018-08-06-79 . S2CID  44098998.
  35. ^ Gibney, Elizabeth (2 de octubre de 2019). "Fiebre del oro cuántico: la financiación privada llega a las empresas emergentes cuánticas". Naturaleza . 574 (7776): 22–24. Código Bib :2019Natur.574...22G. doi :10.1038/d41586-019-02935-4. PMID  31578480. S2CID  203626236.
  36. ^ Rodrigo, Chris Mills (12 de febrero de 2020). "La propuesta de presupuesto de Trump aumenta la financiación para la inteligencia artificial y la computación cuántica". La colina . Consultado el 11 de julio de 2021 .
  37. ^ Biondi, Mateo; Hola, Anna; Henke, Nicolás; Mohr, Niko; Pautasso, Lorenzo; et al. (14 de diciembre de 2021). "Los casos de uso de la computación cuántica se están volviendo reales: lo que necesita saber". McKinsey y compañía . Consultado el 1 de abril de 2022 .
  38. ^ Hill, Levon (enero de 2024). "¿En qué parte del ciclo de vida del descubrimiento de fármacos puede tener más impacto la computación cuántica?". Nowizine . Consultado el 16 de enero de 2024 .
  39. ^ Personal (7 de diciembre de 2023). "Los físicos 'entrelazan' moléculas individuales por primera vez, acelerando las posibilidades de la computación cuántica". Phys.org . Archivado desde el original el 8 de diciembre de 2023 . Consultado el 8 de diciembre de 2023 .
  40. ^ Bluvstein, Dolev; Evered, Simón J.; Geim, Alexandra A.; Li, Sophie H.; Zhou, Hengyun; Manovitz, Tom; Ebadi, Sepehr; Caín, Madelyn; Kalinowski, Marcin; Hangleiter, Dominik; Ataides, J. Pablo Bonilla; Maskara, Nishad; Cong, Iris; Gao, Xun; Rodríguez, Pedro Sales (6 de diciembre de 2023). "Procesador cuántico lógico basado en matrices de átomos reconfigurables". Naturaleza : 1–3. arXiv : 2312.03982 . doi :10.1038/s41586-023-06927-3. ISSN  1476-4687. S2CID  266052773.
  41. ^ Jr, Sydney J. Freedberg (7 de diciembre de 2023). "'A las carreras: DARPA, el avance de Harvard acerca los años de la computación cuántica ". Rompiendo la defensa . Consultado el 9 de diciembre de 2023 .
  42. ^ "La investigación financiada por DARPA conduce a un gran avance en la computación cuántica". darpa.mil . 6 de diciembre de 2023 . Consultado el 5 de enero de 2024 .
  43. ^ Choudhury, Rizwan (30 de diciembre de 2023). "Las 7 principales historias de innovación de 2023: ingeniería interesante". interesanteingeniería.com . Consultado el 6 de enero de 2024 .
  44. ^ Mackie, Kurt (8 de febrero de 2024). "Microsoft Quantum Computing obtiene financiación de DARPA". rcpmag.com . Consultado el 9 de febrero de 2024 .
  45. ^ Bennett, Charlie (31 de julio de 2020). La información es cuántica: cómo la física ayudó a explicar la naturaleza de la información y qué se puede hacer con ella (cinta de vídeo). El evento ocurre a las 1:08:22, a través de YouTube.
  46. ^ Nielsen y Chuang 2010, pág. 13.
  47. ^ ab Mermin 2007, pág. 17.
  48. ^ ab Mermin 2007, pág. 18.
  49. ^ Aaronson 2013, pag. 110.
  50. ^ Nielsen y Chuang 2010, pág. 30–32.
  51. ^ Mermín 2007, págs. 38-39.
  52. ^ Das, A.; Chakrabarti, BK (2008). "Recocido cuántico y computación cuántica analógica". Mod. Rev. Física. 80 (3): 1061–1081. arXiv : 0801.2193 . Código Bib : 2008RvMP...80.1061D. CiteSeerX 10.1.1.563.9990 . doi : 10.1103/RevModPhys.80.1061. S2CID  14255125.  
  53. ^ Nayak, Chetan; Simón, Steven; Popa, Ady; Das Sarma, Sankar (2008). "Anyons nonabelianos y computación cuántica". Reseñas de Física Moderna . 80 (3): 1083-1159. arXiv : 0707.1889 . Código Bib : 2008RvMP...80.1083N. doi :10.1103/RevModPhys.80.1083. S2CID  119628297.
  54. ^ Chi-Chih Yao, A. (1993). "Complejidad del circuito cuántico". Actas de la 34ª edición anual de Fundamentos de Ciencias de la Computación del IEEE de 1993 . págs. 352–361. doi :10.1109/SFCS.1993.366852. ISBN 0-8186-4370-6. S2CID  195866146.
  55. ^ Raussendorf, Robert; Browne, Daniel E.; Briegel, Hans J. (25 de agosto de 2003). "Computación cuántica basada en medidas en estados de clústeres". Revisión física A. 68 (2): 022312. arXiv : quant-ph/0301052 . Código Bib : 2003PhRvA..68b2312R. doi : 10.1103/PhysRevA.68.022312. S2CID  6197709.
  56. ^ Aharonov, Dorit; van Dam, Wim; Kempe, Julia; Landau, Zeph; Lloyd, Seth; Regev, Oded (1 de enero de 2008). "La computación cuántica adiabática es equivalente a la computación cuántica estándar". Revisión SIAM . 50 (4): 755–787. arXiv : quant-ph/0405098 . Código Bib : 2008SIAMR..50..755A. doi : 10.1137/080734479. ISSN  0036-1445. S2CID  1503123.
  57. ^ Freedman, Michael H.; Larsen, Michael; Wang, Zhenghan (1 de junio de 2002). "Un functor modular que es universal para la computación cuántica". Comunicaciones en Física Matemática . 227 (3): 605–622. arXiv : quant-ph/0001108 . Código Bib : 2002CMaPh.227..605F. doi :10.1007/s002200200645. ISSN  0010-3616. S2CID  8990600.
  58. ^ Pirandola, S.; Andersen, UL; Banchi, L.; Berta, M.; Bunandar, D.; Colbeck, R.; Englund, D.; Gehring, T.; Lupo, C.; Ottaviani, C.; Pereira, J.; Razaví, M.; Shamsul Shaari, J.; Tomamichel, M.; Usenko, VC; Vallón, G.; Villoresi, P.; Wallden, P. (2020). "Avances en criptografía cuántica". Avances en Óptica y Fotónica . 12 (4): 1012-1236. arXiv : 1906.01645 . doi :10.1364/AOP.361502.
  59. ^ Pirandola, S.; Andersen, UL; Banchi, L.; Berta, M.; Bunandar, D.; Colbeck, R.; Englund, D.; Gehring, T.; Lupo, C.; Ottaviani, C.; Pereira, JL; Razaví, M.; Shamsul Shaari, J.; Tomamichel, M.; Usenko, VC (14 de diciembre de 2020). "Avances en criptografía cuántica". Avances en Óptica y Fotónica . 12 (4): 1017. arXiv : 1906.01645 . Código Bib : 2020AdOP...12.1012P. doi :10.1364/AOP.361502. ISSN  1943-8206. S2CID  174799187.
  60. ^ Xu, Feihu; Mamá, Xiongfeng; Zhang, Qiang; Lo, Hoi-Kwong; Pan, Jian-Wei (26 de mayo de 2020). "Distribución segura de claves cuánticas con dispositivos realistas". Reseñas de Física Moderna . 92 (2): 025002-3. arXiv : 1903.09051 . Código Bib : 2020RvMP...92b5002X. doi : 10.1103/RevModPhys.92.025002. S2CID  210942877.
  61. ^ Xu, Guobin; Mao, Jianzhou; Sakk, Eric; Wang, Shuangbao Paul (22 de marzo de 2023). "Una descripción general de los enfoques cuánticos seguros: distribución de claves cuánticas y criptografía poscuántica". 2023 57° Congreso Anual de Ciencias y Sistemas de la Información (CISS) . IEEE . pag. 3. doi : 10.1109/CISS56502.2023.10089619. ISBN 978-1-6654-5181-9.
  62. ^ Kozlowski, Wojciech; Wehner, Stephanie (25 de septiembre de 2019). "Hacia redes cuánticas a gran escala". Actas de la Sexta Conferencia Internacional Anual ACM sobre Computación y Comunicación a Nanoescala . ACM. págs. 1–7. arXiv : 1909.08396 . doi :10.1145/3345312.3345497. ISBN 978-1-4503-6897-1.
  63. ^ Guo, Xueshi; Breum, Casper R.; Borregaard, Johannes; Izumi, Shuro; Larsen, Mikkel V.; Gehring, Tobías; Christandl, Matías; Neergaard-Nielsen, Jonas S.; Andersen, Ulrik L. (23 de diciembre de 2019). "Detección cuántica distribuida en una red entrelazada de variables continuas". Física de la Naturaleza . 16 (3): 281–284. arXiv : 1905.09408 . doi :10.1038/s41567-019-0743-x. ISSN  1745-2473. S2CID  256703226.
  64. ^ abc Jordan, Stephen (14 de octubre de 2022) [22 de abril de 2011]. "Zoológico de algoritmos cuánticos". Archivado desde el original el 29 de abril de 2018.
  65. ^ Aaronson, Scott ; Arkhipov, Alex (6 de junio de 2011). "La complejidad computacional de la óptica lineal". Actas del cuadragésimo tercer simposio anual de ACM sobre teoría de la informática . San José, California : Asociación de Maquinaria de Computación . págs. 333–342. arXiv : 1011.3245 . doi :10.1145/1993636.1993682. ISBN 978-1-4503-0691-1.
  66. ^ ab Nielsen y Chuang 2010, pág. 42.
  67. ^ Norton, Quinn (15 de febrero de 2007). "El padre de la computación cuántica". Cableado .
  68. ^ Ambainis, Andris (primavera de 2014). "¿Qué podemos hacer con una computadora cuántica?". Instituto de Estudios Avanzados.
  69. ^ Chang, Kenneth (14 de junio de 2023). "El avance de la computación cuántica comienza una nueva era, dice IBM: una computadora cuántica encontró mejores respuestas a un problema de física que una supercomputadora convencional". Los New York Times . Archivado desde el original el 14 de junio de 2023 . Consultado el 15 de junio de 2023 .
  70. ^ Kim, Youngseok; et al. (14 de junio de 2023). "Evidencia de la utilidad de la computación cuántica antes de la tolerancia a fallas". Naturaleza . 618 (7965): 500–505. Código Bib :2023Natur.618..500K. doi :10.1038/s41586-023-06096-3. PMC 10266970 . PMID  37316724. 
  71. ^ Morello, Andrea (21 de noviembre de 2018). Almuerzo y aprendizaje: Computación cuántica. Sibos TV . Archivado desde el original el 11 de diciembre de 2021 . Consultado el 4 de febrero de 2021 a través de YouTube.
  72. ^ Ruane, Jonathan; McAfee, Andrés; Oliver, William D. (1 de enero de 2022). "Computación cuántica para líderes empresariales". Revisión de negocios de Harvard . ISSN  0017-8012 . Consultado el 12 de abril de 2023 .
  73. ^ Budde, Florian; Volz, Daniel (12 de julio de 2019). "Computación cuántica y la industria química | McKinsey". www.mckinsey.com . McKinsey y compañía . Consultado el 12 de abril de 2023 .
  74. ^ Bourzac, Katherine (30 de octubre de 2017). "La química es la aplicación asesina de la computación cuántica". cen.acs.org . Sociedad Química Americana . Consultado el 12 de abril de 2023 .
  75. ^ Lenstra, Arjen K. (2000). "Factorización de números enteros" (PDF) . Diseños, Códigos y Criptografía . 19 (2/3): 101–128. doi :10.1023/A:1008397921377. S2CID  9816153. Archivado desde el original (PDF) el 10 de abril de 2015.
  76. ^ Nielsen y Chuang 2010, pág. 216.
  77. ^ ab Bernstein, Daniel J. (2009). "Introducción a la criptografía poscuántica". Criptografía poscuántica . Berlín, Heidelberg: Springer. págs. 1-14. doi :10.1007/978-3-540-88702-7_1. ISBN 978-3-540-88701-0. S2CID  61401925.
  78. ^ Véase también pqcrypto.org, una bibliografía mantenida por Daniel J. Bernstein y Tanja Lange sobre criptografía que no se sabe que la computación cuántica descifre.
  79. ^ McEliece, RJ (enero de 1978). "Un criptosistema de clave pública basado en la teoría de la codificación algebraica" (PDF) . DSNPR . 44 : 114-116. Código bibliográfico : 1978DSNPR..44..114M.
  80. ^ Kobayashi, H.; Gall, Florida (2006). "Problema del subgrupo oculto del diédrico: una encuesta". Tecnologías de la Información y los Medios . 1 (1): 178–185. doi : 10.2197/ipsjdc.1.470 .
  81. ^ Bennett, Charles H.; Bernstein, Ethan; Brassard, Gilles; Vazirani, Umesh (octubre de 1997). "Fortalezas y debilidades de la computación cuántica". Revista SIAM de Computación . 26 (5): 1510-1523. arXiv : quant-ph/9701001 . Código Bib : 1997quant.ph..1001B. doi :10.1137/s0097539796300933. S2CID  13403194.
  82. ^ Brassard, Gilles; Hoyer, Peter; Tapp, Alain (2016). "Algoritmo cuántico para el problema de la colisión". En Kao, Ming-Yang (ed.). Enciclopedia de algoritmos . Nueva York, Nueva York: Springer. págs. 1662-1664. arXiv : quant-ph/9705002 . doi :10.1007/978-1-4939-2864-4_304. ISBN 978-1-4939-2864-4. S2CID  3116149.
  83. ^ Farhi, Eduardo; Goldstone, Jeffrey; Gutmann, Sam (23 de diciembre de 2008). "Un algoritmo cuántico para el árbol NAND hamiltoniano". Teoría de la Computación . 4 (1): 169-190. doi : 10.4086/toc.2008.v004a008 . ISSN  1557-2862. S2CID  8258191.
  84. ^ Williams, Colin P. (2011). Exploraciones en Computación Cuántica . Saltador . págs. 242-244. ISBN 978-1-84628-887-6.
  85. ^ Grover, Lov (29 de mayo de 1996). "Un algoritmo rápido de mecánica cuántica para la búsqueda de bases de datos". arXiv : quant-ph/9605043 .
  86. ^ Ambainis, Ambainis (junio de 2004). "Algoritmos de búsqueda cuántica". Noticias ACM SIGACT . 35 (2): 22–35. arXiv : quant-ph/0504012 . Código Bib : 2005quant.ph..4012A. doi :10.1145/992287.992296. S2CID  11326499.
  87. ^ Rico, Steven; Gellman, Barton (1 de febrero de 2014). "La NSA busca construir una computadora cuántica que pueda descifrar la mayoría de los tipos de cifrado". El Washington Post .
  88. ^ Outiral, Carlos; Strahm, Martín; Morris, Garrett; Benjamín, Simón; Deane, Charlotte; Shi, Jiye (2021). "Las perspectivas de la computación cuántica en biología molecular computacional". WIREs Ciencia molecular computacional . 11 . arXiv : 2005.12792 . doi : 10.1002/wcms.1481 . S2CID  218889377.
  89. ^ Biamonte, Jacob; Wittek, Peter; Pancotti, Nicola; Rebentrost, Patrick; Wiebe, Nathan; Lloyd, Seth (septiembre de 2017). "Aprendizaje automático cuántico". Naturaleza . 549 (7671): 195–202. arXiv : 1611.09347 . Código Bib :2017Natur.549..195B. doi : 10.1038/naturaleza23474. ISSN  0028-0836. PMID  28905917. S2CID  64536201.
  90. ^ Grada, Aram; Jasidim, Avinatan; Lloyd, Seth (2009). "Algoritmo cuántico para la resolución de sistemas lineales de ecuaciones". Cartas de revisión física . 103 (15): 150502. arXiv : 0811.3171 . Código bibliográfico : 2009PhRvL.103o0502H. doi : 10.1103/PhysRevLett.103.150502. PMID  19905613. S2CID  5187993.
  91. ^ Benedetti, Marcello; Realpe-Gómez, John; Biswas, Rupak; Perdomo-Ortiz, Alejandro (9 de agosto de 2016). "Estimación de temperaturas efectivas en recocidos cuánticos para aplicaciones de muestreo: un estudio de caso con posibles aplicaciones en aprendizaje profundo". Revisión física A. 94 (2): 022308. arXiv : 1510.07611 . Código Bib : 2016PhRvA..94b2308B. doi : 10.1103/PhysRevA.94.022308 .
  92. ^ Ajagekar, Akshay; Tú, Fengqi (5 de diciembre de 2020). "La computación cuántica asistió el aprendizaje profundo para la detección y diagnóstico de fallas en sistemas de procesos industriales". Informática e Ingeniería Química . 143 : 107119. arXiv : 2003.00264 . doi : 10.1016/j.compchemeng.2020.107119. ISSN  0098-1354. S2CID  211678230.
  93. ^ Ajagekar, Akshay; Tú, Fengqi (1 de diciembre de 2021). "Aprendizaje profundo híbrido basado en computación cuántica para el diagnóstico de fallas en sistemas de energía eléctrica". Energía Aplicada . 303 : 117628. doi : 10.1016/j.apenergy.2021.117628 . ISSN  0306-2619.
  94. ^ Gao, Xun; Anschuetz, Eric R.; Wang, Sheng-Tao; Cirac, J. Ignacio; Lukin, Mikhail D. (2022). "Mejora de los modelos generativos mediante correlaciones cuánticas". Revisión física X. 12 (2): 021037. arXiv : 2101.08354 . Código Bib : 2022PhRvX..12b1037G. doi : 10.1103/PhysRevX.12.021037. S2CID  231662294.
  95. ^ Li, Junde; Topaloglu, Rasit; Ghosh, Swaroop (9 de enero de 2021). "Modelos generativos cuánticos para el descubrimiento de fármacos de moléculas pequeñas". arXiv : 2101.03438 [cs.ET].
  96. ^ abc Brooks, Michael (24 de mayo de 2023). "Computadoras cuánticas: ¿para qué sirven?". Naturaleza . 617 (7962): T1-S3. Código Bib :2023Natur.617S...1B. doi : 10.1038/d41586-023-01692-9 . PMID  37225885. S2CID  258847001.
  97. ^ abc Torsten Hoefler; Thomas Haner; Matthias Troyer (mayo de 2023). "Separar la exageración de la practicidad: cómo lograr de manera realista una ventaja cuántica". Comunicaciones de la ACM.
  98. ^ Dyakonov, Mikhail (15 de noviembre de 2018). "El caso contra la computación cuántica". Espectro IEEE .
  99. ^ DiVincenzo, David P. (13 de abril de 2000). "La implementación física de la computación cuántica". Fortschritte der Physik . 48 (9–11): 771–783. arXiv : quant-ph/0002077 . Código Bib : 2000ForPh..48..771D. doi :10.1002/1521-3978(200009)48:9/11<771::AID-PROP771>3.0.CO;2-E. S2CID  15439711.
  100. ^ Giles, Martín (17 de enero de 2019). "Tendríamos más ordenadores cuánticos si no fuera tan difícil encontrar los malditos cables". Revisión de tecnología del MIT . Consultado el 17 de mayo de 2021 .
  101. ^ Pauka SJ, Das K, Kalra B, Moini A, Yang Y, Trainer M, Bousquet A, Cantaloube C, Dick N, Gardner GC, Manfra MJ, Reilly DJ (2021). "Un chip CMOS criogénico para generar señales de control para múltiples qubits". Electrónica de la naturaleza . 4 (4): 64–70. arXiv : 1912.01299 . doi :10.1038/s41928-020-00528-y. S2CID  231715555.
  102. ^ DiVincenzo, David P. (1995). "Computación cuántica". Ciencia . 270 (5234): 255–261. Código Bib : 1995 Ciencia... 270.. 255D. CiteSeerX 10.1.1.242.2165 . doi : 10.1126/ciencia.270.5234.255. S2CID  220110562. 
  103. ^ Zu, H.; Dai, W.; de Waele, ATAM (2022). "Desarrollo de refrigeradores de dilución: una revisión". Criogenia . 121 . doi : 10.1016/j.cryogenics.2021.103390. ISSN  0011-2275. S2CID  244005391.
  104. ^ Jones, Nicola (19 de junio de 2013). "Computación: la empresa cuántica". Naturaleza . 498 (7454): 286–288. Código Bib :2013Natur.498..286J. doi : 10.1038/498286a . PMID  23783610.
  105. ^ Vepsäläinen, Antti P.; Karamlou, Amir H.; Orrell, John L.; Dogra, Akshunna S.; Loer, Ben; et al. (agosto de 2020). "Impacto de la radiación ionizante en la coherencia de los qubits superconductores". Naturaleza . 584 (7822): 551–556. arXiv : 2001.09190 . Código Bib :2020Natur.584..551V. doi :10.1038/s41586-020-2619-8. ISSN  1476-4687. PMID  32848227. S2CID  210920566.
  106. ^ Amy, Mateo; Mateo, Olivia; Gheorghiu, Vlad; Mosca, Michele; Padre, Alex; Schanck, John (30 de noviembre de 2016). "Estimación del costo de los ataques genéricos de preimagen cuántica en SHA-2 y SHA-3". arXiv : 1603.09383 [cuántico-ph].
  107. ^ Dyakonov, MI (14 de octubre de 2006). S. Luryi; Xu, J.; Zaslavsky, A. (eds.). "¿Es realmente posible la computación cuántica tolerante a fallos?". Tendencias futuras en microelectrónica. Hasta Nano Creek : 4–18. arXiv : quant-ph/0610117 . Código Bib : 2006quant.ph.10117D.
  108. ^ Ahsan, Mahoma (2015). Marco de arquitectura para computadora cuántica de iones atrapados basado en la herramienta de simulación de rendimiento. OCLC  923881411.
  109. ^ Ahsan, Mahoma; Metro, Rodney Van; Kim, Jungsang (28 de diciembre de 2016). "Diseño de una computadora cuántica de un millón de qubits utilizando un simulador de rendimiento de recursos". Revista ACM sobre tecnologías emergentes en sistemas informáticos . 12 (4): 39:1–39:25. arXiv : 1512.00796 . doi : 10.1145/2830570 . ISSN  1550-4832. S2CID  1258374.
  110. ^ Gidney, Craig; Ekerå, Martin (15 de abril de 2021). "Cómo factorizar enteros RSA de 2048 bits en 8 horas utilizando 20 millones de qubits ruidosos". Cuántico . 5 : 433. arXiv : 1905.09749 . Código Bib : 2021Cantidad...5..433G. doi :10.22331/q-2021-04-15-433. ISSN  2521-327X. S2CID  162183806.
  111. ^ Freedman, Michael H .; Kitaev, Alexei ; Larsen, Michael J .; Wang, Zhenghan (2003). "Computación cuántica topológica". Boletín de la Sociedad Matemática Estadounidense . 40 (1): 31–38. arXiv : quant-ph/0101025 . doi :10.1090/S0273-0979-02-00964-3. SEÑOR  1943131.
  112. ^ Monroe, Don (1 de octubre de 2008). "Anyons: ¿Las necesidades revolucionarias de la computación cuántica?". Científico nuevo .
  113. ^ Preskill, John (26 de marzo de 2012). "Computación cuántica y la frontera del entrelazamiento". arXiv : 1203.5813 [cuántico-ph].
  114. ^ Preskill, John (6 de agosto de 2018). "Computación cuántica en la era NISQ y más allá". Cuántico . 2 : 79. arXiv : 1801.00862 . Código Bib : 2018Cantidad...2...79P. doi : 10.22331/q-2018-08-06-79 .
  115. ^ Boixó, Sergio; Isakov, Sergei V.; Smelyanskiy, Vadim N.; Babbush, Ryan; Ding, Nan; et al. (2018). "Caracterización de la supremacía cuántica en dispositivos a corto plazo". Física de la Naturaleza . 14 (6): 595–600. arXiv : 1608.00263 . Código Bib : 2018NatPh..14..595B. doi :10.1038/s41567-018-0124-x. S2CID  4167494.
  116. ^ Salvaje, Neil (5 de julio de 2017). "Las computadoras cuánticas compiten por la" supremacía"". Científico americano .
  117. ^ Giles, Martín (20 de septiembre de 2019). "Según se informa, los investigadores de Google han logrado la 'supremacía cuántica'". Revisión de tecnología del MIT . Consultado el 15 de mayo de 2020 .
  118. ^ Tavares, Frank (23 de octubre de 2019). "Google y la NASA logran la supremacía cuántica". NASA . Consultado el 16 de noviembre de 2021 .
  119. ^ Pednault, Edwin; Gunnels, John A.; Nannicini, Giacomo; Horesh, Lior; Wisnieff, Robert (22 de octubre de 2019). "Aprovechamiento del almacenamiento secundario para simular circuitos Sycamore profundos de 54 qubit". arXiv : 1910.09534 [cuántico-ph].
  120. ^ Cho, Adrian (23 de octubre de 2019). "IBM arroja dudas sobre las afirmaciones de supremacía cuántica de Google". Ciencia . doi : 10.1126/ciencia.aaz6080. ISSN  0036-8075. S2CID  211982610.
  121. ^ Liu, Yong (Alejandro); Liu, Xin (Lucy); Li, colmillo (Nancy); Fu, Haohuan; Yang, Yuling; et al. (14 de noviembre de 2021). "Cerrar la brecha de la" supremacía cuántica ". Actas de la Conferencia Internacional sobre Computación, Redes, Almacenamiento y Análisis de Alto Rendimiento . SC'21. Nueva York, Nueva York: Asociación de Maquinaria de Computación. págs. 1–12. arXiv : 2110.14502 . doi :10.1145/3458817.3487399. ISBN 978-1-4503-8442-1. S2CID  239036985.
  122. ^ Bulmer, Jacob FF; Bell, Bryn A.; Chadwick, Rachel S.; Jones, Alex E.; Moisés, Diana; et al. (28 de enero de 2022). "El límite de la ventaja cuántica en el muestreo de bosones gaussianos". Avances científicos . 8 (4): eabl9236. arXiv : 2108.01622 . Código Bib : 2022SciA....8.9236B. doi :10.1126/sciadv.abl9236. ISSN  2375-2548. PMC 8791606 . PMID  35080972. 
  123. ^ McCormick, Katie (10 de febrero de 2022). "La carrera no ha terminado entre las computadoras clásicas y cuánticas". Física . 15 : 19. Código Bib : 2022PhyOJ..15...19M. doi : 10.1103/Física.15.19 . S2CID  246910085.
  124. ^ Pan, Feng; Chen, Keyang; Zhang, Pan (2022). "Resolución del problema de muestreo de los circuitos cuánticos Sycamore". Cartas de revisión física . 129 (9): 090502. arXiv : 2111.03011 . Código bibliográfico : 2022PhRvL.129i0502P. doi : 10.1103/PhysRevLett.129.090502. PMID  36083655. S2CID  251755796.
  125. ^ Cho, Adrian (2 de agosto de 2022). "Después de todo, las computadoras comunes pueden vencer a la computadora cuántica de Google". Ciencia . 377 . doi : 10.1126/science.ade2364.
  126. ^ "La 'supremacía cuántica' de Google usurpada por investigadores que utilizan una supercomputadora ordinaria". TechCrunch . 5 de agosto de 2022 . Consultado el 7 de agosto de 2022 .
  127. ^ Ball, Philip (3 de diciembre de 2020). "Los físicos en China desafían la 'ventaja cuántica' de Google". Naturaleza . 588 (7838): 380. Bibcode :2020Natur.588..380B. doi :10.1038/d41586-020-03434-7. PMID  33273711. S2CID  227282052.
  128. ^ Garisto, Daniel. "La computadora cuántica basada en la luz supera a las supercomputadoras clásicas más rápidas". Científico americano . Consultado el 7 de diciembre de 2020 .
  129. ^ Conover, Emily (3 de diciembre de 2020). "La nueva computadora cuántica basada en luz Jiuzhang ha logrado la supremacía cuántica". Noticias de ciencia . Consultado el 7 de diciembre de 2020 .
  130. ^ Zhong, Han-Sen; Wang, Hui; Deng, Yu-Hao; Chen, Ming-Cheng; Peng, Li-Chao; et al. (3 de diciembre de 2020). "Ventaja computacional cuántica utilizando fotones". Ciencia . 370 (6523): 1460–1463. arXiv : 2012.01625 . Código Bib : 2020 Ciencia... 370.1460Z. doi : 10.1126/ciencia.abe8770. ISSN  0036-8075. PMID  33273064. S2CID  227254333.
  131. ^ Roberson, Tara M. (21 de mayo de 2020). "{{subst:title case| ¿Puede la publicidad ser una fuerza para el bien?}}". Comprensión pública de la ciencia . 29 (5): 544–552. doi : 10.1177/0963662520923109 . ISSN  0963-6625. PMID  32438851. S2CID  218831653.
  132. ^ Cavaliere, Fabio; Mattsson, John; Smeets, Ben (septiembre de 2020). "Las implicaciones de seguridad de la criptografía cuántica y la computación cuántica". Seguridad de la red . 2020 (9): 9–15. doi :10.1016/S1353-4858(20)30105-7. ISSN  1353-4858. S2CID  222349414.
  133. ^ Monroe, Don (diciembre de 2022). "Las computadoras cuánticas y el universo". Comunicaciones de la ACM.
  134. ^ Swayne, Matt (20 de junio de 2023). "PsiQuantum ve una reducción de 700 veces en los requisitos de recursos computacionales para romper la criptografía de curva elíptica con una computadora cuántica tolerante a fallas". El experto de Quanrum .
  135. ^ Unruh, Bill (1995). "Mantener la coherencia en las computadoras cuánticas". Revisión física A. 51 (2): 992–997. arXiv : hep-th/9406058 . Código bibliográfico : 1995PhRvA..51..992U. doi :10.1103/PhysRevA.51.992. PMID  9911677. S2CID  13980886.
  136. ^ Davies, Paul (6 de marzo de 2007). "Las implicaciones de un universo holográfico para la ciencia de la información cuántica y la naturaleza de la ley física". arXiv : quant-ph/0703041 .
  137. ^ Regan, KW (23 de abril de 2016). "Supremacía y complejidad cuántica". La carta perdida de Gödel y P=NP .
  138. ^ Kalai, Gil (mayo de 2016). "El rompecabezas de la computadora cuántica" (PDF) . Avisos de la AMS . 63 (5): 508–516.
  139. ^ Rinott, Yosef; Shoham, Tomer; Kalai, Gil (13 de julio de 2021). "Aspectos estadísticos de la demostración de la supremacía cuántica". arXiv : 2008.05177 [cuántico-ph].
  140. ^ Dyakonov, Mikhail (15 de noviembre de 2018). "El caso contra la computación cuántica". Espectro IEEE . Consultado el 3 de diciembre de 2019 .
  141. ^ Dyakonov, Mikhail (24 de marzo de 2020). ¿Tendremos algún día una computadora cuántica? Saltador. ISBN 9783030420185. Consultado el 22 de mayo de 2020 .[ página necesaria ]
  142. ^ Tacchino, Francisco; Chiesa, Alejandro; Carretta, Stefano; Gerace, Darío (19 de diciembre de 2019). "Computadoras cuánticas como simuladores cuánticos universales: estado del arte y perspectivas". Tecnologías cuánticas avanzadas . 3 (3): 1900052. arXiv : 1907.03505 . doi :10.1002/qute.201900052. ISSN  2511-9044. S2CID  195833616.
  143. ^ Academias Nacionales de Ciencias, Ingeniería y Medicina 2019, p. 127.
  144. ^ Academias Nacionales de Ciencias, Ingeniería y Medicina 2019, p. 114.
  145. ^ Nielsen y Chuang 2010, pág. 29.
  146. ^ Nielsen y Chuang 2010, pág. 126.
  147. ^ Nielsen y Chuang 2010, pág. 41.
  148. ^ Nielsen y Chuang 2010, pág. 201.
  149. ^ Bernstein, Ethan; Vazirani, Umesh (1997). "Teoría de la complejidad cuántica". Revista SIAM de Computación . 26 (5): 1411-1473. CiteSeerX 10.1.1.144.7852 . doi :10.1137/S0097539796300921. 

Otras lecturas

Libros de texto

Papeles academicos

enlaces externos

conferencias