Length-resolved Operator Growth and Path-Entropy Obstructions to Many-Body Localization

Este artículo demuestra que el crecimiento de operadores en la cadena de Ising desordenada con acoplamientos y campos estrictamente positivos exhibe un escalamiento casi factorial tanto en el tiempo como en el soporte espacial, descartando así rigurosamente la localización dinámica en cualquier intensidad de desorden y revelando una obstrucción de entropía de trayectoria estructural para la localización de muchos cuerpos perturbativa.

Lo esencial

Imagina que tienes una larga fila de personas (una cadena de espín) tomadas de la mano. Algunas se toman de las manos con fuerza (conexiones fuertes), y otras lo hacen de forma laxa o no se toman de las manos en absoluto (desorden). En física, solemos preguntarnos: si empujas a la persona al puro principio de la fila, ¿ese "empujón" se queda localizado cerca de ella, o se extiende para sacudir a todos los demás?

En el mundo de la física cuántica, esta pregunta trata sobre la Localización de Muchos Cuerpos (MBL). Durante mucho tiempo, los físicos esperaron que, si el desorden (la "laxitud" de las conexiones) era lo suficientemente fuerte, el empujón se quedara atrapado y el sistema nunca olvidara su estado inicial. Esto sería como un atasco de tráfico que nunca se despeja.

Sin embargo, este artículo argumenta que, para ciertos tipos de sistemas cuánticos, ese atasco es una ilusión. Aquí está el desglose de sus hallazgos utilizando analogías simples:

1. La "explosión" de posibilidades

Los autores estudian qué sucede cuando se "golpea" repetidamente al sistema (matemáticamente, tomando conmutadores). Descubrieron que el "empujón" no solo se extiende; explota en complejidad.

Imagina que estás intentando caminar desde tu casa hasta la casa de un amigo.

• La visión antigua (Localización): Tomas un camino, quizás algunos desvíos, pero te mantienes en una calle específica.
• La nueva visión (Este artículo): Cada vez que das un paso, el número de caminos posibles que podrías haber tomado se multiplica salvajemente. No son solo unos pocos desvíos; es como si cada paso que das se dividiera en un árbol de ramificaciones de posibilidades que crece de forma casi factorial (un número que crece más rápido de lo que puedes contar, como $100!$).

El artículo demuestra que en estos sistemas desordenados, el "peso" del empujón no solo se está extendiendo; se está distribuyendo a través de un número masivo, casi infinito, de diferentes caminos simultáneamente.

2. El obstáculo de la "Entropía de Trayectoria"

Los autores introducen un concepto llamado Entropía de Trayectoria (Path Entropy). Piensa en esto como el puro "ruido" o "confusión" causado por tener demasiadas opciones.

• La analogía: Imagina intentar escuchar un susurro en una habitación. Si la habitación está silenciosa (baja entropía), puedes oírlo. Pero si la habitación está llena de millones de personas gritando cosas aleatorias diferentes (alta entropía de trayectoria), el susurro queda ahogado.
• El resultado: En estos sistemas cuánticos, el "ruido" de los miles de millones de caminos posibles es tan fuerte que supera cualquier intento de mantener la información localizada. El artículo argumenta que, para que el sistema permanezca localizado, todos estos miles de millones de caminos aleatorios tendrían que cancelarse mágicamente entre sí de manera perfecta (como un coro cantando tan perfectamente que el sonido desaparece). Los autores dicen que esto es estadísticamente imposible sin alguna regla especial y oculta que no hemos encontrado todavía.

3. La ilusión del "Tamaño Finito"

Uno de los hallazgos más prácticos es por qué las simulaciones por computadora han sido confusas.

• La analogía: Imagina que estás estudiando qué tan rápido se propaga un incendio forestal. Si solo observas un pequeño parche de hierba (una simulación por computadora pequeña), el fuego puede parecer que se apaga rápidamente porque se queda sin hierba para quemar. Parece que el fuego está "localizado".
• La realidad: Pero si miras el bosque entero, el fuego se propaga por todas partes.
• La afirmación del artículo: Los autores demuestran que las simulaciones actuales están mirando "pequeños parches". Derivaron una escala específica: $L \sim (W/J)^2$. Mientras el tamaño del sistema ($L$) sea menor que esta escala, el sistema parecerá estar localizado. Pero una vez que el sistema se vuelve lo suficientemente grande (mayor que esta escala), el "fuego" (el crecimiento del operador) inevitablemente se extiende. La "localización" vista en simulaciones pequeñas es solo un régimen pre-asintótico: una ilusión temporal antes de que el verdadero comportamiento de propagación tome el control.

4. El fallo de la herramienta de "reparación"

