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

Resumo Técnico: Limites de Localidade de Norma de Operador Mediados por Dissipação para Hamiltonianos de Bose-Hubbard

Enunciado do Problema
O princípio da localidade, formalizado pelos limites de Lieb–Robinson, é um pilar da física de muitos corpos quânticos, afirmando que a propagação de informação em sistemas de rede é confinada a um cone de luz linear. Embora isso se aplique a sistemas de spins quânticos com espaços de Hilbert locais de dimensão finita, o princípio falha para sistemas de bósons em redes fechados (como o modelo de Bose-Hubbard). Nesses sistemas, o espaço de Hilbert local é de dimensão infinita e o gerador envolve operadores não limitados (criação, aniquilação e operadores de número). Consequentemente, a velocidade de propagação da informação não é uniformemente limitada pela norma do operador das interações locais; em vez disso, ela pode crescer com a ocupação local de bósons, que pode ser macroscopicamente grande.

A literatura existente estabeleceu limites de Lieb–Robinson dependentes do estado para estados iniciais "bem comportados" (por exemplo, densidade limitada ou regiões livres de partículas). No entanto, mesmo para esses estados, a propagação bosônica pode ser super-balística (por exemplo, acelerando exponencialmente ou propagando distâncias que escalam como $t^D$). Não existe um limite de norma de operador geral que seja válido uniformemente sobre todos os estados iniciais para a dinâmica de Bose-Hubbard fechada.

Metodologia
Os autores investigam como a dissipação no sítio pode restaurar a localidade da norma do operador. Eles consideram o modelo de Bose-Hubbard dissipativo governado por uma equação mestre de Lindblad com perda de $\ell$-fótons no sítio ($\ell > 2$). A metodologia central baseia-se em três ingredientes interconectados:

1. Regularização de Sobolev via Dissipação: Os autores utilizam o fato de que a perda de fótons local atua como um regulador dinâmico. Eles empregam espaços de Sobolev quânticos (ponderados por momentos de partículas locais) para mostrar que a dinâmica dissipativa regulariza instantaneamente o estado. Especificamente, a dinâmica do pré-dual mapeia operadores de classe traço em espaços de Sobolev ponderados, fornecendo limites uniformes nos momentos de partículas locais, mesmo para estados com ocupação arbitrariamente alta.
2. Truncamento Adaptativo do Número de Partículas: Para lidar com os termos de salto (hopping) não limitados, os autores introduzem um corte de número de partículas dependente do tempo $M(t)$. Eles substituem os operadores de salto não limitados por versões truncadas $H^{(M)}_e$ que atuam apenas dentro de um subespaço finito. O corte $M(t)$ é escolhido de forma adaptativa com base nos limites de momento derivados da dissipação, garantindo que o erro de truncamento permaneça controlado.
3. Limites de Lieb–Robinson de Interação Limitada: Uma vez que os termos de salto são truncados, o sistema passa a ter interações limitadas (embora os termos de on-site não limitados permaneçam). Os autores aplicam limites de Lieb–Robinson existentes para sistemas com interações limitadas, observando que a velocidade é controlada pela força da interação limitada e é insensível aos termos não limitados de on-site (que são tratados por semigrupos contrativos que preservam o suporte).

A estratégia de prova envolve uma expansão de Duhamel comparando a evolução completa com a evolução truncada em uma região de buffer finita. O erro é dividido em:

• Erro de Truncamento: Controlado pela regularização de Sobolev (limites de momento) fornecida pela dissipação.
• Erro de Propagação de Fronteira: Controlado pelo limite de Lieb–Robinson padrão para a dinâmica truncada (limitada).

Contribuições Principais e Resultados

