Lower Bounds on Spectral Gaps of Parent Hamiltonians via Tensor Networks

Technische Samenvatting: Ondergrenzen op Spectrale Kloven van Parent Hamiltonians via Tensornetwerken

Probleemstelling
Het bestaan van een spectrale kloof (spectral gap)—een uniforme ondergrens op het energieverschil tussen de grondtoestand-manifold en de eerste aangeslagen toestand, onafhankelijk van de systeemgrootte—is een fundamentele eigenschap in de kwantumveeldeeltjesfysica. Het dicteert de exponentiële afname van correlaties, de stabiliteit van topologische orde en de haalbaarheid van quasi-adiabatische evolutie. Hoewel er methoden bestaan, zoals eindige-grootte criteria (Knabe, Gosset-Mozgunov) en de martingale-methode (Fannes, Nachtergaele, Werner - FNW), is het rigoureus bewijzen van het bestaan van een kloof en, nog kritischer, het verkrijgen van expliciete kwantitatieve ondergrenzen voor interagerende Hamiltonians, berucht moeilijk. Specifiek levert de FNW-methode, hoewel deze de aanwezigheid van kloven voor Matrix Product State (MPS) parent Hamiltonians bewijst, een suboptimale kwantitatieve resultaten omdat deze steunt op het schatten van de overlap van lokale grondtoestanden.

Methodologie
De auteurs herzien en verfijnen de martingale-methode om een instrument te creëren voor het berekenen van sterke, rigoureuze ondergrenzen op spectrale kloven. De aanpak bestaat uit twee primaire stappen:

1. Hamiltonian Blocking en Reshuffling:
   De oorspronkelijke translatie-invariante Hamiltonian $H_N$ wordt getransformeerd naar een "geblokte" Hamiltonian $\tilde{H}_M$ door sites te groeperen in super-sites van grootte $p$ en $q$. De termen van de oorspronkelijke Hamiltonian worden met specifieke gewichten ($\lambda_\omega$) herverdeeld om nieuwe lokale termen $\tilde{h}_{\tilde{\imath}}$ te vormen die werken op overlappende blokken van grootte $2p+q$.

• De auteurs introduceren verfijnde blocking-schema's (Lemma 1 en Lemma 2) die alternerende blokgroottes en geoptimaliseerde gewichten mogelijk maken.
• Deze stap relateert de kloof van het oorspronkelijke systeem aan de kloof van het geblokte systeem, $\Delta(H_N) \geq \Delta(\tilde{H}_M)$, terwijl wordt gewaarborgd dat het geblokte systeem frustratievrij blijft en de grondtoestand wordt geparametriseerd door dezelfde MPS.

2. Lokale Kloofschatting via Tensornetwerken:
   De kloof van de geblokte Hamiltonian wordt begrensd met een lokale conditie betreffende de relatieve uitlijning van de grondtoestanden van aangrenzende termen. Deze conditie hangt af van een parameter $\gamma_{p,q}$, gedefinieerd door de ongelijkheid:
   $$QR + RQ + \gamma_{p,q}(Q + R) \geq 0$$
   waarbij $Q$ en $R$ projectoren zijn op de orthogonale complementen van de grondtoestanden van aangrenzende blokken.

• Kerninnovatie: De auteurs ontwikkelen een techniek (Theorem 4) om de optimale $\gamma_{p,q}$ exact en efficiënt te berekenen. In plaats van een operator op een Hilbertruimte te diagonaliseren die exponentieel groeit met de blokgrootte, brengen zij het probleem terug naar het vinden van de tweede grootste eigenwaarde van een matrix $\Xi$ van vaste dimensie $D^4$ (waarbij $D$ de MPS-bonddimensie is).
• De matrix $\Xi$ wordt geconstrueerd uit de transfermatrices van de MPS-tensor, specifiek met termen zoals $T_p$, $T_{p+q}$, en de pseudoinversie $T_{2p+q}^{-1}$.
• De uiteindelijke ondergrens wordt gegeven door $\Delta(H_N) \geq (1 - 2\gamma_{p,q})\Delta(\tilde{h}_{\tilde{\imath}})$.

