An extended Wigner's friend no-go theorem inspired by generalized contextuality

Inspiriert von der Korrespondenz zwischen Nichtlokalität und verallgemeinerter Kontextualität führt diese Arbeit das No-Go-Theorem der „Nichtkontextuellen Freundlichkeit" ein, das zeigt, dass die Quantentheorie mit den gemeinsamen Annahmen der Absolutheit beobachteter Ereignisse und nichtkontextueller Handlungsfähigkeit unvereinbar ist, wodurch das bestehende No-Go-Theorem der lokalen Freundlichkeit verallgemeinert und gestärkt wird.

Das Wesentliche

Das große Ganze: Ein neues „Verbot"-Schild auf der Straße zur Realität

Stellen Sie sich vor, Sie versuchen, ein Haus (unser Verständnis der Realität) mit einem bestimmten Satz von Bauplänen (Quantentheorie) zu bauen. Seit langem versuchen Wissenschaftler herauszufinden, ob diese Baupläne mit der Idee vereinbar sind, dass das Haus in einer einzigen, festen, objektiven Weise existiert, der alle zustimmen.

Dieses Papier führt eine neue, strengere Regel zur Überprüfung ein, ob die Baupläne funktionieren. Die Autoren, Laurens Walleghem und Lorenzo Catani, haben ein neues „No-Go-Theorem" entwickelt. Stellen Sie sich ein „No-Go-Theorem" als ein Schild vor, das sagt: „Sie können nicht beides haben."

Konkret zeigen sie, dass Sie nicht gleichzeitig Folgendes haben können:

1. Quantentheorie (die aktuellen Regeln des Universums).
2. Absolute Fakten (die Idee, dass, wenn jemand etwas sieht, dies eine einzige, objektive Wahrheit für alle ist).
3. Nicht-kontextuelle Handlungsfähigkeit (eine neue, etwas schwächere Version einer Regel darüber, wie Informationen fließen).

Wenn Sie akzeptieren, dass die Quantentheorie wahr ist und dass das beschriebene Experiment möglich ist, sind Sie gezwungen, die Idee aufzugeben, dass beobachtete Ereignisse absolut sind.

---

Die Besetzung: Die Freunde und die Super-Beobachter

Um das Experiment zu verstehen, müssen wir die Charaktere kennenlernen, die auf einem berühmten Gedankenexperiment namens „Wigners Freund" basieren.

• Charlie und Debbie: Dies sind die „Freunde". Sie befinden sich in versiegelten Labors. Sie führen Messungen an winzigen Teilchen (wie Elektronen) durch und erhalten Ergebnisse. Für sie ist das Ergebnis real und endgültig.
• Alice und Bob: Dies sind die „Super-Beobachter". Sie befinden sich außerhalb der Labors. Sie besitzen eine magische Superkraft: Sie können Charkies und Debbies gesamte Labors so behandeln, als wären sie nur ein einziges großes Quantenobjekt.

Der Zaubertrick:
Normalerweise ist das Ergebnis, sobald Charlie ein Teilchen gemessen hat, festgelegt. Aber Alice, die Super-Beobachterin, kann einen „Quantenlöscher" (eine ausgefeilte unitäre Operation) verwenden, um Charkies Messung rückgängig zu machen. Sie kann Charkies Erinnerung an das Ergebnis löschen und den Prozess umkehren, so als hätte Charlie überhaupt nichts gemessen.

Die zwei Szenarien: Bell vs. Kontextualität

Das Papier vergleicht zwei verschiedene Möglichkeiten, die Realität zu testen.

1. Der alte Weg: Lokale Freundlichkeit (Das Bell-Szenario)

In früheren Arbeiten kombinierten Wissenschaftler die „Freunde" mit einem Setup namens Bell-Szenario.

• Die Analogie: Stellen Sie sich vor, Charlie und Debbie sind in zwei verschiedenen Städten. Sie werfen jeweils eine Münze. Alice und Bob, die draußen stehen, können wählen, entweder die Münzen zu überprüfen oder die Würfe „rückgängig" zu machen.
• Die Regel: Sie gingen von Lokaler Handlungsfähigkeit aus. Das bedeutet: „Was in Stadt A passiert, kann nicht sofort beeinflussen, was in Stadt B passiert."
• Das Ergebnis: Sie bewiesen, dass, wenn man annimmt, die Ergebnisse seien absolute Fakten, die Quantentheorie diese Regel bricht.

