⚛️ quantum physics

Maximally entangled states are not complete for pseudo-telepathy

Die Arbeit löst ein langjähriges offenes Problem der Quanten-Nichtlokalität, indem sie ein Gegenbeispiel präsentiert – ein spezifisches bipartites nichtlokales Spiel innerhalb einer neuen Klasse namens „Skalarprodukt-Spiele“ –, das zeigt, dass maximal verschränkte Zustände nicht vollständig für Pseudo-Telepathie sind, da es Spiele mit perfekten verschränkten Strategien gibt, die nicht allein unter Verwendung von maximal verschränkten Zuständen gewonnen werden können.

Ursprüngliche Autoren: Olivier Lalonde

Veröffentlicht 2026-08-07

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Olivier Lalonde

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich ein Universum vor, in dem zwei Freunde, Alice und Bob, durch eine riesige Distanz getrennt sind, vielleicht sogar auf gegenüberliegenden Seiten der Galaxie. Sie können nicht miteinander sprechen, keine Textnachrichten senden oder eine Art Science-Fiction-Telepathie nutzen. Dennoch spielen sie ein Spiel, bei dem sie ihre Antworten perfekt koordinieren müssen, um zu gewinnen. In der klassischen Welt, wenn sie nicht kommunizieren können, gibt es Grenzen für die Art und Weise, wie gut sie koordinieren können; sie sind an die Regeln der Logik und Wahrscheinlichkeit gebunden. Aber in der Quantenwelt werden die Dinge seltsam. Wenn Alice und Bob eine spezielle „Quantenverbindung“ namens Verschränkung teilen, können sie manchmal ihre Antworten auf eine Weise koordinieren, die unmöglich erscheint, als ob sie die Gedanken des jeweils anderen lesen könnten. Dieses unheimliche Phänomen wird Quanten-Pseudo-Telepathie genannt.

Die große Frage, die Wissenschaftler schon seit langer Zeit beschäftigt, lautet: Wie stark muss diese Quantenverbindung sein? Konkret: Benötigen Alice und Bob den „stärkstmöglichen“ Link, bekannt als maximal verschränkter Zustand, um diese unmöglichen Spiele zu gewinnen? Es ist ein bisschen so, als würde man fragen, ob man einen Ferrari braucht, um ein Rennen zu gewinnen, oder ob ein wirklich gutes Fahrrad ausreicht. In vielen Fällen, die Wissenschaftler über Jahre hinweg gefunden haben, konnten diese atemberaubenden Spiele mit dieser „Ferrari“-Level-Verschränkung gewonnen werden. Dies führte zu einer hoffnungsvollen Vermutung: Vielleicht ist die stärkste Verbindung immer alles, was man braucht. Aber gilt das auch für jedes mögliche Spiel?

Ein neuer Artikel von Olivier Lalonde von der University of Waterloo besagt: Nein, nicht immer.

Lalonde hat ein spezifisches Spiel entdeckt, bei dem der „Ferrari“ (der maximal verschränkte Zustand) tatsächlich versagt, obwohl eine andere, etwas „wackeligerer“ Quantenverbindung gewinnen kann. Es ist ein Gegenbeispiel, das die Vorstellung zertrümmert, dass die stärkste Verbindung immer das beste Werkzeug für die Aufgabe ist.

Das Spiel des „Skalarprodukts“

Um die Entdeckung zu verstehen, müssen wir uns das Spiel selbst ansehen. Lalonde hat einen neuen Typus von Spiel erfunden, den er ein „Skalarprodukt-Spiel“ nennt. Stellen Sie sich vor, Alice und Bob erhalten jeweils einen geheimen Code (eine Eingabezahl). Basierend auf ihrem Code müssen sie einen spezifischen Vektor (eine Richtung im Raum) aus einer Liste von Optionen wählen. Sie gewinnen, wenn die beiden von ihnen gewählten Vektoren nicht senkrecht zueinander stehen – denken Sie an zwei Pfeile, die nicht in einem perfekten 90-Grad-Winkel zueinander zeigen.

