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

Resumen Técnico: Rampa Espectral de Matriz Aleatoria Probable en un Hamiltoniano Estático y Geométricamente Local

Planteamiento del Problema
El caos cuántico se caracteriza ampliamente por la emergencia de estadísticas de la Teoría de Matrices Aleatorias (RMT) en los espectros de energía, específicamente el crecimiento lineal del Factor de Forma Espectral (SFF), conocido como la "rampa". Aunque este fenómeno está bien comprendido en límites semiclásicos, modelos de interacción de todos contra todos (p. ej., SYK) y sistemas periódicamente excitados (Floquet), una prueba rigurosa de una rampa RMT en Hamiltonianos estáticos, geométricamente locales con espacios de Hilbert locales de dimensión finita ha permanecido esquiva. Los resultados previos de Bertini, Kos y Prosen (BKP) establecieron tales rampas solo para cadenas de qudits periódicamente excitadas descritas por circuitos "dual-unitarios". Este trabajo aborda la brecha entre la dinámica de Floquet y los Hamiltonianos estáticos mediante la construcción de un sistema local e independiente del tiempo que exhibe una rata espectral demostrable.

Metodología
El autor emplea una reducción de circuito-a-Hamiltoniano basada en una variante reciente de la construcción de reloj de Feynman-Kitaev (FK). La estrategia central consiste en embeber el espectro de cuasienergía de un circuito de Floquet dual-unitario en el espectro de energía de un Hamiltoniano estático.

1. Construcción del Sistema:

   • El sistema se modela como una escalera de dos patas de longitud $n$ con condiciones de contorno periódicas.
   • Pata 1: Una cadena de qudits de estado $d$ (específicamente qubits, $d=2$).
   • Pata 2: Una cadena de unión fuerte (tight-binding) fermiónica que contiene exactamente una partícula (la "mano del reloj").
   • Hamiltoniano: El Hamiltoniano $H_{FK}$ se define 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)$$
     donde $u_i$ son puertas unitarias que actúan sobre los qubits $(i, i+1)$. El salto del fermión activa la puerta $u_i$, simulando efectivamente la evolución de un circuito cuántico.
   • Restricción de Sector: El análisis se restringe al sector de una sola partícula de la cadena fermiónica ($\sum c^\dagger_i c_i = 1$). Este sector tiene dimensión $n 2^n$, la cual es exponencialmente grande pero cuadráticamente menor que el espacio de Hilbert completo.

2. Embeber el Espectro:

   • Los autovalores de $H_{FK}$ en este sector se derivan como $E_{m,\phi} = -\cos[(2\pi m + \phi)/n]$, donde $\phi$ es una cuasienergía de Floquet del circuito $U_F = u_{n-1}\dots u_0$ y $m$ es el momento de la mano del reloj.
   • Esto mapea el espectro de cuasienergía de Floquet en un espectro de energía real, distorsionado por una función coseno.

3. Desorden y Promedio:

   • Dado que el SFF no es auto-promediable, el autor introduce un desorden extrínseco débil para extraer el comportamiento universal. Esto incluye:
     • Deformaciones unitarias de un solo qubit aleatorias de las puertas $u_i$.
     • Un desplazamiento de fase $\chi$ débil y espacialmente uniforme aplicado a todas las puertas.
     • Promedio temporal sobre una variable aleatoria pequeña $r$.
   • Los límites se toman en el orden: límite termodinámico ($n \to \infty$), límite de tiempo largo ($\tau \to \infty$), y finalmente el límite de desorden cero ($\Delta \to 0$).

4. Derivación de la Fórmula de Convolución:

   • Usando la identidad de Jacobi-Anger, la función de partición del Hamiltoniano $Z_H(it)$ se expresa como una combinación lineal de funciones de partición de Floquet $Z_F(iw)$.
   • Se demuestra que el SFF conectado del Hamiltoniano, $K_H(t)$, es una convolución del SFF de Floquet, $K_F(w)$, ponderada por funciones de Bessel:
     $$K_H(t) = 2n^2 \sum_{w=1}^{\infty} |J_{wn}(t)|^2 K_F(w) + o(1)$$
   • Crucialmente, el promedio del desorden suprime los términos cruzados ($w \neq w'$), aislando las contribuciones diagonales.

Contribuciones Clave y Resultados

1. Prueba de la Rampa:
   Al elegir las puertas $\{u_i\}$ para que sean dual-unitarias (pero no puertas SWAP), el autor aprovecha el resultado de BKP de que el SFF de Floquet escala linealmente con el tiempo ($K_F(w) \propto |w|$) en el límite termodinámico.

   • El artículo generaliza el resultado de BKP de condiciones de contorno periódicas a abiertas (requeridas por la construcción FK donde $u_{n-1}=1$), demostrando que la rampa lineal persiste hasta correcciones exponencialmente pequeñas.
   • En el límite de escala donde $t = n\tau$ (límite de doble escala de Thouless), se deriva el SFF reducido $\kappa_H(\tau) = \lim_{n\to\infty} K_H(n\tau)/n$.
   • El comportamiento asintótico para $\tau$ grandes es probado como:
     $$\kappa_H(\tau) = \frac{2}{\pi} \tau + O(\tau \Delta^{1/2})$$
   • Tomar el límite de desorden cero produce una pendiente finita y no nula, confirmando la existencia de una rampa espectral.

2. Escalamiento del Tiempo de Thouless:
   El análisis revela que el tiempo de Thouless $t_{Th}$ escala linealmente con el tamaño del sistema ($t_{Th} \propto n$). Esto se atribuye al movimiento balístico de la mano del reloj, que debe atravesar la circunferencia del sistema antes de que emerjan las firmas globales de RMT. Esto representa el escalamiento más rápido posible para Hamiltonianos geométricamente locales.

3. Papel del SFF Conectado vs. Desconectado:
   La rampa solo es visible en el SFF conectado. La parte desconectada, $|\langle \text{Tr}(e^{-iHt}) \rangle|^2$, decae lentamente ($\sim 1/t$) debido a las singularidades de van Hove en los bordes de la banda de una sola partícula. Este fondo desconectado enmascararía la rampa incluso en el tiempo de Heisenberg, haciendo necesaria la sustracción del componente desconectado para observar el comportamiento universal.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera prueba de una rampa espectral en un sistema de muchos cuerpos, de tiempo independiente y geométricamente local con dimensión de espacio de Hilbert local finita.

• Une la brecha entre los resultados conocidos de los circuitos dual-unitarios de Floquet y los Hamiltonianos estáticos.
• Demuestra que la "rampa" es una característica robusta del caos cuántico que puede ser embebida en sistemas estáticos mediante la construcción de Feynman-Kitaev, siempre que el sistema esté restringido a un sector de simetría específico (una sola mano del reloj).
• El autor nota explícitamente las limitaciones: la prueba se aplica actualmente solo al sector de una sola mano del reloj. Extender esto al espacio de Hilbert completo o a sectores con densidad de manos del reloj finita sigue siendo una cuestión abierta, aunque argumentos no rigurosos sugieren que una rampa similar podría existir con un prefactor diferente.

El trabajo no propone realizaciones experimentales ni aplicaciones específicas más allá de establecer la existencia teórica de tal sistema, manteniendo su enfoque en la derivación rigurosa de las estadísticas espectrales en un modelo teórico controlado.