Krylov Complexity from Loschmidt Amplitude

Technische Samenvatting: Krylov-complexiteit vanuit de Loschmidt-amplitude

Probleemstelling
Krylov-complexiteit is een krachtige diagnostiek voor kwantumdynamica geworden, die een duidelijke definitie biedt van de delokalisatie van de golffunctie binnen de Hilbertruimte via de Lanczos-recursie methode. Er bestaat echter een fundamentele beperking: maatstaven in de Krylov-ruimte (zoals complexiteit) kunnen het systeem slechts reconstrueren tot aan de autocorrelatiefunctie. Twee fysiek verschillende systemen met identieke autocorrelatiefuncties leveren identieke Krylov-expansies op. Bijgevolg vereist het vertalen van kenmerken van de Krylov-basis terug naar de taal van lokale Hilbert-ruimte operatoren aanvullende, modelspecifieke input. Bovendien bestaan er weliswaar verbanden tussen Krylov-complexiteit en andere chaos-maatstaven (zoals de Out-of-Time-Ordered Correlator of OTOC), maar een verenigd kader dat de groei van de Krylov-complexiteit direct koppelt aan de gevoeligheid van kwantumtoestanden onder Hamiltoniaanse perturbaties—specifiek door de lens van Loschmidt-amplitudes—moet nog volledig worden ontwikkeld. Dit artikel adresseert de noodzaak om de Krylov-complexiteit en de tijdsevolutie ervan uit te drukken als afgeleiden van Loschmidt-amplitudes, waardoor een classificatieschema voor complexiteitsdynamica wordt geboden en geometrische grenzen worden vastgesteld.

Methodologie
Het artikel maakt gebruik van de formalisme van het Lanczos-algoritme om een orthonormale Krylov-basis $\{|n\rangle\}$ te construeren vanuit een initiële toestand $|\psi(0)\rangle$ en een Hamiltoniaan $H$. De dynamica wordt gecodeerd in de tridiagonale matrix $M$ (de representatie van $H$ in de Krylov-basis), gekarakteriseerd door Lanczos-coëfficiënten $a_n$ en $b_n$.

De kernmethodologie behelst het introduceren van twee hulp-deformaties van de Hamiltoniaan $M$:

1. Angulaire Deformatie ($\phi$): Een rotatie gegenereerd door de getaloperator $\hat{n}$ (die de Krylov-index telt). De gedeformeerde Hamiltoniaan wordt gedefinieerd als $M(\phi) = e^{i\hat{n}\phi} M e^{-i\hat{n}\phi}$.
2. Euclidische Deformatie ($\tau$): Een deformatie gegenereerd door de operator $F = i[B, M]$, waarbij $B = i[\hat{n}, M]$ fungeert als een "impuls"-operator. Dit komt overeen met de evolutie van de initiële toestand via Euclidische tijd $e^{-\tau H}$.

De auteurs gebruiken deze deformaties om Loschmidt-amplitudes $G(t, \phi) = \langle 0 | e^{iMt} e^{-iM(\phi)t} | 0 \rangle$ en hun $\tau$-afhankelijke tegenhangers te definiëren. Door de spectrale eigenschappen van deze amplitudes en de algebraïsche structuur van de operatoren $M$, $B$ en $\hat{n}$ te analyseren, leiden de auteurs relaties af tussen de momenten van de Krylov-complexiteit en de afgeleiden van deze amplitudes. De analyse steunt zwaar op de spectrale functie $\Phi(E)$ (de Fourier-transformatie van de autocorrelatiefunctie) en de eigenschappen van orthogonale polynomen geassocieerd met de Lanczos-coëfficiënten.

Belangrijkste Bijdragen en Resultaten

1. Krylov-complexiteit als een Loschmidt-afgeleide:
   Het artikel stelt vast dat de Krylov-complexiteit $\langle \hat{n}(t) \rangle$ de leidende-orde fase-respons is van een Loschmidt-amplitude. Specifiek is het $k$-de moment van de complexiteitsverdeling gegeven door de $k$-de afgeleide van $G(t, \phi)$ met betrekking tot $\phi$ bij $\phi=0$:
   $$\langle \hat{n}^k(t) \rangle = (-i)^k \frac{\partial^k}{\partial \phi^k} G(t, \phi) \Big|_{\phi=0}$$
   Deze formulering definieert een "spectrale propagator" $K(E_1, E_2, \phi)$ die de volledige complexiteitsverdeling codeert.

2. Tijdsafgelede en $\tau$-Classificatie:
   De tijdsafgeleide van de Krylov-complexiteit wordt uitgedrukt als de afgeleide van een afzonderlijke Loschmidt-amplitude die een Euclidische tijd-deformatie $\tau$ betreft:
   $$\partial_t \langle \hat{n}(t) \rangle = i \partial_\tau \langle 0 | e^{iM(0)t} e^{-i(M(0) + \tau F)t} | 0 \rangle \Big|_{\tau=0}$$
   De operator $F = i[B, M]$ reguleert deze perturbatie. Het artikel stelt een classificatieschema voor de Krylov-complexiteitsdynamica voor op basis van de groei en begrenzing van de termen van $F$.