Los físicos tienen una herramienta matemática (llamada transformación de Schrieffer-Wolff) utilizada para "arreglar" un sistema desordenado y convertirlo en uno ordenado y localizado. Esperaban que esta herramienta funcionara para estas cadenas desordenadas.

• La analogía: Imagina intentar organizar una habitación desordenada moviendo los objetos uno por uno.
• El problema: Los autores muestran que, a medida que intentas organizar la habitación, el "desorden" (el número de formas posibles de organizar las cosas) crece tan rápido que tu herramienta de organización falla. La "entropía de trayectoria" (la pura cantidad de formas en que el desorden puede ocurrir) abruma la capacidad de la herramienta para mantener las cosas ordenadas.
• La conclusión: No puedes construir matemáticamente una versión "localizada" de este sistema usando métodos estándar porque la complejidad de los caminos es demasiado alta.

La conclusión final

El artículo concluye que la localización verdadera y permanente (donde el sistema nunca olvida su inicio) es probablemente imposible en estas cadenas cuánticas específicas, sin importar qué tan fuerte sea el desorden.

• Corto plazo/Sistemas pequeños: Parece que el sistema está atrapado (localizado).
• Largo plazo/Sistemas grandes: La "entropía de trayectoria" gana. El sistema eventualmente se extiende, olvida su estado inicial y se vuelve "ergódico" (completamente mezclado).

Los autores sugieren que, si la localización existe, requeriría un mecanismo milagroso y oculto donde miles de millones de caminos aleatorios se cancelen entre sí perfectamente; un escenario que consideran altamente improbable. Por lo tanto, en el mundo real e infinito, estos sistemas son probablemente siempre caóticos y de propagación, no estancados.

Resumen técnico

Resumen Técnico: Crecimiento de Operadores Resuelto por Longitud y Obstrucciones de Entropía de Trayectoria a la Localización de Muchos Cuerpos

Planteamiento del Problema
La existencia y estabilidad de la Localización de Muchos Cuerpos (MBL, por sus siglas en inglés) en el límite termodinámico sigue siendo un tema de intenso debate. Si bien existen pruebas rigurosas para la localización de Anderson en sistemas no interactuantes, la estabilidad de la MBL en sistemas interactuantes con desorden es objeto de controversia. Un desafío primordial es distinguir una verdadera transición de fase de los cruces (crossovers) de tamaño finito en estudios numéricos, los cuales están limitados a tamaños de sistema pequeños. Además, existe una tensión estructural entre la hipótesis de que los sistemas eródicos exhiben un crecimiento de operadores maximal (casi factorial) y la posibilidad de que los sistemas interactuantes desordenados puedan permanecer localizados. El artículo aborda si el crecimiento de operadores maximal es compatible con las formas más fuertes de localización (localidad dinámica) y la existencia de Integrales de Movimiento Locales (LIOMs) construidas mediante esquemas perturbativos.

Metodología
Los autores se centran en la cadena de Ising unidimensional con campos transversos y longitudinales, donde los acoplamientos y campos se extraen de distribuciones estrictamente positivas. El estudio emplea un enfoque riguroso de teoría de operadores en lugar de la diagonalización numérica.

1. Formalismo de Operadores: Los autores utilizan la base de cadenas de Pauli para resolver las normas de los operadores según su longitud de soporte $\ell$. Analizan el conmutador iterado $k$ veces $L_H^k(A) = [H, A]^{(k)}$ del Hamiltoniano $H$ con un operador local $A$ (específicamente $\sigma^z_0$).
2. Transformación de Gauge: Para establecer cotas inferiores rigurosas, los autores introducen una transformación de gauge específica (cambiando la base de los operadores de Pauli) que asegura que todos los elementos de matriz del superoperador de Liouville sean estrictamente positivos. Esto elimina la posibilidad de interferencia destructiva entre diferentes trayectorias de conmutadores, permitiendo una cota inferior estricta sobre el crecimiento del operador.
3. Análisis de la Entropía de Trayectoria: El núcleo del análisis consiste en contar el número de "trayectorias de dispersión" (scrambling paths) en la expansión del conmutador. Los autores distinguen entre el decaimiento exponencial de las amplitudes de las trayectorias individuales (debido al desorden) y la explosión combinatoria del número de trayectorias (entropía de trayectoria).
4. Construcción Perturbativa: El artículo investiga la convergencia de las transformaciones de Schrieffer-Wolff iterativas utilizadas para construir las LIOMs. Analiza el generador $T$ de la transformación unitaria que mapea el Hamiltoniano microscópico a un Hamiltoniano de LIOM, enfocándose en el crecimiento de la longitud de soporte de $T^{(n)}$ al orden $n$.

Contribuciones Clave y Resultados

