Dissipation-Enabled Operator-Norm Locality Bounds for Bose-Hubbard Hamiltonians

Resumen Técnico: Límites de Localidad de Norma de Operador Habilitados por Disipación para Hamiltonianos de Bose-Hubbard

Planteamiento del Problema
El principio de localidad, formalizado por los límites de Lieb–Robinson, es una piedra angular de la física de muchos cuerpos cuánticos, el cual afirma que la propagación de la información en sistemas de red está confinada a un cono de luz lineal. Si bien esto se cumple para sistemas de espín cuántico con espacios de Hilbert locales de dimensión finita, falla para los sistemas bosónicos de red cerrados (como el modelo de Bose-Hubbard). En estos sistemas, el espacio de Hilbert local es de dimensión infinita y el generador involucra operadores no acotados (operadores de creación, aniquilación y número). Consecuentemente, la velocidad de propagación de la información no está acotada uniformemente por la norma de operador de las interacciones locales; en su lugar, puede crecer con la ocupación local de bosones, la cual puede ser macroscópicamente grande.

La literatura existente ha establecido límites de Lieb–Robinson dependientes del estado para estados iniciales "bien comportados" (por ejemplo, regiones de densidad acotada o libres de partículas). Sin embargo, incluso para tales estados, la propagación bosónica puede ser super-balística (por ejemplo, acelerando exponencialmente o propagándose a distancias que escalan como $t^D$). No existe un límite de norma de operador general que se cumpla uniformemente sobre todos los estados iniciales para la dinámica de Bose-Hubbard cerrada.

Metodología
Los autores investigan cómo la disipación en el sitio puede restaurar la localidad de la norma de operador. Consideran el modelo de Bose-Hubbard disipativo gobernado por una ecuación maestra de Lindblad con pérdida de $\ell$-fotones en el sitio ($\ell > 2$). La metodología central se basa en tres ingredientes interconectados:

1. Regularización de Sobolev vía Disipación: Los autores utilizan el hecho de que la pérdida de fotones local actúa como un regulador dinámico. Emplean espacios de Sobolev cuánticos (ponderados por los momentos de partículas locales) para mostrar que la dinámica disipativa regulariza instantáneamente el estado. Específicamente, la dinámica del predual mapea los operadores de clase traza en espacios de Sobolev ponderados, proporcionando cotas uniformes sobre los momentos de partículas locales, incluso para estados iniciales con ocupación arbitrariamente alta.
2. Truncamiento de Número de Partículas Adaptativo: Para manejar los términos de salto (hopping) no acotados, los autores introducen un corte de número de partículas dependiente del tiempo $M(t)$. Reemplazan los operadores de salto no acotados por versiones truncadas $H^{(M)}_e$ que actúan solo dentro de un subespacio finito. El corte $M(t)$ se elige de forma adaptativa basándose en las cotas de momentos derivadas de la disipación, asegurando que el error de truncamiento permanezca controlado.
3. Límites de Lieb–Robinson de Interacción Acotada: Una vez que los términos de salto han sido truncados, el sistema posee efectivamente interacciones acotadas (aunque persistan términos de on-site no acotados). Los autores aplican los límites de Lieb–Robinson existentes para sistemas con interacciones acotadas, observando que la velocidad está controlada por la fuerza de la interacción acotada y es insensible a los términos de on-site no acotados (los cuales son manejados por semigrupos contractivos que preservan el soporte).

La estrategia de prueba implica una expansión de Duhamel comparando la evolución completa con la evolución truncada en una región de buffer finita. El error se divide en:

• Error de Truncamiento: Controlado por la regularización de Sobolev (cotas de momentos) suministrada por la disipación.
• Error de Propagación de Frontera: Controlado por el límite de Lieb–Robinson estándar para la dinámica truncada (acotada).

Contribuciones Clave y Resultados

