Timescale for macroscopic equilibration in isolated quantum systems: a rigorous derivation for free fermions

O artigo demonstra rigorosamente que sistemas de férmions livres e invariantes por translação em uma rede hipercúbica $d$-dimensional atingem o equilíbrio macroscópico em um tempo da ordem de $L$, escala que é provada ser ótima.

O essencial

Imagine que você tem uma sala cheia de pessoas (os elétrons, ou "férmions") que estão dançando em um ritmo muito específico. No mundo da física quântica, essas pessoas não podem se tocar (uma regra chamada "princípio de exclusão"), e elas se movem em uma grade invisível, como se estivessem em um tabuleiro de xadrez gigante.

O grande mistério que os cientistas Takashi Hara e Tatsuhiko Koike resolveram neste artigo é: quanto tempo leva para essa sala bagunçada se tornar uma sala calma e equilibrada?

Aqui está a explicação do que eles descobriram, usando analogias do dia a dia:

1. O Problema: A Sala Bagunçada vs. A Sala Calma

Imagine que você joga todas as pessoas da sala para um único canto. Elas estão em um estado de "não equilíbrio" (caos total). Com o tempo, elas começam a se espalhar.

• O objetivo: Chegar ao "equilíbrio", onde a densidade de pessoas é a mesma em todos os cantos da sala (se você olhar para qualquer pedaço da sala, verá aproximadamente o mesmo número de pessoas).
• A pergunta difícil: Quanto tempo isso leva? Em sistemas quânticos isolados (sem ninguém mexendo nelas de fora), será que elas nunca param de dançar? Ou elas param? E se param, quanto tempo demora?

2. A Descoberta: O Tempo é "Tamanho da Sala"

Os autores provaram matematicamente que, para esse tipo de sistema, o tempo necessário para a sala ficar "calma" (equilibrada) é diretamente proporcional ao tamanho da sala.

• A Analogia do Telefone: Imagine que você precisa avisar o último canto da sala que a festa acabou. Se a sala tem 10 metros, o aviso leva um certo tempo. Se a sala tem 100 metros, leva 10 vezes mais tempo.
• O Resultado: Eles provaram que o tempo de equilíbrio é O(L). Ou seja, se você dobrar o tamanho do seu sistema (o tabuleiro de xadrez), o tempo para tudo se estabilizar também dobra. Não é um tempo exponencialmente longo (que levaria bilhões de anos), nem instantâneo. É um tempo "razoável" e previsível.

3. Como Eles Provaram Isso? (O Detetive Quântico)

Para provar isso, eles não olharam para cada partícula individualmente (o que seria impossível). Em vez disso, eles usaram uma técnica inteligente:

• A "Caixa de Observação": Eles dividiram a sala gigante em várias caixas menores (macroscópicas). Eles não se importavam se uma pessoa estava exatamente no ponto X, mas sim se havia muitas pessoas em uma caixa específica.
• O "Termômetro de Tempo": Eles criaram uma fórmula matemática que funciona como um termômetro. Se a sala ainda estiver muito bagunçada em uma caixa, o termômetro dispara.
• A Magia da Média: Eles mostraram que, se você esperar um tempo igual ao tamanho da sala (multiplicado por um fator pequeno), a chance de encontrar a sala em um estado "desequilibrado" (com muitas pessoas num canto e poucas em outro) cai quase a zero.

4. Por que isso é importante?

Antes desse trabalho, sabíamos que sistemas quânticos podem chegar ao equilíbrio, mas ninguém sabia dizer quando isso aconteceria de forma rigorosa para sistemas reais e simples.

• A "Prova de Fogo": Eles provaram que o tempo O(L) é o melhor possível (ótimo). Existe pelo menos um cenário inicial onde você precisa desse tempo inteiro para o equilíbrio acontecer. Você não pode fazer mais rápido.
• A Realidade: Isso confirma que, mesmo no estranho mundo quântico, as coisas se comportam de maneira lógica e previsível quando olhamos para o "grande quadro" (macroscopicamente), assim como esperamos que a água em um copo se estabilize.

Resumo em uma frase:

Os cientistas provaram que, em um sistema quântico simples e isolado, o tempo necessário para que a "bagunça" se transforme em "ordem" é exatamente proporcional ao tamanho do sistema, como se a informação precisasse de um tempo de viagem para cruzar a sala inteira.

É como se a natureza dissesse: "Se você tem uma sala grande, dê tempo para as pessoas caminharem até o outro lado antes de dizer que a festa acabou."

Resumo técnico

1. Problema Investigado

O artigo aborda uma questão fundamental na mecânica estatística quântica: qual é a escala de tempo necessária para que um sistema quântico isolado atinja o equilíbrio macroscópico?

Embora resultados anteriores (como os de von Neumann, Tasaki e outros) tenham demonstrado que estados puros evoluem para estados de equilíbrio sob dinâmica quântica, a maioria dessas provas estabelece apenas que o equilíbrio ocorre em um tempo "suficientemente longo", sem fornecer estimativas rigorosas e ótimas para o tempo de relaxação em sistemas físicos realistas. A questão central é determinar se o tempo de equilíbrio escala com o tamanho do sistema ($L$) e qual é a dependência exata, especialmente para sistemas com conservação de quantidade (como o número total de partículas).

2. Metodologia e Configuração do Sistema

Os autores analisam um sistema de férmions livres sem spin em uma rede hipercúbica $d$-dimensional de tamanho $L \times \dots \times L$ (volume $V = L^d$), com condições de contorno periódicas.

