Ir al contenido

Computación adiabática cuántica

De Wikipedia, la enciclopedia libre

La computación adiabática cuántica es un paradigma de computación cuántica, alternativo a los circuitos cuánticos, donde el estado inicial se hace evolucionar lentamente con un Hamiltoniano dependiente del tiempo hasta un estado final. Se fundamenta en el teorema adiabático, que garantiza que si la evolución es lenta y los niveles de energía no se cruzan, el estado fundamental del Hamiltoniano inicial evolucionará al estado fundamental del Hamiltoniano final, tras un tiempo suficientemente largo. La diferencia principal con un circuito de puertas cuánticas es que no se conocen los estados intermedios por los que evoluciona el sistema. Posiblemente saltará a otros niveles de energía durante la evolución, aunque finalmente termine en el estado fundamental. La computación adiabática es útil para atacar problemas en los que el estado fundamental del Hamiltoniano final encapsule la solución a un problema, por ejemplo, un problema de minimización o de satisfacibilidad booleana.[1][2]

Teorema adiabático

[editar]

El origen del teorema adiabático puede trazarse en el artículo de Born y Fock de 1928,[3]​ en el que se estudia la evolución de un sistema cuántico sometido a una perturbación dependiente del tiempo. Esta perturbación, que se supone lenta, está descrita por un Hamiltoniano dependiente del tiempo y cuyos niveles de energía están separados. Bajo estas hipótesis, el teorema adiabático garantiza que si partimos de un autoestado del Hamiltoniano inicial, tras un tiempo suficientemente largo, la probabilidad de que el estado haya transicionado a otro nivel de energía es cero. Por ejemplo, un sistema que comienza en el estado fundamental de terminará en el estado fundamental de , con un tiempo suficientemente grande. El error en la aproximación respecto del resultado real obtenido resolviendo la ecuación de Schrödinger se puede estimar y es del orden de .[4][5]

Para formular el teorema en más detalle, se parte de la ecuación de Schrödinger con un Hamiltoniano dependiente del tiempo. Los autoestados de cumplen

,

donde etiqueta el nivel de energía. Sea

la mínima diferencia de energía entre el nivel fundamental y el primer estado excitado. Sea, además,

.

Por el teorema adiabático, si se parte del estado inicial y se deja evolucionar con , la probabilidad de que el estado final esté en el estado fundamental es , siempre y cuando se cumpla la condición adiabática.[6]

.

En general, la probabilidad de transición es de orden [7]​ y, bajo hipótesis más fuertes, se puede hacer exponencialmente pequeño con .[8]​ Por tanto, dejando al sistema evolucionar un tiempo arbitrariamente largo, el estado final estará en el nivel fundamental.

Algoritmo

[editar]

El esquema de funcionamiento más básico de computación cuántica adiabática puede resumirse en los siguientes pasos.

  1. Escoger un Hamiltoniano final que encapsule el problema que se quiere resolver. Normalmente será un problema de optimización binaria, por la facilidad de modelar estos problemas con un Hamiltoniano.
  2. Un Hamiltoniano inicial con un estado fundamental fácil de preparar.
  3. Un Hamiltoniano intermedio que varíe lentamente con y tal que y . En el caso más sencillo, es la interpolación lineal.
  4. El parámetro se escoge como función del tiempo de forma que se cumpla la condición adiabática (se ha usado la regla de la cadena). Normalmente el parámetro es simplemente , siendo el tiempo final. En este caso la condición adiabática se puede reescribir como .
  5. Se evoluciona el estado inicial bajo estas condiciones y se mide tras un tiempo .

Por supuesto, este algoritmo será de utilidad una vez probado que el tiempo que se tarda en alcanzar la solución es polinomial con el número de cúbits, para poder, así, alcanzar una ventaja respecto a los algoritmos clásicos. La condición adiabática da una cota inferior para este tiempo y será diferente para cada problema.[1]

Ejemplos

[editar]

1 cúbit

[editar]

A continuación se ilustra el algoritmo con un ejemplo sencillo de un solo cúbit. Supongamos que se quiere hallar el estado fundamental del Hamiltoniano

,

con autovalores y . Para ello se puede partir del Hamiltoniano

con autovalores y e interpolando linealmente, se obtiene el Hamiltoniano dependiente del tiempo

.

Los autovalores del Hamiltoniano son , cuya distancia mínima es para y, por tanto, se puede evolucionar del estado fundamental de al estado fundamental de . Nótese que es importante comenzar con un Hamiltoniano que no sea diagonal, ya que en ese caso los autovalores de serían y , y la distancia mínima entre los niveles se haría cero, impidiendo aplicar la aproximación adiabática.

Se podría ver este problema como una cláusula que se cumple si y solo si (autovector ), es decir, si está en el estado fundamental (autovalor ). Para obtener el estado se evoluciona el estado fundamental del Hamiltoniano , que se supone conocido.[1]

Algoritmo de Grover

[editar]

