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

Este artigo prova que o crescimento de operadores na cadeia de Ising desordenada com acoplamentos e campos estritamente positivos exibe escala quase fatorial tanto no tempo quanto no suporte espacial, eliminando rigorosamente a localização dinâmica em qualquer intensidade de desordem e revelando um obstáculo de entropia de caminho estrutural à localização de muitos corpos perturbativa.

O essencial

Imagine que você tem uma longa fila de pessoas (uma cadeia de spins) de mãos dadas. Algumas estão segurando as mãos com força (conexões fortes), e outras estão segurando as mãos frouxamente ou nem sequer estão segurando (desordem). Na física, frequentemente perguntamos: se você empurrar a pessoa no exato início da fila, esse "empurrão" ficará localizado perto dela, ou ele se espalhará para sacudir todos os outros?

No mundo da física quântica, esta questão é sobre a Localização de Muitos Corpos (MBL - Many-Body Localization). Por muito tempo, os físicos esperavam que, se a desordem (a "folga" nas conexões) fosse forte o suficiente, o empurrão ficasse preso, e o sistema nunca esquecesse seu estado inicial. Isso seria como um engarrafamento que nunca se dissipa.

No entanto, este artigo argumenta que, para certos tipos de sistemas quânticos, esse engarrafamento é uma ilusão. Aqui está a decomposição de suas descobertas usando analogias simples:

1. A "Explosão" de Possibilidades

Os autores estudam o que acontece quando você "cutuca" o sistema repetidamente (matematicamente, tomando comutadores). Eles descobriram que o "empurrão" não apenas se espalha; ele explode em complexidade.

Imagine que você está tentando caminhar da sua casa até a casa de um amigo.

• A Visão Antiga (Localização): Você faz um caminho, talvez alguns desvios, mas permanece em uma rua específica.
• A Nova Visão (Este Artigo): Cada vez que você dá um passo, o número de caminhos possíveis que você poderia ter tomado multiplica-se descontroladamente. Não são apenas alguns desvios; é como se cada passo que você desse se dividisse em uma árvore de possibilidades ramificadas que cresce quase fatorialmente (um número que cresce mais rápido do que você consegue contar, como $100!$).

O artigo prova que, nesses sistemas desordenados, o "peso" do empurrão não está apenas se espalhando; ele está sendo distribuído através de um número massivo, quase infinito, de caminhos diferentes simultaneamente.

2. O Obstáculo da "Entropia de Caminho"

Os autores introduzem um conceito chamado Entropia de Caminho. Pense nisso como o puro "ruído" ou "confusão" causado por ter muitas opções.

• A Analogia: Imagine tentar ouvir um sussurro em uma sala. Se a sala estiver silenciosa (baixa entropia), você consegue ouvir. Mas se a sala estiver cheia de milhões de pessoas gritando coisas aleatórias diferentes (alta entropidade de caminho), o sussurro será abafado.
• O Resultado: Nesses sistemas quânticos, o "ruído" dos bilhões de caminhos possíveis é tão alto que sobrepuja qualquer tentativa de manter a informação localizada. O artigo argumenta que, para o sistema permanecer localizado, todos esses bilhões de caminhos aleatórios teriam que se cancelar magicamente de forma perfeita (como um coro cantando tão perfeitamente que o som desaparece). Os autores dizem que isso é estatisticamente impossível sem alguma regra especial e oculta que ainda não encontramos.

3. A Ilusão do "Tamanho Finito"

Uma das descobertas mais práticas é sobre por que as simulações de computador têm sido confusas.

• A Analogia: Imagine que você está estudando a velocidade com que um incêndio florestal se espalha. Se você observar apenas um pequeno pedaço de grama (uma pequena simulação de computador), o fogo pode parecer morrer rapidamente porque fica sem grama para queimar. Parece que o fogo está "localizado".
• A Realidade: Mas se você olhar para a floresta inteira, o fogo se espalha por toda parte.
• A Alegação do Artigo: Os autores provam que as simulações de computador atuais estão olhando para "pequenos pedaços". Eles derivaram uma escala específica: $L \sim (W/J)^2$. Enquanto o tamanho do sistema ($L$) for menor que essa escala, o sistema parece estar localizado. Mas assim que o sistema se torna grande o suficiente (maior que essa escala), o "fogo" (o crescimento do operador) inevitavelmente se espalha. A "localização" vista em pequenas simulações é apenas um regime pré-assintótico — uma ilusão temporária antes que o comportamento de propagação real assuma o controle.

4. A Falha da Ferramenta de "Conserto"

