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

Technische Samenvatting: Bewijsbaar Random-Matrix Spectrale Rampa in een Statische, Geometrisch Lokale Hamiltoniaan

Probleemstelling
Kwantumchaos wordt breed gekenmerkt door de opkomst van Random Matrix Theory (RMT) statistieken in energiespectra, specifiek de lineaire groei van de Spectral Form Factor (SFF), bekend als de "rampa". Hoewel dit fenomeen goed begrepen is in semiclassieke limieten, all-to-all modellen (bijv. SYK) en periodiek gedreven (Floquet) systemen, is een rigoureus bewijs van een RMT-rampa in statische, geometrisch lokale Hamiltoniaanse met eindige-dimensionale lokale Hilbertruimtes tot nu toe onbereikbaar gebleven. Eerdere mijlpaalresultaten door Bertini, Kos en Prosen (BKP) stelden dergelijke rampa vast voor periodiek gedreven qudit-ketens beschreven door "dual-unitary" circuits. Dit werk adresseert de kloof tussen Floquet-dynamica en statische Hamiltoniaanse door een tijdonafhankelijk, lokaal systeem te construeren dat aantoonbaar een spectrale rampa vertoont.

Methodologie
De auteur maakt gebruik van een circuit-naar-Hamiltoniaan reductie gebaseerd op een recente variant van de Feynman-Kitaev (FK) klok-constructie. De kernstrategie bestaat uit het inbedden van het quasienergie-spectrum van een dual-unitary Floquet-circuit in het energiespectrum van een statische Hamiltoniaan.

1. Systeemconstructie:

   • Het systeem wordt gemodelleerd als een twee-benige ladder van lengte $n$ met periodieke randvoorwaarden.
   • Been 1: Een keten van $d$-toestands qudits (specifiek qubits, $d=2$).
   • Been 2: Een fermionische tight-binding keten die precies één deeltje bevat (de "klokwijzer").
   • Hamiltoniaan: De Hamiltoniaan $H_{FK}$ is gedefinieerd als:
     $$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)$$
     waarbij $u_i$ unitaire gates zijn die werken op qubits $(i, i+1)$. Het springen (hopping) van het fermion activeert de gate $u_i$, wat effectief de evolutie van een kwantumcircuit simuleert.
   • Sectorbeperking: De analyse is beperkt tot de enkel-deeltjes sector van de fermionische keten ($\sum c^\dagger_i c_i = 1$). Deze sector heeft dimensie $n 2^n$, wat exponentieel groot is maar kwadratisch kleiner dan de volledige Hilbertruimte.

2. Spectrale Inbedding:

   • De eigenwaarden van $H_{FK}$ in deze sector worden afgeleid als $E_{m,\phi} = -\cos[(2\pi m + \phi)/n]$, waarbij $\phi$ een Floquet-quasienergie van de circuit $U_F = u_{n-1}\dots u_0$ is en $m$ de impuls van de klokwijzer is.
   • Dit brengt het Floquet-quasienergiespectrum in een reëel energiespectrum, vervormd door een cosinusfunctie.

3. Disorder en Middeling:

   • Omdat de SFF niet zelf-gemiddeld (self-averaging) is, introduceert de auteur zwakke extrinsieke disorder om universeel gedrag te extraheren. Dit omvat:
     • Willekeurige single-qubit unitaire deformaties van de gates $u_i$.
     • Een zwakke, ruimtelijk uniforme faseverschuiving $\chi$ toegepast op alle gates.
     • Tijdgemiddelde over een kleine willekeurige variabele $r$.
   • De limieten worden genomen in de volgorde: thermodynamische limiet ($n \to \infty$), lange-tijd limiet ($\tau \to \infty$), en tot slot de zero-disorder limiet ($\Delta \to 0$).

