Combining moment matrices, symmetric extension, and Lovász theta: $\Phi_{\text{E8}}$ is entangled

Dieser Artikel löst ein offenes Problem der Verschränkungstheorie, indem er nachweist, dass der 14-Qubit-Zustand $\Phi_{\text{E8}}$ verschränkt ist, und zwar durch eine neuartige Methode, die symmetrische Erweiterungen und Momentenmatrizen kombiniert, um ein explizites Verschränkungsnachweiszeugnis zu erzeugen.

Das Wesentliche

Das große Ganze: Ein 5 Jahre altes Rätsel gelöst

Stellen Sie sich vor, Sie haben ein sehr komplexes, 14-teiliges Quantenpuzzle namens $\Phi_{E8}$. In der Welt der Quantenphysik können Teile „trennbar" (wie zwei separate Puzzlekästen, die nebeneinander stehen) oder „verschränkt" (wie zwei Kästen, die magisch miteinander verklebt sind, sodass das, was mit dem einen passiert, den anderen sofort beeinflusst) sein.

Im Jahr 2021 schufen Wissenschaftler Yu und Kollegen dieses 14-teilige Puzzle und stellten eine Herausforderung: „Beweisen Sie, dass diese Teile verklebt (verschränkt) sind, indem Sie ein spezifisches Werkzeug namens 'Verschränkungsnachweis' verwenden."

Fünf Jahre lang konnte niemand das Rätsel lösen. Standardwerkzeuge versagten. Das Puzzle sah so aus, als könnte es trennbar sein, aber tief im Inneren vermutete jeder, dass es verschränkt war, aufgrund eines verwandten mathematischen Rätsels über „perfekt ausgeglichene" Quantenzustände.

Dieses Paper von Stempin, Anglès Munné, Llorens und Huber löst das Puzzle endlich. Sie haben nicht nur geraten; sie bauten eine mathematische „Falle", die beweist, dass die Teile müssen verklebt sein.

Das Detektiv-Werkzeugset: Drei Methoden in einem

Um dies zu lösen, kombinierten die Autoren drei verschiedene Detektivtechniken zu einem Super-Werkzeug. So funktionierten sie zusammen:

1. Die „Symmetrische Erweiterung" (Der Kopierer)

Stellen Sie sich vor, Sie haben einen Verdächtigen (den Zustand $\Phi_{E8}$) und wollen wissen, ob er unschuldig (trennbar) oder schuldig (verschränkt) ist.

• Die Theorie: Wenn der Verdächtige unschuldig ist, sollten Sie perfekte, identische Kopien von ihm herstellen können. Wenn Sie drei Kopien einer unschuldigen Person haben, sollten sie alle genau gleich aussehen und sich perfekt synchron verhalten.
• Die Falle: Die Autoren versuchten, eine „Drei-Kopie"-Version des Quantenzustands herzustellen. Wenn der Zustand unschuldig wäre, würde diese Drei-Kopie-Version existieren und strengen Regeln folgen.

2. Die „Moment-Matrix" (Der Fingerabdruck-Scanner)

Sobald sie versucht hatten, diese Drei-Kopie-Version zu bauen, erstellten sie eine riesige Tabelle namens Moment-Matrix.

• Denken Sie an diese Matrix als einen massiven Fingerabdruck-Scanner. Sie erfasst jede mögliche Beziehung zwischen den verschiedenen Teilen des Quantenzustands.
• Wenn der Zustand unschuldig wäre, würde dieser Fingerabdruck-Scanner ein gültiges, positives und konsistentes Muster erzeugen.
• Die Autoren füllten diese Tabelle mit den bekannten Regeln des $\Phi_{E8}$-Zustands.

3. Die „Lovász-Theta"-Zahl & Graphentheorie (Die Karte der Regeln)

Hier wird das Paper clever. Sie erkannten, dass die Regeln, die den Quantenzustand steuern, exakt wie die Regeln für eine bestimmte Art von Karte aussehen, die als Graph bezeichnet wird (ein Netzwerk aus Punkten und Linien).

• Sie bildeten den Quantenzustand auf einen Graphen ab, wobei Punkte verschiedene Quanteneigenschaften darstellen.
• Sie verwendeten eine berühmte mathematische Zahl namens Lovász-Theta-Zahl. Denken Sie an diese Zahl als eine „Kapazitätsgrenze" für einen Graphen. Sie sagt Ihnen die maximale Menge an „Dingen" (oder Wahrscheinlichkeit), die in den Graphen passen kann, ohne die Regeln zu brechen.
• Die Autoren zeigten, dass der Quantenzustand versuchte, mehr in den Graphen zu packen, als das Lovász-Limit erlaubt.