1. Crecimiento Casi Factorial Resuelto por Longitud:
   Los autores generalizan los resultados previos de Cao [1] resolviendo la norma del operador por longitud de soporte. Demuestran que para la cadena de Ising desordenada con acoplamientos positivos, el peso del operador a una escala de longitud específica $\ell_k \sim k / \ln k$ crece casi factorialmente:
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   Esto implica que el peso del operador no está confinado a rangos cortos sino que se propaga espacialmente, con el peso dominante localizado en longitudes que divergen con el orden del conmutador $k$.

2. Exclusión Rigurosa de la Localidad Dinámica:
   Basándose en la cota inferior resuelta por longitud, el artículo demuestra que la "localidad dinámica" —la condición de que los operadores locales permanezcan exponencialmente localizados bajo la evolución temporal— queda rigurosamente descartada para este modelo. La contribución entrópica del ramificado de las trayectorias de los conmutadores supera el factor de localización exponencial esperado en las fases localizadas.

3. Escala de Cruce de Tamaño Finito:
   La competencia entre el término de entropía de trayectoria (que impulsa la deslocalización) y el término de localización exponencial (impulsado por el desorden $W$ y el acoplamiento $J$) establece una escala de cruce de tamaño finito rigurosa:
   $$L \sim \left(\frac{W}{J}\right)^2$$
   Para tamaños de sistema $L \lesssim (W/J)^2$, el sistema reside en un régimen "pre-asintótico" donde la entropía de trayectoria aún no ha superado a la localización. En este régimen, los estudios numéricos pueden observar una localización aparente, pero este es un efecto transitorio que desaparece en el límite termodinámico ($L \to \infty$).

4. Obstrucción de la Entropía de Trayectoria a la Construcción de LIOMs:
   El artículo identifica una obstrucción estructural a la construcción perturbativa de las LIOMs. Incluso si se asume la ausencia de resonancias de muchos cuerpos o avalanchas, el esquema de Schrieffer-Wolff iterativo genera un número de trayectorias de dispersión que crece con la longitud de soporte. Los autores argumentan que, sin un mecanismo específico e no identificado de interferencia destructiva entre estas casi factorialmente numerosas trayectorias con amplitudes aleatorias, el generador $T$ de la transformación unitaria se volverá inevitablemente no local. Esto sugiere que la construcción perturbativa de las LIOMs falla en el límite termodinámico debido a la "entropía de trayectoria".

5. Consistencia con las LIOMs Abstractas:
   Los autores aclaran que, si bien el crecimiento de operadores maximal descarta la localidad dinámica, esto no descarta estrictamente la existencia de Hamiltonianos de LIOM abstractos. Demuestran que los Hamiltonianos de LIOM abstractos pueden soportar operadores con un crecimiento incluso más rápido que el factorial. Sin embargo, la obstrucción reside en la construcción del mapeo unitario cuasilocal que vincula el modelo microscópico con tal Hamiltoniano abstracto.

Significado y Reivindicaciones
El artículo afirma resolver la tensión entre el crecimiento de operadores maximal y la localización demostrando que el crecimiento maximal es una característica genérica de las cadenas de espín desordenadas e interactuantes que impide la forma más fuerte de localización (localidad dinámica).

• Sobre los Estudios Numéricos: El trabajo proporciona una explicación rigurosa de por qué los estudios numéricos en sistemas pequeños sugieren fases MBL estables ante un desorden fuerte. Postula que estas observaciones son artefactos del régimen pre-asintótico definido por la escala de cruce $L \sim (W/J)^2$. En consecuencia, las simulaciones numéricas de sistemas pequeños no son adecuadas para determinar la estabilidad de la MBL en el límite termodinámico.
• Sobre la Estabilidad de la MBL: Los autores concluyen que la "obstrucción por entropía de trayectoria" es un mecanismo fundamental que probablemente hace que la MBL sea inestable en el límite termodinámico para cadenas de espín desordenadas genéricas. Argumentan que para que la MBL sobreviva, se requeriría un mecanismo altamente ajustado (fine-tuned) para la cancelación sistemática de las casi factorialmente numerosas trayectorias dependientes del desorden, lo cual se considera no genérico.
• Sobre la Dinámica en Tiempo Real: Los resultados sugieren que la propagación de operadores en tiempo real en estos sistemas es balística (saturando el cono de Lieb-Robinson) hasta alcanzar correcciones logarítmicas, en lugar de ser sub-balística o localizada, dado que la cancelación sistemática requerida para una propagación sub-balística es estadísticamente improbable.

En resumen, el artículo sostiene que la "entropía de trayectoria", derivada del ramificado combinatorio del contenido de los operadores, es una barrera estructural a la localización que opera independientemente de los efectos de resonancia, desafiando la existencia de una fase MBL estable en el límite termodinámico.