2. Der neue Weg: Nicht-kontextuelle Freundlichkeit (Das Kontextualitäts-Szenario)

In diesem Papier tauschen die Autoren das „Bell"-Setup gegen ein Kontextualitäts-Setup aus.

• Die Analogie: Statt zwei Städten stellen Sie sich ein einzelnes Labor vor, in dem Charlie ein Teilchen auf verschiedene Arten vorbereitet (wie es in verschiedenen Farben anmalt) und Debbie es misst.
• Die Regel: Sie führen Nicht-kontextuelle Handlungsfähigkeit ein.
  • Was ist Kontextualität? In der Quantenwelt hängt die Antwort, die Sie erhalten, oft davon ab, wie Sie die Frage stellen (der Kontext). Zum Beispiel kann das Messen des „Spin nach oben" eines Teilchens ein anderes Ergebnis liefern, je nachdem, ob Sie es zusammen mit „Spin nach links" oder „Spin nach rechts" gemessen haben.
  • Was ist Nicht-kontextuelle Handlungsfähigkeit? Es ist der Glaube, dass, wenn zwei verschiedene Arten, ein Teilchen vorzubereiten, für die Außenwelt genau gleich aussehen, sie als dieselbe „Realität" im Inneren behandelt werden sollten, selbst wenn keine einzelne Person beide gleichzeitig überprüfen kann.

Das Kernargument: Die „Verschwörung" der Realität

Die Autoren argumentieren, dass Nicht-kontextuelle Handlungsfähigkeit eine sehr vernünftige Annahme ist. Sie basiert auf einem Prinzip namens „Keine Feinabstimmung".

Die Metapher der Verschwörung:
Stellen Sie sich vor, Sie backen einen Kuchen.

• Szenario A: Sie schmecken den Teig, und er schmeckt nach Schokolade.
• Szenario B: Sie schmecken den Teig erneut, aber diesmal haben Sie einen anderen Löffel verwendet. Er schmeckt immer noch nach Schokolade.
• Die Regel: Wenn der Teig in beiden Szenarien gleich schmeckt, ist es sinnvoll anzunehmen, dass die Zutaten (die Realität) gleich sind.