Der „Aha!"-Moment: Die unmögliche Gleichung

Die Autoren stellten eine mathematische Gleichung (ein Semidefinites Programm) auf, die fragte: „Können wir diese Tabelle (Moment-Matrix) mit Zahlen füllen, die alle Regeln des Drei-Kopie-Zustands und der Graphenlimits erfüllen?"

Sie ließen die Zahlen durch einen Computer laufen.

• Das Ergebnis: Der Computer schrie „NEIN!"
• Der Beweis: Es ist mathematisch unmöglich, diese Tabelle zu füllen, ohne die Regeln zu brechen.
• Die Logik: Da die Tabelle existieren muss, wenn der Zustand unschuldig (trennbar) wäre, und da sie nicht existieren kann, kann der Zustand nicht unschuldig sein. Daher ist $\Phi_{E8}$ verschränkt.

Sie erhielten nicht nur ein „vielleicht" vom Computer; sie verwendeten eine spezielle Technik, um die Zahlen auf exakte Brüche zu runden, und schufen ein perfektes, unzerbrechliches mathematisches Zertifikat, das beweist, dass der Zustand verschränkt ist.

Warum das wichtig ist (laut dem Paper)

Das Paper beansprucht drei Haupterfolge:

1. Das Rätsel gelöst: Sie lieferten endlich den „Verschränkungsnachweis", den Yu et al. 2021 forderten, und bewiesen, dass $\Phi_{E8}$ verschränkt ist.
2. Die Felder vereint: Sie zeigten, dass Verschränkungsnachweis in der Quantenphysik, Graphentheorie (die Lovász-Zahl) und Fehlerkorrekturcodes (verwendet im Quantencomputing) dieselbe Sprache sprechen.
3. Eine neue skalierbare Methode: Sie demonstrierten, dass sie durch die Kombination dieser Methoden Probleme lösen können, die für Standardcomputer zu groß sind. Sie nutzten „Symmetrie" (die Tatsache, dass das Puzzle aus vielen Blickwinkeln gleich aussieht), um ein massives Problem auf eine handhabbare Größe zu verkleinern.

Zusammenfassung

Die Autoren nahmen einen 14-Qubit-Quantenzustand, der Experten jahrelang auf der Pelle saß. Sie versuchten, eine „perfekte Kopie" davon herzustellen. Als sie die Blaupause dieser Kopie mit einer riesigen Tabelle und einer graphentheoretischen Karte analysierten, fanden sie einen Widerspruch. Die Blaupause war unmöglich zu bauen. Daher muss das ursprüngliche Objekt ein „verklebter" verschränkter Zustand sein. Sie bewiesen es mit einem rigorosen mathematischen Zertifikat.

Technische Zusammenfassung

Technische Zusammenfassung: Kombination von Momentenmatrizen, symmetrischer Erweiterung und Lovász-Theta

Problemstellung
Diese Arbeit behandelt ein offenes Problem in der Verschränkungstheorie, das von Yu et al. (Nature Communications 12, 1012, 2021) aufgeworfen wurde: die Bestimmung, ob der 14-Qubit-Zustand $\Phi_{E8}$ über die Bipartition $A_1 \dots A_7 | B_1 \dots B_7$ verschränkt ist. Zwar ist indirekt bekannt, dass $\Phi_{E8}$ verschränkt sein muss – da seine Separabilität der Existenz eines absolut maximal verschränkten (AME) Zustands für sieben Qubits entspricht, deren Nichtexistenz bewiesen wurde –, doch blieb der direkte Nachweis dieser Verschränkung mittels eines operationalen Verschränkungsnachweises ungelöst. Standardkriterien, einschließlich des Tests auf positive partielle Transposition (PPT) und der Hierarchie symmetrischer Erweiterungen bis zu sechs Kopien, versagten beim Nachweis der Verschränkung in diesem spezifischen Zustand.

Methodik
Die Autoren schlagen einen neuartigen Ansatz vor, der drei verschiedene numerische Methoden vereint:

