Translation symmetry-enforced long-range entanglement in mixed states

Dit artikel toont via een telargument aan dat translatiesymmetrie langeafstandsverstrengeling in gemengde toestanden dwingt, en laat specifiek zien dat het vaste punt van sterke-naar-zwakke spontane symmetriebreking niet kan worden voorgesteld als een mengsel van kortafstandsverstrengelde toestanden, ondanks het bestaan van symmetrische kortafstandsverstrengelde eigenstoestanden.

De kern

Het Grote Idee: Een Menigte die niet in een Kleine Kamer Past

Stel je een zeer lange rij mensen (een kwantumsysteem) voor die in een cirkel staan. Deze rij heeft een speciale regel: Translatiesymmetrie. Dit betekent dat als je iedereen vraagt om één stap naar rechts te doen, de rij er precies hetzelfde uitziet als daarvoor.

In de wereld van de kwantumfysica zijn wetenschappers geïnteresseerd in hoe "verstrengeld" deze mensen zijn.

• Korte-afstandsverstrengeling (SRE): Denk hierbij aan mensen die alleen hand in hand houden met hun directe buren. Het is makkelijk om deze toestand te bereiden; je zegt gewoon iedereen om de hand van de persoon naast zich vast te houden.
• Lange-afstandsverstrengeling (LRE): Dit is als een complex, onzichtbaar web dat iedereen in de cirkel met elkaar verbindt, ongeacht hoe ver ze uit elkaar staan. Je kunt dit niet creëren door buren gewoon hand in hand te laten houden; het vereist een veel complexere, globale coördinatie.

De Ontdekking van het Artikel:
De auteurs bewijzen een verrassend feit: Hoewel het lijkt alsof je een perfect gebalanceerde, symmetrische rij mensen kunt beschrijven met alleen simpele "hand-houdende-buren" (SRE) toestanden, kun je dat eigenlijk niet.

Er zijn niet genoeg simpele "hand-houdende-buren" toestanden om de hele "nul-impuls" kamer te vullen (de specifieke toestand waarin de rij perfect symmetrisch lijkt). Omdat de simpele toestanden opraken, moet de resterende toestand noodzakelijkerwijs het complexe, lange-afstandsverstrengelde type zijn.

Het "Aftel"-Argument: Waarom Simpele Toestanden Falen

Het artikel gebruikt een "aftelargument" om dit te bewijzen. Hier is de analogie:

Stel je voor dat je probeert een enorme, complexe muurschildering (de volledige ruimte van symmetrische toestanden) te schilderen met behulp van slechts een beperkte set simpele stempels (de simpele SRE-toestanden).

1. De Muurschildering is Enorm: Het aantal mogelijke symmetrische patronen groeit exponentieel naarmate de rij langer wordt. Het is als een bibliotheek met oneindig veel boeken.
2. De Stempels zijn Beperkt: Het aantal patronen dat je kunt maken met simpele "hand-houdende-buren" regels, groeit veel langzamer. Het is als het hebben van een klein doosje met stiften.
3. Het Mismatch: De auteurs hebben berekend dat je, ongeacht hoe vaak je je simpele stempels mengt en matcht, er simpelweg niet genoeg van hebt om de hele muurschildering te bedekken. Er is een enorm gat tussen wat je kunt maken met simpele regels en wat bestaat in de symmetrische wereld.

Omdat je het hele plaatje niet kunt bedekken met simpele stempels, moet het uiteindelijke plaatje (de "Maximaal Gemengde Toestand" van translatiesymmetrie) noodzakelijkerwijs een verborgen, complexe structuur bevatten die simpele stempels niet kunnen nabootsen. Deze verborgen structuur is Lange-afstandsverstrengeling.

Het "Sterk-naar-Zwak" Breken: Een Gebroken Klok

Het artikel bespreekt een concept genaamd "Sterk-naar-Zwak Spontane Symmetriebreking" (SWSSB).

