Krylov Complexity for Time-Dependent Hamiltonians

Technische Samenvatting: Krylov-complexiteit voor tijdafhankelijke Hamiltoniaanse operatoren

Probleemstelling
Krylov-complexiteit (of spreidingscomplexiteit) is een belangrijke bottom-up maatstaf voor kwantumcomplexiteit geworden, die kwantificeert hoe een initiële toestand de Hilbertruimte verkent onder tijdsevolutie. Hoewel het uitgebreid is bestudeerd voor tijdonafhankelijke Hamiltoniaanse operatoren, brengt de toepassing op tijdafhankelijke Hamiltoniaanse operatoren $H(t)$ conceptuele en technische uitdagingen met zich mee. Het primaire obstakel is de niet-commutativiteit van de Hamiltoniaanse operator op verschillende tijdstippen, $[H(t_1), H(t_2)] \neq 0$, wat tijdordening vereist voor de evolutie-operator $U(t, t_0) = \mathcal{T} \exp[-i \int_{t_0}^t H(s) ds]$. Deze structuur verhindert de directe toepassing van standaard Krylov-constructies, die van nature zijn geformuleerd voor tijdonafhankelijke generatoren. Het artikel adresseert de behoefte aan praktische methoden om de Krylov-complexiteit in dergelijke tijdafhankelijke instellingen te berekenen, met name wanneer exacte oplossingen niet beschikbaar zijn.

Methodologie
De auteurs stellen een raamwerk voor dat gebruikmaakt van de Magnus-expansie om de tijdsevolutie-operator te benaderen, waardoor een effectieve tijdonafhankelijke generator mogelijk wordt voor de berekening van de Krylov-complexiteit. De methodologie is verdeeld in twee hoofdregimes:

1. Periodiek gedreven systemen (Floquet-theorie):
   Voor systemen met $H(t+T) = H(t)$ maken de auteurs gebruik van de Floquet-theorie, waarbij de evolutie-operator over één periode wordt gedefinieerd door een Floquet-Hamiltoniaanse operator $H_F$ via $U(t_0+T, t_0) = e^{-iH_F T}$. Wanneer $H_F$ niet in gesloten vorm kan worden verkregen, wordt de Floquet–Magnus-expansie ingezet als een systematische perturbatieve benadering. De auteurs analyseren de convergentie van deze expansie en merken op dat hoewel deze betrouwbaar is voor korte tijden of hoogfrequente sturing, de nauwkeurigheid over lange intervallen kan afnemen door seculaire termen of opwarmingseffecten.

2. Algemene tijdafhankelijke systemen (Stuksgewijze Magnus-expansie):
   Voor niet-periodieke systemen waarvoor een globale Floquet-beschrijving niet bestaat, introduceren de auteurs een stuksgewijze Magnus-expansie. Deze aanpak verdeelt het totale tijdsinterval $[0, t]$ in kleinere subintervallen $[t_j, t_{j+1}]$ zodanig dat de lokale convergentievoorwaarde van de Magnus-expansie op elke stap wordt voldaan. De volledige evolutie wordt gereconstrueerd als een geordend product van lokale propagatoren, die elk worden benaderd door een afgekorte Magnus-reeks. Deze methode maakt het mogelijk om effectieve Hamiltoniaanse operatoren over willekeurig lange tijden te volgen, zelfs wanneer een globale expansie zou divergeren of onnauwkeurig zou worden.

Belangrijkste bijdragen en resultaten

