La computación cuántica óptica lineal o computación cuántica de óptica lineal ( LOQC ), también computación cuántica fotónica (PQC) , es un paradigma de la computación cuántica , que permite (bajo ciertas condiciones, descritas a continuación) la computación cuántica universal . LOQC utiliza fotones como portadores de información, utiliza principalmente elementos ópticos lineales o instrumentos ópticos (incluidos espejos recíprocos y placas de ondas ) para procesar información cuántica y utiliza detectores de fotones y memorias cuánticas para detectar y almacenar información cuántica. [1] [2] [3]
Aunque existen muchas otras implementaciones para el procesamiento de información cuántica (QIP) y la computación cuántica, los sistemas cuánticos ópticos son candidatos destacados, ya que vinculan la computación cuántica y la comunicación cuántica en el mismo marco. En los sistemas ópticos para el procesamiento de información cuántica, la unidad de luz en un modo determinado (o fotón ) se utiliza para representar un qubit . Las superposiciones de estados cuánticos se pueden representar, cifrar , transmitir y detectar fácilmente mediante fotones. Además, los elementos ópticos lineales de los sistemas ópticos pueden ser los componentes básicos más simples para realizar operaciones cuánticas y puertas cuánticas . Cada elemento óptico lineal aplica de manera equivalente una transformación unitaria en un número finito de qubits. El sistema de elementos ópticos lineales finitos construye una red de óptica lineal, que puede realizar cualquier diagrama de circuito cuántico o red cuántica basada en el modelo de circuito cuántico. La computación cuántica con variables continuas también es posible bajo el esquema de óptica lineal. [4]
Se ha demostrado la universalidad de las puertas de 1 y 2 bits para implementar la computación cuántica arbitraria. [5] [6] [7] [8] Se pueden realizar operaciones con matrices unitarias ( ) utilizando únicamente espejos, divisores de haz y desfasadores [9] (este es también un punto de partida del muestreo de bosones y del análisis de complejidad computacional). para LOQC). Señala que cada operador con entradas y salidas puede construirse mediante elementos ópticos lineales. Por motivos de universalidad y complejidad, LOQC generalmente solo utiliza espejos, divisores de haz, desfasadores y sus combinaciones, como los interferómetros Mach-Zehnder con desfases, para implementar operadores cuánticos arbitrarios . Si se utiliza un esquema no determinista, este hecho también implica que LOQC podría ser ineficiente en términos de recursos en términos de la cantidad de elementos ópticos y pasos de tiempo necesarios para implementar una determinada puerta o circuito cuántico, lo cual es un inconveniente importante de LOQC.
Las operaciones mediante elementos ópticos lineales (divisores de haz, espejos y desfasadores, en este caso) preservan las estadísticas de fotones de la luz de entrada. Por ejemplo, una entrada de luz coherente (clásica) produce una salida de luz coherente; una superposición de entradas de estados cuánticos produce una salida de estado de luz cuántica . [3] Por esta razón, la gente suele utilizar una fuente de fotón único para analizar el efecto de los operadores y elementos ópticos lineales. Los casos de fotones múltiples pueden implicarse mediante algunas transformaciones estadísticas.
Un problema intrínseco al utilizar fotones como portadores de información es que los fotones apenas interactúan entre sí. Esto potencialmente causa un problema de escalabilidad para LOQC, ya que las operaciones no lineales son difíciles de implementar, lo que puede aumentar la complejidad de los operadores y, por lo tanto, puede aumentar los recursos necesarios para realizar una función computacional determinada. Una forma de resolver este problema es incorporar dispositivos no lineales a la red cuántica. Por ejemplo, el efecto Kerr se puede aplicar en LOQC para realizar operaciones NO controladas por un solo fotón y otras operaciones. [10] [11]
Se creía que añadir no linealidad a la red óptica lineal era suficiente para realizar una computación cuántica eficiente. [12] Sin embargo, implementar efectos ópticos no lineales es una tarea difícil. En 2000, Knill, Laflamme y Milburn demostraron que es posible crear ordenadores cuánticos universales únicamente con herramientas ópticas lineales. [2] Su trabajo se conoce como el "esquema KLM" o " protocolo KLM ", que utiliza elementos ópticos lineales, fuentes de fotones individuales y detectores de fotones como recursos para construir un esquema de computación cuántica que involucra solo recursos auxiliares , teletransportaciones cuánticas y correcciones de errores. . Utiliza otra forma de computación cuántica eficiente con sistemas ópticos lineales y promueve operaciones no lineales únicamente con elementos ópticos lineales. [3]
En esencia, el esquema KLM induce una interacción efectiva entre fotones al realizar mediciones proyectivas con fotodetectores , lo que cae en la categoría de computación cuántica no determinista. Se basa en un cambio de signo no lineal entre dos qubits que utiliza dos fotones ancilla y post-selección. [13] También se basa en las demostraciones de que la probabilidad de éxito de las puertas cuánticas se puede acercar a uno mediante el uso de estados entrelazados preparados de forma no determinista y la teletransportación cuántica con operaciones de un solo qubit [14] [15] De lo contrario, sin Para lograr una tasa de éxito suficientemente alta de una sola unidad de puerta cuántica, puede requerir una cantidad exponencial de recursos informáticos. Mientras tanto, el esquema KLM se basa en el hecho de que una codificación cuántica adecuada puede reducir los recursos para obtener qubits codificados con precisión de manera eficiente con respecto a la precisión lograda, y puede hacer que el LOQC sea tolerante a fallas por pérdida de fotones, ineficiencia del detector y decoherencia de fase . Como resultado, LOQC se puede implementar de manera sólida a través del esquema KLM con un requisito de recursos lo suficientemente bajo como para sugerir una escalabilidad práctica, lo que la convierte en una tecnología para QIP tan prometedora como otras implementaciones conocidas.
El modelo de muestreo de bosones más limitado fue sugerido y analizado por Aaronson y Arkhipov en 2010. [16] No se cree que sea universal, [16] pero aún puede resolver problemas que se cree que están más allá de la capacidad de las computadoras clásicas, como El problema del muestreo de bosones . El 3 de diciembre de 2020, un equipo dirigido por el físico chino Pan Jianwei (潘建伟) y Lu Chaoyang (陆朝阳) de la Universidad de Ciencia y Tecnología de China en Hefei , provincia de Anhui , presentó sus resultados a Science en los que resolvieron un problema que es prácticamente inexpugnable. por cualquier ordenador clásico; demostrando así la supremacía cuántica de su computadora cuántica basada en fotones llamada Jiu Zhang Quantum Computer (九章量子计算机). [17] El problema del muestreo de bosones se resolvió en 200 segundos; estimaron que la supercomputadora Sunway TaihuLight de China tardaría 2.500 millones de años en resolverse: una supremacía cuántica de alrededor de 10^14. Jiu Zhang recibió su nombre en honor al texto matemático más antiguo que se conserva en China (Jiǔ zhāng suàn shù) Los nueve capítulos sobre el arte matemático [18]
Los criterios de DiVincenzo para la computación cuántica y QIP [19] [20] dan que un sistema universal para QIP debe satisfacer al menos los siguientes requisitos:
Como resultado del uso de fotones y circuitos ópticos lineales, en general los sistemas LOQC pueden satisfacer fácilmente las condiciones 3, 6 y 7. [3] Las siguientes secciones se centran principalmente en las implementaciones de preparación, lectura, manipulación, escalabilidad y correcciones de errores de información cuántica. para discutir las ventajas y desventajas de LOQC como candidato a QIP
Un qubit es una de las unidades QIP fundamentales. Un estado de qubit que puede representarse es un estado de superposición que, si se mide en base ortonormal , tiene probabilidad de estar en el estado y probabilidad de estar en el estado, donde está la condición de normalización. Un modo óptico es un canal de comunicación óptica distinguible, que suele estar etiquetado por subíndices de un estado cuántico. Hay muchas formas de definir canales de comunicación óptica distinguibles. Por ejemplo, un conjunto de modos podría ser una polarización diferente de la luz que se puede detectar con elementos ópticos lineales, varias frecuencias o una combinación de los dos casos anteriores.
En el protocolo KLM, cada uno de los fotones suele estar en uno de dos modos, y los modos son diferentes entre los fotones (la posibilidad de que un modo esté ocupado por más de un fotón es cero). Este no es el caso sólo durante las implementaciones de puertas cuánticas controladas como CNOT. Cuando el estado del sistema es el descrito, los fotones se pueden distinguir, ya que están en diferentes modos, y por lo tanto un estado de qubit se puede representar usando un solo fotón en dos modos, vertical (V) y horizontal (H): por ejemplo, y . Es común referirse a los estados definidos mediante ocupación de modos como estados de Fock .
En el muestreo de bosones, los fotones no se distinguen y, por lo tanto, no pueden representar directamente el estado del qubit. En cambio, representamos el estado del qubit de todo el sistema cuántico utilizando los estados de modos de Fock que están ocupados por fotones individuales indistinguibles (este es un sistema cuántico de nivel).
Para preparar un estado cuántico multifotónico deseado para LOQC, primero se requiere un estado de fotón único. Por tanto, se emplearán elementos ópticos no lineales , como generadores de fotón único y algunos módulos ópticos. Por ejemplo, la conversión descendente paramétrica óptica se puede utilizar para generar condicionalmente el estado en el canal de polarización vertical en un momento dado (los subíndices se ignoran para este caso de qubit único). Al utilizar una fuente condicional de fotón único, se garantiza el estado de salida, aunque esto puede requerir varios intentos (dependiendo de la tasa de éxito). Un estado conjunto de múltiples qubits se puede preparar de manera similar. En general, se puede generar un estado cuántico arbitrario para QIP con un conjunto adecuado de fuentes de fotones.
Para lograr la computación cuántica universal, LOQC debería ser capaz de realizar un conjunto completo de puertas universales . Esto se puede lograr en el protocolo KLM pero no en el modelo de muestreo de bosones.
Haciendo caso omiso de la corrección de errores y otras cuestiones, el principio básico en las implementaciones de puertas cuánticas elementales utilizando únicamente espejos, divisores de haz y desfasadores es que, utilizando estos elementos ópticos lineales , se puede construir cualquier operación unitaria arbitraria de 1 qubit; en otras palabras, esos elementos ópticos lineales admiten un conjunto completo de operadores en cualquier qubit.
La matriz unitaria asociada a un divisor de haz es:
donde y están determinados por la amplitud de reflexión y la amplitud de transmisión (la relación se dará más adelante para un caso más simple). Para un divisor de haz simétrico, que tiene un desplazamiento de fase bajo la condición de transformación unitaria y , se puede demostrar que
que es una rotación del estado de qubit único alrededor del eje en la esfera de Bloch .
Un espejo es un caso especial donde la tasa de reflexión es 1, de modo que el operador unitario correspondiente es una matriz de rotación dada por
Para la mayoría de los casos de espejos utilizados en QIP, el ángulo de incidencia .
De manera similar, un operador desfasador se asocia con un operador unitario descrito por , o, si está escrito en un formato de 2 modos
lo que equivale a una rotación alrededor del eje.
Dado que dos rotaciones cualesquiera a lo largo de ejes de rotación ortogonales pueden generar rotaciones arbitrarias en la esfera de Bloch, se puede utilizar un conjunto de espejos y divisores de haz simétricos para realizar operadores arbitrarios para QIP. Las siguientes figuras son ejemplos de implementación de una puerta Hadamard y una puerta Pauli-X (NO puerta) mediante el uso de divisores de haz (ilustrados como rectángulos que conectan dos conjuntos de líneas de cruce con parámetros y ) y espejos (ilustrados como rectángulos que conectan dos conjuntos de líneas de cruce líneas con parámetro ).
En las figuras anteriores, un qubit se codifica utilizando dos canales de modo (líneas horizontales): representa un fotón en el modo superior y representa un fotón en el modo inferior.
En realidad, ensamblar un montón (posiblemente del orden de [21] ) de divisores de haz y desfasadores en una mesa experimental óptica es un desafío y poco realista. Para que LOQC sea funcional, útil y compacto, una solución es miniaturizar todos los elementos ópticos lineales, fuentes de fotones y detectores de fotones, e integrarlos en un chip. Si se utiliza una plataforma semiconductora , se pueden integrar fácilmente fuentes de fotones individuales y detectores de fotones. Para separar los modos, se han integrado rejillas de guía de ondas (AWG) que se utilizan comúnmente como (des)multiplexores ópticos en multiplexación por división de longitud de onda (WDM). En principio, los divisores de haz y otros elementos ópticos lineales también pueden miniaturizarse o sustituirse por elementos nanofotónicos equivalentes . Algunos avances en estos esfuerzos se pueden encontrar en la literatura, por ejemplo, Refs. [22] [23] [24] En 2013, se demostró el primer circuito fotónico integrado para el procesamiento de información cuántica utilizando una guía de ondas de cristal fotónico para realizar la interacción entre el campo guiado y los átomos. [25]
La ventaja del protocolo KLM sobre el modelo de muestreo de bosones es que, si bien el protocolo KLM es un modelo universal, no se cree que el muestreo de bosones sea universal. Por otro lado, parece que los problemas de escalabilidad en el muestreo de bosones son más manejables que los del protocolo KLM.
En el muestreo de bosones sólo se permite una única medición, una medición de todos los modos al final del cálculo. El único problema de escalabilidad en este modelo surge del requisito de que todos los fotones lleguen a los detectores de fotones en un intervalo de tiempo suficientemente corto y con frecuencias lo suficientemente cercanas. [dieciséis]
En el protocolo KLM existen puertas cuánticas no deterministas, que son esenciales para que el modelo sea universal. Estos se basan en la teletransportación de puertas, donde se preparan múltiples puertas probabilísticas fuera de línea y se realizan mediciones adicionales en la mitad del circuito. Esos dos factores son la causa de problemas adicionales de escalabilidad en el protocolo KLM.
En el protocolo KLM, el estado inicial deseado es aquel en el que cada uno de los fotones está en uno de dos modos, y la posibilidad de que un modo esté ocupado por más de un fotón es cero. Sin embargo, en el muestreo de bosones, el estado inicial deseado es específico y requiere que cada uno de los primeros modos esté ocupado por un solo fotón [16] ( es el número de fotones y es el número de modos) y que todos los demás estados estén vacíos.
Otro modelo anterior, que se basa en la representación de varios qubits mediante un solo fotón, se basa en el trabajo de C. Adami y NJ Cerf. [1] Al utilizar tanto la ubicación como la polarización de los fotones, un solo fotón en este modelo puede representar varios qubits; sin embargo, como resultado, la puerta CNOT solo se puede implementar entre los dos qubits representados por el mismo fotón.
Las siguientes figuras son ejemplos de cómo hacer una puerta Hadamard y una puerta CNOT equivalentes usando divisores de haz (ilustrados como rectángulos que conectan dos conjuntos de líneas cruzadas con parámetros y ) y desfasadores (ilustrados como rectángulos en una línea con el parámetro ).
En la realización óptica de la puerta CNOT, la polarización y la ubicación son el qubit de control y objetivo, respectivamente.