• Begrensde Perturbaties: Indien $F$ een begrensde operator is (bijvoorbeeld wanneer de Lanczos-coëfficiënten langzaam groeien of verzadigen), kan de perturbatie worden benaderd door een eindige-rang afkorting. Dit maakt het mogelijk om de complexiteitsdynamica te vatten door een meetbare amplitude met een eindige afkapwaarde $n^*$.
• Onbegrensde Perturbaties: In chaotische systemen waar de Lanczos-coëfficiënten snel groeien (bijvoorbeeld lineair), is $F$ onbegrensd, waardoor eindige-rang afkortingen de dynamica niet accuraat kunnen vatten.

3. Algemene Grenzen aan Complexiteit:
   Met behulp van de Cauchy-Schwarz ongelijkheid en de Frobenius-norm van $F$, leiden de auteurs een algemene bovengrens af voor de Krylov-complexiteit in termen van de autocorrelatiefunctie $C(t)$:
   $$\langle \hat{n}(t) \rangle \leq \|F\| \sqrt{\int_0^t ds_1 \int_0^t ds_2 (t-s_1)(t-s_2) |C(s_1-s_2)|^2}$$
   Deze grens is geldig met minimale aannames over de groei van de Lanczos-coëfficiënten, mits $\|F\|$ eindig is. Voor specifieke gevallen (zoals Random Matrix Theory met constante $b_n$), leidt het artikel de exacte laat-tijd asymptotische gedraging van alle complexiteitsmomenten af.

4. Complexiteitsgeometrie en Volume-grenzen:
   Het artikel construeert een tweedimensionale Riemanniaanse geometrie gespannen door de tijd $t$ en de deformatiehoek $\phi$. De metriek wordt geïnduceerd door de Fubini-Study metriek op de Hilbertruimte.

• Volume-grens: De auteurs tonen aan dat de Krylov-complexiteit bovengesteld wordt door het volume van deze geometrie tot tijd $t$: $\langle \hat{n}(t) \rangle \leq \frac{1}{\pi} \text{Vol}_t$.
• Verzadiging: Deze grens wordt verzadigd wanneer de algebra tussen $\hat{n}$, $M$ en $B$ sluit (bijvoorbeeld in $SL(2, \mathbb{R})$ of Heisenberg-Weyl algebra's), wat leidt tot ruimtes met constante kromming.
• Geodetische Deviatie: De scalaire kromming van deze geometrie is getoond gerelateerd te zijn aan de convexiteit van de Krylov-variantie $\Delta n(t)$.

5. Statistische Relatie tussen IPR en Variantie:
   Een verrassende statistische eigenschap wordt geïdentificeerd: de Inverse Participation Ratio (IPR) van de Krylov-golffuncties is omgekeerd evenredig met de standaarddeviatie van de complexiteitsverdeling ($\Delta n(t)$) voor een brede klasse van systemen:
   $$\text{IPR}_t \sim \frac{1}{\sqrt{\pi} \Delta n(t)}$$
   Deze relatie houdt stand voor systemen met constante Lanczos-coëfficiënten en systemen die worden beheerst door complexiteitsalgebra's, wat wijst op een robuuste statistische gedraging van de Krylov-basis-waarschijnlijkheden.

Betekenis en Claims
Het artikel claimt een verenigd analytisch kader te bieden dat de Krylov-complexiteit behandelt als een maat voor de gevoeligheid voor Hamiltoniaanse perturbaties. Door de momenten van de complexiteit uit te drukken als afgeleiden van Loschmidt-amplitudes, overbrugt het werk de kloof tussen abstracte Krylov-ruimte maatstaven en fysieke observeerbare grootheden zoals de overlevingsamplitude.

De significantie ligt in:

• Classificatie: Het bieden van een nieuwe manier om kwantumdynamica te classificeren op basis van de begrenzing van de perturbatie-operator $F$, waarbij onderscheid wordt gemaakt tussen systemen waar de complexiteit benaderd kan worden door eindige afkortingen en systemen die volledige spectrale resolutie vereisen.
• Geometrische Interpretatie: Het vestigen van een rigoureus geometrisch beeld waarbij complexiteit wordt begrensd door het volume van een parameterrum, wat concepten van kwantumchaos (Lyapunov-exponenten) koppelt aan geometrische kromming en trajectscheiding.
• Voorspellende Kracht: Het afleiden van algemene grenzen en asymptotische gedragingen direct uit de autocorrelatiefunctie zonder gedetailleerde kennis van de volledige Lanczos-sequentie te vereisen, met name voor systemen met begrensde spectrale functies.

De auteurs handhaven dat hoewel de verbinding met chaos-exponenten (zoals de Lyapunov-exponent) suggestief en analoog is aan klassieke definities, het vaststellen van een precieze fysieke identificatie van de Krylov-exponent met chaos in algemene systemen verdere overweging vereist van de specifieke fysieke inhoud van de autocorrelatiefunctie, wat buiten de reikwijdte van dit werk valt. Het artikel focust op de structurele en algebraïsche relaties binnen het Krylov-formalisme.