A refined Frauchiger--Renner paradox based on strong contextuality

Dieser Beitrag stellt ein verfeinertes Frauchiger–Renner-Paradoxon vor, das auf dem stark kontextuellen GHZ–Mermin-Szenario basiert, die Notwendigkeit einer Nachselektion sowie quantenmechanischer Schlussfolgerungen durch modellierte Beobachter eliminiert und eine Erweiterung von Peres' Grundsatz vorschlägt, um derartige erweiterte Wigner's-Freund-Paradoxa unter der Annahme der Universalität der Quantentheorie aufzulösen.

Das Wesentliche

Das große Ganze: Ein Quanten-Familienstreit

Stellen Sie sich eine Gruppe von Freunden vor, die versuchen, ein Rätsel zu lösen. In der Welt der Quantenphysik wird es seltsam, wenn man „Super-Beobachter" hat – Menschen, die andere Menschen dabei beobachten können, wie sie Dinge beobachten, und dabei die Beobachter selbst als Teil des Quantenrätsels behandeln.

Im Jahr 2016 schufen zwei Wissenschaftler (Frauchiger und Renner) ein berühmtes Gedankenexperiment, das zeigte, dass, wenn alle den Regeln der Quantenmechanik folgen, sie in einen logischen Widerspruch geraten. Es ist wie ein Familienstreit, bei dem jeder aus seiner eigenen Perspektive recht hat, aber wenn sie ihre Notizen vergleichen, sagt die Mathematik: „Unmöglich".

Dieses neue Paper von Walleghem und Kollegen sagt: „Wir haben einen Weg gefunden, dieses Argument noch stärker, einfacher und schwerer zu ignorieren." Sie nennen ihre neue Version das GHZ–FR-Paradoxon.

Das alte Problem: Das „Hardy"-Rätsel

Um die neue Version zu verstehen, werfen wir einen Blick auf die alte (das Frauchiger–Renner- oder FR-Paradoxon).

• Das Setup: Stellen Sie sich vor, Alice und Bob befinden sich in versiegelten Räumen. Sie messen eine Quantenmünze. Draußen beobachten zwei „Super-Beobachter" (Ursula und Wigner) die gesamten Räume.
• Der Fehler: Das ursprüngliche Paradoxon beruhte auf einem spezifischen Quanten-Setup namens Hardy-Modell. Dieses Modell ist ein bisschen wie ein „Vielleicht"-Spiel. Es funktioniert nur, wenn man mit den Ergebnissen Glück hat.
  • Analogie: Stellen Sie sich vor, Ursula und Wigner werfen Münzen. Das Paradoxon tritt nur auf, wenn sie beide „Kopf" werfen. Wenn sie „Zahl" werfen, bricht das Argument zusammen. Also müssen sie alle Runden verwerfen, in denen sie nicht „Kopf" erhielten. Dies nennt man Post-Selektion. Es ist, als würde man sagen: „Wir zählen nur die Spiele, in denen wir gewonnen haben."
• Die Argumentation: In der alten Version mussten die Personen in den Räumen (Alice und Bob) einige komplexe Quanten-Argumentationen durchführen, um Nachrichten nach außen zu übermitteln.

Die neue Lösung: Das „GHZ"-Rätsel

Die Autoren erkannten, dass sie das „Hardy"-Rätsel durch ein viel stärkeres namens GHZ–Mermin-Modell ersetzen konnten.

• Kein „Vielleicht" mehr: Das GHZ-Modell ist wie ein perfektes Schloss. Es spielt keine Rolle, welches Ergebnis herauskommt; der Widerspruch tritt jedes einzelne Mal auf.
  • Analogie: In dem alten Spiel musste man auf einen bestimmten glücklichen Wurf warten, um den Fehler zu sehen. In diesem neuen Spiel tritt der Fehler auf, egal wie man die Würfel wirft. Man muss keine Ergebnisse verwerfen.