• Twee-niveau periodiek gedreven systemen:
  Het raamwerk wordt toegepast op gedreven twee-niveau systemen.

  • Circulair gepolariseerde sturing: Het probleem wordt exact opgelost via een roterend kader-transformatie, wat een statische effectieve Hamiltoniaanse operator en een analytische uitdrukking voor de stroboscopische Krylov-complexiteit oplevert.
  • Lineair gepolariseerde sturing: In het hoogfrequente regime leiden de auteurs een effectieve stroboscopische Hamiltoniaanse operator af met behulp van de Floquet–Magnus-expansie. Zij demonstreren dat de eerste orde een Bessel-functie renormalisatie van de statische term omvat, terwijl de tweede-orde correctie een transversale term introduceert die zowel Bessel- als Struve-functies bevat. Deze transversale term, die afwezig is in de gemiddelde-Hamiltoniaanse benadering, is verantwoordelijk voor zwakke transities en draagt bij aan de groei van de complexiteit. De auteurs bieden ook strikte grenzen voor de afkapfout van de Magnus-reeks, waarbij zij aantonen dat er sprake is van een exponentiële verbetering per orde binnen het convergentiegebied.

• Kwadratische oscillatoren en symplectische evolutie:
  De auteurs breiden de analyse uit naar harmonische oscillatoren met tijdafhankelijke frequenties, waarbij de dynamica wordt beheerst door symplectische transformaties.

  • Plotselinge Quench Benchmark: Voor een plotselinge frequentie-quench eindigt de globale Magnus-expansie exact bij de eerste orde (aangezien commutatoren verdwijnen), wat een exacte analytische benchmark levert voor de Krylov-complexiteit.
  • Zachte Quench (Stuksgewijze benadering): Voor vloeiende, eindige-tijd frequentieveranderingen ("soft quenches") is de globale expansie onvoldoende. De auteurs implementeren numeriek de stuksgewijze Magnus-expansie. Zij tonen aan dat de Krylov-complexiteit groeit tijdens de ramp en gebonden oscillaties vertoont bij snelle quenches, terwijl langzame (adiabatische) quenches resulteren in een vloeiende benadering van een constante eindwaarde met verwaarloosbare oscillaties na de ramp.

• Krylov-complexiteit voor gesqueezed vacuümtoestanden:
  Een specifiek resultaat afgeleid in de appendixen stelt vast dat voor een gesqueezed vacuümtoestand die evolueert vanuit een referentie-vacuüm, de Krylov-complexiteit direct proportioneel is aan het kwadraat van de squeezing-parameter: $C_K(t) = \frac{1}{2} \sinh^2 r(t) = \frac{1}{2} |\nu(t)|^2$, waarbij $\nu(t)$ de Bogoliubov-coëfficiënt is.

Betekenis en claims
Het artikel beweert praktische instrumenten te bieden voor het analyseren van complexiteitsgroei in een brede klasse van tijdafhankelijke kwantumsystemen. De primaire betekenis ligt in het overbruggen van de kloof tussen de theoretische definitie van de Krylov-complexiteit en de berekenbaarheid daarvan in tijdafhankelijke scenario's. Door de combinatie van de Floquet-theorie met de Magnus-expansie bieden de auteurs een systematische manier om de stroboscopische complexiteit voor periodieke systemen te definiëren. Bovendien adresseert de introductie van de stuksgewijze Magnus-expansie de beperkingen van globale benaderingen, en biedt het een betrouwbare methode voor niet-periodieke systemen waar globale convergentie faalt.

De auteurs positioneren hun werk als complementair aan bestaande benaderingen, zoals het mappen van Floquet-evolutie naar effectieve 1D-modellen of het gebruik van uitgebreide Hilbertruimte-formalismen. Zij benadrukken dat hun Magnus-gebaseerde raamwerk bijzonder nuttig is voor systemen waar de effectieve Hamiltoniaanse operator perturbatief of lokaal kan worden geconstrueerd, wat de extractie van complexiteit mogelijk maakt zonder de volledige tijdgeordende evolutie volledig te hoeven oplossen. Het artikel concludeert dat deze methoden robuust zijn, zoals blijkt uit de overeenstemming met bekende analytische limieten (plotselinge quench) en fysieke verwachtingen (adiabatisch gedrag), en suggereert toekomstige uitbreidingen naar operator-complexiteit en gegeneraliseerde Krylov-complexiteit.