Translation symmetry-enforced long-range entanglement in mixed states

Dieser Artikel zeigt mittels eines Zählarguments, dass Translationssymmetrie langreichweitige Verschränkung in gemischten Zuständen erzwingt, indem er insbesondere nachweist, dass der Fixpunkt des spontanen Symmetriebruchs von stark zu schwach nicht als Mischung kurzreichweitig verschränkter Zustände dargestellt werden kann, obwohl symmetrische kurzreichweitig verschränkte Eigenzustände existieren.

Das Wesentliche

Die große Idee: Eine Menge, die nicht in einen kleinen Raum passt

Stellen Sie sich eine sehr lange Schlange von Menschen (ein Quantensystem) vor, die in einem Kreis steht. Diese Schlange folgt einer speziellen Regel: Translationssymmetrie. Das bedeutet, wenn Sie jeden auffordern, einen Schritt nach rechts zu gehen, sieht die Schlange exakt genauso aus wie zuvor.

In der Welt der Quantenphysik interessieren sich Wissenschaftler dafür, wie „verschränkt" diese Menschen sind.

• Kurzreichweitige Verschränkung (SRE): Stellen Sie sich dies so vor, dass sich die Menschen nur mit ihren unmittelbaren Nachbarn die Hände halten. Es ist einfach, diesen Zustand herzustellen; Sie sagen einfach jedem, er soll sich die Hand des Nachbarn halten.
• Langreichweitige Verschränkung (LRE): Dies ist wie ein komplexes, unsichtbares Netz, das alle im Kreis verbindet, egal wie weit sie voneinander entfernt sind. Man kann diesen Zustand nicht einfach dadurch erzeugen, dass Nachbarn sich die Hände halten; es erfordert eine viel komplexere, globale Koordination.

Die Entdeckung des Papers:
Die Autoren beweisen eine überraschende Tatsache: Obwohl es den Anschein hat, als könnte man eine perfekt ausgeglichene, symmetrische Schlange von Menschen nur mit einfachen „Nachbar-halten"-Zuständen (SRE) beschreiben, können Sie das tatsächlich nicht.

Es gibt nicht genug einfache „Nachbar-halten"-Zustände, um den gesamten „Null-Impuls"-Raum (den spezifischen Zustand, in dem die Schlange perfekt symmetrisch aussieht) zu füllen. Da die einfachen Zustände ausgehen, muss der verbleibende Zustand der komplexe, langreichweitig verschränkte Typ sein.

Das „Zähl"-Argument: Warum einfache Zustände versagen

Das Paper verwendet ein „Zählargument", um dies zu beweisen. Hier ist die Analogie:

Stellen Sie sich vor, Sie versuchen, ein riesiges, komplexes Wandgemälde (den vollständigen Raum symmetrischer Zustände) mit nur einer begrenzten Auswahl einfacher Stempel (den einfachen SRE-Zuständen) zu malen.

1. Das Wandgemälde ist riesig: Die Anzahl der möglichen symmetrischen Muster wächst exponentiell, je länger die Schlange wird. Es ist wie eine Bibliothek mit unendlich vielen Büchern.
2. Die Stempel sind begrenzt: Die Anzahl der Muster, die Sie mit einfachen „Nachbar-halten"-Regeln erzeugen können, wächst viel langsamer. Es ist wie ein kleiner Kasten mit Buntstiften.
3. Die Diskrepanz: Die Autoren haben berechnet, dass Sie, egal wie oft Sie Ihre einfachen Stempel mischen und kombinieren, einfach nicht genug davon haben, um das gesamte Wandgemälde zu bedecken. Es klafft eine riesige Lücke zwischen dem, was Sie mit einfachen Regeln machen können, und dem, was in der symmetrischen Welt existiert.

