Characterizing Long-Range Entanglement in a Mixed State Through an Emergent Order on the Entangling Surface

Technische Samenvatting: Karakterisering van Lange-afstandsverstrengeling in een Gemengde Toestand via een Emergente Orde op het Verstrengelingsoppervlak

Probleemstelling
Hoewel sterk-interagerende kwantumfasen bij absolute nultemperatuur universele patronen van lange-afstandsverstrengeling (topologische orde) vertonen die nuttig zijn voor kwantumgeheugen, functioneren de meeste dergelijke fasen niet als zelfcorrigerende geheugens bij temperaturen boven nul, vanwege thermische fluctuaties. Een centrale open vraag is hoe de persistentie van lange-afstandsverstrengeling in thermische gemengde toestanden gekarakteriseerd kan worden en hoe deze verstrengeling zich gedraagt tijdens thermische faseovergangen. Specifiek is het onduidelijk of de "topologische verstrengelingsnegativiteit" (een maat voor verstrengeling in gemengde toestanden) een universele diagnose blijft voor topologische orde bij eindige temperatuur, en hoe deze evolueert wanneer thermische fluctuaties de orde vernietigen.

Methodologie
De auteurs onderzoeken $Z_2$ topologische orde (torische code) in ruimtelijke dimensies $d=2, 3, 4$ bij eindige temperatuur. De kernmethodologie omvat:

1. Partiële Transpositie en Vreemde Correlatoren: Zij analyseren de verstrengelingsnegativiteit ($E_N$) door de partiële transpositie van de thermische dichtheidsmatrix $\rho$ te nemen met betrekking tot een subsysteem $A$. Zij tonen aan dat het spectrum van de partiële getransponeerde matrix $\rho^{T_A}$ kan worden afgebeeld op "vreemde correlatoren" $\langle + | \mathcal{O} | \psi \rangle$, waarbij $|+\rangle$ een symmetrische triviale toestand is en $|\psi\rangle$ een emergente toestand die gelokaliseerd is op de grens van de verstrengelingsbipartitie.
2. Emergente SPT-Orde: Zij identificeren dat de toestand $|\psi\rangle$ op het verstrengelingsoppervlak een Symmetrie-geschermde Topologische (SPT) orde vertoont. De symmetrieën die deze SPT-orde beschermen, zijn emergent en geërfd van de gauge-beperkingen van de bulk-topologische orde (bijvoorbeeld behoud van lading en flux).
3. Afbeelding op Statistische Mechanica: Door een eindige temperatuur in te voeren, tonen de auteurs aan dat de thermische dichtheidsmatrix overeenkomt met de emergente SPT-toestand die wordt beïnvloed door een symmetriebrekend veld. Zij brengen de berekening van het negativiteitsspectrum in verband met correlatiefuncties in klassieke statistische modellen (specifiek Ising-modellen en Ising-gaastheorieën) gedefinieerd op het verstrengelingsoppervlak.
4. Replica-truc: Voor gevallen waarbij bulk-thermische fluctuaties een rol spelen, maken zij gebruik van een replica-truc ($n \to 1$ limiet van $\text{tr}[(\rho^{T_A})^n]$) om de negativiteit af te leiden, en brengen deze in verband met geanneelde gemiddelden over bulk-fluctuaties.

Belangrijkste Bijdragen en Resultaten

