Nature abhors a vacuum: A simple rigorous example of thermalization in an isolated macroscopic quantum system

Este trabajo demuestra de manera rigurosa que una cadena de fermiones libres de baja densidad exhibe termalización en un sistema cuántico macroscópico aislado, probando que un estado inicial no equilibrado evolucionado unitariamente alcanza el valor de equilibrio con alta probabilidad al verificar dos suposiciones clave: la ausencia de degeneración en los autovalores de energía y una propiedad específica sobre la distribución de partículas en los autoestados.

Lo esencial

Imagina que tienes una caja gigante llena de bolas de colores (partículas) y una pared invisible que las mantiene todas apretadas en la mitad izquierda de la caja. La otra mitad está completamente vacía. Esto es un estado de "desequilibrio": todo está de un lado, nada del otro.

Ahora, imagina que quitas esa pared invisible y dejas que las bolas se muevan libremente por toda la caja, rebotando entre sí y siguiendo las reglas estrictas de la mecánica cuántica (que son como las leyes del universo para cosas muy pequeñas).

La pregunta clásica de la física es: ¿Se mezclarán las bolas hasta que estén distribuidas uniformemente por toda la caja, como si estuvieran en "equilibrio"?

Este artículo de los científicos Naoto Shiraishi y Hal Tasaki responde a esa pregunta de una manera muy especial y rigurosa. Aquí te explico los puntos clave con analogías sencillas:

1. El Problema: ¿Por qué es tan difícil probarlo?

En el mundo cuántico, las cosas no se mezclan como el café con leche. Las partículas siguen reglas muy estrictas y, a veces, "recuerdan" dónde estaban al principio. Los físicos llevan años intentando demostrar matemáticamente que, si esperas lo suficiente, el sistema se "relaja" y se vuelve como un gas en equilibrio térmico.

El problema es que la mayoría de las pruebas anteriores se basaban en suposiciones que nadie había podido demostrar al 100%. Era como decir: "Creemos que funciona porque así lo dice la teoría, pero no hemos hecho la prueba de fuego".

2. La Solución: Un experimento mental con "Bolas Mágicas"

Los autores decidieron probar esto con un modelo muy específico y simple: una cadena de fermiones libres (un tipo de partícula cuántica que no interactúa entre sí, como fantasmas que se atraviesan sin tocarse).

• El escenario: Tienen una cadena larga. Al principio, todas las partículas están en la mitad izquierda. La derecha es un "vacío" (nada).
• La acción: Dejan que el tiempo pase. Las partículas se mueven.
• La medición: Después de un tiempo largo, miran una sección grande de la cadena y cuentan cuántas partículas hay.

3. El Truco: La "Suerte" y la "Dimensionalidad"

Aquí es donde entra la parte genial y creativa del artículo.

Imagina que tienes un mazo de cartas gigante. Si eliges una carta al azar, es muy probable que sea una carta "normal". Pero si eliges una carta al azar de un mazo donde todas las cartas son especiales, obtendrás algo especial.

Los autores dicen: "Vamos a elegir nuestro estado inicial al azar dentro de la mitad llena de la cadena".

• La analogía: Imagina que la mitad llena de la cadena es una habitación llena de gente. Si pides a alguien que se ponga de pie al azar, es muy probable que esa persona tenga una "energía" muy compleja y caótica.
• El hallazgo: Demuestran matemáticamente que, si eliges el estado inicial al azar, este estado tiene una "dimensión efectiva" gigantesca.
  • ¿Qué es la dimensión efectiva? Imagina que tienes un laberinto. Si tienes pocas opciones de camino, es fácil perderse o quedarse atascado (no hay equilibrio). Pero si tienes millones de caminos posibles y te mueves aleatoriamente, es casi imposible que vuelvas al punto de partida. Te "mezclas" con el laberinto.
  • En su modelo, el estado inicial aleatorio es tan complejo que, al moverse, explora casi todos los caminos posibles.

4. El Resultado: "La Naturaleza Aborrece el Vacío" (y el Desequilibrio)

Gracias a esa complejidad inicial y a que las reglas del juego (la energía) no tienen "atajos" o repeticiones (no hay degeneración), demuestran que:

1. El sistema se mezcla: Después de un tiempo, si miras la mitad de la cadena, verás que la mitad de las partículas están allí y la otra mitad en el otro lado.
2. Es irreversible: Las partículas no vuelven a amontonarse en la izquierda. Se han "termalizado".
3. Es una prueba real: No usaron suposiciones mágicas. Usaron matemáticas puras (incluyendo teoremas de teoría de números, que es como resolver acertijos con los números primos) para asegurar que no hay "trampas" en el sistema que impidan la mezcla.

5. ¿Por qué es importante?

Antes de este trabajo, muchos creían que los sistemas cuánticos simples (como estos fermiones que no se tocan) nunca deberían alcanzar el equilibrio térmico, porque son demasiado "aburridos" o predecibles.

