Numerical evidence for the non-Abelian eigenstate thermalization hypothesis

Este artículo proporciona evidencia numérica que respalda la hipótesis de la termalización de estados propios no abeliana (ETH) mediante simulaciones de una cadena de Heisenberg unidimensional y ofrece una prueba analítica de su autocoherencia, estableciendo así un marco para comprender la termalización en sistemas cuánticos con cantidades conservadas que no conmutan.

Lo esencial

Imagina que tienes una máquina gigante y compleja hecha de 18 interruptores diminutos (qubits) que están todos conectados entre sí. En el mundo de la física cuántica, estos interruptores no solo se encienden y apagan; giran en diferentes direcciones, y la dirección de un interruptor afecta a sus vecinos.

Durante mucho tiempo, los físicos creyeron que si dejabas que tal máquina funcionara durante mucho tiempo, eventualmente se "estabilizaría" en un estado predecible y promedio, muy parecido a una taza de café caliente enfriándose hasta alcanzar la temperatura ambiente. Esta idea se llama la Hipótesis de la Termalización de los Autoestados (ETH). Sugiere que, sin importar cómo comiences la máquina, las partes locales actuarán como si estuvieran en un equilibrio "térmico" (caliente/frío) estándar.

El Problema: El Rompecabezas "No Conmutativo"
Sin embargo, hay un detalle: en esta máquina específica, los interruptores se rigen por una regla especial llamada simetría no Abeliana. Piensa en esto como un juego de direcciones:

• Si giras una brújula al Norte, luego al Este, terminas en un lugar diferente que si giras al Este, luego al Norte.
• En términos cuánticos, estas "direcciones" (cargas) no se llevan bien; no conmutan. Interfieren entre sí.

Debido a esta interferencia, las viejas reglas (la ETH estándar) fallan. La máquina no debería estabilizarse de la manera habitual. Pero, se propuso una nueva teoría llamada ETH No Abeliana para explicar cómo este tipo específico de máquina sí se estabiliza eventualmente, solo que con un conjunto de reglas diferente.

Lo que hizo este artículo
Los autores de este artículo actuaron como detectives probando una nueva teoría. Construyeron una simulación por computadora de esta máquina de 18 interruptores para ver si la nueva teoría de la "ETH No Abeliana" era cierta.

Esto es lo que encontraron, usando analogías simples:

1. El Patrón "Suave": Observaron el comportamiento matemático interno de la máquina. La teoría predecía que, si graficaras el comportamiento de la máquina frente a su energía, los puntos deberían formar una curva fluida y suave (como una colina gentil) en lugar de un desorden irregular y aleatorio. Resultado: Los datos formaron bandas hermosas y suaves, tal como predijo la teoría.
2. El "Ruido Aleatorio": La teoría también decía que, si mirabas de cerca las pequeñas diferencias entre los puntos, deberían parecer estática aleatoria de un televisor antiguo (distribución gaussiana). Resultado: Cuando hicieron zoom, el "ruido" se veía exactamente como estática aleatoria.
3. La Verificación del "Volumen": La teoría predecía una relación específica entre qué tan "fuerte" es el ruido y cuántos estados diferentes puede tener la máquina (la densidad de estados). Es como decir: "Si la habitación se hace más grande, el eco debería volverse más silencioso de una manera muy específica". Resultado: El eco se volvió más silencioso exactamente al ritmo que la teoría decía que debería hacerlo.
4. La Prueba de la "Relación": Compararon el ruido dentro de los grupos principales de la máquina frente al ruido entre los grupos. La teoría decía que esta relación debería ser exactamente 2. Resultado: Sus mediciones arrojaron 1.99, lo cual es prácticamente 2.

