Infinite temperature at zero energy

Technische Samenvatting: Oneindige Temperatuur bij Nul-energie

Probleemstelling
In de veel-deeltjesfysica dient de ruimtelijke schaling van verstrengelingsentropie als een primaire diagnostische methode om kwantumfasen te onderscheiden. Hoog-energetische eigentoestanden van generieke interagerende systemen voldoen doorgaans aan de Eigenstate Thermalization Hypothesis (ETH) en vertonen een "volume-wet" verstrengeling, waarbij de entropie schaalt met het volume van het subsysteem. Daarentegen voldoen grondtoestanden van lokale Hamiltonians over het algemeen aan een "oppervlakte-wet" (schaling met de grootte van de grens) of, in het geval van kritieke systemen zonder kloof, aan een logaritmische schaling. Hoewel eerdere constructies (bijv. Motzkin- en Fredkin-ketens) volume-wet verstrengelde grondtoestanden in één dimensie hebben aangetoond, bezitten deze toestanden een duidelijke "regenboog"-structuur: de verstrengeling wordt gedomineerd door langafstandscorrelaties tussen symmetrische paren van sites, waardoor ze niet voldoen aan volume-wet schaling voor willekeurige opeenvolgende lokale subsystemen. De centrale open vraag die door dit werk wordt geadresseerd, is of een lokale, statische Hamiltonian een grondtoestand kan bezitten die werkelijk thermisch-achtig is—het voldoet aan volume-wet verstrengeling voor alle opeenvolgende subsystemen, waarbij het de willekeurige, kenmerkloze aard van toestanden bij oneindige temperatuur nabootst.

Methodologie
De auteurs maken gebruik van een tweeledige constructie die een gemodificeerd Feynman-Kitaev (FK) klokmodel combineert met een specifieke klasse van exact oplosbare Floquet-circuits.

1. Periodiek FK Klokmodel: De standaard FK-klok brengt de output van een kwantumcircuit in kaart naar de grondtoestand van een statische Hamiltonian. De auteurs hebben dit gewijzigd door periodieke randvoorwaarden op het klokregister op te leggen. In plaats van een open keten waar de tijd evolueert van $t=0$ naar $T-1$, is de klok een ring waarbij de eindtoestand weer verbindt met de initiële toestand.

   • De Hamiltonian werkt op een "twee-been ladder" bestaande uit een spin-keten (qubits) en een klok-keten (fermionen).
   • Het klokdeeltje (fermion) springt rond de ring, en zijn positie bepaalt welke unitaire poort uit een input-circuit op de spins wordt toegepast.
   • Deze constructie embedt de Floquet-eigentoestanden (eigentoestanden van de periodieke tijd-evolutieoperator $U_{T:0}$) van het input-circuit in de eigentoestanden van de statische Hamiltonian.
   • Cruciaal is dat de auteurs bewijzen dat als de Floquet-toestanden van het input-circuit voldoen aan de ETH bij oneindige temperatuur, de resulterende statische Hamiltonian zijn eigentoestanden met volume-wet verstrengeling erven voor alle opeenvolgende subsystemen.

2. LFSR Floquet-circuits: Om te voorkomen dat men moet vertrouwen op de onbewezen aanname dat generieke circuits voldoen aan de ETH, construeren de auteurs een specifieke familie van Floquet-circuits gebaseerd op Linear Feedback Shift Registers (LFSRs).

   • Dit zijn klassieke reversibele circuits die worden geïmplementeerd als kwantum "trappenhuis"-circuits met behulp van SWAP- en CNOT-poorten.
   • De auteurs bewijzen rigoureus dat de niet-triviale eigentoestanden van maximale LFSR-circuits voldoen aan de ETH bij oneindige temperatuur. Ze tonen aan dat de matrixelementen van lokale Pauli-operatoren tussen deze eigentoestanden exponentieel klein zijn en een distributie volgen die consistent is met pseudowillekeurigheid, ondanks het feit dat de circuits Clifford-circuits zijn (die geen "magic" of non-stabilizer bronnen genereren).

Belangrijkste Bijdragen en Resultaten