1. Symmetrische Erweiterung: Inspiriert von der von Doherty, Parrilo und Spedalieri entwickelten Hierarchie nehmen die Autoren an, dass $\Phi_{E8}$ separabel ist. Falls separabel, erlaubt er eine symmetrische Erweiterung auf einen Drei-Kopien-Zustand $\Phi^{(3)}_{E8} = \sum_i p_i \mu_i \otimes \mu_i \otimes \mu_i$.
2. Momentenmatrizen: Unter Verwendung von Rains' Lemma bezüglich der partiellen Transposition von Swap-Operatoren bilden die Autoren die Drei-Kopien-Erweiterung auf einen positiv semidefiniten Operator ab. Daraus konstruieren sie eine „Momentenmatrix" $\Gamma$, deren Einträge Erwartungswerte von Pauli-Schnüren sind. Die Machbarkeit dieser Matrix ist mit der Separabilität des ursprünglichen Zustands verknüpft.
3. Symmetriereduktion und SDP: Das resultierende semidefinite Programm (SDP) beinhaltet eine Matrix der Größe $O(4^7) \times O(4^7)$, was rechnerisch prohibitiv ist. Um dies zu überwinden, wenden die Autoren eine Symmetriereduktion basierend auf der Terwilliger-Algebra an. Sie mitteln die Momentenmatrix über die Kranzprodukt-Gruppe $S_3 \wr S_7$ (Permutation von Tensorfaktoren und nicht-identischen Pauli-Matrizen) und reduzieren das Problem auf eine blockdiagonale Form mit deutlich weniger Variablen.

Hauptbeiträge und Ergebnisse

• Nachweis der Verschränkung: Durch die Lösung des symmetrie-reduzierten SDP und seines Dualen zeigen die Autoren, dass das primäre SDP nicht machbar ist. Diese Nichtmachbarkeit wird rigoros durch ein exaktes rationales Zertifikat (unter Verwendung des quadratischen Zahlkörpers $\mathbb{Q}(\sqrt{3})$) bewiesen, was bestätigt, dass keine solche Momentenmatrix existiert. Folglich ist die Annahme, dass $\Phi_{E8}$ separabel ist, falsch, was beweist, dass $\Phi_{E8}$ verschränkt ist.
• Expliziter Verschränkungsnachweis: Die duale Lösung liefert einen expliziten Verschränkungsnachweis-Operator. Die Autoren konstruieren einen Nachweis $W'_{\Phi_{E8}}$ basierend auf der Lovász-Theta-Zahl des Graphen der Pauli-Antikommutativität. Insbesondere zeigen sie, dass die Relaxation der Lovász-Theta-Zahl, $\vartheta_{\text{sym}}(G_{4+}) \approx 126.8876$, ausreicht, um Verschränkung nachzuweisen, da $\text{tr}(W'_{\Phi_{E8}} \Phi_{E8}) < 0$ gilt.
• Verbindung zur Graphentheorie: Die Arbeit stellt eine direkte Verbindung zwischen der Verschränkung von $\Phi_{E8}$ und der Lovász-Theta-Zahl $\vartheta(G)$ des Antikommutativitätsgraphen der Pauli-Schnüre her. Das Problem wird umformuliert als Nachweis, dass ein spezifischer Punkt nicht innerhalb des Lovász-Theta-Körpers $\text{TH}(G_{4+})$ existiert.
• Beziehung zu Quantencodes: Die Methodik wird als Variante der in der Quantencodierungstheorie verwendeten SDP-Schranken dargestellt (insbesondere bezogen auf die Arbeit von Munné, Nemec und Huber). Die Autoren klären, dass ihre Konstruktion die Lücke zwischen Codierungsschranken und Verschränkungsnachweis mittels symmetrischer Erweiterung schließt.

Bedeutung
Die Arbeit behauptet, ein spezifisches, langjähriges offenes Problem zu lösen, indem sie den ersten operationalen Verschränkungsnachweis für $\Phi_{E8}$ bereitstellt. Ihre primäre Bedeutung liegt in der methodischen Vereinheitlichung: Sie zeigt, wie die Kombination symmetrischer Erweiterung mit Momentenmatrizen die Abschneidung von Einschränkungen ermöglicht, die andernfalls in dichte-Matrix-basierten Ansätzen unlösbar wären. Darüber hinaus unterstreicht die Arbeit die Nützlichkeit der Lovász-Theta-Zahl und von Grapheninvarianten in der Verschränkungstheorie und bietet einen skalierbaren und flexiblen Rahmen für zukünftige Anwendungen beim Nachweis von Verschränkung in symmetrischen und potenziell nicht-symmetrischen Zuständen. Die Autoren weisen darauf hin, dass zwar zusätzliche Einschränkungen (wie PPT- oder Reinheitsbedingungen) die Methode weiter stärken könnten, diese jedoch nicht erforderlich waren, um das spezifische Problem von $\Phi_{E8}$ zu lösen.