¿Por qué es crucial que el Hamiltoniano inicial no viaje con el Hamiltoniano final en la computación cuántica adiabática?

He leído en muchas fuentes y libros sobre computación cuántica adiabática (AQC) que es crucial para la inicial hamiltoniano H i a no conmutar con el final de hamiltoniano H f , es decir, [ H i , H f ] ≠ 0 . Pero nunca he visto una discusión sobre por qué es tan importante.$\hat{H}_i$ $\hat{H}_f$$\left[\hat{H}_i,\hat{H}_f\right]\neq 0$

Si suponemos una dependencia del tiempo lineal el hamiltoniano de la AQC es H ( t ) = ( 1 - t

Entonces mi pregunta es: ¿Por qué es crucial que el hamiltoniano inicial no viaje con el hamiltoniano final?

En el control de calidad adiabático, codifica su problema en un hamiltoniano de modo que su resultado pueda extraerse del estado fundamental. Preparar ese estado fundamental es difícil de hacer directamente, por lo que en su lugar prepara el estado fundamental de un hamiltoniano 'fácil' y luego interpola lentamente entre los dos. Si va lo suficientemente lento, el estado de su sistema permanecerá en el estado fundamental. Al final de su proceso, tendrá la solución.

Esto funciona de acuerdo con el teorema adiabático . Para que se mantenga el teorema, debe haber una brecha de energía entre el estado fundamental y el primer estado excitado. Cuanto más pequeño sea el espacio, más lento necesitará interpolar para evitar la mezcla entre el estado fundamental y los primeros estados excitados. Si se cierra la brecha, no se puede evitar dicha mezcla y no se puede ir lo suficientemente lento. El procedimiento falla en ese punto.

Si el viaje Hamiltoniano inicial y final, significa que tienen los mismos estados propios de energía. Entonces están de acuerdo en qué estados reciben la energía asignada, y solo no están de acuerdo con las energías que obtienen. La interpolación entre los dos hamiltonianos solo cambia las energías. Por lo tanto, el estado fundamental final habría sido un estado excitado al principio, y el estado fundamental original se excita al final. En algún momento, al pasar uno al lado del otro, las energías de estos estados serán iguales, por lo que la brecha entre ellos se cerrará. Esto es suficiente para ver que la brecha energética debe cerrarse en algún momento.

Por lo tanto, tener hamiltonianos que no viajan diariamente es una condición necesaria para mantener la brecha abierta, y por lo tanto para AQC.

Si dos matrices (en este caso, los hamiltonianos) conmutan, tienen los mismos vectores propios. Por lo tanto, si prepara un estado fundamental del primer hamiltoniano, entonces (en términos generales) seguirá siendo un estado propio durante toda la evolución adiabática, y entonces obtendrá exactamente lo que puso. No tiene valor.

Si quieres ser un poco más estricto, entonces podría ser que tu Hamiltoniano inicial tenga una degeneración que es levantada por el segundo Hamiltoniano, y es posible que desees hacer que el sistema evolucione a un estado fundamental único. Sin embargo, tenga en cuenta que la degeneración se levanta en el instante en que hay una cantidad distinta de cero del segundo hamiltoniano. Cualquier efecto que pueda tener es instantáneo. Creo que no obtienes una evolución adiabática adecuada. En cambio, debe escribir su estado inicial como una superposición de los nuevos estados propios, y estos comienzan a evolucionar con el tiempo, pero nunca aumenta la superposición de su estado con el estado objetivo (el estado fundamental).

En el contexto de los optimizadores Ising que tienen un Hamiltoniano inicial que conmuta con el problema, Hamiltoniano significa que es esencialmente producto de operadores , lo que significa que sus estados propios son cadenas de bits clásicas. Por lo tanto, el estado base al principio ( t = 0) también será clásico, no una superposición de todas las cadenas de bits posibles.$\sigma^Z$$t$

Además, incluso yendo más allá de los límites estrictos de AQC (p. Ej., Recocido cuántico de sistema abierto, QAOA, etc.) si el Hamiltoniano de conducción conmuta, no puede inducir transiciones entre los estados propios del problema Hamiltoniano, sino que solo cambia la fase de las amplitudes en la función de onda ; y desea un controlador que sea capaz de inducir giros para explorar el espacio de búsqueda.

$H_i$$H_f$

$H_i= \begin{pmatrix}1 & 0\\ 0 & -1 \end{pmatrix}$

$H_p= \begin{pmatrix}-1 & 0\\ 0 & -0.1 \end{pmatrix}$

$H_i$$|1\rangle$$H_f$$|0\rangle$

$\epsilon$
$\tau\ge \max_t\left(\frac{||H_i - H_f||^2}{\epsilon E_{\rm{gap}}(t)^3}\right)$

Esto se da y explica en la ecuación. 2 de Tanburn et al. (2015) .

• $\epsilon = 0.1$
• $||H_i - H_f||^2 = 0.1$
• $\frac{||H_i - H_f||^2}{\epsilon}=1$$\epsilon$
• $\tau \ge \max_t\left(\frac{1}{E_{\rm{gap}}(t)^3}\right)$

$\max_t$
$t=20\tau/29$

$H=\frac{9}{29}H_i + \frac{20}{29}H_p$

$H=\frac{9}{29}\begin{pmatrix}1 & 0\\ 0 & -1 \end{pmatrix} + \frac{20}{29}\begin{pmatrix}-1 & 0\\ 0 & -0.1 \end{pmatrix}$

$H=\begin{pmatrix}\frac{9}{29} & 0\\ 0 & -\frac{9}{29} \end{pmatrix}+\begin{pmatrix}-\frac{20}{29} & 0\\ 0 & -\frac{2}{29} \end{pmatrix}$

$H=\begin{pmatrix}\frac{-11}{29} & 0\\ 0 & -\frac{11}{29} \end{pmatrix}$

$t=\frac{20}{29}\tau$$E_{\rm{gap}}=0$$\tau$$\infty$

Entonces, el teorema adiabático todavía se aplica, pero cuando establece que el hamiltoniano necesita cambiar "lo suficientemente lento", resulta que necesita cambiar "infinitamente lento", lo que significa que es probable que nunca obtenga la respuesta usando AQC.