How thermal is a filtered state?

Resumo Técnico: "Como o estado térmico é um estado filtrado?"

Definição do Problema
A simulação quântica oferece um caminho para investigar as propriedades de equilíbrio térmico de sistemas de muitos corpos. No entanto, preparar estados térmicos diretamente em dispositivos quânticos é desafiador. Uma alternativa promissora envolve o uso de filtros de energia para aproximar conjuntos térmicos a partir de estados puros simples e facilmente preparáveis (ex: estados produto). Embora esteja estabelecido que um filtro exponencialmente estreito (que resolve estados próprios individuais) produz comportamento térmico sob a Hipótese de Termalização de Estados Próprios (ETH), os requisitos precisos da largura do filtro $\delta$ para garantir o comportamento térmico permanecem uma questão em aberto. Trabalhos anteriores exploraram isso via escala de entropia de emaranhamento e universalidade canônica, produzindo resultados conflitantes ou incompletos em relação à escala necessária de $\delta$ com o tamanho do sistema $N$ e a ordem da entropia de Rényi $\alpha$. Este trabalho visa determinar rigorosamente o quão estreito o filtro deve ser para garantir que um estado filtrado se comporte termicamente.

Metodologia
Os autores analisam o problema mudando da evolução de tempo contínuo para um regime de Floquet de tempo discreto. Eles utilizam um filtro de cosseno (especificamente uma versão truncada) aplicado a um Hamiltoniano local ou operador de Floquet.

1. Mapeamento de Floquet: O filtro é definido como uma combinação linear de operadores de evolução temporal em passos discretos. Os autores distinguem entre o "regime Hamiltoniano" (onde o passo de tempo $T$ escala com o tamanho do sistema para resolver a energia) e o "regime totalmente de Floquet" (onde $T$ é constante e o espectro é dobrado).
2. Estrutura da Matriz de Densidade Reduzida (RDM): Um passo técnico central envolve analisar a RDM do estado filtrado. Os autores demonstram que, para estados produto genéricos, o eco de Loschmidt (sobreposição entre estados evoluídos no tempo) decai exponencialmente com o tamanho do sistema. Esse decaimento implica que os blocos fora da diagonal na RDM desaparecem, tornando a RDM efetivamente uma soma direta ponderada de RDMs de passos individuais de evolução temporal.
3. Cálculo de Entropia: Aproveitando essa estrutura de blocos diagonais, os autores calculam as entropias de emaranhamento de Rényi-$\alpha$ somando as contribuições dos blocos diagonais e a distribuição dos coeficientes do filtro.
4. Convergência Térmica: Para quantificar a "termalidade", os autores calculam a distância de traço (ou diferença nos valores esperados de observáveis locais) entre o estado filtrado e o conjunto térmico (diagonal). Eles empregam a Floquet ETH, que postula que os elementos de matriz de observáveis no basis próprio seguem estatísticas de teoria de matrizes aleatórias, para limitar as contribuições dos termos fora da diagonal.
5. Extensão ao Regime Hamiltoniano: Finalmente, os autores mapeiam estados filtrados por Hamiltoniano para estados filtrados por Floquet efetivos, agrupando termos de evolução temporal, permitos que os resultados de Floquet sejam aplicados ao cenário padrão de Hamiltoniano.

Resultados Principais

1. Escalonamento da Entropia de Rényi: Os autores reproduzem e explicam distintos comportamentos de escala para a entropia de emaranhamento $S_\alpha$ de estados filtrados dependendo de $\alpha$:
   • $\alpha > 1$: A entropia escala logaritmicamente com o inverso da largura do filtro ($\log(1/\delta)$). Isso contrasta com a lei de volume esperada para estados totalmente térmicos, sugerindo que, para $\delta$ polinomialmente pequeno, estados filtrados não são totalmente térmicos em termos de emaranhamento de ordem alta.
   • $\alpha = 1$ (Von Neumann): A entropia escala linearmente com $1/\delta$ (mais uma correção logarítmica), semelhante à entropia de um estado evoluído por um tempo $t \sim 1/\delta$.
   • $\alpha < 1$: O escalonamento depende do tipo de filtro. Para um filtro truncado, escala linearmente com $1/\delta$. Para um filtro não truncado (cosseno exato), escala quadraticamente com $1/\delta$ (ou $1/\delta^2$).
2. Convergência para Estados Térmicos: Sob a suposição de Floquet ETH, os autores provam que a distância de traço entre um estado filtrado por Floquet e o estado térmico é limitada superiormente por $O(\sqrt{\delta})$. Especificamente, a diferença nos valores esperados para qualquer observável local é limitada por $O(\sqrt{\delta})$.
3. Equivalência do Regime Hamiltoniano: O limite $O(\sqrt{\delta})$ estende-se aos estados filtrados por Hamiltoniano. Ao mapear um estado filtrado por Hamiltoniano para um estado de Floquet efetivo com um passo de tempo modificado, os autores mostram que a taxa de convergência permanece $O(\sqrt{\delta_H})$.
4. Verificação Numérica: As previsões teóricas são validadas usando simulações de Matrix Product State (MPS) para modelos de Ising não integráveis e diagonalização exata para sistemas pequenos, confirmando o escalonamento $O(\sqrt{\delta})$ para observáveis locais e os escalonamentos específicos de entropia.

Significância e Alegações
O artigo afirma fornecer uma caracterização quantitativa da convergência de estados filtrados para conjuntos térmicos.

• Resolução de Questões em Aberto: Esclarece a relação entre a largura do filtro e o comportamento térmico, mostrando que, embora os estados filtrados possam não exibir emaranhamento de lei de volume para todos os $\alpha$ (especificamente $\alpha > 1$) quando $\delta$ é polinomialmente pequeno, eles convergem para valores esperados térmicos para observáveis locais.
• Derivação da Universalidade Canônica: O trabalho demonstra que a propriedade de "universalidade canônica" (onde valores esperados em uma janela de energia estreita aproximam valores térmicos) não é uma hipótese independente, mas pode ser derivada diretamente da Floquet ETH. Os autores mostram que mesmo com elementos de matriz fora da diagonal correlacionados (além das suposições simples de independência), o erro escala como $\sqrt{\delta}$.
• Eficiência Algorítmica: Os autores observam que filtros de Floquet podem substituir filtros de Hamiltoniano na preparação de estados térmicos. Como o passo de tempo de Floquet pode ser maior ($O(\sqrt{N})$) do que o passo de tempo de Hamiltoniano necessário para resolver a energia, esta abordagem pode reduzir o número de medições necessárias em algoritmos quânticos.
• Simplicidade de Estados Iniciais: Diferente de outros métodos para preparar Estados Quânticos Puros Térmicos (TPQS) que requerem estados iniciais de Haar-aleatórios, esta abordagem funciona com estados produto simples, tornando-a mais viável tanto para implementações clássicas quanto quânticas.

Os autores mantêm-se modestos quanto às limitações, reconhecendo que, embora os observáveis locais converjam, a estrutura de emaranhamento (particularmente para $\alpha > 1$) não mimetiza totalmente um estado térmico, a menos que a largura do filtro seja exponencialmente pequena. Eles também observam que a extensão dos resultados de entropia de emaranhamento do regime de Floquet para o regime Hamiltoniano não é teoricamente garantida como idêntica devido ao emaranhamento introduzido no estado inicial efetivo do mapeamento, embora evidências numéricas apoiem a similaridade.