La Prueba de "Autoconsistencia"
Más allá de la simulación por computadora, los autores también realizaron una demostración matemática. Demostraron que la nueva teoría no se contradice a sí misma. Tuvieron que ajustar ligeramente una definición de "entropía" (una medida del desorden) —restando una pequeña cantidad relacionada con el giro de la máquina— para que las matemáticas funcionaran perfectamente. Una vez que realizaron este pequeño ajuste, la teoría se mantuvo firme sin ningún vacío lógico.

La Conclusión
Este artículo proporciona la primera evidencia numérica sólida de que la ETH No Abeliana es real. Confirma que incluso cuando las partículas cuánticas tienen reglas que "chocan" (cargas no conmutativas) que les impiden comportarse normalmente, ellas encuentran la manera de termalizarse, pero siguen un conjunto de instrucciones nuevo y ligeramente más complejo de lo que pensábamos anteriormente.

Los autores no afirmaron que esto conduzca a nuevos tratamientos médicos o tecnología inmediata. En su lugar, demostraron con éxito que este marco teórico específico sobre cómo los sistemas cuánticos se estabilizan es matemáticamente sólido y coincide con sus modelos computacionales.

Resumen técnico

Resumen Técnico: Evidencia Numérica de la Hipótesis de la Termalización del Autoestado No Abeliana

Planteamiento del Problema
La Hipótesis de la Termalización del Autoestado (ETH, por sus siglas en inglés) explica cómo los sistemas cuánticos de muchos cuerpos genéricos y aislados se termalizan internamente, postulando que los valores esperados en el tiempo de los operadores locales equivalen a sus valores esperados térmicos. Sin embargo, un trabajo reciente de Murthy et al. demostró que la ETH estándar falla en presencia de simetrías no abelianas. En tales sistemas, las cantidades conservadas (cargas) no conmutan entre sí, lo que conduce a degeneraciones y a la ausencia de bases propias compartidas para todas las cargas. Esto entra en conflicto con la estructura de la ETH estándar y el teorema de Wigner–Eckart, el cual dicta las frecuencias de transición y las estructuras de los elementos de matriz en sistemas con simetrías continuas. Si bien Murthy et al. propusieron una "ETH no abeliana" (NA-ETH) para resolver estos conflictos, y Noh proporcionó un apoyo numérico preliminar en un modelo 2D, faltaba una verificación numérica exhaustiva en un sistema con simetrías extrínsecas mínimas.

Metodología
Los autores modelan una cadena unidimensional (1D) de $N=18$ qubits sujeta a condiciones de contorno abiertas. El sistema evoluciona bajo un Hamiltoniano de Heisenberg no integrable que presenta interacciones de vecino más cercano y de vecino más cercano siguiente. El Hamiltoniano está diseñado para exhibir simetría $SU(2)$ (conservando los componentes del espín total $S^x, S^y, S^z$) mientras rompe explícitamente las simetrías de traslación e inversión espacial para asegurar la no integrabilidad.

El estudio emplea la diagonalización exacta para computar la base propia conjunta $\{|\alpha, m\rangle\}$ compartida por el Hamiltoniano $H$, el operador del cuadrado del espín total $\vec{S}^2$, y la componente $z$ del espín $S^z$. Aquí, $\alpha$ etiqueta la energía $E_\alpha$ y el número cuántico de espín total $s_\alpha$, mientras que $m$ es el número cuántico magnético. Los operadores locales se representan como operadores de tensores esféricos $T^{(k)}_q$. Los autores analizan los elementos de matriz reducidos $\langle \alpha || T^{(k)} || \alpha' \rangle$, los cuales son independientes de los números cuánticos magnéticos debido al teorema de Wigner–Eckart.

