The local characterization of global tensor network eigenstates

Titel: De lokale karakterisering van globale tensor-netwerk eigenstaten

Auteurs: José Garre Rubio, András Molnár, Norbert Schuch en Frank Verstraete.

---

1. Het Probleem

Het begrijpen van het spectrum en de eigenstaten van kwantum-systemen, met name die beschreven door lokale Hamiltoniaans (som van lokale interacties), is fundamenteel voor gecondenseerde materie-fysica en kwantuminformatie.

• Computational Hardheid: Het oplossen van eigenwaardeproblemen voor lokale Hamiltoniaans is over het algemeen computationeel moeilijk (QMA-hard). Directe oplossingen zijn voor grote systemen onuitvoerbaar.
• De Rol van MPS: Matrix Product States (MPS) zijn een krachtige klasse van toestanden die de "area law" voor verstrengeling respecteren en de basis vormen voor algoritmen zoals DMRG.
• De Gaten in de Theorie: Hoewel het "folklore" is dat lokale constraints kunnen worden gebruikt om te bepalen of een MPS een eigenstaat is van een lokale operator, ontbrak er een strikt, wiskundig bewijs voor de noodzakelijkheid. Bestaande methoden gebruikten vaak een ad hoc aanname (dat een lokale vergelijking voldoende is), maar het ontbrak aan een "als en slechts als" (if and only if) karakterisering. Dit beperkte het vermogen om systematisch exacte oplossingen te vinden voor een breed scala aan problemen, zoals gedreven systemen, dissipatieve toestanden en symmetrieën.

2. Methodologie

De auteurs focussen zich op injectieve MPS (Matrix Product States). Injectieve MPS zijn centraal in de theorie van tensor-netwerken omdat ze:

1. Orthogonaal zijn in de thermodynamische limiet.
2. Unieke grondtoestanden zijn van lokale, gapped Hamiltoniaans.
3. Normaliseerbaar zijn in de thermodynamische limiet.

De Kernaanpak:
De auteurs leiden een noodzakelijke en voldoende lokale vergelijking af. In plaats van de actie van een globale operator $O_N$ (som van $N$ lokale termen) op de volledige keten te analyseren, reduceren ze het probleem tot de actie van een enkele lokale term op een blok van $k$ aangrenzende MPS-tensors.

Ze gebruiken de eigenschap van injectiviteit om de actie van een operator in een regio $\Lambda$ te vertalen naar een actie op de fysieke randen van die regio. Dit leidt tot een "telescopische som" structuur.

3. Belangrijkste Bijdrage: De Hoofdstelling

De kern van het artikel is de volgende stelling:

Laat $O_N = \sum_{i=1}^N O_i$ een operator zijn die de som is van translaties van een $k$-lokale operator $O_i$. Een injectieve MPS $|\psi_N\rangle$ (gedefinieerd door matrices $A_i$ met injectiviteitslengte $L$) is een exacte eigenstaat van $O_N$ met eigenwaarde $E_N$ (en dus energie per site $\epsilon = E_N/N$) dan en slechts dan als er matrices $B_{i_1...i_k}$ bestaan die voldoen aan de volgende lokale vergelijking:

$$\sum_{j\gamma} (O_{i_0...i_k}^{j_0...j_k} - \epsilon) A_{j_0}^{\alpha\gamma_1} \cdots A_{j_k}^{\gamma_k\beta} = \sum_{\gamma} A_{i_0}^{\alpha\gamma} B_{i_1...i_k}^{\gamma\beta} - \sum_{\gamma} B_{i_0...i_{k-1}}^{\alpha\gamma} A_{i_k}^{\gamma\beta}$$

Grafische interpretatie:
De actie van de operator $O$ (min de energie $\epsilon$) op een blok van $k$ tensors $A$ is gelijk aan een verschil van twee termen die een "hulp-tensor" $B$ bevatten. Dit creëert een telescopische som: wanneer men dit over de hele keten optelt, heffen de interne $B$-termen elkaar op, en blijven alleen randtermen over, wat de eigenwaardevergelijking garandeert.

Belangrijke nuances:

• De vergelijking is onafhankelijk van de systeemgrootte $N$. Als het geldt voor één $N$, geldt het voor alle $N$.
• De operator $O$ hoeft niet Hermitisch te zijn (geldt ook voor Lindbladians).
• De tensor $B$ is niet uniek; er is een vrijheidsgraad ($B \to B + \lambda A^{\otimes k}$).

4. Resultaten en Toepassingen

De auteurs tonen aan dat deze lokale karakterisering een unificerend raamwerk biedt voor diverse fysieke scenario's:

1. Tijdevolutie (Schrödinger-vergelijking): Het vinden van MPS-oplossingen voor $H|\psi\rangle = i\partial_t |\psi\rangle$. De tijdsafgeleide van de MPS-tensor kan worden uitgedrukt als een lokale operator, wat de theorie toepasbaar maakt.
2. Continue Symmetrieën van Dichtematrix-operatoren: Het karakteriseren van zwakke en sterke symmetrieën van Matrix Product Density Operators (MPDO).
3. MPO-Symmetrieën van Hamiltoniaans: Het vinden van Matrix Product Operator symmetrieën ($[H, O]=0$).
   • Specifiek voorbeeld: De auteurs passen dit toe op het XXZ-model. Ze herleiden de kwantum-groep symmetrieën ($SL(2)_q$) van het model puur uit deze lokale vergelijking, waarbij ze de commutatorrelaties van de matrices $a,b,c,d$ en de parameter $q$ afleiden.
4. Steady States van Lindbladians: Het vinden van stationaire toestanden ($\mathcal{L}(\rho)=0$) voor dissipatieve systemen.
5. Numerieke Algoritmen (VUMPS): Ze geven een theoretische rechtvaardiging voor het Variational Uniform Matrix Product State (VUMPS) algoritme. De vaste punten van VUMPS voldoen aan een "gerelaxeerde" versie van deze telescopische identiteit (projectie op het raakvlak).
6. Generalisaties:
   • Niet-translatie-invariantie: De theorie werkt ook voor systemen met een eenheidscel groter dan 1 (bijv. scar-toestanden in het PXP-model).
   • 2D Systemen (PEPS): De stelling wordt uitgebreid naar Projected Entangled Pair States (PEPS) op vierkante roosters. Een injectieve PEPS is een eigenstaat van een plaquette-operator dan en slechts dan als er twee hulp-tensors ($X$ en $Y$) bestaan die een vergelijkbare lokale vergelijking bevredigen.

5. Significantie en Conclusie

Deze paper levert een fundamentele doorbraak in de analytische theorie van tensor-netwerken:

• Van Numeriek naar Analytisch: Het transformeert MPS van een puur numeriek hulpmiddel naar een robuust analytisch raamwerk. Het biedt een rigoureuze basis om exacte oplossingen te zoeken en te classificeren.
• Unificatie: Het verbindt ogenschijnlijk verschillende problemen (scar-toestanden, steady states, symmetrieën) onder één enkele lokale wiskundige structuur.
• Toekomstperspectief: De resultaten openen de weg voor het ontwerpen van betere optimalisatie-algoritmen voor 2D-systemen (PEPS) en het bestuderen van topologische fases en symmetrie-geschermde fases in hogere dimensies.

Samenvattend bewijzen de auteurs dat de globale eigenschap "eigenstaat zijn van een lokale operator" volledig en strikt wordt bepaald door een lokale vergelijking op een klein blok van tensors, wat een krachtig nieuw instrument biedt voor de theoretische en numerieke kwantumfysica.