Die Verschwörung:
Wenn der Teig gleich schmeckt, wenn Sie ihn überprüfen können, aber plötzlich nach Vanille schmeckt, wenn Sie ihn nicht überprüfen können (weil der „Super-Beobachter" die Erinnerung an den Löffel gelöscht hat), wäre das eine Verschwörung. Das Universum würde die Zutaten heimlich ändern, nur weil niemand hinsieht.

Das Papier argumentiert: „Es ist zu viel einer Verschwörung zu glauben, dass das Universum seine Regeln ändert, nur weil ein Super-Beobachter eine Erinnerung löscht." Daher müssen wir Nicht-kontextuelle Handlungsfähigkeit akzeptieren: Die Regeln sollten auch für die „gelöschten" Ereignisse gelten.

Die Pointe: Der Widerspruch

Hier ist der „No-Go"-Teil:

1. Quantentheorie sagt voraus, dass, wenn Alice und Bob ihre „Quantenlöscher"-Kräfte einsetzen, die Statistiken der Ergebnisse auf eine bestimmte Weise aussehen werden.
2. Nicht-kontextuelle Freundlichkeit (die Kombination aus Absolute Fakten + Nicht-kontextuelle Handlungsfähigkeit) besagt, dass die Ergebnisse einem anderen Muster folgen müssen (einem, das eine einzige, konsistente Realität annimmt).
3. Der Konflikt: Wenn Sie die Mathematik durchführen, sagen Quantentheorie und Nicht-kontextuelle Freundlichkeit entgegengesetzte Ergebnisse voraus. Sie können nicht beide wahr sein.

Warum ist dieses Ergebnis „stärker"?

Die Autoren behaupten, dieses neue Theorem sei „stärker" als die alten. Hier ist der Grund:

• Die alte Regel (Bell/Lokale Freundlichkeit): Erforderte die Annahme, dass „was hier passiert, nicht sofort beeinflusst, was dort passiert" (Lokale Kausalität). Dies ist eine sehr strenge Regel über Raum und Zeit.
• Die neue Regel (Nicht-kontextuelle Freundlichkeit): Erfordert nur die Annahme, dass „wenn zwei Dinge gleich aussehen, sie gleich sind" (Nicht-kontextualität). Dies ist eine viel schwächere, grundlegendere Regel über Logik und Realität.

Die Analogie:
Stellen Sie sich vor, Sie versuchen zu beweisen, dass eine Brücke unsicher ist.

• Alter Beweis: „Die Brücke ist unsicher, weil der Wind zu stark weht." (Erfordert eine spezifische, starke Bedingung: starker Wind).
• Neuer Beweis: „Die Brücke ist unsicher, weil die Ziegel aus Gelee bestehen." (Erfordert eine viel schwächere Bedingung: nur, dass die Ziegel aus Gelee sind).

Wenn Sie beweisen können, dass die Brücke unsicher ist, selbst wenn der Wind ruhig ist (unter Verwendung des Gelee-Arguments), ist Ihr Beweis stärker. Ebenso zeigt dieses Papier, dass die Quantentheorie mit der Realität unvereinbar ist, selbst wenn wir die schwächsten, grundlegendsten Annahmen darüber verwenden, wie die Realität funktioniert.

Das Fazit

Wenn Sie glauben:

1. Die Quantentheorie ist korrekt.
2. Das „Super-Beobachter"-Experiment ist möglich (was impliziert, dass die Quantentheorie auch auf Beobachter zutrifft).
3. Das Universum „verschwört" sich nicht, um seine wahre Natur zu verbergen, wenn wir nicht hinschauen (Nicht-kontextuelle Handlungsfähigkeit).

Dann müssen Sie schließen, dass beobachtete Ereignisse nicht absolut sind.

Mit anderen Worten: Wenn Charlie ein Ergebnis sieht, mag dieses Ergebnis für Charlie real sein, aber es mag kein einzelnes, objektives Faktum für Alice sein. Die Realität ist in dieser Sichtweise relativ zum Beobachter, selbst wenn dieser Beobachter ein „Super-Beobachter" ist, der Erinnerungen löschen kann.

Das Papier schlägt nicht vor, dass dies verändert, wie wir heute Computer bauen oder Krankheiten behandeln. Es ist ein tiefes philosophisches und mathematisches Ergebnis über die fundamentale Natur der Realität und die Grenzen unserer Fähigkeit, das Universum mit einer einzigen, objektiven Geschichte zu beschreiben.

Technische Zusammenfassung

Technisches Fazit: Ein erweiterter Wigner-Freund-No-Go-Theorem inspiriert durch generalisierte Kontextualität

Problemstellung
Der Beitrag adressiert die Spannung zwischen der Quantentheorie und klassischen Weltanschauungen, wobei er sich speziell auf die interpretatorischen Probleme konzentriert, die entstehen, wenn Agenten als Quantensysteme behandelt werden, die Messungen durchführen können. Während das No-Go-Theorem der lokalen Freundlichkeit (Local Friendliness, LF) einen Widerspruch zwischen Quantenvorhersagen und der gemeinsamen Annahme der Absolutheit beobachteter Ereignisse (Absoluteness of Observed Events, AOE) und der lokalen Handlungsfähigkeit (Local Agency) etabliert hat, streben die Autoren an, dieses Ergebnis zu verallgemeinern. Das Ziel ist es, zu bestimmen, ob ähnliche Widersprüche auftreten, wenn die Annahme der lokalen Handlungsfähigkeit (eine verstärkte Form der Nicht-Signalierung) durch eine schwächere Annahme ersetzt wird, die aus der generalisierten Kontextualität abgeleitet ist. Die Autoren beabsichtigen nachzuweisen, dass die Quantentheorie mit einem Szenario der „Nicht-kontextuellen Freundlichkeit" (Noncontextual Friendliness) unvereinbar ist, wodurch ein No-Go-Theorem entsteht, das stärker ist als diejenigen, die ausschließlich auf generalisierter Nicht-Kontextualität basieren.

Methodik
Die Autoren nutzen eine bekannte Korrespondenz zwischen Beweisen für Nichtlokalität in Bell-Szenarien und Beweisen für Kontextualität in Prepare-and-Measure-Szenarien. Die Methodik verläuft wie folgt:

1. Szenario-Konstruktion: Die Autoren entwerfen ein Szenario der „Nicht-kontextuellen Freundlichkeit" (Noncontextual Friendliness, NF) (Abbildung 4), das ein einzelnes Quantensystem $S$ und drei Agenten umfasst: Alice (ein Superbeobachter), Charlie (ein Freund) und Debbie (ein Freund), gefolgt von Bob (ein Superbeobachter).

   • Alice präpariert ein Qubit und sendet es an Charlie.
   • Charlie führt eine Messung $C$ durch (unitär modelliert als $U_C$).
   • Je nach Einstellung $x \in \{0, 1\}$ akzeptiert Alice entweder Charlies Ergebnis ($x=0$) oder agiert als Superbeobachter, um Charlies Messung via $U_C^\dagger$ rückgängig zu machen ($x=1$), wodurch die Ergebnisprotokolle gelöscht werden.
   • Das System wird an Debbie weitergegeben, die eine Messung $D$ durchführt (modelliert als $U_D$).
   • Je nach Einstellung $y \in \{0, 1\}$ akzeptiert Bob entweder Debbies Ergebnis ($y=0$) oder hebt ihre Messung via $U_D^\dagger$ auf und führt eine Messung $B$ durch ($y=1$).

2. Annahmen: Das Theorem stützt sich auf zwei Kernannahmen:

   • Absolutheit beobachteter Ereignisse (AOE): Beobachtete Ergebnisse sind singuläre, objektive Ereignisse und nicht relativ zu einem Beobachter. Dies impliziert die Existenz einer gemeinsamen Wahrscheinlichkeitsverteilung $p(a, b, c, d|x, y)$ für alle Ergebnisse, selbst für solche, die gelöscht oder für einen einzelnen Agenten unzugänglich sind.
   • Nicht-kontextuelle Handlungsfähigkeit (Noncontextual Agency): Dies wird definiert als die Anforderung, dass jede operationale Äquivalenz, die verifizierbar ist, wenn alle Variablen gemeinsam zugänglich sind, weiterhin gelten muss, wenn diese Variablen einem einzelnen Agenten nicht gemeinsam zugänglich sind. Spezifisch erweitert sie Standard-Operationale-Äquivalenzen (z. B. Präparationsunabhängigkeit) auf das Niveau von gemeinsam unzugänglichen Ereignissen, die durch AOE garantiert sind. Dies wird als eine stärkere Version der Standard-operationalen Äquivalenz, aber als eine schwächere Version der generalisierten Nicht-Kontextualität präsentiert (welche verlangt, dass solche Äquivalenzen innerhalb eines ontologischen Modells gelten).

3. Beweisstrategie: Die Autoren bilden das einfachste nicht-triviale Szenario für generalisierte Kontextualität (unter Einbeziehung von vier Präparationen und zwei Messungen) auf das NF-Setup ab. Unter der Annahme von AOE und Nicht-kontextueller Handlungsfähigkeit zeigen sie, dass die im NF-Szenario beobachteten empirischen Korrelationen aus einer einzigen gemeinsamen Wahrscheinlichkeitsverteilung ableitbar sein müssen. Durch die Auswahl spezifischer Quantenpräparationen und -messungen (analog zur maximalen Verletzung von Nicht-Kontextualitäts-Ungleichungen) demonstrieren sie jedoch, dass eine solche gemeinsame Verteilung nicht existiert, was zu einem Widerspruch führt.

Hauptbeiträge

• Das No-Go-Theorem der Nicht-kontextuellen Freundlichkeit (NF): Der Beitrag beweist, dass, wenn ein Superbeobachter beliebige Quantenoperationen an einem Beobachter und seiner Umgebung durchführen kann, keine physikalische Theorie die Konjunktion von AOE und Nicht-kontextueller Handlungsfähigkeit erfüllen kann.
• Verallgemeinerung des LF-Theorems: Die Arbeit stellt fest, dass die lokale Handlungsfähigkeit ein spezifisches Beispiel für Nicht-kontextuelle Handlungsfähigkeit ist (wobei die operationale Äquivalenz die Nicht-Signalierung ist). Folglich verallgemeinert das NF-Theorem das LF-Theorem.
• Hierarchie der Stärke: Die Autoren zeigen, dass das NF-No-Go-Theorem strikt stärker ist als No-Go-Theoreme, die auf generalisierter Nicht-Kontextualität basieren. Während die empirischen Korrelationen im NF-Szenario identisch mit denen im einfachsten Kontextualitäts-Szenario sind, sind die Annahmen, die zur Herleitung des Widerspruchs erforderlich sind (AOE + Nicht-kontextuelle Handlungsfähigkeit), schwächer als diejenigen, die für Standard-Nicht-Kontextualitäts-Beweise erforderlich sind (die auf der Existenz eines nicht-kontextuellen ontologischen Modells beruhen).
• Konzeptuelle Neuformulierung der Handlungsfähigkeit: Der Beitrag interpretiert „Lokale Handlungsfähigkeit" und „Nicht-kontextuelle Handlungsfähigkeit" nicht lediglich als metaphysische Verpflichtungen zu relativistischen kausalen Strukturen oder ontologischen Modellen, sondern als Beispiele des methodologischen Prinzips der Feinabstimmungsfreiheit (no fine-tuning). Es wird argumentiert, dass in einer Welt, in der AOE gilt, es „konspiratorisch" wäre, wenn operationale Äquivalenzen gelten, wenn sie zugänglich sind, aber versagen, wenn sie unzugänglich sind.

Ergebnisse
Der Beitrag leitet einen Widerspruch zwischen quantenmechanischen Vorhersagen und den Annahmen der Nicht-kontextuellen Freundlichkeit her. Spezifisch:

• Unter AOE und Nicht-kontextueller Handlungsfähigkeit müssen die empirischen Korrelationen $\wp(c, d|x=0, y=0)$, $\wp(c, b|x=0, y=1)$, $\wp(a, d|x=1, y=0)$ und $\wp(a, b|x=1, y=1)$ Randverteilungen einer einzigen gemeinsamen Verteilung $p(a, b, c, d|x=1, y=1)$ sein.
• Durch die Wahl spezifischer Quantenzustände und Messungen (z. B. Pauli-$X$- und $Z$-Basen) entsprechen diese Korrelationen der maximalen Verletzung von Nicht-Kontextualitäts-Ungleichungen.
• Gemäß Fine-Theorem kann eine solche gemeinsame Verteilung für diese Korrelationen nicht existieren.
• Daher ist die Quantentheorie mit der Nicht-kontextuellen Freundlichkeit unvereinbar.

Bedeutung
Die Autoren behaupten, dass dieses Ergebnis den Fall gegen die klassische Weltanschauung stärkt, indem es zeigt, dass die Unvereinbarkeit mit der Quantentheorie auch unter schwächeren Annahmen als denen besteht, die in früheren, auf Kontextualität basierenden No-Go-Theoremen verwendet wurden.

• Stärker als Bell/Kontextualität: Genau wie das LF-Theorem stärker als Bells Theorem ist (weil die lokale Handlungsfähigkeit schwächer ist als lokale Kausalität), ist das NF-Theorem stärker als generalisierte Nicht-Kontextualitäts-Theoreme (weil Nicht-kontextuelle Handlungsfähigkeit schwächer ist als generalisierte Nicht-Kontextualität).
• Methodologisch vs. Metaphysisch: Ein wesentlicher konzeptueller Beitrag ist die Verschiebung der Rechtfertigung für „Handlungsfähigkeits"-Annahmen von metaphysischen Verpflichtungen (z. B. relativistische kausale Struktur) zu methodologischen Prinzipien (Feinabstimmungsfreiheit). Wenn man die Universalität der Quantentheorie akzeptiert (was die Realisierbarkeit des Szenarios erlaubt) und das Prinzip der Feinabstimmungsfreiheit, ist man gezwungen, AOE aufzugeben – die Annahme, dass beobachtete Ereignisse absolut sind.
• Zukünftige Richtungen: Der Beitrag schlägt vor, dass dieser Rahmen auf andere Szenarien erweitert werden kann, einschließlich solcher, die beschränkte ontologische Unterscheidbarkeit oder post-quanten-Theorien betreffen, und stellt fest, dass die NF-Annahmen andere neuere Annahmen wie „Kommutationsirrelevanz" in Kochen-Specker-Kontexten umfassen.

Der Beitrag schließt damit, dass das NF-No-Go-Theorem ein robustes Argument liefert, dass, wenn die Quantentheorie universell ist und keine Feinabstimmung angenommen wird, beobachtete Ereignisse nicht absolut sein können, wodurch das klassische Konzept einer objektiven Realität im Kontext von Quantenbeobachtern in Frage gestellt wird.