• Theoretische Constructie van Volume-Wet Grondtoestanden: Door de periodieke FK-klok te combineren met LFSR-circuits, bieden de auteurs de eerste rigoureuze constructie van een statische, geometrisch lokale 1D-Hamiltonian waarvan de grondtoestand bewezen volume-wet verstrengeld is voor alle opeenvolgende subsystemen tot de helft van de systeemgrootte. Dit onderscheidt het resultaat van eerdere "regenboog"-toestanden, waarbij lokale subsystemen een lage verstrengeling konden hebben.
• Bewijs van ETH voor LFSR-eigentoestanden: Het artikel stelt vast dat maximale LFSR-circuits de diagonale ETH bij oneindige temperatuur bevredigen. Dit wordt bereikt door de matrixelementen van Pauli-operatoren te begrenzen met behulp van instrumenten uit de algebraïsche getaltheorie (mixed-character sums), waarbij wordt aangetoond dat ze zich gedragen als willekeurige toestanden ondanks het feit dat de circuits zeer gestructureerd en niet-chaotisch van aard zijn (met betrekking tot de generatie van magic).
• Spectrale Eigenschappen: De resulterende Hamiltonian heeft een begrensde spectrale breedte (energiebereik $[0, 2]$) en een exponentieel kleine kloof boven de grondtoestand ($O(4^{-n})$). De grondtoestand kan worden afgesteld om frustratievrij te zijn door een specifieke fase-twist (flux) in de klok-randvoorwaarden te introduceren.
• Observabelen bij Oneindige Temperatuur: De grondtoestand vertoont een unieke dualiteit: terwijl de klok-sector zich gedraagt als een nul-temperatuur vrij-fermion-systeem, gedraagt de spin-sector zich alsof deze zich bij oneindige temperatuur bevindt. Lokale observabelen die uitsluitend op de spins zijn ondersteund, hebben verwachtingswaarden die consistent zijn met het oneindige-temperatuur-ensemble (maximaal gemengde gereduceerde dichtheidsmatrices), ook al is de globale toestand een nul-energie eigentoestand.

Significantie en Claims
De auteurs beweren dat dit werk een nieuwe klasse exact oplosbare modellen biedt die dienen als "randgevallen" voor het begrijpen van kwantumchaos, thermalisatie en verstrengeling.

• Uitdaging van Conventies: De constructie laat zien dat grondtoestanden verstrengelingsstructuren kunnen bezitten die niet te onderscheiden zijn van hoog-geëxciteerde thermische toestanden voor alle lokale metingen, wat het geloof uitdaagt dat laag-energetische toestanden beperkte correlaties of specifieke structurele beperkingen (zoals de regenboog-toestand) moeten hebben.
• Ontkoppeling van Chaos-criteria: De LFSR-circuits dienen als een tegenvoorbeeld voor de samensmelting van verschillende chaos-criteria. Ze voldoen aan de ETH (thermalisatie van lokale observabelen) en hebben een maximale Krylov-complexiteit, maar zijn Clifford-circuits (genereren geen magic) en hebben gelijkmatig verdeelde spectra (wat random-matrix statistieken en resonantiecondities schendt). Dit verduidelijkt dat ETH niet noodzakelijkerwijs random-matrix-achtige spectrale statistieken of de generatie van non-stabilizer bronnen impliceert.
• Implicaties voor Complexiteit: Het artikel merkt op dat als Floquet-toestanden met super-polynomiale circuit-complexiteit bestaan, de FK-klok constructie impliceert dat statische lokale Hamiltonian grondtoestanden ook super-polynomiale circuit-complexiteit kunnen bezitten, wat potentieel de efficiëntie van Matrix Product State (MPS) representaties voor 1D-grondtoestanden uitdaagt.
• Stabiliteit: De auteurs erkennen bescheiden dat de specifieke volume-wet grondtoestanden fragiel zijn voor generieke perturbaties (waarschijnlijk door een kloof te openen), maar dat de klasse van Hamiltonians met oneindige-temperatuur eigenschappen uitgebreid is. Ze suggereren dat het model nuttig is voor het bestuderen van de interactie tussen gedreven (Floquet) fysica en statische Hamiltonians, en voor het mappen van Floquet-toestandvoorbereidingsproblemen naar grondtoestand-zoekproblemen.

Het werk stelt geen experimentele realisaties of specifieke toepassingen voor buiten de theoretische inzichten in veel-deeltjes dynamica en kwantuminformatie-complexiteit.