Die Regeln sind knifflig. Das Spiel ist so konzipiert, dass Alice und Bob, wenn sie klassische Logik verwenden (nur raten oder einem vorgegebenen Plan folgen), zwangsläufig verlieren werden. Aber wenn sie eine Quantenverbindung teilen, können sie jedes Mal gewinnen.

Lalonde erstellte eine spezifische Version dieses Spiels mit folgenden Statistiken:

Eingaben: Alice erhält eine von 4 möglichen Fragen; Bob erhält eine von 3.
Ausgaben: Sie müssen jeweils eine von 6 möglichen Antworten wählen.
Der Gewinnzustand: Um perfekt zu gewinnen, benötigen sie einen geteilten Quantenzustand, dessen „lokale Dimension“ 6 ist.

Der Ferrari vs. das maßgeschneiderte Fahrrad

Hier kommt die Wendung. In diesem speziellen Spiel erfordert die „perfekte“ Quantenstrategie einen sehr spezifischen, maßgeschneiderten verschränkten Zustand. Er sieht so aus:
$|\Phi\rangle = \frac{1}{\sqrt{18}} (|1\rangle|1\rangle + |2\rangle|2\rangle + 2|3\rangle|3\rangle + 2|4\rangle|4\rangle + 2|5\rangle|5\rangle + 2|6\rangle|6\rangle)$

Beachten Sie die Zahlen? Einige Teile der Verbindung sind mit 1 gewichtet, andere mit 2. Dies ist ein nicht-maximal verschränkter Zustand. Er ist nicht perfekt ausbalanciert; er ist einseitig.

Und hier ist der entscheidende Punkt: Ein maximal verschränkter Zustand kann dieses Spiel nicht gewinnen.

Ein maximal verschränkter Zustand ist wie eine perfekt ausbalancierte Waage, bei der jede Option das gleiche Gewicht hat (alle 1er). Lalonde hat mathematisch bewiesen, dass Alice und Bob, wenn sie versuchen, dieses spezifische Spiel mit diesem perfekt ausbalancierten „Ferrari“ zu spielen, unweigerlich scheitern werden. Sie können mit dieser Art von Verbindung einfach nicht perfekt koordinieren. Sie müssen die einseitige, maßgeschneiderte Verbindung verwenden, die oben beschrieben wurde.

Wie haben sie das bewiesen?

Sie fragen sich vielleicht: „Woher können Sie sicher sein, dass es keine perfekte Strategie gibt?“ Man kann das Spiel nicht einfach eine Million Mal spielen; man benötigt einen mathematischen Beweis.

Lalonde verwendete ein mächtiges Werkzeug, die traciale NPA-Hierarchie. Denken Sie an dies als eine hoch entwickelte Logikmaschine, die jeden möglichen Weg überprüft, auf dem Alice und Bob versuchen könnten, ihre Antworten zu koordinieren. Es ist, als würde man jeden möglichen Zug in einem Schachspiel prüfen, um zu sehen, ob ein Schachmatt möglich ist.

Der Beweis war Schwerstarbeit. Er beinhaltete einen Computer, der ein massives Puzzle mit 207.202 Variablen und 208.702 Nebenbedingungen löste. Es dauerte 7 Minuten auf einem Laptop, um es zu lösen. Der Computer hat nicht nur geraten; er lieferte ein „rationales Zertifikat der Unmöglichkeit“, ein mathematischer Beleg dafür, dass keine Lösung existiert. Um ganz sicherzugehen, wurde der gesamte Beweis von einem Computerprogramm namens Lean doppelt geprüft, einem Beweisassistenten, der Mathematik Schritt für Schritt verifiziert.

Das Ergebnis ist solide: Es gibt keine perfekte Strategie unter Verwendung eines maximal verschränkten Zustands für dieses Spiel.

Warum das wichtig ist

Diese Entdeckung ist eine große Sache, weil sie eine langjährige Debatte klärt. Jahrelang fragten sich Wissenschaftler, ob der „stärkste“ Quantenlink der einzige ist, der für diese atemberaubenden Spiele zählt. Diese Arbeit zeigt, dass die Natur subtiler ist. Manchmal ist das „perfekte“ Werkzeug nicht das richtige Werkzeug; man braucht ein spezifisches, etwas unvollkommenes Werkzeug, um die Aufgabe zu bewältigen.

