Phase distinction of Gibbs states without symmetry breaking: topological invariants of the 3D toric code

Technische Samenvatting: Faseonderscheid van Gibbs-toestanden zonder Symmetriebreking

Probleemstelling
De classificatie van kwantumfasen bij eindige temperatuur ($T > 0$) is minder goed begrepen dan bij nultemperatuur. Waar nultemperatuurfasen worden onderscheiden door topologische orde of symmetry-protected topological (SPT) kenmerken, wordt vaak aangenomen dat thermische toestanden scherpe topologische onderscheidend vermogen verliezen door thermische fluctuaties. Een centrale vraag is of er een scherpe fasegrens kan bestaan tussen een topologisch geordende fase en een triviale fase bij $T > 0$ zonder te vertrouwen op de spontane breking van een exacte symmetrie (conventioneel of hogere-vorm symmetrie).

Bestaande kaders voor fase-equivalentie bij $T > 0$ zijn onderwerp van debat. Terwijl zuivere grondtoestanden worden geclassificeerd door finite-depth local unitaries (FDLU), worden gemengde toestanden over het algemeen geclassificeerd door twee-richting connectiviteit via quasi-lokale kanalen (QLC's). Deze relatie kan echter te grof zijn, waarbij gedecoherente topologische toestanden mogelijk worden geïdentificeerd met triviale producttoestanden. De auteurs onderzoeken de 3D $\mathbb{Z}_2$ bosonische toric code in een generiek magnetisch veld, een systeem waarin elke exacte hogere-vorm symmetrie expliciet wordt gebroken door het veld, maar waar een niet-terminerende fasegrens wordt verondersteld, die puur wordt beschermd door geometrische beperkingen (de Bianchi-identiteit).

Methodologie
De auteurs maken gebruik van een combinatie van perturbatieve stabiliteitsanalyse en grootschalige continue-tijd Quantum Monte Carlo (QMC) simulaties met behulp van het worldline-algoritme (geïmplementeerd via de ParaToric package).

1. Model: De studie richt zich op het 3D $\mathbb{Z}_2$ toric code Hamiltoniaan op een kubisch rooster met periodieke randvoorwaarden, geperturbeerd door transversale ($h_x$) en longitudinale ($h_z$) magnetische velden. Deze velden breken respectievelijk de magnetische twee-vorm symmetrie en de elektrische één-vorm symmetrie expliciet.
2. Diagnostica:
   • Conventionele Probes: De auteurs demonstreren eerst dat standaard ordeparameters individueel falen: de kale Wilson-loop is blind voor de elektrische transitie, de membraanoperator is glad over thermische transities, en de Fredenhagen-Marcu string-ordeparameter is blind voor magnetische en thermische grenzen.
   • Topologische Verstrengelingsentropie ($\gamma$): Zij berekenen de topologische verstrengelingsentropie met behulp van de Levin-Wen vier-regio constructie (specifiek het "donut" of annulus-schema om de flux-sector te isoleren). Zij gebruiken de Rényi-2 entropie ($S^{(2)}$) als estimator, gerechtvaardigd door de equivalentie met de von Neumann entropie voor deze topologische invariant in de relevante limieten.
   • Gedecodeerde Wilson-loop Correlatie ($f_W$): Om de beperkingen van $\gamma$ als een QLC-invariant aan te pakken, introduceren zij een nieuwe ordeparameter, $f_W$. Dit behelst een "decode-then-read" protocol:
     • Flux Cleaning: Een decoderingskanaal $C$ wordt toegepast op de thermische toestand om deze te projecteren op de flux-vrije sector door flux-syndromen te meten en een minimum-weight perfect matching (MWPM) herstel toe te passen.
     • Correlatie: $f_W$ wordt gedefinieerd als de verbonden correlatie van de gedecodeerde Wilson-loops: $f_W = \langle \tilde{W}_1 \tilde{W}_2 \rangle - \langle \tilde{W}_1 \rangle \langle \tilde{W}_2 \rangle$.
     • Holonomie Correctie: De één-puntsfunctie $\langle \tilde{W} \rangle$ wordt geëvalueerd via thermodynamische integratie van een membraan-twist om rekening te houden met holonomie-sectoren, waardoor $f_W$ correct naar nul gaat in de Higgs/triviale fase.

Belangrijkste Bijdragen en Resultaten

1. Stabiliteit van Topologische Verstrengelingsentropie ($\gamma$):

   • De auteurs tonen perturbatief (tot alle orden in het veld) en bevestigen numeriek dat $\gamma$ gekwantiseerd blijft op $\ln 2$ door de gehele topologische fase, zelfs onder symmetriebrekende velden.
   • $\gamma$ stort scherp in naar 0 over de thermische transitie ($T_c$) en de door het veld gedreven transities ($h_x^c, h_z^c$).
   • Beperking: Het artikel demonstreert dat $\gamma = \ln 2$ niet een quasi-lokaal-kanaal invariant is. Een kanaal met constante diepte kan een toestand genereren met $\gamma = \ln 2$ uit een triviale producttoestand. Daarom kan $\gamma$ een echte topologische Gibbs-toestand niet onderscheiden van een "spurieuze" topologische toestand die door een ondiep circuit is gecreëerd.

2. De Gedecodeerde Wilson-loop Correlatie ($f_W$) als een Robuuste Invariant:

   • De auteurs introduceren $f_W$ als de eerste temperatuur-afhankelijke, kanaal-invariante ordeparameter voor deze fase.
   • Kwantisering: $f_W$ kwantiseert naar 1 in de topologische fase en 0 in de triviale fase als $L \to \infty$.
   • Invariantie: In tegenstelling tot $\gamma$ is $f_W$ invariant onder quasi-lokale kanalen. Het onderscheidt de thermische Gibbs-toestand (die lange-afstands verbonden correlaties heeft) van de constante-diepte afbeelding van een triviale producttoestand (die dezelfde bulk $\gamma$ heeft maar de verbonden correlatie mist).
   • Fasegrenzen Mapping: $f_W$ brengt de volledige fasediagram succesvol in kaart, waarbij een niet-terminerende grens wordt geïdentificeerd die de topologische en triviale fasen scheidt. De transitie wordt gevonden te behoren tot de 3D Ising universaliteitsklasse, met kritische punten verschoven door de velden (bijv. $T_c \approx 1.24$ bij $(h_x, h_z) = (0.5, 0.1)$).

3. Geometrisch Beschermingsmechanisme:

   • De persistentie van de fasegrens zonder exacte symmetriebreking wordt toegeschreven aan de Bianchi-identiteit ($\prod_{p \in \partial c} \hat{B}_p \equiv 1$). Deze exacte operatoridentiteit verbiedt puntvormige magnetische flux-monopolen, waardoor flux alleen kan prolifereren via gesloten lussen. Deze geometrische beperking zorgt ervoor dat de transitie scherp en niet-terminerend blijft, zelfs wanneer alle exacte hogere-vorm symmetrieën worden gebroken.

Betekenis en Claims
Het artikel beweert een concreet voorbeeld te hebben vastgesteld van een eindige-temperatuur fase-onderscheid dat aan twee voorwaarden voldoet: (C1) de fasen breken geen exacte symmetrie van de Hamiltoniaan, en (C2) de fasegrens is niet-terminerend.

• Verfijning van Faseclassificatie: Het werk verfijnt de classificatie van gemengde toestanden door aan te tonen dat hoewel topologische verstrengelingsentropie een nuttige thermodynamische diagnostiek is, deze onvoldoende is voor het definiëren van gemengde-toestand fasen onder quasi-lokale kanaal-equivalentie. De introductie van $f_W$ biedt een noodzakelijke "herstelbaarheid" ordeparameter die de globale logische correlatie vangt die beschermd wordt door de lichtkegel (Lieb-Robinson) grens.
• Aard van de Orde: De auteurs verduidelijken dat de overlevende orde in de bosonische 3D toric code bij $T > 0$ de herstelbaarheid van een klassieke bit (de magnetische flux-lus sector) is, en niet een beschermde kwantum qubit. Het systeem is kort-bereik verstrengeld en staat een klassieke-mengsel decompositie toe, wat het onderscheidt van de fermionische toric code die echte lange-afstandsverstrengeling behoudt bij eindige temperatuur.
• Geometrische versus Symmetrie-bescherming: De studie positioneert "geometrie-gedreven" transities als een distinct paradigma van symmetriebrekingstransities. De fasegrens wordt vastgezet door de geometrische Bianchi-beperking, waarbij elke emergente hogere-vorm symmetrie een bijproduct is in plaats van de microscopische oorsprong van de bescherming.

Samenvattend biedt het artikel een rigoureuze thermodynamische en informatie-theoretische karakterisering van de 3D toric code's eindige-temperatuur fase, waarbij wordt vastgesteld dat topologische orde kan voortbestaan bij $T > 0$ zonder exacte symmetrieën, mits de bescherming geometrisch is, en door het identificeren van $f_W$ als de robuuste invariant die vereist is om dergelijke fasen binnen het quasi-lokale kanaal kader te definiëren.