Os físicos possuem uma ferramenta matemática (chamada transformação de Schrieffer-Wolff) usada para "consertar" um sistema bagunçado e transformá-lo em um sistema limpo e localizado. Eles esperavam que essa ferramenta funcionasse para essas cadeias desordenadas.

• A Analogia: Imagine tentar organizar um quarto bagunçado movendo os itens um por um.
• O Problema: Os autores mostam que, à medida que você tenta organizar o quarto, a "bagunça" (o número de maneiras de organizar as coisas) cresce tão rápido que sua ferramenta de organização falha. A "entropia de caminho" (o puro número de maneiras de a bagunça acontecer) sobrepuja a capacidade da ferramenta de manter as coisas arrumadas.
• A Conclusão: Você não consegue construir matematicamente uma versão "localizada" deste sistema usando métodos padrão porque a complexidade dos caminhos é alta demais.

A Conclusão Final

O artigo conclui que a localização verdadeira e permanente (onde o sistema nunca esquece seu início) é provavelmente impossível nessas cadeias quânticas específicas, não importa o quão forte seja a desordem.

• Curto prazo/Sistemas pequenos: Parece que o sistema está travado (localizado).
• Longo prazo/Sistemas grandes: A "entropia de caminho" vence. O sistema eventualmente se espalha, esquece seu estado inicial e torna-se "ergódico" (totalmente misturado).

Os autores sugerem que, se a localização existir, ela exigiria um mecanismo milagroso e oculto onde bilhões de caminhos aleatórios se cancelariam perfeitamente — um cenário que eles consideram altamente improvável. Portanto, no mundo real e infinito, esses sistemas são provavelmente sempre caóticos e de propagação, não estagnados.

Resumo técnico

Resumo Técnico: Crescimento de Operadores Resolvido por Comprimento e Obstruções de Entropia de Caminho à Localização de Muitos Corpos

Enunciado do Problema
A existência e a estabilidade da Localização de Muitos Corpos (MBL) no limite termodinâmico permanece um tema de intenso debate. Embora existam provas rigorosas para a localização de Anderson em sistemas não interagentes, a estabilidade da MBL em sistemas interagentes desordenados é contestada. Um desafio primário é distinguir uma verdadeira transição de fase de crossovers de tamanho finito em estudos numéricos, que são limitados por pequenos tamanhos de sistema. Além disso, há uma tensão estrutural entre a hipótese de que sistemas ergódicos exibem crescimento de operador maximal (quase fatorial) e a possibilidade de que sistemas desordenados interagentes possam permanecer localizados. O artigo aborda se o crescimento maximal de operadores é compatível com as formas mais fortes de localização (localidade dinâmica) e a existência de Integrais de Movimento Locais (LIOMs) construídas via esquemas perturbativos.

Metodologia
Os autores focam na cadeia de Ising unidimensional com campos transversos e longitudinais, onde os acoplamentos e campos são extraídos de distribuições estritamente positivas. O estudo emprega uma abordagem rigorosa de teoria de operadores em vez de diagonalização numérica.

1. Formalismo de Operadores: Os autores utilizam a base de strings de Pauli para resolver normas de operadores por comprimento de suporte $\ell$. Eles analisam o comutador iterado $k$-vez do Hamiltoniano $H$ com um operador local $A$ (especificamente $\sigma^z_0$), denotado por $L_H^k(A) = [H, A]^{(k)}$.
2. Transformação de Gauge: Para estabelecer limites inferiores rigorosos, os autores introduzem uma transformação de gauge específica (mudando a base dos operadores de Pauli) que garante que todos os elementos de matriz do superoperador de Liouville sejam estritamente positivos. Isso elimina a possibilidade de interferência destrutiva entre diferentes caminhos de comutador, permitindo um limite inferior estrito sobre o crescimento do operador.
3. Análise de Entropia de Caminho: O núcleo da análise envolve a contagem do número de "caminhos de espalhamento" (scrambling paths) na expansão do comutador. Os autores distinguem entre o decaimento exponencial das amplitudes individuais (devido à desordem) e a explosão combinatória do número de caminhos (entropia de caminho).
4. Construção Perturbativa: O artigo investiga a convergência de transformações de Schrieffer-Wolff iterativas usadas para construir LIOMs. Ele analisa o gerador $T$ da transformação unitária que mapeia o Hamiltoniano microscópico para um Hamiltoniano de LIOM, focando no crescimento do comprimento de suporte de $T^{(n)}$ na ordem $n$.

Principais Contribuições e Resultados

