Exact Quantum Many-Body Scars by a generalized Matrix-Product Ansatz

Este artículo introduce un ansatz generalizado de producto matricial basado en la cancelación de errores locales para construir estados propios exactos de sistemas cuánticos de muchos cuerpos no libres de frustración, demostrando su validez mediante ejemplos explícitos en una y dos dimensiones espaciales.

Lo esencial

La Gran Imagen: Encontrar Orden en el Caos

Imagina una pista de baile masiva y caótica llena de miles de bailarines (partículas). En la mayoría de los sistemas cuánticos, si pones la música, los bailarines eventualmente se mezclan por completo, olvidando sus posiciones iniciales. Esto se llama "termalización" o "ergodicidad": todo se convierte en una sopa caliente y aleatoria.

Sin embargo, los físicos han descubierto unos pocos casos raros donde algunos bailarines se niegan a mezclarse. Siguen bailando en un patrón específico y repetitivo, incluso cuando la música es fuerte y caótica. Estos patrones especiales y tercos se llaman Cicatrices Cuánticas de Muchos Cuerpos. Son como "fantasmas" de orden que sobreviven en un mar de caos.

El problema es que encontrar estas cicatrices suele ser como buscar una aguja en un pajar. La mayoría de los métodos para encontrarlas solo funcionan si el sistema está perfectamente equilibrado (una condición llamada "libre de frustración"). Si el sistema está ligeramente desequilibrado o "frustrado", los métodos antiguos fallan.

Este artículo introduce una nueva herramienta, más flexible, para encontrar estas cicatrices, incluso en sistemas desordenados y desequilibrados.

La Nueva Herramienta: El Truco de la "Cancelación Local de Errores"

Los autores, Sascha Gehrmann y Fabian H.L. Essler, desarrollaron una nueva receta matemática. Para entenderla, usemos una analogía de una carrera de relevos.

1. La Vieja Forma (Libre de Frustración): Imagina una carrera de relevos donde cada corredor individual debe correr perfectamente. Si un corredor tropieza, todo el equipo pierde. En física, esto significa que cada pequeña parte del sistema debe estar en un estado perfecto, sin errores. Esto es muy difícil de lograr en sistemas complejos.
2. La Nueva Forma (Ansatz Generalizado): Los autores se dieron cuenta de que no necesitas que cada corredor sea perfecto. Solo necesitas que los errores se cancelen entre sí.
   • Imagina que el Corredor A tropieza y cae hacia adelante (creando un "error").
   • Pero el Corredor B, que está justo detrás, tropieza y cae hacia atrás de una manera que deshace perfectamente el error del Corredor A.
   • Si miras al equipo completo, los errores han desaparecido y el equipo termina la carrera perfectamente, aunque los individuos tropezaron en el camino.

El artículo llama a esto un "ansatz de cancelación local de errores". Se basa en una idea antigua utilizada para estudiar cómo se mueven las partículas en una línea (el método Derrida-Evans-Hakim-Pasquier), pero los autores la han actualizado para que funcione en sistemas complejos de espines cuánticos.

Cómo lo Probaron

Los autores no solo hablaron de la teoría; construyeron ejemplos específicos para demostrar que funciona. Actuaron como arquitectos construyendo casas en diferentes barrios:

• Cadenas Unidimensionales (El Pasillo): Construyeron un modelo de una larga línea de espines (como una fila de fichas de dominó).
  • Ejemplo 1: Encontraron toda una familia de estados de cicatrices (un "multiplete degenerado") en un sistema con un tipo específico de torsión magnética. Es como encontrar todo un coro de cantantes que pueden alcanzar la misma nota perfecta, aunque la habitación sea ruidosa.
  • Ejemplo 2: Encontraron una sola cicatriz aislada en una configuración diferente.
• Redes Bidimensionales (El Tablero de Ajedrez): Se trasladaron a una cuadrícula cuadrada (como un tablero de damas).
  • Demostraron que este "truco de cancelación" funciona incluso cuando el sistema es bidimensional y tiene campos magnéticos complejos. Encontraron soluciones exactas para modelos de Espín-2 y Espín-1 que anteriormente se pensaba que eran demasiado desordenados para resolverse exactamente.