1. Limite de Lieb–Robinson de Norma de Operador Uniforme (Teorema 3.1):
   Para o modelo de Bose-Hubbard dissipativo com $\ell > 2$, os autores estabelecem um limite de Lieb–Robinson que é uniforme no estado inicial e no volume finito. O limite apresenta um corte de ocupação dependente do tempo que segue a regularização de momento.

   • Em uma rede $D$-dimensional ($\mathbb{Z}^D$), o erro decai super-polinomialmente no raio do buffer $r$ para um tempo $t$ fixo: $\sim \exp(-c [\log(2+r)]^2)$.
   • O limite é válido para todos os $p > 2$ (onde $p$ relaciona-se com a ordem do momento), permitindo taxas de decaimento polinomial arbitrárias.

2. Aproximação de Corte Fixo (Teorema 3.2):
   Os autores fornecem um limite complementar para um corte de ocupação fixo $M$. Isso separa o erro de truncamento de salto (escalando como $M^{-(p-2)/2}$) do erro de propagação através da fronteira. Este resultado permite o controle explícito do erro ao escolher um $M$ suficientemente grande em relação à distância e ao tempo.

3. Extensão para Dissipação de Cat-Code (Proposição 3.5):
   O arcabouço é estendido para interações polinomiais (até grau quártico) com perda de quatro fótons deslocada, relevante para códigos de gato (cat codes) bosônicos. Um limite de Lieb–Robinson uniforme semelhante é estabelecido, mostrando decaimento super-polinomial para estados iniciais no espaço do código.

4. Consequências para Informação Quântica:

   • Limite Termodinâmico (Corolário 5.2): Os limites uniformes implicam a existência de um limite termodinâmico único (álgebra quase-local) para a dinâmica dissipativa, convergindo uniformemente em intervalos de tempo finitos.
   • Aproximação Adiabática Local (Teorema 5.3): Para estados iniciais no espaço do código de gato, os autores provam uma aproximação adiabática local uniforme no volume total, com um erro escalando como $O(\gamma^{-1+\eta})$.
   • Simulação Híbrida (Teorema 5.5): Para $\ell > 3$, os autores propõem um esquema de simulação híbrida bosônica-qubit. A perda de múltiplos fótons física regulariza a entrada, seguida por um teste de ocupação e codificação em qubits. Isso resulta em um limite de erro de norma de diamante que é uniforme sobre todos os estados de entrada, permitindo a simulação quântica digital eficiente sem suposições sobre a estrutura de momentos do estado inicial.

Significância e Alegações
O artigo afirma que a dissipação local altera fundamentalmente a estrutura de localidade dos sistemas de rede bosônica. Ao "regularizar" o estado em uma escala de momentos de partículas locais do tipo Sobolev, a dissipação suprime as ocupações macroscópicas que tipicamente quebram os limites de Lieb–Robinson.

• Uniformidade: A principal significância é que estes limites de localidade são uniformes no estado de entrada. Diferente dos sistemas de Bose-Hubbard fechados, onde os limites dependem de propriedades específicas do estado inicial (ex: densidade limitada), o modelo dissipativo admite limites de norma de operador semelhantes aos dos sistemas de spins quânticos.
• Propagação Quase-Balística: Os resultados estabelecem uma propagação "quase-balística", onde o raio do cone de luz efetivo cresce como $t^{1+\eta}$ para qualquer $\eta > 0$. Embora um cone de luz estritamente linear (em $t$) com velocidade finita não tenha sido provado (devido às constantes crescendo com a ordem do momento), o decaimento super-polinomial é uma melhoria significativa em relação ao comportamento super-balístico dos sistemas fechados.
• Implicações Práticas: O trabalho fornece uma base rigorosa para o limite termodinâmico de sistemas bosônicos abertos e permite protocolos de simulação eficientes que não requerem conhecimento prévio da estrutura de momentos do estado inicial.

Os autores observam que estender estes resultados para perda de dois fótons ($\ell=2$) permanece um desafio em aberto devido a uma singularidade não integrável no corte adaptativo próximo a $t=0$, e estabelecer um cone de luz estritamente linear é uma direção aberta para trabalhos futuros.