Da Sie das gesamte Bild nicht mit einfachen Stempeln abdecken können, muss das endgültige Bild (der „Maximal gemischte Zustand" der Translationssymmetrie) eine verborgene, komplexe Struktur enthalten, die einfache Stempel nicht replizieren können. Diese verborgene Struktur ist Langreichweitige Verschränkung.

Der „Stark-zu-Schwach"-Bruch: Eine kaputte Uhr

Das Paper diskutiert ein Konzept namens „Stark-zu-Schwach Spontane Symmetriebrechung" (SWSSB).

• Starke Symmetrie: Stellen Sie sich eine Uhr vor, die perfekt tickt. Jeder Takt ist identisch.
• Schwache Symmetrie: Stellen Sie sich vor, die Uhr ist kaputt, aber im Durchschnitt sieht es immer noch so aus, als würde sie ticken.

Das Paper zeigt, dass, wenn eine Translationssymmetrie „bricht" – von stark zu schwach (wie bei dieser kaputten Uhr) –, der resultierende Zustand nicht nur eine chaotische Mischung aus einfachen, gebrochenen Uhren ist. Es ist ein spezifischer, komplexer Zustand, der inhärent verschränkt ist.

Man könnte denken: „Wenn ich einfach eine Reihe einfacher, nicht-verschränkter Zustände mische, sollte ich einen einfachen gemischten Zustand erhalten." Das Paper sagt: Nein. Wenn Sie versuchen, einfache Zustände zu mischen, um dieses spezifische symmetrische Ergebnis zu erzeugen, werden Sie scheitern. Die Mathematik beweist, dass der einzige Weg, dieses spezifische Ergebnis zu erhalten, darin besteht, dass die Mischung selbst fundamental komplex (verschränkt) ist.

Die „unsichtbare" Verschränkung

Hier ist der subtilste Teil der Entdeckung.

Normalerweise erwarten wir, wenn wir sagen, etwas sei „langreichweitig verschränkt", dass wir es sehen können, indem wir betrachten, wie weit entfernte Teile des Systems miteinander kommunizieren (Korrelationsfunktionen). Es ist wie zu sehen, wie zwei Menschen Meilen entfernt miteinander flüstern.

Die Wendung:
Die Autoren zeigen, dass diese spezifische Art der Verschränkung für Standardtests unsichtbar ist.

• Wenn Sie die Schlange betrachten und fragen: „Flüstern sich Menschen, die weit voneinander entfernt sind, zu?", lautet die Antwort Nein.
• Wenn Sie die Schlange betrachten und fragen: „Ist das gesamte System eine einfache Mischung aus Nachbarn, die sich die Hände halten?", lautet die Antwort Nein.

Es ist eine „Geister"-Verschränkung. Sie existiert wegen der rein mathematischen Unmöglichkeit, den Raum mit einfachen Zuständen zu füllen, und nicht wegen eines offensichtlichen Fernsignals. Es ist wie ein Puzzle, bei dem die Teile so zusammenpassen, dass es von außen zufällig aussieht, aber im Inneren tatsächlich eine starre, unzerstörbare Struktur ist.

Die „Zeit"-Kosten

Das Paper erwähnt auch, dass die Erzeugung dieses Zustands schwierig ist.
Wenn Sie diesen symmetrischen Zustand ausgehend von einer einfachen Schlange von Menschen aufbauen wollten, müssten Sie einen komplexen Prozess durchlaufen. Die Autoren beweisen, dass die Zeit, die benötigt wird, um diesen Zustand aufzubauen, mit der Quadratwurzel der Größe des Systems wächst.

Stellen Sie sich vor, Sie versuchen, eine massive Parade zu organisieren. Wenn Sie den Leuten nur sagen, sie sollen mit ihren Nachbarn sprechen, dauert es eine Weile, bis sich die Ordnung ausbreitet. Aber um diese spezifische „perfekt symmetrische" Ordnung zu erhalten, können Sie sich nicht nur auf Nachbarn verlassen; Sie benötigen eine globale Koordination, die lange Zeit braucht, um sich über die gesamte Schlange auszubreiten.

Zusammenfassung

1. Das Problem: Können wir ein perfekt symmetrisches Quantensystem nur mit einfachen, lokalen Verbindungen beschreiben?
2. Die Antwort: Nein. Es gibt zu viele symmetrische Möglichkeiten und nicht genug einfache Verbindungen, um sie alle abzudecken.
3. Die Konsequenz: Der symmetrische Zustand muss „langreichweitig verschränkt" sein.
4. Der Haken: Diese Verschränkung ist „subtil". Sie können sie nicht erkennen, indem Sie nach Fernsignalen suchen; Sie wissen nur, dass sie da ist, weil die Mathematik beweist, dass einfache Zustände nicht ausreichen, um sie zu bauen.

Kurz gesagt: Die Natur erzwingt ein komplexes, unsichtbares Netz von Verbindungen in symmetrischen Systemen, selbst wenn Sie versuchen, sie aus einfachen, lokalen Teilen aufzubauen.

Technische Zusammenfassung

Technisches Fazit: Translationssymmetrie-erzwungene Langreichweitige Verschränkung in Gemischten Zuständen

Problemstellung
Neue Forschungen zu offenen Quantensystemen haben gezeigt, dass gemischte Zustände Verschränkungsmuster aufweisen, die sich von denen reiner Zustände unterscheiden. Ein gemischter Zustand wird als langreichweitig verschränkt (LRE) definiert, wenn er nicht als Mischung von „leicht herstellbaren" kurzreichweitig verschränkten (SRE) Zuständen angenähert werden kann. Während bekannt ist, dass Symmetrien Verschränkung in gemischten Zuständen erzwingen, bleibt die spezifische Rolle der Translationssymmetrie nuanciert.

Für On-Site-Symmetrien (bei denen der Symmetrieoperator lokal auf jedem Gitterplatz wirkt) kann der maximal gemischte Zustand in einem Symmetriesektor (MMIS) typischerweise durch symmetrische Produktzustände aufgespannt werden, wodurch er SRE ist. Im Gegensatz dazu zwingen bei anomalen Symmetrien starke Symmetriebedingungen den MMIS, LRE zu sein. Die Translationssymmetrie nimmt eine Zwischenposition ein: Sie erlaubt symmetrische Produktzustände (im Impuls-null-Sektor), doch Zustände mit nicht-null Impuls müssen LRE sein. Die zentrale Frage, die diese Arbeit adressiert, lautet, ob der Impuls-null-Sektor der Translationssymmetrie durch SRE-Zustände aufgespannt werden kann. Insbesondere: Zeigt der Fixpunktzustand, der die starke-zu-schwache spontane Symmetriebrechung (SWSSB) der Translationssymmetrie repräsentiert, LRE, und wenn ja, ist diese Verschränkung über Standard-Korrelationsfunktionen nachweisbar?

Methodik
Die Autoren verwenden ein Zählargument, um die Dimensionalität des Raums aller translationsinvarianten Zustände mit der Dimensionalität des Unterraums zu vergleichen, der durch translationsinvariante SRE-Zustände aufgespannt wird (speziell solche, die durch Quantenschaltungen der Tiefe $d$ herstellbar sind).

1. Definitionen und Aufbau: Die Studie konzentriert sich auf 1D-Spin-Ketten der Länge $n$ mit lokaler Dimension $q$ und periodischen Randbedingungen. Der Untersuchungsgegenstand ist $\rho_{TI}$, der maximal gemischte Zustand translationsinvarianter (Impuls-null) Zustände.
2. Approximation via Schaltungstiefe: Die Autoren nutzen die Tatsache, dass die Zeitentwicklung über die Dauer $\tau$ unter einem beschränkten, geometrisch lokalen Hamilton-Operator gut durch eine Quantenschaltung der Tiefe $d \sim O(\tau \text{polylog}(n))$ angenähert werden kann. Um zu beweisen, dass $\rho_{TI}$ LRE ist, genügt es zu zeigen, dass es für beliebig polynomiell kleines $d$ nicht gut durch „Zustände der Tiefe $d$" angenähert werden kann.
3. Dimensionsanalyse von SRE-Zuständen:
   • Die Autoren analysieren zunächst translationsinvariante Matrixproduktzustände (TIMPS). Sie zeigen, dass die Dimension des Aufspanns von TIMPS mit Bindungsdimension $d$ polynomiell mit $n$ wächst (speziell als homogenes Polynom vom Grad $n$ in den Tensorparametern).
   • Anschließend verallgemeinern sie dies auf translationsinvariante Schaltungen der Tiefe $d$. Mithilfe eines „Schneidearguments" zerlegen sie einen durch eine Schaltung der Tiefe $d$ erzeugten translationsinvarianten Zustand in Blöcke der Größe $2d+1$. Indem sie diese Blöcke als effektive physikalische Gitterplätze behandeln, bilden sie den Zustand auf eine TIMPS-Struktur ab.
   • Entscheidend leiten sie eine obere Schranke für die Dimension des Aufspanns dieser translationsinvarianten Zustände der Tiefe $d$ her, bezeichnet als $D_{SRE}(n, d, q)$. Diese Schranke skaliert grob als Polynom in $n$ mit einem Grad, der proportional zu $d^2$ ist.
4. Vergleich mit dem Gesamtraum: Die Dimension des vollständigen Raums translationsinvarianter Zustände, $D_{TI}(n, q)$, wächst exponentiell mit $n$ (bezogen auf die Anzahl der $q$-ären Halsketten).
5. Argument mit dem Spurbetrag: Mithilfe eines „Tails-Lemmas" setzen die Autoren den Spurbetrag zwischen $\rho_{TI}$ und jeder Mischung von SRE-Zuständen in Beziehung zur Projektion von $\rho_{TI}$ auf den Unterraum der Zustände der Tiefe $d$. Da die Dimension des SRE-Unterraums für $d \ll \sqrt{n}$ exponentiell kleiner ist als der Gesamtraum, ist die Projektion exponentiell klein, was eine große Spurbetrag-Distanz impliziert.

Hauptbeiträge und Ergebnisse

• Satz 1 (Hauptergebnis): Der maximal gemischte Zustand translationsinvarianter Zustände, $\rho_{TI}$, wird nicht gut durch irgendeine Mischung reiner Zustände angenähert, die durch Zeitentwicklung über die Dauer $\tau$ von einem Produktzustand via eines Hamilton-Operators mit Reichweite $r$ herstellbar sind, es sei denn, $\tau = \Omega(\sqrt{n}/\text{polylog}(n))$.
• Mechanismus der Verschränkung: Die Arbeit etabliert einen neuen Mechanismus zur Erzwingung von LRE in gemischten Zuständen: ein „Mismatch" zwischen dem Volumen des Raums der Impuls-null-Zustände und dem Volumen des Raums, der durch SRE-Impuls-null-Zustände aufgespannt wird. Obwohl symmetrische Produktzustände existieren, sind sie in ihrer Anzahl unzureichend, um den Impuls-null-Sektor aufzuspannen.
• Subtilität der Verschränkung: Die Autoren zeigen, dass diese LRE „subtil" ist. Im Gegensatz zu anderen Formen von LRE wird sie nicht durch langreichweitige verbundene Korrelationsfunktionen nachgewiesen. Die Arbeit beweist, dass $\rho_{TI}$ für beliebige lokale Operatoren exponentiell abklingende verbundene Korrelationsfunktionen aufweist, was bedeutet, dass Standard-Diagnostika für LRE (wie nicht-verschwindende langreichweitige Korrelationen) diese Verschränkung nicht erfassen.
• Kontext der Thermalisierung: Die Autoren identifizieren, dass diese SWSSB-Zustände natürlich als stationäre Zustände nicht-lokaler Quantenkanäle auftreten, speziell im Kontext thermalisierender Floquet-Dynamik und dual-unitärer Schaltungen, wobei die stationären Zustände durch zeitliche Verschiebungsoperatoren aufgespannt werden.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine distincte Klasse von LRE-gemischten Zuständen zu identifizieren, die ausschließlich durch Translationssymmetrie erzwungen werden, die frei von Anomalien ist und symmetrische Produktzustände zulässt. Dies stellt die Intuition in Frage, dass die Existenz symmetrischer Produktzustände impliziert, dass der Symmetriesektor durch sie aufgespannt werden kann.

Die Bedeutung liegt in:

1. Neudefinition von LRE in gemischten Zuständen: Sie zeigt, dass LRE ohne starke Anomalien oder nicht-abelsche Symmetrien existieren kann, sondern stattdessen aus den geometrischen Einschränkungen der Translationssymmetrie auf die Hilbertraum-Dimensionalität resultiert.
2. Unnachweisbarkeit: Sie hebt eine Form der Verschränkung hervor, die für lokale Korrelationsfunktionen unsichtbar ist, was darauf hindeutet, dass aktuelle Diagnostikwerkzeuge für Verschränkung in gemischten Zuständen für translationsinvariante Systeme unzureichend sein könnten.
3. Verbindung zu SWSSB: Sie liefert eine rigorose Charakterisierung des Fixpunktzustands für die starke-zu-schwache spontane Symmetriebrechung der Translationssymmetrie und beweist, dass dieser inhärent langreichweitig verschränkt ist.

Die Autoren bleiben bezüglich breiterer Implikationen bescheiden und weisen darauf hin, dass ihre Beweise zwar in 1D geführt werden, sich aber auf höhere Dimensionen verallgemeinern lassen. Sie schlagen vor, dass zukünftige Arbeiten die Verbindung zwischen diesem Zählargument und der „On-Site-Fähigkeit" nicht-invertierbarer Symmetrien untersuchen könnten, schlagen jedoch keine spezifischen experimentellen Realisierungen jenseits des theoretischen Kontexts der Floquet-Thermalisierung vor.