Por Qué Esto Importa (Según el Artículo)

El artículo destaca algunas conclusiones clave:

1. Es Exacto: A diferencia de muchas simulaciones por computadora que te dan una respuesta aproximada, este método te da la descripción matemática exacta de estos estados especiales.
2. Es Simple (Relativamente): Los estados resultantes pueden escribirse utilizando un formato matemático compacto llamado "Estado Producto Matricial" (MPS). Piensa en esto como un algoritmo de compresión altamente eficiente. En lugar de necesitar una biblioteca de libros para describir el estado, solo necesitas una pequeña libreta.
3. Es Accesible: Debido a que estos estados son tan simples (bajo "entrelazamiento"), los autores sugieren que podrían observarse en computadoras cuánticas actuales y simuladores. No necesitas una máquina futurista para verlos; puedes verlos en la dinámica de observables locales hoy en día.

Resumen

El artículo presenta un nuevo y astuto truco matemático de "cancelación". Permite a los físicos encontrar patrones cuánticos exactos y estables (cicatrices) en sistemas que son desordenados y desequilibrados. Al permitir que los errores locales se cancelen entre sí globalmente, pueden construir estos estados tanto en líneas 1D como en redes 2D, abriendo la puerta al estudio de estos fenómenos cuánticos raros en hardware cuántico real y existente.

Resumen técnico

Resumen Técnico: Cicatrices Cuánticas de Muchos Cuerpos Exactas mediante un Ansatz Generalizado de Producto Matricial

Enunciado del Problema
La búsqueda de mecanismos que rompan la ergodicidad en sistemas cuánticos de muchos cuerpos interactuantes ha identificado a las "cicatrices cuánticas de muchos cuerpos" como una clase distinta de autoestados no térmicos. Estos estados, caracterizados por un bajo entrelazamiento y expresiones cerradas simples, permiten oscilaciones persistentes en la dinámica fuera del equilibrio. Aunque existen diversos marcos para construir tales estados (por ejemplo, incrustación, estructuras teóricas de grupos, álgebras generadoras de espectro), un método dominante para obtener autoestados exactos de Producto Matricial (MPS) se basa en la condición "libre de frustración". En este enfoque estándar, la densidad local del Hamiltoniano $h_{j,k}$ aniquila el estado localmente ($h_{j,k}|\Psi\rangle = 0$). Esta condición es restrictiva y limita la clase de Hamiltonianos para los cuales se pueden construir autoestados exactos de MPS. Los autores abordan la cuestión de si es posible construir autoestados exactos de MPS para Hamiltonianos que no son libres de frustración.

Metodología: Ansatz Generalizado DHEP
Los autores proponen una generalización del ansatz de Derrida-Evans-Hakim-Pasquier (DHEP), desarrollado originalmente para el estado estacionario del proceso de exclusión simple asimétrico (ASEP). El núcleo de su método es un mecanismo de "cancelación local de errores".

1. Marco General: Para un sistema de espín cuántico en un grafo $G$ con Hamiltoniano $H = \sum h_{j,k}$, los autores buscan un MPS $|\Psi\rangle$ definido por tensores $A$.
2. Condición Relajada: En lugar de exigir $h_{j,k}|\Psi\rangle = 0$, imponen una condición donde la acción de la densidad local del Hamiltoniano sobre los tensores MPS genera "términos de error" que no son cero pero que pueden expresarse como una suma telescópica. Específicamente, para una arista que conecta los nodos $k$ y $\ell$:
   $$h_{k,\ell} [A_k] [A_\ell] = [E^{(k,\ell)}_k] [A_\ell] + [A_k] [E^{(k,\ell)}_\ell]$$
   Aquí, $E$ representa un tensor de la misma estructura que $A$.
