Quantum scrambling of algebras of observables: the $\mathbb{Z}_2$-symmetric case

Resumen Técnico: Escalamiento Cuántico de Álgebras de Observables: El Caso con Simetría $Z_2$

Planteamiento del Problema
Este artículo extiende el formalismo del escalamiento cuántico (quantum scrambling) de operadores individuales a álgebras enteras de observables. Mientras que trabajos previos establecieron el A-OTOC (Correlador Fuera de Orden Temporal Algebraico) como una medida de escalamiento para álgebras "colineales" (donde el álgebra y su conmutante poseen relaciones dimensionales específicas), aún faltaba una interpretación métrica para álgebras más generales. Los autores abordan el caso específico donde el conmutante del álgebra de observables $\mathcal{A}$, denotado como $\mathcal{A}'$, es generado por una única involución hermítica $S$ (un operador de paridad). En este entorno con simetría $Z_2$, $\mathcal{A}' \cong \mathbb{C}Z_2$, y el espacio de Hilbert se descompone en dos sectores de paridad. El objetivo es derivar expresiones analíticas exactas para las medidas de escalamiento en este contexto, proporcionar una interpretación geométrica y aplicar estas medidas para diagnosticar fases en cadenas de espines interactuantes.

Metodología
Los autores emplean dos medidas primarias para cuantificar el escalamiento del álgebra $\mathcal{A}$ bajo un canal unitario $U(\cdot) = U(\cdot)U^\dagger$:

1. OTOC Algebraico (A-OTOC): Definido como el promedio del cuadrado de la norma de los conmutadores entre las unitarias en $\mathcal{A}$ y las unitarias dinámicamente evolucionadas en el conmutante $\mathcal{A}'$.
2. Fidelidad de Plücker: Una cantidad de tipo determinante de Slater derivada de la incrustación de álgebras de operadores en un espacio de operadores proyectivo de mayor dimensión, que mide el solapamiento entre el álgebra conmutante inicial $\mathcal{A}'$ y su imagen dinámica $U(\mathcal{A}')$.

El análisis se basa en la descomposición del espacio de Hilbert $\mathcal{H}$ en subespacios invariantes $\mathcal{H}_+$ y $\mathcal{H}_-$ correspondientes a los autovalores $\pm 1$ del generador $S$. Los parámetros clave incluyen el parámetro de traza $\tau = \text{Tr}(S)/d$ (que se anula para un $S$ sin traza) y la función de autocorrelación temporal a temperatura infinita del generador, $Y(U) = \frac{1}{d}\langle S, U(S) \rangle$.

Contribuciones Clave y Resultados

• Expresiones Analíticas Exactas: Los autores derivan expresiones cerradas tanto para el A-OTOC ($G_\mathcal{A}(U)$) como para la fidelidad de Plücker ($F_\mathcal{A}(U)$) en el caso general de simetría $Z_2$. Estas cantidades dependen únicamente del parámetro de ruptura de simetría $\tau$ y de la autocorrelación $Y(U)$:
  $$G_\mathcal{A}(U) = (1-Y)\left[1 - \frac{1-Y}{2(1-\tau^2)}\right], \quad F_\mathcal{A}(U) = \left| \frac{Y - \tau^2}{1 - \tau^2} \right|$$
  Demuestran que estas medidas están vinculadas por la identidad $G_\mathcal{A}(U) = \frac{1-\tau^2}{2}[1 - F_\mathcal{A}^2(U)]$.

• Interpretación Geométrica: Una contribución central es la recuperación de una interpretación métrica para estas medidas de escalamiento. Los autores muestran que el A-OTOC es proporcional al cuadrado de la distancia de Hilbert-Schmidt entre el álgebra conmutante $\mathcal{A}'$ y su imagen dinámica $U(\mathcal{A}')$ en la variedad de álgebras $Z_2$ ($\mathcal{M}_{Z_2}$). Específicamente, $G_\mathcal{A}(U) = \frac{1-\tau^2}{4} D_{HS}^2(\mathcal{A}', U(\mathcal{A}'))$. Esto extiende la comprensión geométrica del escalamiento más allá del caso colineal previamente conocido.

• Ruptura de Simetría y Escalamiento: El estudio establece que el escalamiento está controlado por el componente de ruptura de simetría $Z_2$ de la evolución unitaria.

  • Sin Escalamiento: Ocurre si $U$ preserva el álgebra $\mathcal{A}'$ (es decir, $U(S) = \pm S$). Esto corresponde a $Y=1$ o, en el caso sin traza ($\tau=0$), $Y=-1$.
  • Escalamiento Máximo: Ocurre cuando $Y(U) = \tau^2$, lo que conduce a $F_\mathcal{A}(U)=0$ y $G_\mathcal{A}(U) = (1-\tau^2)/2$.
  • Valores Típicos: Para unitarias aleatorias, el A-OTOC se concentra cerca de su valor máximo, particularmente para generadores sin traza ($\tau=0$), donde el límite superior es $1/2$.

• Promedios de Largo Tiempo: Para la dinámica generada por un Hamiltoniano, el promedio de largo tiempo del A-OTOC está determinado por el componente de desfase del generador $S$ y la estructura de degeneración espectral del Hamiltoniano. Para espectros no degenerados, el promedio de largo tiempo se aproxima al valor de escalamiento máximo.

• Aplicaciones Numéricas a Cadenas de Espines: El formalismo se prueba en cadenas de espines interactuantes para diagnosticar diferentes fases físicas:

  • Localización de Muchos Cuerpos (MBL): En cadenas XXZ con campos aleatorios, el promedio de largo tiempo del A-OTOC disminuye significativamente a medida que el desorden aumenta, señalando la transición hacia MBL. La sensibilidad de esta medida depende del soporte del operador de paridad, siendo los operadores locales los que muestran la respuesta más fuerte.
  • Transición Orden-Desorden: En el modelo de Ising en campo transversal (TFIM), el A-OTOC aumenta desde 0 (fase ordenada) hasta $\approx 1/2$ (fase desordenada) a medida que el campo transversal cruza el punto crítico, reflejando el comportamiento de la magnetización del estado fundamental.
  • Transición de Integrabilidad: En el TFIM con un campo longitudinal, el A-OTOC es exactamente cero en el punto integrable (donde la paridad global es una simetría) y se aproxima rápidamente al valor ergódico tras la ruptura de la integrabilidad, siendo la transición más nítida conforme aumenta el tamaño del sistema.

Significancia
El artículo sostiene que el formalismo propuesto proporciona un marco unificado para cuantificar el escalamiento cuántico que une la no conmutatividad algebraica y la distancia geométrica. Al restringir el conmutante a una estructura $Z_2$, los autores recuperan una interpretación métrica para el A-OTOC que anteriormente no estaba disponible para álgebras generales. Los resultados sugieren que el promedio de largo tiempo del A-OTOC, emparejado con un operador de paridad físicamente motivado, sirve como una herramienta de diagnóstico sensible para distinguir entre fases integrables, caóticas y localizadas en sistemas de muchos cuerpos. El trabajo destaca que el comportamiento "típico" de las unitarias aleatorias conduce al escalamiento máximo, y que las desviaciones de este comportamiento típico pueden revelar simetrías estructurales subyacentes o fenómenos de localización en sistemas cuánticos específicos.