El análisis se centra en verificar el ansatz propuesto por Murthy et al., el cual postula que los elementos de matriz reducidos toman la forma:
$$\langle \alpha || T^{(k)} || \alpha' \rangle = T^{(k)}(E, S) \delta_{\alpha\alpha'} + e^{-S_{th}(E, S)/2} f^{(T)}_\nu(E, S, \omega) R^{(T)}_{\alpha\alpha'}$$
donde $E$ y $S$ son el promedio de energía y espín, $\omega$ y $\nu$ son sus diferencias, $R^{(T)}$ representa fluctuaciones erráticas, y $S_{th}$ es una entropía termodinámica modificada definida como la entropía estándar menos $\ln(2S+1)$ para contabilizar la degeneración magnética.

Contribuciones Clave y Resultados
El artículo proporciona una extensa evidencia numérica que respalda la NA-ETH a través de siete predicciones específicas, junto con una prueba analítica de autoconsistencia:

1. Autoconsistencia Analítica: Los autores demuestran que la NA-ETH es autoconsistente (en el sentido de Srednicki) solo si la entropía termodinámica $S_{th}$ se define para excluir el factor de degeneración magnética $\ln(2S+1)$. Esta definición asegura que el escalamiento de los elementos de matriz derivados directamente del ansatz coincida con el escalamiento derivado indirectamente mediante la composición de operadores (usando coeficientes de Clebsch–Gordan).

2. Verificación de la No Integrabilidad: La estadística de brechas de energía dentro de los autoestados conjuntos de $\vec{S}^2$ y $S^z$ sigue la distribución del Ensamblaje Ortogonal de Matrices Gaussianas (GOE), confirmando que el sistema es no integrable y adecuado para las pruebas de ETH.

3. Suavidad de la Diagonal de Bloques: Los elementos de matriz reducidos de la diagonal de bloques $\langle \alpha || T^{(1)} || \alpha \rangle$ exhiben una dependencia suave de la densidad de energía ($E/N$) y la densidad de espín ($s_\alpha/N$) en el límite termodinámico, consistente con la función suave $T^{(k)}(E, S)$ en el ansatz.

4. Fluctuaciones Gaussianas: Tras restar la media suave, las fluctuaciones de los elementos de matriz reducidos, tanto de la diagonal de bloques como de la fuera de la diagonal de bloques, siguen distribuciones gaussianas, lo que respalda el término de matriz aleatoria $R^{(T)}_{\alpha\alpha'}$.

5. Estructura Fuera de la Diagonal de Bloques: Los elementos fuera de la diagonal de bloques también exhiben fluctuaciones gaussianas y dependen de una función suave $f^{(T)}_\nu(E, S, \omega)$ que decae rápidamente a medida que aumenta la diferencia de energía $|\omega|$.

6. Relación de Varianza: La relación entre la varianza de los elementos de la diagonal de bloques y los de fuera de la diagonal de bloques promedia $2$, una predicción derivada de la teoría de matrices aleatorias.

7. Escalamiento de la Varianza: Las varianzas de ambos elementos, de la diagonal de bloques y de fuera de la diagonal de bloques, decaen algebraicamente con la densidad de estados (DOS). Las pendientes observadas en los gráficos log-log ($\approx -0.83$ y $\approx -0.95$) están cerca de la pendiente predicha de $-1$, con desviaciones atribuidas a efectos de tamaño finito.

8. Independencia de $q$: Se demuestra que la función $f^{(T)}_\nu$ es independiente del número cuántico magnético $q$, de acuerdo con el teorema de Wigner–Eckart.

Significancia
Los autores afirman que este trabajo inicia la observación y aplicación de la ETH no abeliana. Proporciona el primer apoyo numérico exhaustivo para la hipótesis, extendiéndose más allá de los estudios previos en 2D a un sistema 1D con simetrías extrínsecas mínimas. Al validar la NA-ETH, este trabajo cierra la brecha entre la termodinámica cuántica (específicamente el estudio de cargas no conmutantes) y la física de muchos cuerpos. Los autores sugieren que estos resultados permiten investigaciones futuras sobre cómo las simetrías no abelianas alteran la termalización, la retención de información en memorias cuánticas y las relaciones de fluctuación-disipación, aunque no proponen experimentos o aplicaciones específicas más allá de estas vías teóricas.