3. Cancelación Global: Si la suma de estos tensores de error sobre todas las aristas conectadas a un nodo se anula ($\sum_{e \in E_v} E^e_v = 0$), los errores locales se cancelan globalmente debido a la invariancia traslacional (o condiciones de frontera apropiadas). En consecuencia, $H|\Psi\rangle = 0$ (o una energía constante), produciendo un autoestado exacto a pesar de que el Hamiltoniano no sea libre de frustración.
4. Reducción Algebraica: El problema se reduce a encontrar representaciones de un álgebra cuadrática definida por la condición de cancelación local.

Resultados Clave y Ejemplos
Los autores demuestran la eficacia de este método construyendo cicatrices exactas de MPS en una y dos dimensiones espaciales para Hamiltonianos no libres de frustración.

• Modelo 1D I (Multiplete Degenerado de Cicatrices):

  • Sistema: Una cadena de espín-$S$ con un Hamiltoniano que combina un término de Rydberg generalizado (que penaliza excitaciones adyacentes) y una interacción Dzyaloshinskii–Moriya (DM).
  • Resultado: Para $S=1/2$, los autores construyen un MPS exacto con energía cero. El estado exhibe una longitud de correlación finita.
  • Degeneración: El análisis numérico revela un multiplete de energía cero degenerado $N/2 + 2$ veces. Los autores muestran que $N/2 + 1$ de estos estados (todos con momento cero) pueden generarse expandiendo el parámetro MPS $b$ en una serie de potencias de $1/a$. Esta expansión produce una torre de estados $|v_n\rangle$ donde $|v_n\rangle$ contiene a lo sumo $n$ espines volteados, análogo a estructuras encontradas en la cadena XYZ de espín-1/2.
  • Espines Superiores: La construcción se extiende a $S \geq 1$, sugiriendo un número extenso de autoestados de energía cero invariantes traslacionalmente dentro del subespacio de Rydberg.
  • Condiciones de Frontera: El método también se aplica a cadenas abiertas con campos magnéticos de frontera específicos, produciendo un autoestado exacto no degenerado con un autovalor de energía ajustable.

• Modelo 1D II (Cicatriz Aislada):

  • Sistema: Una cadena de espín-1 con un Hamiltoniano específico que involucra términos cuadráticos de espín y un campo magnético.
  • Resultado: Se construye un MPS exacto de energía cero. A diferencia del Modelo I, el espacio propio de energía cero es no degenerado. El estado tiene una longitud de correlación finita y no nula $\xi = \log(3)$.

• Modelos de Red Cuadrada 2D:

  • Modelo de Espín-2: Los autores construyen un MPS de energía cero invariante traslacionalmente para un modelo de espín-2 en una red cuadrada con un campo magnético. En ausencia del campo, el modelo es libre de frustración; el campo no nulo rompe esta propiedad, convirtiendo al estado en una cicatriz.
  • Modelo XYZ de Espín-1 con Interacción DM: Se encuentra un MPS exacto de energía cero para un modelo XYZ de espín-1 con interacción DM y un campo magnético. Cuando la interacción DM es no nula, el estado ya no es un estado fundamental, pero permanece como un autoestado exacto. Cabe destacar que este MPS puede descomponerse en dos estados producto, resultando en una longitud de correlación nula en el límite de volumen infinito.

Significado y Afirmaciones
El artículo afirma proporcionar un algoritmo sistemático para obtener autoestados exactos de MPS que relaja la estricta condición de libre de frustración. Al permitir términos de error locales que se telescopian a cero globalmente, el método generaliza tanto el ansatz DHEP como el trabajo anterior de Klümper y Zittartz.

Los autores enfatizan que los estados de cicatrices construidos poseen dimensiones de enlace bajas, lo que los hace teóricamente accesibles para su observación en la dinámica de observables locales en computadoras cuánticas actuales. El trabajo es modesto en su alcance, presentando ejemplos ilustrativos específicos en 1D y 2D en lugar de una clasificación universal de todos los sistemas con cicatrices. Los autores señalan que, aunque han verificado la construcción para $S \leq 2$, una demostración para $S > 2$ sigue siendo una pregunta abierta. También reconocen un preimpreso reciente que investiga una versión más general de este ansatz en el contexto de MPS inyectivos.