Dies eröffnet auch neue Fragen. Ist dieses Spiel ein „Self-Test“? Das bedeutet: Wenn jemand behauptet, dieses Spiel gewinnen zu können, beweist das dann, dass er genau diesen spezifischen, einseitigen Quantenzustand besitzt? Die Zahlen deuten darauf hin, ja, aber dies analytisch (ohne Computer) zu beweisen, ist eine Herausforderung für die Zukunft.

Kurz gesagt: Wir wissen nun, dass im Quantenreich das Besitzen der „besten“ Verschränkung nicht immer ausreicht. Manchmal muss man die richtige Art der Verschränkung haben, selbst wenn sie nicht die stärkste ist.

Technische Zusammenfassung: „Maximal verschränkte Zustände sind nicht vollständig für Pseudo-Telepathie“

Problemstellung
Die Arbeit befasst sich mit einem langjährigen offenen Problem der Quanten-Nichtlokalität bezüglich der Hinlänglichkeit maximal verschränkter Zustände für pseudo-telepathische Spiele. Ein nichtlokales Spiel wird als pseudo-telepathisch bezeichnet, wenn es eine perfekte verschränkte Strategie zulässt (Gewinnwahrscheinlichkeit 1), aber keine perfekte klassische Strategie besitzt. Während bekannt ist, dass für viele spezifische Familien bipartiter pseudo-telepathischer Spiele maximal verschränkte Zustände ausreichen, um perfekte Strategien zu erreichen, blieb die Frage offen, ob dies universell gilt. Konkret lautet die Frage: Besitzt jedes nichtlokale Spiel, das eine perfekte verschränkte Strategie zulässt, auch eine perfekte Strategie unter Verwendung eines maximal verschränkten Zustands? Vorherige Arbeiten hatten etabliert, dass maximal verschränkte Zustände nicht notwendig sind (da einige Spiele mit nicht-maximal verschränkten Zuständen gewonnen werden können), aber die Frage, ob sie immer hinreichend sind, blieb ungelöst.

Methodik
Der Autor führt eine neue Klasse von nichtlokalen Spielen namens Skalarprodukt-Spiele ein, um ein Gegenbeispiel zu konstruieren.

Definition des Spiels: Ein Skalarprodukt-Spiel wird durch Sammlungen von unitären Operatoren $\{U_x\}$ und $\{V_y\}$ der Ordnung $m$ sowie eine positiv semidefinite Matrix $S$ definiert. Alice und Bob erhalten Eingaben $x$ und $y$ und müssen Ausgaben $a$ und $b$ liefern, sodass $\langle a| U_x^\dagger S V_y |b\rangle \neq 0$ .
Existenz einer verschränkten Strategie: Die Arbeit beweist (Proposition 3.1), dass jedes Skalarprodukt-Spiel eine perfekte verschränkte Strategie unter Verwendung eines spezifischen verschränkten Zustands $|\psi\rangle = (S \otimes I)|\Omega\rangle$ zulässt, wobei $|\Omega\rangle$ der Standard-maximal verschränkte Zustand ist. Diese Strategie verwendet nicht notwendigerweise einen maximal verschränkten Zustand, falls $S$ nicht proportional zur Identität ist.
Konstruktion des Gegenbeispiels ( $G_{4,3,6,6}$ ): Mithilfe einer computergestützten heuristischen Suche konstruierte der Autor ein spezifisches Instanz, $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ , mit Eingabemengen der Größe 4 und 3 sowie Ausgabemengen der Größe 6. Die Konstruktion umfasste:
- Festlegung der lokalen Dimension $m=6$ .
- Auswahl von unitären Matrizen mit Komponenten in $\{-1, 0, 1\}$ , um eine Konfiguration zu finden, die klassisch nicht realisierbar ist.
- Anwendung eines Pruning-Algorithmus, um die Größe der Eingabemengen zu minimieren.
Nachweis der Nicht-Existenz einer maximal verschränkten Strategie: Um zu beweisen, dass kein perfektes Spiel unter Verwendung eines maximal verschränkten Zustands für $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ existiert, verwendete der Autor eine Variante der tracialen NPA-Hierarchie (eine Summe-der-Quadrate-Hierarchie).
- Das Problem wurde als Finden eines tracialen Zustands auf einer spezifischen $*$ -Algebra formuliert, die durch Messoperatoren erzeugt wird.
- Eine verstärkte Version der $n=4$ Ebene der Hierarchie wurde verwendet, um die Existenz eines solchen Zustands zu testen.
- Das resultierende semidefinierte Programm (mit ca. 207k Variablen und ca. 208k Nebenbedingungen) wurde numerisch gelöst, um die Unzulänglichkeit zu demonstrieren.
- Der Beweis wurde im Lean Proof Assistant unter Verwendung eines rationalen Zertifikats der Unzulänglichkeit formalisiert, das aus dem Solver extrahiert wurde.