4. Afleiding van de Convolutieformule:

   • Met behulp van de Jacobi-Anger identiteit wordt de partitiefunctie van de Hamiltoniaan $Z_H(it)$ uitgedrukt als een lineaire combinatie van Floquet partitiefuncties $Z_F(iw)$.
   • De verbonden (connected) SFF van de Hamiltoniaan, $K_H(t)$, wordt getoond te een convolutie te zijn van de Floquet SFF, $K_F(w)$, gewogen door Bessel-functies:
     $$K_H(t) = 2n^2 \sum_{w=1}^{\infty} |J_{wn}(t)|^2 K_F(w) + o(1)$$
   • Cruciaal is dat de disorder-gemiddelde de kruistermen ($w \neq w'$) onderdrukt, waardoor de diagonale bijdragen geïsoleerd worden.

Belangrijkste Bijdragen en Resultaten

1. Bewijs van de Rampa:
   Door de gates $\{u_i\}$ te kiezen als dual-unitary (maar niet SWAP gates), maakt de auteur gebruik van de BKP-resultaten dat de Floquet SFF lineair schaalt met de tijd ($K_F(w) \propto |w|$) in de thermodynamische limiet.

   • Het artikel generaliseert het BKP-resultaat van periodieke naar open randvoorwaarden (vereist door de FK-constructie waar $u_{n-1}=1$), waarbij wordt aangetoond dat de lineaire rampa standhoudt tot exponentieel kleine correcties.
   • In de schaalingslimiet waar $t = n\tau$ (de Thouless double-scaling limit), wordt de gereduceerde SFF $\kappa_H(\tau) = \lim_{n\to\infty} K_H(n\tau)/n$ afgeleid.
   • Het asymptotische gedrag voor grote $\tau$ is bewezen als:
     $$\kappa_H(\tau) = \frac{2}{\pi} \tau + O(\tau \Delta^{1/2})$$
   • Het nemen van de zero-disorder limiet levert een eindelijke, niet-nul helling op, wat het bestaan van een spectrale rampa bevestigt.

2. Thouless Tijd Schaling:
   De analyse onthult dat de Thouless tijd $t_{Th}$ lineair schaalt met de systeemgrootte ($t_{Th} \propto n$). Dit wordt toegeschreven aan de balistische beweging van de klokwijzer, die het systeem omtrek moet afleggen voordat globale RMT-signaturen verschijnen. Dit vertegenwoordigt de snelst mogelijke schaling voor geometrisch lokale Hamiltoniaanse.

3. Rol van Verbonden vs. Niet-Verbonden SFF:
   De rampa is alleen zichtbaar in de verbonden SFF. Het niet-verbonden deel, $|\langle \text{Tr}(e^{-iHt}) \rangle|^2$, vervalt traag ($\sim 1/t$) door van Hove-singulariteiten bij de enkel-deeltjes bandranden. Deze niet-verbonden achtergrond zou de rampa zelfs bij de Heisenberg-tijd maskeren in de totale SFF, wat de noodzaak voor het aftrekken van de niet-verbonden component onderstreept om het universele gedrag te observeren.

Betekenis en Claims
Het artikel claimt het eerste bewijs te leveren van een spectrale rampa in een tijdonafhankelijk, geometrisch lokaal veel-deeltjes systeem met een eindige lokale Hilbertruimte-dimensie.

• Het overbrugt de kloof tussen de bekende resultaten voor Floquet dual-unitary circuits en statische Hamiltoniaanse.
• Het demonstreert dat de "rampa" een robuust kenmerk is van kwantumchaos dat in statische systemen kan worden ingebed via de Feynman-Kitaev constructie, mits het systeem wordt beperkt tot een specifieke symmetrie-sector (enkel-klokwijzer).
• De auteur merkt expliciet de beperkingen op: het bewijs is momenteel alleen van toepassing op de enkel-klokwijzer sector. Het uitbreiden hiervan naar de volledige Hilbertruimte of sectoren met een eindige klokwijzer-dichtheid blijft een open vraag, hoewel niet-rigoureuze argumenten suggereren dat een vergelijkbare rampa met een andere prefactor zou kunnen bestaan.

Het werk stelt geen experimentele realisaties of specifieke toepassingen voor buiten het vaststellen van de theoretische existentie van een dergelijk systeem, en behoudt een focus op de rigoureuze afleiding van spectrale statistieken in een gecontroleerd theoretisch model.