• Einfachere Argumentation: In der neuen Version müssen die Personen in den Räumen (Alice, Bob, Charlie) keine komplexen Quanten-Argumentationen durchführen. Sie messen einfach ihre Münzen. Die „Super-Beobachter" (Ursula, Valentina, Wigner) denken nach.
  • Analogie: Stellen Sie sich vor, drei Freunde (Alice, Bob, Charlie) werfen Münzen in separaten Räumen. Drei außenstehende Detektive (Ursula, Valentina, Wigner) beobachten sie. Die Detektive müssen keine Quanten-Genies sein; sie müssen nur logische Menschen sein. Wenn sie sich treffen, um ihre Notizen zu vergleichen, stellen sie fest, dass ihre Notizen einander widersprechen.

Die drei Regeln des Spiels

Das Paper argumentiert, dass dieser Widerspruch beweist, dass wir nicht alle drei folgenden Ideen gleichzeitig als wahr betrachten können:

1. Universalität der Quantentheorie: Die Idee, dass Quantenregeln auf alles zutreffen, sogar auf große Dinge wie Menschen und ihre Labore. Ein „Super-Beobachter" kann ein ganzes Labor als ein einzelnes Quantenobjekt behandeln.
2. Absolute Wahrheit (oder „Fakten sind Fakten"): Die Idee, dass, wenn eine Messung stattfindet, es eine einzige, reale Antwort gibt. Wenn Alice „Kopf" sieht, dann ist „Kopf" die absolute Wahrheit für jeden, überall.
3. Born-Kompatibilität: Die Idee, dass, wenn man die Standard-Quantenmathematik (die Born-Regel) verwendet, um vorherzusagen, was passieren könnte, diese Vorhersage mit der Realität übereinstimmen sollte, die man schließlich sieht.

Das Paradoxon: Das Paper zeigt, dass, wenn man an #1 glaubt (Super-Beobachter existieren) und an #3 (Quantenmathematik funktioniert), dann #2 (Absolute Wahrheit) falsch sein muss. Oder, wenn man an #2 glaubt, dann muss #1 oder #3 falsch sein.

Der vorgeschlagene Fix: „Relativität beobachteter Ereignisse"

Wenn wir akzeptieren, dass Super-Beobachter möglich sind (Regel #1) und dass Quantenmathematik funktioniert (Regel #3), wie lösen wir dann den Widerspruch?

Die Autoren schlagen eine neue Denkweise vor, genannt Relativität beobachteter Ereignisse.

• Die Analogie: Stellen Sie sich vor, eine geheime Nachricht ist auf einem Stück Papier in einer versiegelten Box geschrieben.
  • Alice öffnet die Box und sieht „Hallo". Für Alice ist die Tatsache „Hallo".
  • Bob ist außerhalb der Box. Bis er sie öffnet (oder Alice fragt), ist das Papier aus seiner Perspektive immer noch eine „Quanten-Überlagerung" von „Hallo" und „Tschüss".
  • Die Regel: Man kann einem Fakt (wie „Hallo") keinen Wert zuweisen, bis man ihn tatsächlich gelernt hat.
• Das neue Prinzip: „Nicht durchgeführte Experimente haben keine Ergebnisse, und unbekannte Ergebnisse haben keine Werte."

Das bedeutet, dass Ursula (der Super-Beobachter) nicht sagen kann „Bob hat definitiv Kopf gesehen", bis sie Bob tatsächlich fragt oder sein Labor überprüft. Bis sie das tut, ist es für sie noch keine „Tatsache". Es ist nur eine Möglichkeit.

Warum das wichtig ist

Das Paper kommt zu dem Schluss, dass dies nicht nur ein kniffliges mathematisches Rätsel ist. Es zwingt uns zur Wahl zwischen:

1. Die Idee aufzugeben, dass es eine einzige, absolute Realität für alle gibt (Fakten sind relativ zu der Person, die man fragt).
2. Die Idee aufzugeben, dass die Quantenmechanik auf alles zutrifft (Vielleicht können große Dinge wie Labore nicht als Quantenobjekte behandelt werden).
3. Die Idee aufzugeben, dass unsere Standard-Quantenvorhersagen immer auf die erwartete Weise mit der Realität übereinstimmen.

Die Autoren neigen zur ersten Option: Fakten sind relativ. Eine Messung wird erst dann zu einer „Tatsache" für einen Beobachter, wenn dieser Beobachter das Ergebnis tatsächlich erfährt. Bis dahin ist es nur eine Quantenmöglichkeit.

Zusammenfassung in einem Satz

Dieses Paper beweist, dass, wenn die Quantenmechanik auf alle zutrifft (sogar auf die Personen, die das Experiment beobachten), es keine einzige „absolute Wahrheit" für das gesamte Universum gibt; Fakten werden erst dann real, wenn ein Beobachter sie tatsächlich erfährt.

Technische Zusammenfassung

Technische Zusammenfassung: Ein verfeinerter Frauchiger–Renner-Paradoxon basierend auf starker Kontextualität

Problemstellung

Das Frauchiger–Renner-Paradoxon (FR, 2016) hebt eine scheinbare Inkonsistenz in der Quantentheorie hervor, wenn sie verwendet wird, um sich selbst zu beschreiben. In einem erweiterten Wigners-Freund-Szenario modellieren Agenten (Superbeobachter) andere Agenten als Quantensysteme und schließen auf das Wissen der anderen, was zu einem logischen Widerspruch bezüglich Messergebnissen führt. Während das FR-Paradoxon auf dem logisch kontextuellen Hardy-Modell beruht, erfordert es eine Nachselektion spezifischer Messergebnisse und beinhaltet Schlussfolgerungen von Agenten, die selbst quantenmechanisch modelliert werden. Dieser Artikel identifiziert, dass die logische Struktur des FR-Paradoxons durch „logische Nichtlokalität" (Hardy) untermauert wird, und strebt an, ein stärkeres Paradoxon auf Basis von „starker Kontextualität" (GHZ–Mermin) zu konstruieren, um robustere No-Go-Theoreme abzuleiten.

Methodik

Die Autoren verwenden einen Rahmen, der Quanteninformationstheorie, den sheaf-theoretischen Ansatz zur Kontextualität und epistemische Logik kombiniert. Die Methodik verläuft in drei Hauptphasen:

1. Analyse des FR-Paradoxons: Die Autoren zeigen zunächst, dass das FR-Paradoxon gestärkt werden kann, indem die Schlussfolgerungsphase so modifiziert wird, dass nur „klassische Agenten" (Agenten, die im Protokoll von anderen nicht quantenmechanisch modelliert werden) die Schlussfolgerungen ziehen. Sie identifizieren den zugrundeliegenden Mechanismus als das Hardy-Modell, einen Beweis für Nichtlokalität ohne Ungleichungen, der auf possibilistischen Argumenten (Null- vs. Nicht-Null-Wahrscheinlichkeit) beruht.
2. Konstruktion des GHZ–FR-Paradoxons: Unter Ausnutzung der Abbildung zwischen Bell-Nichtlokalitätsszenarien und erweiterten Wigners-Freund-Szenarien konstruieren die Autoren ein neues Paradoxon auf Basis des GHZ–Mermin-Modells. Dieses Modell zeigt „starke Kontextualität", was bedeutet, dass keine globale Zuordnung von Ergebnissen existiert, die mit den lokalen Möglichkeiten konsistent ist, im Gegensatz zum Hardy-Modell, bei dem einige globale Zuordnungen existieren.
3. Ableitung von No-Go-Theoremen: Die Autoren formalisieren die Annahmen, die für das Halten des Paradoxons erforderlich sind, und leiten zwei verschiedene No-Go-Theoreme ab:
   • Das GHZ–FR-Wahrheits-No-Go-Theorem: Basierend auf der Annahme einer absoluten, einwertigen Wahrheit für alle beobachteten Ereignisse.
   • Das GHZ–FR-Einigungs-No-Go-Theorem: Ein stärkeres Ergebnis, das die Annahme absoluter Wahrheit durch „Persönliches Wissen" (Agenten können Ergebnisse relativ zu sich selbst zuordnen) und „Klassische Einigung" (klassisch kommunizierende Agenten müssen bei überlappenden Ergebnissen übereinstimmen) ersetzt.

Hauptbeiträge

1. Das GHZ–FR-Paradoxon

Der Artikel stellt ein neues Protokoll vor, das drei Beobachter-Superbeobachter-Paare (Alice/Ursula, Bob/Valentina, Charlie/Wigner) umfasst, die einen GHZ-Zustand teilen.

• Protokoll: Beobachter (A, B, C) messen ihre Qubits in der $Y$-Basis. Superbeobachter (U, V, W) führen anschließend „Supermessungen" (X-ähnliche Messungen) am kombinierten System aus Beobachter und dessen Qubit durch.
• Kontrast zu FR: Im Gegensatz zum FR-Paradoxon erfordert das GHZ–FR-Paradoxon keine Nachselektion. Der Widerspruch entsteht in jedem Durchlauf des Protokolls, bei dem die Superbeobachter spezifische Ergebnisse erhalten, und nicht nur in einer nachselektierten Teilmenge. Darüber hinaus werden die Schlussfolgerungen ausschließlich von klassischen Agenten gezogen (den Superbeobachtern, nachdem sie gemessen haben), wodurch die Notwendigkeit entfällt, dass quantenmechanische Agenten über andere quantenmechanische Agenten schließen.

2. Das GHZ–FR-Wahrheits-No-Go-Theorem

Dieses Theorem zeigt die Unvereinbarkeit dreier Annahmen auf:

• Universalität der Quantentheorie: Superbeobachter existieren und können Labore als geschlossene Quantensysteme modellieren, die sich unitär entwickeln.
• Absolutheit beobachteter Ereignisse (AOE): Jede durchgeführte Messung hat ein absolutes, einwertiges Ergebnis.
• Born-Kompatibilität: Die Verwendung der possibilistischen Born-Regel durch Agenten liefert gültige Vorhersagen über diese absoluten Ergebnisse, selbst wenn der Agent nicht physisch alle Ergebnisse sammelt.

Der Beweis zeigt, dass die Vorhersagen der Born-Regel für die Superbeobachter (abgeleitet aus den GHZ-Mermin-Paritätsgleichungen) miteinander unvereinbar sind mit der Existenz einer einzigen globalen Zuordnungsfunktion $f$, die Messungen auf Ergebnisse abbildet.

3. Das GHZ–FR-Einigungs-No-Go-Theorem

Dieses Theorem schwächt die Annahmen ab, um den Widerspruch noch robuster zu machen. Es ersetzt AOE durch:

• Persönliches Wissen: Ein Agent kann ein einwertiges Ergebnis einer Messung zuordnen, von der er glaubt, dass er darauf zugreifen kann.
• Klassische Einigung: Wenn klassische Agenten kommunizieren, müssen ihre Ergebniszuordnungen bei der Überlappung ihres Wissens übereinstimmen.

Das Theorem beweist, dass selbst ohne die Annahme einer absoluten Wahrheit die Kombination aus Universalität, Persönlichem Wissen, Klassischer Einigung und Born-Kompatibilität zu einem Widerspruch führt. Dies impliziert, dass, wenn Superbeobachter existieren, klassische Agenten selbst bei Kommunikation nicht konsistent über Ergebniswerte übereinstimmen können, es sei denn, eine der anderen Annahmen wird verworfen.

4. Vorgeschlagene Lösung: Born-Praktikabilität

Um das Paradoxon zu lösen und gleichzeitig die Universalität der Quantentheorie aufrechtzuerhalten, schlagen die Autoren ein Prinzip namens Born-Praktikabilität (oder Relativität beobachteter Ereignisse) vor.

• Prinzip: Ein Agent kann die Born-Regel nur verwenden, um Vorhersagen über Ergebnisse zu formulieren, die unter der Bedingung stehen, dass er tatsächlich etwas über diese Ergebnisse erfährt.
• Implikation: „Nicht durchgeführte Experimente haben keine Ergebnisse, und unbekannte Ergebnisse haben keine Werte." Ein Agent (z. B. Ursula) kann keinen definitiven Wert für Bobs Ergebnis $b$ behaupten, es sei denn, sie fragt Bob tatsächlich danach. Im GHZ–FR-Protokoll fragen die Superbeobachter die Beobachter niemals nach ihren Ergebnissen; sie schließen nur darauf, was sie finden würden, wenn sie es täten. Durch die Beschränkung von Vorhersagen auf konditionale Aussagen („Wenn ich frage, werde ich finden...") wird der logische Widerspruch vermieden, da die Agenten niemals gleichzeitig das gemeinsame Wissen besitzen, das erforderlich wäre, um die Inkonsistenz auszulösen.

Ergebnisse

• Stärkere Nichtlokalitäten: Der Artikel stellt fest, dass das GHZ–Mermin-Modell (starke Kontextualität) eine leistungsfähigere Grundlage für Wigners-Freund-Paradoxa bietet als das Hardy-Modell (logische Kontextualität) und die Notwendigkeit einer Nachselektion beseitigt.
• Verfeinerte Annahmen: Die Arbeit klärt, dass der Widerspruch nicht darauf beruht, dass quantenmechanische Agenten über andere quantenmechanische Agenten schließen (ein Punkt der Kontroverse in der vorherigen Literatur), sondern daraus resultiert, dass klassische Agenten über Quantensysteme schließen.
• Ungültigkeit von Schlussfolgerungsprinzipien: Das GHZ–FR-Paradoxon macht spezifische Sätze von Schlussfolgerungsprinzipien, die in der Literatur vorgeschlagen wurden (z. B. in Ref. [88]), ungültig, die versuchen, das FR-Paradoxon zu lösen, indem sie Vorhersagen für Agenten einschränken, die Supermessungen unterzogen werden, da diese Prinzipien nicht auf die klassischen Agenten im GHZ–FR-Setup anwendbar sind.

Bedeutung und Behauptungen

Die Autoren behaupten, dass das GHZ–FR-Paradoxon eine „streng stärkere" Version des FR-Paradoxons darstellt. Seine Bedeutung liegt in:

1. Robustheit: Durch die Beseitigung von Nachselektion und Schlussfolgerungen quantenmechanischer Agenten gilt das Paradoxon für eine breitere Klasse von Szenarien und beruht auf weniger, natürlicheren Annahmen.
2. Klärung der Grundlagen: Es schärft die Debatte über das Messproblem, indem es zeigt, dass die Inkonsistenz bereits dann entsteht, wenn nur klassische Agenten schließen, sofern sie die Universalität der Quantentheorie und die Fähigkeit akzeptieren, Ergebnisse Messungen zuzuordnen, von denen sie glauben, darauf zugreifen zu können.
3. Lösungsweg: Der Artikel schlägt vor, dass die natürlichste Lösung, wenn man Superbeobachter akzeptiert, die Annahme der Born-Praktikabilität ist. Dies erweitert Peres' Diktum („Nicht durchgeführte Experimente haben keine Ergebnisse") um die Idee, dass „unbekannte Ergebnisse keine Werte haben", wodurch Messergebnisse effektiv relativ zu dem Agenten werden, der sie erfährt. Dies legt nahe, dass die „Absolutheit beobachteter Ereignisse" die spezifische Annahme ist, die verworfen werden muss, um Konsistenz in einem Universum mit Superbeobachtern aufrechtzuerhalten.

Der Artikel schließt mit der Feststellung, dass diese Ergebnisse neue Richtungen für die Untersuchung des Messproblems, der Natur von Quantenzuständen (epistemisch vs. ontisch) und der Beziehung zwischen verschiedenen vorgeschlagenen Lösungen (wie relationale Quantenmechanik und Theorien mit verborgenen Variablen) eröffnen.