Este papel dice: "¡Falso! Incluso en un sistema simple, si empiezas con un estado inicial lo suficientemente complejo y aleatorio, el caos cuántico hará su trabajo y el sistema alcanzará el equilibrio."

En resumen:

Es como si tuvieras una habitación llena de gente en un lado y vacía en el otro. Si esa gente empieza a moverse de forma un poco caótica y aleatoria, y la habitación tiene ciertas reglas especiales (como no tener espejos que repitan el movimiento), garantizan matemáticamente que, tarde o temprano, la gente se distribuirá uniformemente por toda la habitación. Y lo más importante: lo han demostrado sin usar "creencias", solo con matemáticas estrictas.

Es un paso gigante para entender por qué el universo, que está hecho de leyes cuánticas, termina comportándose de manera predecible y térmica en nuestra vida diaria.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Nature abhors a vacuum: A simple rigorous example of thermalization in an isolated macroscopic quantum system" (La naturaleza aborrece el vacío: Un ejemplo simple y riguroso de termalización en un sistema cuántico macroscópico aislado), publicado en arXiv:2310.18880v2 por Naoto Shiraishi y Hal Tasaki.

---

1. El Problema y el Contexto

La pregunta fundamental en la mecánica estadística es si la evolución temporal unitaria en un sistema cuántico macroscópico aislado puede describir el fenómeno de la termalización (el acercamiento al equilibrio térmico).

• Desafío Actual: Aunque existe un consenso teórico de que sistemas complejos termalizan (basado en la Hipótesis de Termalización de Estados Eigenenergéticos, ETH), demostrarlo rigurosamente para modelos concretos con interacciones de corto alcance y sin asumir conjeturas no probadas ha sido extremadamente difícil.
• Limitaciones Previas: La mayoría de los resultados rigurosos se limitan a sistemas integrables (que no termalizan a un estado térmico estándar) o a sistemas con localización de muchos cuerpos (MBL). Los ejemplos de termalización rigurosa suelen depender de suposiciones no probadas sobre la distribución de partículas en los estados propios de energía.
• Objetivo del Trabajo: Proporcionar un ejemplo concreto, no trivial y matemáticamente riguroso de un sistema aislado que termaliza, sin depender de suposiciones no probadas, utilizando un estado inicial de no equilibrio bien definido.

2. Metodología y Marco Teórico

Los autores desarrollan una teoría general para gases de red a baja densidad y luego la aplican a un modelo específico.

A. Configuración del Sistema

• Modelo: Una cadena de fermiones libres en una red unidimensional $\Lambda = \{1, \dots, L\}$ con $N$ partículas.
• Hamiltoniano: Se utiliza un Hamiltoniano estándar de salto vecino más cercano con un factor de fase artificial $\theta$ para romper la simetría de reflexión y evitar degeneraciones en el espectro de energía:
  $$\hat{H} = \sum_{x=1}^{L} \left( e^{i\theta} \hat{c}^\dagger_x \hat{c}_{x+1} + e^{-i\theta} \hat{c}^\dagger_{x+1} \hat{c}_x \right)$$
• Estado Inicial ($|\Phi(0)\rangle$): Se elige aleatoriamente desde el subespacio de Hilbert $\mathcal{H}_1$ donde todas las partículas están confinadas en la mitad izquierda de la cadena ($\Lambda_1$), dejando la otra mitad ($\Lambda_2$) como vacío. Esto representa un estado de no equilibrio análogo a un equilibrio a temperatura infinita en $\Lambda_1$ en contacto con un vacío en $\Lambda_2$.
• Observables: Se mide el número de partículas $\hat{N}_\Gamma$ en una región macroscópica arbitraria $\Gamma$ después de un tiempo $t$ suficientemente grande.

B. Suposiciones Clave (Justificadas Rigurosamente)

El teorema general se basa en dos suposiciones que los autores demuestran ser válidas para su modelo:

1. Ausencia de Degeneración (Suposición 2.1): Todos los valores propios de energía $E_j$ son no degenerados.
   • Justificación: Se demuestra utilizando resultados de teoría de números (irreducibilidad de polinomios ciclotómicos de índice primo) para cadenas de longitud $L$ siendo un número primo impar y un $\theta$ adecuado.
2. Distribución de Partículas (Suposición 2.2): Para cualquier estado propio de energía $|\Psi_j\rangle$, la probabilidad de encontrar todas las partículas en la mitad $\Lambda_1$ es extremadamente pequeña:
   $$\langle \Psi_j | \hat{P}_1 | \Psi_j \rangle \le 2^{-N}$$
   • Justificación: Se demuestra analíticamente para fermiones libres en la cadena, aprovechando la descomposición de los operadores de creación en los subespacios.

C. Estrategia de Prueba

El núcleo de la demostración es el concepto de dimensión efectiva ($D_{\text{eff}}$) del estado inicial.

