Provable random-matrix spectral ramp in a static, geometrically local Hamiltonian

Resumo Técnico: Rampa Espectral de Matriz Aleatória Provável em um Hamiltoniano Estático e Geometricamente Local

Enunciado do Problema
O caos quântico é amplamente caracterizado pela emergência de estatísticas da Teoria de Matrizes Aleatórias (RMT) nos espectros de energia, especificamente o crescimento linear do Fator de Forma Espectral (SFF), conhecido como a "rampa". Embora este fenômeno seja bem compreendido em limites semiclássicos, modelos de todos-para-todos (ex: SYK) e sistemas periodicamente dirigidos (Floquet), uma prova rigorosa de uma rampa de RMT em Hamiltonianos estáticos, geometricamente locais com espaços de Hilbert locais de dimensão finita permaneceu elusiva. Resultados marcantes anteriores por Bertini, Kos e Prosen (BKP) estabeleceram tais rampas apenas para cadeias de qudits dirigidas periodicamente descritas por circuitos "duais-unitários". Este trabalho aborda a lacuna entre a dinâmica de Floquet e Hamiltonianos estáticos, construindo um sistema de tempo independente e local que apresenta uma rampa espectral provável.

Metodologia
O autor emprega uma redução de circuito-para-Hamiltoniano baseada em uma variante recente da construção de relógio de Feynman-Kitaev (FK). A estratégia central envolve a imersão do espectro de quaseenergia de um circuito de Floquet dual-unitário no espectro de energia de um Hamiltoniano estático.

1. Construção do Sistema:

   • O sistema é modelado como uma escada de duas pernas de comprimento $n$ com condições de contorno periódicas.
   • Perna 1: Uma cadeia de qudits de estado $d$ (especificamente qubits, $d=2$).
   • Perna 2: Uma cadeia de tight-binding fermiônica contendo exatamente uma partícula (a "mão do relógio").
   • Hamiltoniano: O Hamiltoniano $H_{FK}$ é definido como:
     $$H_{FK} = -\frac{1}{2} \sum_{i=0}^{n-1} \left( u_i \otimes c^\dagger_{i+1}c_i + u^\dagger_i \otimes c^\dagger_i c_{i+1} \right)$$
     onde $u_i$ são portas unitárias atuando sobre os qubits $(i, i+1)$. O salto do férmion ativa a porta $u_i$, simulando efetivamente a evolução de um circuito quântico.
   • Restrição de Setor: A análise é restrita ao setor de partícula única da cadeia fermiônica ($\sum c^\dagger_i c_i = 1$). Este setor tem dimensão $n 2^n$, que é exponencialmente grande, mas quadraticamente menor que o espaço de Hilbert completo.

2. Imersão Espectral:

   • Os autovalores de $H_{FK}$ neste setor são derivados como $E_{m,\phi} = -\cos[(2\pi m + \phi)/n]$, onde $\phi$ é uma quaseenergia de Floquet do circuito $U_F = u_{n-1}\dots u_0$ e $m$ é o momento da mão do relógio.
   • Isso mapeia o espectro de quaseenergia de Floquet em um espectro de energia real, distorcido por uma função cosseno.

3. Desordem e Média:

   • Como o SFF não é auto-averigável, o autor introduz uma desordem extrínseca fraca para extrair o comportamento universal. Isso inclui:
     • Deformações unitárias de qubit único aleatórias nas portas $u_i$.
     • Um deslocamento de fase $\chi$ espacialmente uniforme aplicado a todas as portas.
     • Média temporal sobre uma pequena variável aleatória $r$.
   • Os limites são tomados na ordem: limite termodinâmico ($n \to \infty$), limite de tempo longo ($\tau \to \infty$) e, finalmente, limite de desordem zero ($\Delta \to 0$).

4. Derivação da Fórmula de Convolução:

   • Usando a identidade de Jacobi-Anger, a função de partição do Hamiltoniano $Z_H(it)$ é expressa como uma combinação linear de funções de partição de Floquet $Z_F(iw)$.
   • O SFF conectado do Hamiltoniano, $K_H(t)$, é mostrado como uma convolução do SFF de Floquet, $K_F(w)$, ponderado por funções de Bessel:
     $$K_H(t) = 2n^2 \sum_{w=1}^{\infty} |J_{wn}(t)|^2 K_F(w) + o(1)$$
   • Crucialmente, a média de desordem suprime os termos cruzados ($w \neq w'$), isolando as contribuições diagonais.

Principais Contribuições e Resultados

1. Prova da Rampa:
   Ao escolher as portas $\{u_i\}$ para serem duais-unitárias (mas não portas SWAP), o autor aproveita o resultado de BKP de que o SFF de Floquet escala linearmente com o tempo ($K_F(w) \propto |w|$) no limite termodinâmico.

   • O artigo generaliza o resultado de BKP de condições de contorno periódicas para abertas (exigido pela construção FK onde $u_{n-1}=1$), mostrando que a rampa linear persiste até correções exponencialmente pequenas.
   • No limite de escala onde $t = n\tau$ (limite de dupla-escala de Thouless), o SFF reduzido $\kappa_H(\tau) = \lim_{n\to\infty} K_H(n\tau)/n$ é derivado.
   • O comportamento assintótico para grandes $\tau$ é provado como sendo:
     $$\kappa_H(\tau) = \frac{2}{\pi} \tau + O(\tau \Delta^{1/2})$$
   • Tomando o limite de desordem zero, obtém-se uma inclinação finita e não nula, confirmando a existência de uma rampa espectral.

2. Escalonamento do Tempo de Thouless:
   A análise revela que o tempo de Thouless $t_{Th}$ escala linearmente com o tamanho do sistema ($t_{Th} \propto n$). Isso é atribuído ao movimento balístico da mão do relógio, que deve percorrer a circunferência do sistema antes que assinaturas globais de RMT emerjam. Isso representa o escalonamento mais rápido possível para Hamiltonianos geometricamente locais.

3. Papel do SFF Conectado vs. Desconectado:
   A rampa é visível apenas no SFF conectado. A parte desconectada, $|\langle \text{Tr}(e^{-iHt}) \rangle|^2$, decai lentamente ($\sim 1/t$) devido às singularidades de van Hove nas bordas da banda de partícula única. Esse fundo desconectado mascararia a rampa no SFF total mesmo no tempo de Heisenberg, tornando necessária a subtração do componente desconectado para observar o comportamento universal.

Significado e Alegações
O artigo afirma fornecer a primeira prova de uma rampa espectral em um sistema de muitos corpos, de tempo independente e geometricamente local, com dimensão de espaço de Hilbert local finita.

• Ele preenche a lacuna entre os resultados conhecidos para circuitos de Floquet duais-unitários e Hamiltonianos estáticos.
• Demonstra que a "rampa" é uma característica robusta do caos quântico que pode ser imersa em sistemas estáticos via construção de Feynman-Kitaev, desde que o sistema seja restrito a um setor de simetria específico (mão única do relógio).
• O autor nota explicitamente as limitações: a prova atualmente se aplica apenas ao setor de mão única do relógio. Estender isso para o espaço de Hilbert completo ou setores com densidade de mão do relógio finita permanece uma questão aberta, embora argumentos não rigorosos sugiram que uma rampa semelhante poderia existir com um prealfa diferente.

O trabalho não propõe realizações experimentais ou aplicações específicas além de estabelecer a existência teórica de tal sistema, mantendo o foco na derivação rigorosa de estatísticas espectrais em um modelo teórico controlado.