Exact Localized Information Capacity of a Local Observable in a Hilbert-Space-Shattered System

Resumen Técnico: Capacidad de Información Localizada Exacta en Sistemas con Fragmentación del Espacio de Hilbert

Planteamiento del Problema
El artículo aborda una laguna en la cuantificación de la memoria de sistemas cuánticos cerrados que no logran termalizar debido a una fuerte fragmentación del espacio de Hilbert (fragmentación). Mientras que la memoria de la Localización de Muchos Cuerpos (MBL) se cuantifica mediante la cantidad de Holevo dinámica (que depende de integrales de movimiento aproximadas) y los sistemas genéricos mediante la capacidad de información de subsistemas numérica, los sistemas fragmentados carecen de una medida rigurosa y analítica de la "capacidad de información localizada" en bits. Las caracterizaciones existentes para sistemas fragmentados —como los límites de Mazur de autocorrelación en tiempo infinito, las integrales de movimiento estadísticamente localizadas (SLIOMs) o el conteo de qubits protegidos por simetría— no proporcionan una medida de valor cerrado en bits de la información que un observable local retiene sobre el estado inicial. Además, no se ha establecido la relación entre el álgebra del conmutante exacta de los sistemas fragmentados y esta capacidad de información.

Metodología
Los autores definen la capacidad de información localizada de un observable local $A$ como la información de Holevo/información mutua transportada por el estado retenido en el tiempo infinito sobre la etiqueta del sector inicial.

1. Marco Teórico: Utilizan el hecho de que la fragmentación fuerte divide el espacio de Hilbert en sectores de Krylov $\{P_\alpha\}$ dinámicamente desconectados, los cuales forman una base ortogonal completa para el álgebra del conmutante $\mathcal{C}$.
2. Fórmula de Capacidad Universal: Derivan una expresión de forma cerrada para la norma al cuadrado de Hilbert-Schmidt de la proyección de $A$ sobre el conmutante:
   $$C_{\text{univ}}(A) = \frac{1}{D} \sum_\alpha \frac{[\text{Tr}(AP_\alpha)]^2}{\text{Tr}P_\alpha}$$
   Se demuestra que esta cantidad es independiente del Hamiltoniano y depende únicamente de la descomposición de los sectores.
3. Mapeo de Información Teórica: Para estados de temperatura infinita, la parte retenida del sistema es diagonal. Los autores mapean la entropía del sector $H(\{p_\alpha\})$ (donde $p_\alpha$ es el peso del sector $\alpha$) a la capacidad de información total $\chi$, y definen la capacidad resuelta por región $\chi_R$ como la información mutua entre la etiqueta del sector y las configuraciones locales.
4. Análisis de Modelos: El marco se aplica a dos modelos específicos:
   • Cadena de Spin-1 con Conservación de Dipolo: Un sistema con estados locales $S^z_i \in \{-1, 0, +1\}$ que conserva la carga $N$ y el momento dipolar $P$. La dinámica se mapea a un campo de altura $h_j$ donde los movimientos corresponden a transposiciones adyacentes de alturas que difieren por uno.
   • Cadena $t-J_z$: Un modelo de partículas de espín duro que saltan sin intercambio de espín.

Contribuciones Clave y Resultados

• Capacidad de Forma Cerrada Exacta: El artículo establece que, en sistemas fragmentados, la capacidad de información localizada no es una estimación numérica, sino un valor exacto de forma cerrada derivado de la estructura de los sectores. Sirve como un límite inferior riguroso para la autocorrelación en el tiempo infinito, donde cualquier exceso se atribuye a la memoria dinámica no universal.
• Análisis de la Cadena de Dipolo de Spin-1:
  • Conteo de Sectores: Los autores derivan el número exacto de sectores de Krylov $K_L$ utilizando un formalismo de matriz de transferencia sobre los tipos de fronteras de los sectores. El conteo sigue una relación de recurrencia que produce $K_L = 2P_{L+1} - 1$ (donde $P_n$ son números de Pell), lo que conduce a una tasa de crecimiento de la razón de plata: $\lim_{L\to\infty} \frac{\log_2 K_L}{L} = \log_2(1+\sqrt{2}) \approx 1.2716$.
  • Densidad de Capacidad: Debido a la naturaleza exponencialmente no uniforme de los tamaños de los sectores, la densidad de capacidad exacta converge a $\chi_\infty = 1.09(1)$ bits por sitio, estrictamente por debajo del límite de tamaño igual.
  • Autocorrelación: La estructura específica de la fragmentación casi duplica el suelo de autocorrelación garantizado únicamente por las cargas multipolares polinómicas.
• Análisis de la Cadena $t-J_z$:
  • La etiqueta del sector corresponde a la palabra de espín. Los autores muestran que la capacidad se cierra completamente en exactamente $2/3$ de bit por sitio, calculado como la densidad de partículas multiplicada por un bit de espín retenido.
• Naturaleza de las Integrales de Movimiento:
  • Los autores identifican que el etiquetado completo de los bits retenidos resiste la localidad estricta. Aunque la dinámica puede describirse como un monoide de traza parcialmente conmutativo, los invariantes de "traza libre" (computables mediante un barrido estrictamente local) son demostradamente incompletos.
  • Las etiquetas faltantes corresponden a "ordenamientos congelados" de pares conmutantes, que constituyen los datos estadísticamente localizados. Esto proporciona una explicación de primeros principios de por qué las integrales de movimiento completas en espacios de Hilbert fragmentados son estadísticamente localizadas en lugar de estrictamente locales.
• Jerarquía de Límites: El estudio demuestra una clara jerarquía en los límites inferiores para la autocorrelación: Simetrías globales < Espacio lineal de SLIOMs < Álgebra completa de proyectores de sectores ($C_{\text{univ}}$) < Autocorrelación total en el tiempo infinito ($C_\infty$). La brecha entre $C_{\text{univ}}$ y $C_\infty$ representa la memoria dinámica no universal que crece con el desorden.

Significancia
El artículo afirma resolver la cuestión estructural de cómo cuantificar la memoria en sistemas fragmentados al convertir la "memoria de un espacio de Hilbert fragmentado" en un conteo exacto de bits. Su significancia radica en:

1. Precisión Analítica: Proporcionar la primera expresión de forma cerrada, exacta e independiente del Hamiltoniano para la capacidad de información en sistemas fragmentados, distinguiéndolos de los sistemas MBL (aproximados) y genéricos (numéricos).
2. Separación de la Memoria: Separar claramente el suelo de memoria universal garantizado por la simetría de la memoria dinámica no universal.
3. Perspectiva Fundamental: Explicar desde los primeros principios por qué las integrales de movimiento completas en estos sistemas deben ser estadísticamente localizadas, ya que las reglas estrictamente locales no pueden capturar los ordenamientos congelados necesarios para el etiquetado completo de los sectores.
4. Medibilidad: Afirmar que esta capacidad es directamente medible en plataformas con resolución de sitio (por ejemplo, cadenas de Fermi-Hubbard inclinadas, procesadores superconductores) mediante la información mutua entre las etiquetas de sector preparadas y las estadísticas de instantáneas (snapshots).