1. Crescimento Quase Fatorial Resolvido por Comprimento:
   Os autores generalizam resultados anteriores (Cao [1]) ao resolver a norma do operador por comprimento de suporte. Eles provam que, para a cadeia de Ising desordenada com acoplamentos positivos, o peso do operador em uma escala de comprimento específica $\ell_k \sim k / \ln k$ cresce quase fatorialmente:
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   Isso implica que o peso do operador não é confinado a curtos alcances, mas se espalha espacialmente, com o peso dominante localizado em comprimentos que divergem com a ordem do comutador $k$.

2. Exclusão Rigorosa da Localidade Dinâmica:
   Com base no limite inferior resolvido por comprimento, o artigo prova que a "localidade dinâmica" — a condição de que operadores locais permaneçam exponencialmente localizados sob evolução temporal — é rigorosamente descartada para este modelo. A contribuição entrópica proveniente do ramificamento dos caminhos de comutador sobrecarrega o fator de localização exponencial esperado em fases localizadas.

3. Escala de Crossover de Tamanho Finito:
   A competição entre o termo de entropia de caminho (que impulsiona a delocalização) e o termo de localização exponencial (impulsionado pela desordem $W$ e acoplamento $J$) estabelece uma escala de crossover de tamanho finito rigorosa:
   $$L \sim \left(\frac{W}{J}\right)^2$$
   Para tamanhos de sistema $L \lesssim (W/J)^2$, o sistema reside em um regime "pré-assintótico" onde a entropia de caminho ainda não sobrecarregou a localização. Neste regime, estudos numéricos podem observar uma localização aparente, mas este é um efeito transitório que desaparece no limite termodinâmico ($L \to \infty$).

4. Obstrução de Entropia de Caminho à Construção de LIOMs:
   O artigo identifica uma obstrução estrutural à construção perturbativa de LIOMs. Mesmo se assumirmos a ausência de ressonâncias de muitos corpos ou avalanches, o esquema iterativo de Schrieffer-Wolff gera um número de caminhos de espalhamento que cresce com o comprimento de suporte. Os autores argumentam que, sem um mecanismo específico e não identificado de interferência destrutiva entre esses quase fatorialmente muitos caminhos com amplitudes aleatórias, o gerador $T$ da transformação unitária que mapeia o modelo microscópico para tal Hamiltoniano de LIOM inevitavelmente se tornará não-local. Isso sugere que a construção perturbativa de LIOMs falha no limite termodinâmico devido à "entropia de caminho".

5. Consistência com LIOMs Abstratos:
   Os autores esclarecem que, embora o crescimento maximal de operadores descarte a localidade dinâmica, isso não exclui estritamente a existência de Hamiltonianos de LIOM abstratos. Eles demonstram que Hamiltonianos de LIOM abstratos podem suportar operadores com crescimento ainda mais rápido do que o fatorial. No entanto, a obstrução reside na construção do mapeamento unitário quase-local que liga o modelo microscópico a tal Hamiltoniano abstrato.

Significância e Alegações
O artigo afirma resolver a tensão entre o crescimento maximal de operadores e a localização ao demonstrar que o crescimento maximal é uma característica genérica de cadeias de spin desordenadas interagentes que impede a forma mais forte de localização (localidade dinâmica).

• Sobre Estudos Numéricos: O trabalho fornece uma explicação rigorosa para a razão pela qual estudos numéricos em sistemas pequenos frequentemente sugerem fases MBL estáveis sob forte desordem. Ele postula que essas observações são artefatos do regime pré-assintótico definido pela escala de crossover $L \sim (W/J)^2$. Consequentemente, simulações numéricas de sistemas pequenos são inadequadas para determinar a estabilidade da MBL no limite termodinâmico.
• Sobre a Estabilidade da MBL: Os autores concluem que a "obstrução de entropia de caminho" é um mecanismo fundamental que provavelmente torna a MBL instável no limite termodinâmico para cadeias de spin desordenadas genéricas. Eles argumentam que, para a MBL sobreviver, seria necessário um mecanismo altamente ajustado (fine-tuned) para o cancelamento sistemático de quase fatorialmente muitos caminhos dependentes da desordem, o que é considerado não-genérico.
• Sobre a Dinâmica em Tempo Real: Os resultados sugerem que o espalhamento de operadores em tempo real nesses sistemas é balístico (saturando o cone de Lieb-Robinson) até correções logarítmicas, em vez de sub-balístico ou localizado, uma vez que o cancelamento sistemático necessário para o espalhamento sub-balístico é estatisticamente improvável.

Em resumo, o artigo argumenta que a "entropia de caminho" decorrente do ramificação combinatória do conteúdo de operador é uma barreira estrutural à localização que opera independentemente de efeitos de ressonância, desafiando a existência de uma fase MBL estável no limite termodinâmico.