• Verbinding tussen Gemengde-Toestandsverstrengeling en SPT-Stabiliteit: Het artikel vestigt een directe correspondentie waarbij de robuustheid van lange-afstandsverstrengeling in een thermische topologische toestand equivalent is aan de stabiliteit van een emergente SPT-orde op het verstrengelingsoppervlak tegen symmetriebrekende verstoringen (thermische velden).
• Dimensie-afhankelijkheid en Orde bij Eindige Temperatuur:
  • 2D Torische Code: De emergente SPT-orde op de 1D-grens wordt beschermd door een $Z_2 \times Z_2$ symmetrie. Deze orde wordt echter onmiddellijk vernietigd door elke eindige temperatuur (symmetriebrekend veld). Bijgevolg verdwijnt de topologische verstrengelingsnegativiteit ($E_{topo} = 0$) voor elke $T > 0$, wat consistent is met het bekende gebrek aan topologische orde bij eindige temperatuur in 2D.
  • 3D Torische Code (Puntachtige excitaties verboden): Wanneer puntachtige ladingsexcitaties worden verboden (limiet $\lambda_A \to \infty$), wordt de emergente SPT-orde op de 2D-grens beschermd door een $Z_2$ 0-vorm $\times$ $Z_2$ 1-vorm symmetrie. De 1-vorm symmetrie beschermt de SPT-orde tegen zwakke symmetriebrekende velden. De auteurs leiden een exacte uitdrukking af voor de negativiteit, waaruit blijkt dat deze gerelateerd is aan de vrije energie van een 2D klassiek Ising-model. Een "ontstrengelende" faseovergang treedt op bij een eindige kritieke temperatuur $T_c$, waarbij $E_{topo}$ springt van $\log 2$ (lang-afstandsverstrengeld) naar $0$ (kort-afstandsverstrengeld). Deze overgang behoort tot de 2D Ising-universaliteitsklasse.
  • 4D Torische Code: De emergente SPT-orde op de 3D-grens wordt beschermd door twee $Z_2$ 1-vorm symmetrieën. De auteurs tonen aan dat het negativiteitsspectrum wordt afgebeeld op een 3D Ising-gaastheorie gekoppeld aan materie. De deconfinement-confinement overgang van deze gaastheorie komt overeen met het verlies van lange-afstandsverstrengeling. De SPT-orde blijft robuust tot een eindige kritieke temperatuur, wat topologische orde bij eindige temperatuur mogelijk maakt.
• Universele Schaling en Fasediagrammen: De auteurs leiden universele schalingsvormen af voor de topologische negativiteit in de buurt van het kritieke punt (bijvoorbeeld $E_{topo} \sim \log(1 + e^{-L/\xi})$). Zij construeren schematische fasediagrammen (Fig. 2) die illustreren dat lange-afstandsverstrengeling kan blijven bestaan als de bulk topologisch geordend is ($T_{bulk} < T_{bulk, c}$) en de grenstemperatuur onder een kritieke waarde ligt, of als de bulk-orde zelf wordt vernietigd.

Betekenis en Beweringen
Het artikel claimt een nieuw theoretisch kader te bieden voor het begrijpen van topologische orde bij eindige temperatuur. Door de stabiliteit van verstrengeling in gemengde toestanden te koppelen aan de stabiliteit van emergente SPT-ordes op verstrengelingsoppervlakken, verklaren de auteurs waarom bepaalde topologischeordes (zoals de 4D torische code of de 3D torische code met verboden ladingen) kunnen overleven bij eindige temperaturen terwijl anderen dat niet kunnen. Het werk suggereert dat de door thermische fluctuaties gedreven "ontstrengelende" overgang fundamenteel een overgang is van een emergente SPT-fase naar een triviale fase.

De auteurs stellen expliciet dat hun karakterisering geldt voor $Z_n$ topologischeordes en bepaalde fractonordes (bijvoorbeeld X-cube en Haah's code), waarbij de partiële transpositie SPT-ordes induceert die worden beschermd door subsysteem- of fractale symmetrieën. Zij erkennen dat het gedrag van negativiteit over overgangen waarbij de hele bulk-topologische orde wordt vernietigd, een open vraag blijft, en dat de toepasbaarheid op algemene topologischeordes buiten $Z_n$ en fractons onderwerp is voor toekomstig werk. Het artikel stelt geen experimentele realisaties voor, maar biedt een rigoureuze theoretische diagnose voor verstrengeling in gemengde toestanden.