Failure of the Quench Action Formalism for Mott Insulator Initial States

Este artículo demuestra, a través de contraejemplos explícitos que involucran estados iniciales de aislante de Mott y el gas de Lieb-Liniger, que el supuesto central del formalismo de la acción de quench —que los solapamientos con los autoestados dependen suavemente de la densidad de cuasipartículas mediante un funcional exponencial— es fundamentalmente inválido debido al comportamiento altamente singular de estos solapamientos.

Lo esencial

Imagina que estás tratando de predecir el futuro de una multitud caótica de personas (un sistema cuántico) después de un cambio repentino en las reglas del juego. Durante años, los físicos han utilizado un "libro de reglas" específico llamado Formalismo de la Acción de Quench para hacer estas predicciones.

Aquí tienes el desglose simple de lo que afirma este artículo, utilizando analogías de la vida cotidiana:

El Viejo Libro de Reglas (La suposición de la "Suavidad")

El viejo libro de reglas asumía que, si tienes una multitud de personas, lo único que importa para predecir su futuro es la densidad promedio de la multitud.

• La Analogía: Imagina que estás mirando a través de una ventana empañada. No puedes ver a las personas individuales, solo una nube de niebla suave y borrosa. La vieja teoría decía: "Mientras sepamos qué tan espesa es la niebla en diferentes puntos, podemos predecir perfectamente cómo se moverá la multitud".
• Las Matemáticas: Asumía que la conexión (traslape) entre el estado inicial y cualquier estado futuro podía describirse mediante una curva única, suave y gentil. No importaba exactamente qué personas estaban dónde, siempre y cuando la "densidad de la niebla" general fuera la misma.

El Nuevo Descubrimiento (La realidad "Singular")

Garry Goldstein, el autor de este artículo, dice: "Este libro de reglas es erróneo".

Él encontró un escenario específico (un "Aislante de Mott" convirtiéndose en un "gas de Lieb-Liniger") donde la analogía de la niebla suave se rompe por completo.

• La Analogía: Imagina que la multitud no es una niebla en absoluto. En su lugar, es un grupo de bailarines que deben pararse sobre una cuadrícula muy específica y rígida.
  • Si un bailarín se para en el lugar correcto, la música suena y la danza continúa.
  • Si un bailarín está incluso una pulgada fuera de esa cuadrícula específica, la música se detiene instantáneamente y la danza es imposible.
• La Realidad: Goldstein demuestra que, para este sistema específico, la conexión entre el principio y el fin no es una curva suave. Es altamente dentada y "singular".
  • No se trata de la densidad promedio.
  • Se trata de posiciones exactas y discretas. El sistema solo "funciona" (tiene un traslape distinto de cero) si las partículas ocupan números cuánticos específicos (como asientos específicos en un teatro). Si están aunque sea ligeramente desviadas, la conexión cae a cero.

El Contraejemplo

Goldstein no solo lo supuso; construyó una "prueba de concepto" matemática utilizando una configuración específica:

1. La Configuración: Tomó un estado donde las partículas están bloqueadas en un patrón rígido similar a un cristal (el Aislante de Mott).
2. El Cambio: Cambió repentinamente las reglas para dejar que se movieran libremente (el gas de Lieb-Liniger).
3. El Resultado: Cuando calculó la conexión entre el inicio y el final, encontró que no era una función suave. Era una función de "elegir y escoger".
   • Escenario A: ¿Las partículas están en el patrón exacto? Conexión = 100%.
   • Escenario B: ¿Las partículas tienen la misma densidad promedio pero están en un patrón ligeramente diferente? Conexión = 0%.

Por Qué Esto Importa

La vieja teoría (Formalismo de la Acción de Quench) intentaba simplificar el universo diciendo: "No te preocupes por los detalles minúsculos; solo mira el panorama general (la densidad)".

El artículo de Goldstein dice: "Los detalles minúsculos lo son todo".

• La Metáfora: Es como intentar predecir el resultado de una cerradura y una llave. La vieja teoría decía: "Si la llave tiene aproximadamente el tamaño adecuado, abrirá la cerradura". Goldstein dice: "No, si los dientes de la llave no están en el lugar exacto, la cerradura no girará en absoluto, sin importar qué tan cerca esté el tamaño".

La Conclusión

El artículo concluye que el "Formalismo de la Acción de Quench" falla para estos tipos específicos de estados iniciales porque asume una suavidad que simplemente no existe. La realidad es mucho más compleja, "rica" y llena de posibilidades "singulares" donde el sistema se comporta de una manera binaria (todo o nada) en lugar de una manera suave y gradual.

En resumen: El universo es más exigente y específico de lo que el viejo libro de reglas le atribuía. No puedes simplemente mirar el promedio; tienes que mirar la disposición exacta.

En pocas palabras: El universo es más meticuloso y específico de lo que el viejo libro de reglas le daba crédito. No puedes solo mirar el promedio; tienes que mirar la disposición exacta.

Resumen técnico

Resumen Técnico: Fallo del formalismo de la acción de quench para estados iniciales de aislante de Mott