Belangrijkste Bijdragen

• Exacte en Efficiënte Berekening van Overlaps: Het artikel biedt een methode om de cruciale grootheid in de martingale-methode (de overlap van lokale grondtoestanden) exact te berekenen. Dit wordt bereikt door het probleem te reduceren tot een eigenwaardeprobleem op een vaste dimensie, wat lineair schaalt met de blokgrootte en polynomiaal met de bonddimensie. Dit staat in contrast met eerdere benaderingen die ofwel zwakke grenzen boden of exponentiële middelen vereisten.
• Verfijnde Blocking-schema's: De auteurs generaliseren de blocking-procedure door alternerende blokgroottes ($p$ en $q$) en geoptimaliseerde gewichten toe te staan, wat meer controle biedt om de grenzen aan te scherpen.
• Verenigd Bewijs van Gappedness: De methode levert een aanzienlijk vereenvoudigd en verenigd bewijs dat parent Hamiltonians van elke "goed gedrag vertonende" (normale of blok-normale) MPS een kloof bezitten. Omdat de relevante operator $\Xi$ in een vaste einddimensionale ruimte leeft, kan de convergentie van de grens naar een niet-nul waarde naarmate de blokgroottes toenemen, rigoureus worden geanalyseerd.
• Toepasbaarheid op Degenerat Grondtoestanden: Het framework breidt zich natuurlijk uit naar blok-normale MPS, waarbij Hamiltonians met degenerat grondtoestanden (bijv. topologische fasen of symmetriebrekende fasen) zonder modificatie worden afgehandeld.

Resultaten
De methode werd getoetst aan de originele FNW-methode, de martingale-methode van Nachtergaele, en eindige-grootte criteria (Knabe, Gosset-Mozgunov) op verschillende modellen:

• AKLT Model: De methode produceerde aanzienlijk strakkere ondergrenzen dan de FNW-methode voor zowel Open (OBC) als Periodieke (PBC) randvoorwaarden. Voor PBC werd een grens van $\Delta \geq 0.2827$ verkregen, en voor OBC $\Delta \geq 0.2497$. Hoewel eindige-grootte criteria de methode overtroffen bij zeer grote blokgroottes voor AKLT, bood de tensornetwerk-aanpak superieure grenzen bij lagere computationele kosten en slaagde het in regimes waar andere methoden geen grens konden teruggeven.
• $Z_3$-XY Model: De methode leverde kwantitatieve grenzen in parameterregimes waar de Knabe-grens er niet in slaagde een kloof te detecteren (specifiek voor kleine deformatieparameters $t$). Het presteerde beter dan zowel de standaard martingale-methode als de Knabe-grens over een breed scala aan parameters.
• SU(3) Valence Bond Solids: De methode werd toegepast op SU(3)-symmetrische modellen, bewees dat deze een kloof hebben en leverde expliciete ondergrenzen.

Betekenis
Het artikel stelt dat de numeriek gemotiveerde aanpak twee hoofddoelen bereikt:

1. Kwantitatieve Verbetering: Het biedt aanzienlijk sterkere ondergrenzen op spectrale kloven vergeleken met bestaande technieken voor MPS parent Hamiltonians, en presteert vaak beter dan eindige-grootte criteria in specifieke regimes.
2. Conceptuele Vereenvoudiging: Het biedt een gestroomlijnd, rigoureus bewijs van het gapped karakter van parent Hamiltonians voor normale en blok-normale MPS. Door de kloofanalyse te reduceren tot een eigenwaardeprobleem in een vaste dimensie, vermijdt het bewijs de complexiteiten van eerdere argumenten en is het uniform toepasbaar op zowel unieke als degenerat grondtoestanden.

De auteurs benadrukken dat de methode zelfvoorzienend is en toepasbaar op algemene frustratievrije Hamiltonians waarvan de grondtoestand kan worden geparametriseerd door een MPS, wat het een veelzijdig instrument maakt voor de analyse van spectrale kloven in kwantumveeldeeltjelsystemen.