• Si $D_{\text{eff}}$ es casi tan grande como la dimensión total del espacio de Hilbert ($D_{\text{tot}}$), y los niveles de energía no son degenerados, el sistema termaliza.
• Los autores prueban que, para un estado inicial elegido aleatoriamente en $\mathcal{H}_1$ y a baja densidad ($\rho = N/L \le 1/5$), la dimensión efectiva satisface:
  $$\frac{D_{\text{tot}}}{D_{\text{eff}}} \le e^{\rho N}$$
  Con probabilidad muy cercana a 1, esto implica que $D_{\text{eff}} \approx D_{\text{tot}}$, garantizando la termalización.

3. Resultados Principales

Teorema 1.1 (Termalización Rigurosa)

Para una densidad suficientemente baja ($\rho \le 1/5$) y un sistema grande ($N, L \to \infty$):

1. Existe un tiempo $T$ y un conjunto de intervalos de tiempo $G \subset [0, T]$ con una fracción de medida $\mu(G)/T \ge 1 - e^{-(\rho/4)N}$.
2. Para cualquier tiempo $t \in G$, si se mide el número de partículas en la mitad izquierda ($\hat{N}_{\text{left}}$), el resultado $N_{\text{left}}$ satisface con probabilidad $> 1 - e^{-(\rho/4)N}$:
   $$\left| \frac{N_{\text{left}}}{N} - \frac{1}{2} \right| \le \varepsilon_0(\rho)$$
   Donde $\varepsilon_0(\rho) = \sqrt{\frac{3}{2}\rho}$.

Interpretación: El sistema evoluciona desde un estado donde todas las partículas están a la izquierda ($N_{\text{left}}/N = 1$) hacia un estado donde las partículas se distribuyen uniformemente ($N_{\text{left}}/N \approx 1/2$), que es el valor de equilibrio a temperatura infinita. Este comportamiento es irreversible y se predice con alta probabilidad.

Extensiones y Casos Especiales

• Estados Iniciales No Aleatorios: En el Apéndice C, los autores muestran que ciertas configuraciones deterministas (como "reglas de Golomb" modulares) también poseen una dimensión efectiva suficientemente grande para garantizar la termalización, aunque esto requiere densidades extremadamente bajas ($\rho \sim N^{-1}$).
• Modelos Interactantes: En el Apéndice B, discuten que la suposición sobre la distribución de partículas (2.2) también se cumple en modelos de fermiones interactuantes en redes dobles con simetría $Z_2$, sugiriendo que su teoría es aplicable a sistemas no integrables más generales.

4. Contribuciones Clave

1. Rigor Matemático sin Suposiciones No Probadas: Es uno de los primeros ejemplos donde la termalización se demuestra estrictamente para un modelo de muchos cuerpos sin invocar la ETH como un postulado, sino derivándola de propiedades verificables del modelo (ausencia de degeneración y distribución de partículas).
2. Nueva Estrategia de Dimensión Efectiva: Introducen una técnica para demostrar que un estado de no equilibrio generado aleatoriamente tiene una dimensión efectiva maximal, basándose únicamente en la suposición de que los estados propios de energía no tienen "agrupamiento" de partículas en regiones específicas.
3. Uso de Teoría de Números: La demostración de la ausencia de degeneración en el espectro de energía de fermiones libres en una cadena utiliza resultados profundos de teoría de números (polinomios ciclotómicos), conectando áreas distintas de la física matemática.

5. Significado y Limitaciones

Significado:
El trabajo establece que la termalización es un fenómeno que puede ocurrir incluso en sistemas "integrables" (como los fermiones libres) si el estado inicial es suficientemente complejo (alta dimensión efectiva) y el espectro de energía es genérico (no degenerado). Esto desafía la noción simplista de que los sistemas integrables nunca termalizan; en su lugar, muestran que la termalización depende críticamente de la naturaleza del estado inicial y la estructura espectral.

Limitaciones:

• Dependencia de la Densidad: La precisión de la termalización $\varepsilon_0(\rho)$ depende de la densidad $\rho$. Para obtener una alta precisión (cerca de 0), se requiere una densidad muy baja ($\rho \ll 1$). Esto es una limitación técnica de su estrategia de usar suposiciones "suaves" y verificables.
• Observables Restringidos: El teorema garantiza la termalización principalmente para observables del tipo "número de partículas en una región macroscópica". No se extiende automáticamente a correlaciones de partículas o observables que involucren propiedades de partículas individuales de manera compleja.
• Temperatura Infinita: El resultado principal se centra en el equilibrio a temperatura infinita. Aunque discuten extensiones a temperatura finita en el Apéndice D, el caso principal es el de temperatura infinita.

En conclusión, este artículo proporciona un hito en la fundamentación rigurosa de la mecánica estadística cuántica, demostrando que la "naturaleza aborrece el vacío" (en el sentido de que el vacío local se llena rápidamente mediante evolución unitaria) en un modelo cuántico macroscópico concreto y sin ambigüedades teóricas.