El algoritmo de Grover permite buscar un elemento en una lista desordenada de modo cuadráticamente más rápido que un algoritmo clásico. Aunque el algoritmo se suele implementar con puertas cuánticas, se puede modelar la evolución adiabática para obtener de nuevo esta mejora cuadrática.

Supóngase que tenemos qubits y por tanto un espacio de Hilbert de dimensión con base , . Si se quiere encontrar un estado en una lista desordenada de los estados de la base, se pueden tomar los Hamiltonianos inicial y final[2]

y ,

cuyos estados fundamentales son y , el elemento a encontrar. Si se toma como Hamiltoniano una interpolación lineal de y ,

,

con , se obtiene la diferencia instantánea entre el nivel fundamental y el primer estado excitado:

.

El mínimo de esta diferencia es , y se obtiene para . Puesto que , la condición adiabática se cumplirá si . Sin embargo, vemos que no se consigue recuperar la ventaja cuadrática del algoritmo de Grover.

Para obtener un tiempo del orden se debe cambiar ligeramente nuestro argumento: podemos dividir el tiempo en intervalos infinitesimales y aplicar en cada uno la condición adiabática

.

Si se toma solución de la ecuación

,

se satisface la condición. Integrando la ecuación en , se obtiene el intervalo de tiempo y, suponiendo que , se obtiene que el tiempo que habría que evolucionar adiabáticamente el sistema es . De hecho, se demuestra que esta mejora es óptima.[6]

Computación adiabática y circuitos cuánticos

[editar]

La computación adiabática cuántica puede implementar la computación cuántica por circuitos cuántico en un tiempo y memoria polinomial con el número de variables.[9]​ El problema inverso también es cierto, se puede simular la computación adiabática con un circuito cuántico[2]​ Esto se puede demostrar a partir de Hamiltonianos locales, que mediante una asignación a cadenas de Márkov, se puede encontrar la dependencia polinomial mencionada.

Annealing cuántico

[editar]

Las condiciones requeridas por la computación adiabática, por ejemplo temperatura cero, son complicadas de obtener físicamente, por lo que han surgido algoritmos inspirados en este tipo de computación que relajan estas condiciones a cambio de perder la universalidad de la computación adiabática. El annealing cuántico es uno de estos procedimientos, y permite encontrar mínimos de Hamiltoniano aprovechando el efecto túnel. Aunque lo ideal es que el sistema evolucione en torno al mínimo de energía, en algunos casos la probabilidad de que permanezca en el mínimo es pequeña (aun así el algoritmo devolverá estados de baja energía que pueden ser útiles). El annealing cuántico se utiliza principalmente para resolver problemas de optimización o muestreo, donde el problema se modela con un Hamiltoniano del que queremos obtener el mínimo, o en su defecto un estado de baja energía, que se aproxima a la solución óptima del problema.[10][11]


Véase también

[editar]

Referencias

[editar]
  1. a b c Farhi, Edward; Gutmann, Sam; Goldstone, Jeffrey; Sipser, Michael (2000). «Quantum Computation by Adiabatic Evolution». arXiv. 
  2. a b c van Dam, Wim; Mosca, Michele; Vazirani, Umesh (2001). «How Powerful is Adiabatic Quantum Computation?». Proceedings 42nd IEEE Symposium on Foundations of Computer Science: 279-287. doi:10.1109/SFCS.2001.959902. 
  3. Born, Max; Fock, Vladimir (1928). «Beweis des Adiabatensatzes». Z. Physik 51: 165-180. doi:10.1007/BF01343193. 
  4. Zwiebach, Barton (Spring 2018). «L16.1 Quantum adiabatic theorem stated». MIT 8.06 Quantum Physics III. 
  5. Messiah, Albert (1962). «XVII». Quantum Mechanics. Volume II. p. 747. 
  6. a b Roland, Jérémie; Cerf, Nicolas J. (2002). «Quantum search by local adiabatic evolution». Phys. Rev. A. doi:10.1103/PhysRevA.65.042308. 
  7. Galindo, A.; Pascual, P. (1991). «11». Quantum Mechanics II. Springer-Verlag. p. 186. 
  8. Lidar, Daniel A.; Hamma, Alioscia; Rezakhani, Ali T. (2009). «Adiabatic approximation with exponential accuracy for many-body systems and quantum computation». J. Math. Phys: 102106. doi:10.1063/1.3236685. 
  9. Aharonov, Dorit; Kempe, Julia; van Dam, Wim; Landau, Zeph; Regev, Oded; Lloyd, Seth (2004). «Adiabatic quantum computation is equivalent to standard quantum computation». 45th Annual IEEE Symposium on Foundations of Computer Science. doi:10.1109/FOCS.2004.8. 
  10. Grant, Erika K.; Humble, Travis S. (2020). «Adiabatic Quantum Computing and Quantum Annealing». Oxford University Press. doi:10.1093/acrefore/9780190871994.013.32. 
  11. D-Wave. «What is Quantum Annealing?». 

Enlaces externos

[editar]