• Sterke Symmetrie: Stel je een klok voor die perfect tikt. Elke tik is identiek.
• Zwakke Symmetrie: Stel je voor dat de klok kapot is, maar gemiddeld gezien lijkt het er nog steeds op dat hij tikt.

Het artikel toont aan dat wanneer een translatiesymmetrie "breekt" van sterk naar zwak (zoals die gebroken klok), de resulterende toestand niet zomaar een rommelige mix van simpele, gebroken klokken is. Het is een specifieke, complexe toestand die inherent verstrengeld is.

Je zou kunnen denken: "Als ik gewoon een hoop simpele, niet-verstrengelde toestanden door elkaar meng, zou ik een simpele gemengde toestand moeten krijgen." Het artikel zegt: Nee. Als je probeert simpele toestanden te mengen om dit specifieke symmetrische resultaat te creëren, zul je falen. De wiskunde bewijst dat de enige manier om dit specifieke resultaat te krijgen, is als het mengsel zelf fundamenteel complex (verstrengeld) is.

De "Onzichtbare" Verstrengeling

Hier is het meest subtiele deel van de ontdekking.

Normaal gesproken, wanneer we zeggen dat iets "lange-afstandsverstrengeld" is, verwachten we het te zien door te kijken hoe ver uit elkaar liggende delen van het systeem met elkaar praten (correlatiefuncties). Het is als twee mensen zien die kilometers van elkaar af fluisteren.

De Twist:
De auteurs tonen aan dat dit specifieke type verstrengeling onzichtbaar is voor standaardtests.

• Als je naar de rij kijkt en vraagt: "Fluisteren mensen ver uit elkaar met elkaar?", is het antwoord Nee.
• Als je naar de rij kijkt en vraagt: "Is het hele systeem een simpele mix van buren die hand in hand houden?", is het antwoord Nee.

Het is een "geestelijke" verstrengeling. Het bestaat vanwege de pure wiskundige onmogelijkheid om de ruimte te vullen met simpele toestanden, niet vanwege een duidelijk signaal over lange afstand. Het is als een puzzel waarbij de stukjes op een manier passen die van buitenaf willekeurig lijkt, maar van binnen een stijve, onbreekbare structuur is.

De "Tijd"-Kosten

Het artikel vermeldt ook dat het creëren van deze toestand moeilijk is.
Als je deze symmetrische toestand wilde bouwen, beginnend bij een simpele rij mensen, zou je een complex proces moeten uitvoeren. De auteurs bewijzen dat de tijd die het kost om deze toestand te bouwen, groeit met de wortel van de grootte van het systeem.

Denk hierbij aan het organiseren van een massale parade. Als je mensen alleen vertelt met hun buren te praten, duurt het even voordat de orde zich verspreidt. Maar om deze specifieke "perfect symmetrische" orde te krijgen, kun je niet alleen vertrouwen op buren; je hebt een globale coördinatie nodig die lang duurt om zich over de hele rij te verspreiden.

Samenvatting

1. Het Probleem: Kunnen we een perfect symmetrisch kwantumsysteem beschrijven met alleen simpele, lokale verbindingen?
2. Het Antwoord: Nee. Er zijn te veel symmetrische mogelijkheden en niet genoeg simpele verbindingen om ze allemaal te dekken.
3. Het Gevolg: De symmetrische toestand moet "Lange-afstandsverstrengeld" zijn.
4. De Vangst: Deze verstrengeling is "subtiel". Je kunt het niet detecteren door te zoeken naar signalen over lange afstand; je weet alleen dat het er is omdat de wiskunde bewijst dat simpele toestanden niet genoeg zijn om het te bouwen.

Kortom: De natuur dwingt een complex, onzichtbaar web van verbindingen af in symmetrische systemen, zelfs wanneer je probeert ze op te bouwen uit simpele, lokale onderdelen.

Technische samenvatting

Technische Samenvatting: Translatie-symmetrie-gedwongen Lange-afstandsverstrengeling in Gemengde Toestanden