Planteamiento del problema
El artículo aborda un supuesto fundamental dentro del formalismo de la acción de quench, un marco teórico utilizado para describir la dinámica fuera del equilibrio y la relajación de sistemas cuánticos aislados hacia un Ensamblaje de Gibbs Generalizado (GGE) tras un quench cuántico. El formalismo postula que el solapamiento entre un estado inicial genérico $|\Psi_0\rangle$ y un autoestado de un Hamiltoniano final integrable (caracterizado por rapididades $|k_1, \dots, k_N\rangle$) puede expresarse como un funcional suave de la densidad de cuasipartículas $\rho(k)$:
$$\langle k_1, \dots, k_N | \Psi_0 \rangle = \exp(-S_{\Psi_0}(\rho(k)))$$
Este supuesto implica que el solapamiento depende únicamente de la densidad macroscópica de estados, de tal manera que cualquier par de autoestados que compartan el mismo $\rho(k)$ producen solapamientos idénticos (salvo correcciones de orden $O(1/N)$). El autor argumenta que este supuesto es incorrecto para estados iniciales específicos, concretamente los estados fundamentales de aislantes de Mott, donde el solapamiento exhibe un comportamiento altamente singular que no puede ser capturado por una función suave de $\rho(k)$.

Metodología
El autor emplea contraejemplos explícitos para probar la validez del supuesto de la acción de quench. El análisis principal se centra en un quench cuántico donde un aislante de Mott bosónico de una dimensión evoluciona repentinamente bajo el Hamiltoniano de Lieb-Liniger. El estudio se lleva a cabo en dos regímenes:

1. Límite de Tonks-Girardeau ($c \to \infty$): El solapamiento se calcula exactamente para el límite de acoplamiento infinito del gas de Lieb-Liniger.
2. Expansión de orden principal en $1/c$: El solapamiento se calcula para un acoplamiento finito $c$, expandiéndose hasta el orden principal en $1/c$.

En ambos casos, el estado inicial $|\Psi_0\rangle$ se define como un producto de funciones de onda localizadas (aislante de Mott) con un ancho $W \ll l$ (donde $l$ es el espaciamiento de la red), y los autoestados finales son los autoestados de la ecuación de Bethe del modelo de Lieb-Liniger. El cálculo implica integrar la función de onda inicial contra las funciones de onda de Bethe, utilizando contracciones de Wick y reconociendo la estructura resultante como un determinante de Vandermonde.

Contribuciones clave y resultados
El artículo demuestra que el solapamiento entre el estado fundamental del aislante de Mott y los autoestados de Lieb-Liniger posee una estructura mucho más compleja que la forma funcional suave asumida por el formalismo de la acción de quench.

• Estructura de solapamiento singular: En el límite de Tonks-Girardeau, se encuentra que el cuadrado del solapamiento es proporcional a un producto de términos seno que dependen de los números cuánticos $I_j$ que etiquetan los autoestados:
  $$|\langle k_1, \dots, k_N | \Psi_0 \rangle|^2 \propto \prod_{j>i} 4 \sin^2\left[ \frac{\pi(I_j - I_i)}{N} \right]$$
  Esta expresión se anula a menos que el conjunto de números cuánticos $\{I_j\}$ ocupe cada entero módulo $N$ exactamente una vez. En consecuencia, el solapamiento es cero para la gran mayoría de los estados que comparten la misma densidad macroscópica $\rho(k)$ pero difieren en su configuración microscópica de números cuánticos.

• Fallo de la suavidad: Los resultados muestran que el solapamiento no es una función suave de la densidad de cuasipartículas $\rho(k)$. En su lugar, es altamente sensible a la disposición específica de las rapididades (o números cuánticos). Esto contradice directamente el supuesto central del formalismo de la acción de quench (Ec. 6 en el texto), que requiere que el solapamiento esté determinado únicamente por $\rho(k)$.

• Extensión a acoplamiento finito: Se derivan resultados similares para el orden principal en la expansión $1/c$. El solapamiento solo es distinto de cero para configuraciones específicas de números cuánticos que satisfacen estrictas condiciones de espaciamiento, lo que refuerza la conclusión de que la estructura del solapamiento es singular y no es capturada por un funcional de acción suave.

• Apéndice A (Modelo XXZ): El autor señala que estados "cristalinos" similares en el modelo XXZ (en el límite de gran anisotropía $|\Delta| \gg 1$) exhiben la misma rica y singular estructura de solapamiento, lo que sugiere que el fallo del formalismo no es exclusivo del gas de Lieb-Liniger.

Significado y afirmaciones
El artículo afirma que el formalismo de la acción de quench es fundamentalmente incorrecto para una clase de estados iniciales físicamente relevantes, específicamente los aislantes de Mott. El autor argumenta que el formalismo ha "simplificado enormemente la situación", retratando erróneamente los quenches como si estuvieran controlados universalmente por la entropía de Yang-Yang y pequeñas fluctuaciones alrededor de un punto de silla.

Al demostrar que los solapamientos poseen "significativamente más estructura" de lo que se pensaba —específicamente, que no son funciones suaves de $\rho(k)$—, el artículo sugiere que la equilibración de los sistemas integrables puede ser mucho más compleja. El autor postula que estas posibilidades singulares pueden hacer necesarios "nuevos formalismos y nuevos enfoques teóricos" para comprender cómo, o si, tales sistemas se equilibran hacia un GGE. El trabajo no propone un nuevo formalismo, sino que identifica una brecha crítica en la comprensión teórica actual de la dinámica fuera del equilibrio en sistemas integrables.