1. Límite de Lieb–Robinson de Norma de Operador Uniforme (Teorema 3.1):
   Para el modelo de Bose-Hubbard disipativo con $\ell > 2$, los autores establecen un límite de Lieb–Robinson que se cumple uniformemente en el estado inicial y el volumen finito. El límite presenta un corte de ocupación dependiente del tiempo que sigue la regularización de momentos.

   • En una red $D$-dimensional ($\mathbb{Z}^D$), el error decae super-polinomialmente en el radio del buffer $r$ para un tiempo $t$ fijo: $\sim \exp(-c [\log(2+r)]^2)$.
   • El límite es válido para todo $p > 2$ (donde $p$ se relaciona con el orden del momento), permitiendo tasas de decaimiento polinomial arbitrarias.

2. Aproximación de Corte Fijo (Teorema 3.2):
   Los autores proporcionan un límite complementario para un corte de ocupación fijo $M$. Esto separa el error de truncamiento de salto (que escala como $M^{-(p-2)/2}$) del error de propagación a través de la frontera. Este resultado permite el control explícito del error eligiendo un $M$ suficientemente grande relativo a la distancia y al tiempo.

3. Extensión a la Disipación de Cat-Code (Proposición 3.5):
   El marco se extiende a interacciones polinomiales (hasta grado cúartico) con pérdida de cuatro fotones desplazada, relevante para los códigos de gato bosónicos (cat codes). Se establece un límite de Lieb–Robinson uniforme similar, mostrando un decaimiento super-polinomial para estados iniciales en el espacio del código.

4. Consecuencias para la Información Cuántica:

   • Límite Termodinámico (Corolario 5.2): Los límites uniformes implican la existencia de un límite termodinámico único (álgebra casi-local) para la dinámica disipativa, convergiendo uniformemente en intervalos de tiempo finitos.
   • Aproximación Adiabática Local (Teorema 5.3): Para estados iniciales en el espacio del código de gato, los autores demuestran una aproximación adiabática local uniforme en el volumen total, con un error que escala como $O(\gamma^{-1+\eta})$.
   • Simulación Híbrida (Teorema 5.5): Para $\ell > 3$, los autores proponen un esquema de simulación híbrido bosón-qubit. La pérdida de multifotones física regulariza la entrada, seguida de una prueba de ocupación y codificación en qubits. Esto produce un límite de error de norma de diamante que es uniforme sobre todos los estados de entrada, permitiendo una simulación cuántica digital eficiente sin supuestos sobre la estructura de momentos del estado inicial.

Significancia y Reivindicaciones
El artículo sostiene que la disipación local altera fundamentalmente la estructura de localidad de los sistemas de redes bosónicas. Al "regularizar" el estado en una escala de tipo Sobolev de momentos de partículas locales, la disipación suprime las ocupaciones macroscópicas que típicamente rompen los límites de Lieb–Robinson.

• Uniformidad: La principal significancia es que estos límites de localidad son uniformes en el estado de entrada. A diferencia de los sistemas de Bose-Hubbard cerrados donde los límites dependen de propiedades específicas del estado inicial (por ejemplo, densidad acotada), el modelo disipativo admite límites de norma de operador similares a los de los sistemas de espín cuántico.
• Propagación Casi-Balística: Los resultados establecen una propagación "casi-balística", donde el radio del cono de luz efectivo crece como $t^{1+\eta}$ para cualquier $\eta > 0$. Aunque no se ha probado un cono de luz estrictamente lineal (lineal en $t$) debido a que las constantes crecen con el orden del momento, el decaimiento super-polinomial es una mejora significativa respecto al comportamiento super-balístico de los sistemas cerrados.
• Implicaciones Prácticas: El trabajo proporciona una base rigurosa para el límite termodinámico de los sistemas bosónicos abiertos y permite protocolos de simulación eficientes que no requieren conocimiento previo de la estructura de momentos del estado inicial.

Los autores señalan que extender estos resultados a la pérdida de dos fotones ($\ell=2$) sigue siendo un desafío abierto debido a una singularidad no integrable en el corte adaptativo cerca de $t=0$, y que establecer un cono de luz estrictamente lineal es una dirección abierta para trabajos futuros.