Probleemstelling
Recent onderzoek naar open kwantumsystemen heeft aangetoond dat gemengde toestanden verstrengelingspatronen vertonen die verschillen van die van zuivere toestanden. Een gemengde toestand wordt gedefinieerd als lang-afstandsverstrengeld (LRE) als deze niet kan worden benaderd als een mengsel van "gemakkelijk te prepareren" kort-afstandsverstrengelde (SRE) toestanden. Hoewel bekend is dat symmetrieën verstrengeling in gemengde toestanden kunnen afdwingen, blijft de specifieke rol van translatiesymmetrie genuanceerd.

Voor on-site symmetrieën (waarbij de symmetrie-operator lokaal op elke site werkt), kan de maximaal gemengde toestand in een symmetriesector (MMIS) doorgaans worden opgespannen door symmetrische producttoestanden, waardoor deze SRE is. Omgekeerd dwingen sterke symmetriebeperkingen bij anomalie-symmetrieën de MMIS om LRE te zijn. Translatiesymmetrie neemt een tussenpositie in: het staat symmetrische producttoestanden toe (in de sector met nul impuls), maar toestanden met niet-nul impuls moeten LRE zijn. De centrale vraag die dit werk adresseert, is of de sector met nul impuls van translatiesymmetrie kan worden opgespannen door SRE-toestanden. Specifiek: vertoont de vastpuntstoestand die sterke-naar-zwakke spontane symmetriebreking (SWSSB) van translatiesymmetrie voorstelt, LRE, en zo ja, is deze verstrengeling detecteerbaar via standaard correlatiefuncties?

Methodologie
De auteurs maken gebruik van een telargument om de dimensionaliteit van de ruimte van alle translatie-invariante toestanden te vergelijken met de dimensionaliteit van de deelruimte die wordt opgespannen door translatie-invariante SRE-toestanden (specifiek, die welke voorbereid kunnen worden door kwantumcircuits met diepte $d$).

1. Definities en Opzet: De studie richt zich op 1D spinketens met lengte $n$, lokale dimensie $q$ en periodieke randvoorwaarden. Het object van studie is $\rho_{TI}$, de maximaal gemengde toestand van translatie-invariante (nul-impuls) toestanden.
2. Benadering via Circuitdiepte: De auteurs maken gebruik van het feit dat tijd-evolutie gedurende $\tau$ onder een begrenste, lokaal in de ruimte Hamiltoniaan goed kan worden benaderd door een kwantumcircuit met diepte $d \sim O(\tau \text{polylog}(n))$. Om te bewijzen dat $\rho_{TI}$ LRE is, volstaat het om aan te tonen dat deze niet goed kan worden benaderd door "toestanden met diepte $d$" voor enige polynomaal kleine $d$.
3. Dimensionale Analyse van SRE-toestanden:
   • De auteurs analyseren eerst Translatie-Invariante Matrix Product Toestanden (TIMPS). Zij tonen aan dat de dimensie van de opspanning van TIMPS met bindingsdimensie $d$ polynomaal groeit met $n$ (specifiek als een homogeen polynoom van graad $n$ in de tensorparameters).
   • Zij generaliseren dit vervolgens tot translatie-invariante circuits met diepte $d$. Met behulp van een "snijargument" ontleden zij een translatie-invariante toestand gegenereerd door een circuit met diepte $d$ in blokken van grootte $2d+1$. Door deze blokken te behandelen als effectieve fysische sites, mappingen zij de toestand naar een TIMPS-structuur.
   • Cruciaal leiden zij een bovengrens af voor de dimensie van de opspanning van deze translatie-invariante toestanden met diepte $d$, aangeduid als $D_{SRE}(n, d, q)$. Deze schaalgrens is ruwweg een polynoom in $n$ met een graad evenredig met $d^2$.