Zentrale Ergebnisse
Die Arbeit etabliert das Theorem 1.1, welches besagt:

Es existiert ein bipartites Spiel $G_{4,3,6,6}$ mit Eingabegrößen 4 und 3 sowie Ausgabegrößen 6 und 6.
Dieses Spiel besitzt eine perfekte verschränkte Strategie unter Verwendung eines verschränkten Zustands der lokalen Dimension 6 (speziell eines nicht-maximal verschränkten Zustands, der aus der Matrix $S$ abgeleitet ist).
Entscheidend ist, dass dieses Spiel keine perfekte verschränkte Strategie unter Verwendung eines maximal verschränkten Zustands zulässt.

Bedeutung und Ansprüche
Die Arbeit behauptet, das offene Problem negativ zu lösen, indem sie zeigt, dass maximal verschränkte Zustände nicht vollständig für Pseudo-Telepathie sind. Die Bedeutung der Arbeit liegt in:

Lösung eines offenen Problems: Sie liefert das erste Gegenbeispiel, das zeigt, dass die Klasse der mit maximal verschränkten Zuständen lösbaren Spiele strikt kleiner ist als die Klasse der mit allgemeinen verschränkten Zuständen lösbaren Spiele.
Neue Spielklasse: Die Einführung von „Skalarprodukt-Spielen“ bietet einen neuen Rahmen für die Untersuchung von Nichtlokalität, was von eigenständigem Interesse sein kann.
Methodischer Beitrag: Die Arbeit demonstriert den Nutzen der Kombination von heuristischer Computersuche mit formaler Verifizierung (via Lean) und numerischen Hierarchien (traciale NPA), um tiefe Fragen der Quanteninformationstheorie zu klären.

Einschränkungen und zukünftige Richtungen (wie vom Autor angemerkt)
Der Autor merkt an, dass das Gegenbeispiel mittels Computersuche „konstruiert“ wurde und nicht aus einem natürlichen physikalischen System hervorgeht, und dass der Beweis seiner Eigenschaften stark auf numerischer semidefinierter Programmierung statt auf analytischer Einsicht beruht. Die Arbeit legt nahe, dass das Finden eines „natürlichen“ Gegenbeispiels mit einem analytischen Beweis eine offene Herausforderung bleibt. Zudem stellt der Autor fest, dass numerische Simulationen darauf hindeuten, dass $G_{4,3,6,6}$ ein Self-Test für den spezifisch verwendeten nicht-maximal verschränkten Zustand ist – eine Eigenschaft, die noch formal bewiesen werden muss. Die Arbeit deutet zudem auf potenzielle Auswirkungen auf die Beziehung zwischen der verschränkten Chromatik und der Quantenchromatik in der Nullfehler-Informationstheorie hin.

Das Spiel des „Skalarprodukts“

Der Ferrari vs. das maßgeschneiderte Fahrrad

Wie haben sie das bewiesen?

Warum das wichtig ist

Technische Zusammenfassung: „Maximal verschränkte Zustände sind nicht vollständig für Pseudo-Telepathie“

Mehr davon