• Hamiltoniano: O sistema possui um salto uniforme entre vizinhos mais próximos (modelo de tight-binding).
• Observáveis Macroscópicos: O foco não é em observáveis microscópicos, mas na densidade de partículas em caixas macroscópicas. O sistema é dividido em $n^d$ caixas de volume $l^d$ (onde $l \sim L/n$ e $n$ é uma constante $O(1)$, mas $L$ e $l$ são macroscopicamente grandes). O observável é a densidade $\hat{\rho}_c$ em cada caixa $c$.
• Definição de Equilíbrio: O espaço de Hilbert é decomposto em um subespaço de equilíbrio ($H_{eq}$) e um subespaço de não-equilíbrio ($H_{neq}$). Um estado está em equilíbrio se a densidade em todas as caixas estiver próxima da densidade média $\bar{\rho} = N/V$ (dentro de uma pequena tolerância $\epsilon$).
• Métrica de Tempo de Não-Equilíbrio: Os autores definem o conjunto de tempos onde a projeção do estado no subespaço de não-equilíbrio excede um limiar $\delta$. O objetivo é provar que a fração do tempo total em que o sistema permanece fora do equilíbrio tende a zero no limite termodinâmico ($L \to \infty$).

3. Contribuições Chave e Estrutura da Prova

A prova é construída sobre uma estimativa rigorosa da média temporal da variância da densidade. A estrutura lógica é a seguinte:

1. Teorema Principal (Teorema 1): Estabelece que, para qualquer estado inicial puro, a fração de tempo em que o sistema está fora do equilíbrio tende a zero se o tempo de observação $\tau$ for da ordem de $L \times g(L)$, onde $g(L)$ é uma função que diverge (por exemplo, $\log L$).
2. Redução a Problema de Partícula Única: Devido à simetria de translação e à natureza dos férmions livres, a evolução temporal do operador de densidade $\hat{\rho}(t)$ é reduzida ao estudo de um problema de partícula única no espaço de momento. O operador de densidade é expandido em termos de operadores de criação e aniquilação no espaço de momento, onde a evolução temporal introduz fases dependentes das diferenças de energia.
3. Média Temporal Específica: Os autores utilizam uma média temporal ponderada por uma função $f_\tau(t) \propto (\frac{\sin(t/\tau)}{t/\tau})^2$. Esta escolha específica é crucial porque sua transformada de Fourier é uma função indicadora (retangular) no espaço de energia. Isso permite transformar a média temporal de oscilações $e^{-it(E'-E'')}$ em uma integral sobre energias que contam o número de estados com diferenças de energia dentro de uma janela $1/\tau$.
4. Controle da Densidade de Estados (DOS): O cerne da prova técnica reside em limitar o número de estados $|\Omega_m(E)|$ cujas diferenças de energia $\tilde{E}_{\beta, m}$ caem dentro de uma janela estreita de energia.
   • Para $d=1$, os autores derivam um limite superior rigoroso para $|\Omega_m(E)|$ (Lema 5), explorando a estrutura trigonométrica do espectro de energia do modelo de férmions livres.
   • Para $d \ge 2$, o problema é reduzido ao caso unidimensional, mostrando que a densidade de estados efetiva escala favoravelmente.
5. Desigualdade de Markov: Combinando o limite da média temporal da variância da densidade com a desigualdade de Markov (Lema 4), eles provam que a fração de tempo em que o sistema se desvia significativamente do equilíbrio é pequena.

4. Resultados Principais

• Escala de Tempo Ótima: O tempo de equilíbrio macroscópico é rigorosamente estabelecido como sendo da ordem de $O(L)$ (onde $L$ é o tamanho linear do sistema).
• Convergência no Limite Termodinâmico: Para qualquer tempo $\tau > L \cdot g(L)$ (com $g(L) \to \infty$), a fração de tempo de não-equilíbrio tende a zero quando $L \to \infty$, independentemente do estado inicial puro escolhido.
• Ótimo: A escala $O(L)$ é ótima. Os autores citam que, devido ao limite de Lieb-Robinson, existem estados iniciais (por exemplo, partículas concentradas em uma região) que necessitam de tempo proporcional a $L$ para que a informação se propague e o sistema se equilibre.
• Robustez: O resultado não assume aleatoriedade no Hamiltoniano (diferente de muitos modelos de "typicality") e permite degenerescência no espectro de energia.

5. Significado e Impacto

• Primeira Derivação Rigorosa Realista: Este é, segundo os autores, o primeiro trabalho a estabelecer rigorosamente uma escala de tempo realista de equilíbrio para sistemas quânticos isolados e fisicamente naturais (sem aleatoriedade artificial).
• Validação de Intuições Físicas: O resultado confirma a intuição de que em sistemas macroscópicos com uma quantidade conservada (como o número de partículas), o equilíbrio é governado pela difusão ou propagação de informações, que ocorre na velocidade de Lieb-Robinson, resultando em um tempo de escala $L$.
• Distinção entre Espaço e Momento: O artigo destaca que, embora o sistema equilibre no espaço (densidade espacial), ele não equilibra no momento (se iniciado em um autoestado de momento, permanece assim). Isso enfatiza a importância de definir o equilíbrio em relação a observáveis macroscópicos espaciais, e não a todos os graus de liberdade.
• Metodologia para Outros Sistemas: A técnica de usar a transformada de Fourier da função de média temporal para isolar contribuições de estados próximos em energia é um método poderoso que pode ser aplicado a outros sistemas de partículas livres ou interações fracas, desde que a densidade de estados satisfaça certas regularidades.

Em resumo, o trabalho de Hara e Koike fornece a base matemática rigorosa para entender quando e como a termodinâmica emerge da dinâmica quântica unitária em sistemas de muitos corpos, estabelecendo que o tempo de equilíbrio macroscópico escala linearmente com o tamanho do sistema.