4. Vergelijking met Totale Ruimte: De dimensie van de volledige ruimte van translatie-invariante toestanden, $D_{TI}(n, q)$, groeit exponentieel met $n$ (gerelateerd aan het aantal $q$-aire kralen).
5. Trace-afstandsargument: Met behulp van een "Tails Lemma" relateren de auteurs de trace-afstand tussen $\rho_{TI}$ en enig mengsel van SRE-toestanden aan de projectie van $\rho_{TI}$ op de deelruimte van toestanden met diepte $d$. Aangezien de dimensie van de SRE-deelruimte exponentieel kleiner is dan de totale ruimte voor $d \ll \sqrt{n}$, is de projectie exponentieel klein, wat impliceert dat de trace-afstand groot is.

Belangrijkste Bijdragen en Resultaten

• Stelling 1 (Hoofdresultaat): De maximaal gemengde toestand van translatie-invariante toestanden, $\rho_{TI}$, wordt niet goed benaderd door enig mengsel van zuivere toestanden die voorbereid kunnen worden door tijd-evolutie gedurende $\tau$ vanuit een producttoestand via een Hamiltoniaan met reikwijdte $r$, tenzij $\tau = \Omega(\sqrt{n}/\text{polylog}(n))$.
• Mechanisme van Verstrengeling: Het artikel vestigt een nieuw mechanisme voor het afdwingen van LRE in gemengde toestanden: een "mismatch" tussen het volume van de ruimte van nul-impulstoestanden en het volume van de ruimte die wordt opgespannen door SRE nul-impulstoestanden. Hoewel er symmetrische producttoestanden bestaan, zijn deze in aantal ontoereikend om de nul-impulssector op te spannen.
• Subtiliteit van Verstrengeling: De auteurs tonen aan dat deze LRE "subtiel" is. In tegenstelling tot andere vormen van LRE wordt deze niet gedetecteerd door lange-afstands verbonden correlatiefuncties. Het artikel bewijst dat $\rho_{TI}$ exponentieel afnemende verbonden correlatiefuncties heeft voor elke lokale operator, wat betekent dat standaard diagnostische middelen voor LRE (zoals niet-verdwijnende lange-afstandscorrelaties) deze verstrengeling niet detecteren.
• Context van Thermalisatie: De auteurs identificeren dat deze SWSSB-toestanden op natuurlijke wijze ontstaan als stationaire toestanden van niet-lokale kwantumkanalen, specifiek in de context van thermaliserende Floquet-dynamica en dual-unitaire circuits, waarbij de stationaire toestanden worden opgespannen door temporele verschuivingsoperatoren.

Betekenis en Claims
Het artikel claimt een onderscheiden klasse van LRE gemengde toestanden te identificeren die uitsluitend worden afgedwongen door translatiesymmetrie, welke vrij is van anomalieën en symmetrische producttoestanden toestaat. Dit daagt de intuïtie uit dat het bestaan van symmetrische producttoestanden impliceert dat de symmetriesector door hen kan worden opgespannen.

De betekenis ligt in:

1. Herschepping van LRE in Gemengde Toestanden: Het toont aan dat LRE kan bestaan zonder sterke anomalieën of niet-abeliaanse symmetrieën, maar juist voortkomt uit de geometrische beperkingen van translatiesymmetrie op de dimensie van de Hilbertruimte.
2. Ondetecteerbaarheid: Het benadrukt een vorm van verstrengeling die onzichtbaar is voor lokale correlatiefuncties, wat suggereert dat huidige diagnostische hulpmiddelen voor verstrengeling in gemengde toestanden ontoereikend kunnen zijn voor translatie-invariante systemen.
3. Verbinding met SWSSB: Het biedt een rigoureuze karakterisering van de vastpuntstoestand voor sterke-naar-zwakke spontane symmetriebreking van translatiesymmetrie, en bewijst dat deze inherent lang-afstandsverstrengeld is.

De auteurs blijven bescheiden wat betreft bredere implicaties, en merken op dat hoewel hun bewijzen in 1D zijn, deze generaliseren naar hogere dimensies. Zij suggereren dat toekomstig werk de verbinding tussen dit telargument en de "on-sitebaarheid" van niet-inverteerbare symmetrieën kan verkennen, maar stellen geen specifieke experimentele realisaties voor buiten de theoretische context van Floquet-thermalisatie.