Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

Dieses Papier konstruiert ein ontologisches Modell für die bilokale klassische Theorie, um zu demonstrieren, dass lokale Klassizität keine klassische Erklärbarkeit garantiert, wodurch eine vorangegangene Vermutung widerlegt, die Einschränkungen lokaler Tomographie-Annahmen in Strukturtheoremen aufzeigt und mittels eines Gegenbeispiels beweist, dass die beiden Konzepte grundlegend verschieden sind.

Das Wesentliche

Stellen Sie sich vor, Sie versuchen, die Regeln eines Spiels zu verstehen. In der Physik haben wir normalerweise zwei Hauptwege, die Welt zu betrachten: die „klassische“ Art (wie ein Standard Kartendeck, bei dem jede Karte ein definitives Gesicht hat) und die „Quanten“-Art (bei der Karten in einer Superposition von Gesichtern sein können, bis man hinsieht).

Dieses Papier handelt von einem speziellen, seltsamen Spiel namens Bilokale Klassische Theorie (BCT). Die Autoren stellen eine tiefe Frage: Lässt sich dieses seltsame Spiel mit einfacher, alltäglicher Logik (Klassizität) erklären, obwohl die Regeln dieses Spiels für die Kombination von Spielern den üblichen Gesetzen der Physik zu widersprechen scheinen?

Hier ist die Aufschlüsselung ihrer Entdeckung unter Verwendung einfacher Analogien.

1. Zwei Arten, „klassisch“ zu sein

Das Papier unterscheidet zwischen zwei Arten von „Klassizität“:

• Lokal klassisch: Stellen Sie sich vor, jeder einzelne Spieler im Spiel ist eine normale, berechenbare Person. Wenn man sie einzeln betrachtet, ergeben sie vollkommen Sinn.
• Klassisch erklärbar: Stellen Sie sich vor, Sie können das gesamte Spiel, einschließlich der Art und Weise, wie Spieler interagieren und sich kombinieren, durch eine einfache, logische Geschichte (ein ontologisches Modell) erklären, die unserem alltäglichen Verständnis von Ursache und Wirkung entspricht.

Normalerweise dachten Physiker, dass es unmöglich wäre, eine einfache, logische Geschichte zu konstruieren, wenn ein Spiel „seltsam“ aussieht, wenn Spieler sich kombinieren (speziell, wenn es eine Regel verletzt, die als Lokale Tomographie bezeichnet wird). Lokale Tomographie ist wie zu sagen: „Um den Zustand eines Teams zu kennen, müssen Sie nur jeden einzelnen Spieler überprüfen.“ Wenn ein Spiel diese Regel verletzt, bedeutet das, dass das Team einen „geheimen Handschlag“ oder eine verborgene Verbindung hat, die man nicht sehen kann, wenn man nur die Individuen betrachtet.

2. Die erste Entdeckung: Das „bilokale“ Spiel ist erklärbar

Die Autoren untersuchten die Bilokale Klassische Theorie (BCT).

• Der Aufbau: In der BCT ist jeder einzelne Spieler vollkommen normal (lokal klassisch). Wenn jedoch zwei Spieler ihre Kräfte bündeln, sind die Regeln für ihre Kombination seltsam. Es ist, als ob zwei normale Menschen, die Händchen halten, plötzlich einen dritten, unsichtbaren Menschen erschaffen würden, der nur existiert, weil sie sich an den Händen halten. Man kann nicht herausfinden, was das Paar tut, indem man sich einfach nur Person A und Person B einzeln ansieht.
• Der alte Glaube: Eine frühere Theorie deutete darauf hin, dass es, weil die BCT diesen „unsichtbaren dritten Menschen“ besitzt (was die Lokale Tomographie verletzt), unmöglich sei, eine einfache, logische Geschichte zu konstruieren, um sie zu erklären. Es wurde als zu seltsam angesehen, um eine klassische Erklärung zu ermöglichen.
• Das neue Ergebnis: Die Autoren bauten eine Landkarte (ein ontologisches Modell), die dieses seltsame BCT-Spiel in ein Standard-, langweiliges klassisches Spiel übersetzt.
  • Die Analogie: Stellen Sie sich vor, die BCT ist ein komplexer Zaubertrick. Die Autoren fanden einen Weg zu zeigen, dass dieser Trick eigentlich nur ein Standard-Kartenschütteln ist, das jedoch auf einem Tisch durchgeführt wird, der doppelt so groß ist, wie man dachte. Sie zeigten, dass man das Verhalten des „Teams“ perfekt erklären kann, selbst wenn es mysteriös aussieht, indem man einige zusätzliche „versteckte Slots“ (ontische Zustände) zum mentalen Modell der Spieler hinzufügt.
  • Das Fazit: Man kann ein Spiel haben, das seltsam aussieht, wenn Spieler sich kombinieren, aber es kann dennoch mit einfacher, lokaler Logik erklärt werden. Das „Seltsame“ ist kein fundamentales Mysterium; es ist nur eine Frage der Betrachtung auf der richtigen Detailebene.

3. Die zweite Entdeckung: Nicht alle seltsamen Spiele sind erklärbar

Wenn das erste Ergebnis lautete „Ja, dieses seltsame Spiel ist erklärbar“, fragten die Autoren: „Ist jedes seltsame Spiel erklärbar?“

• Das Gegenbeispiel: Sie konstruierten eine andere Art von Spiel namens Latente Klassische Theorien (LCT).
• Der Aufbau: Wie die BCT ist jeder einzelne Spieler normal. Aber die Regeln, wie sie sich kombinieren, sind noch verdrehter. In diesem Spiel erzeugt die Kombination zweier Spieler manchmal eine „Geisterverbindung“, die so stark ist, dass sie jede normale Interaktion zwischen ihnen aufheben kann.
• Das Ergebnis: Die Autoren bewiesen, dass es für diese spezifischen Spiele keine einfache Geschichte gibt. Man kann keine Landkarte bauen, die dieses Spiel in ein Standard-Klassik-Spiel übersetzt.
  • Die Analogie: Stellen Sie sich ein Spiel vor, bei dem zwei normale Menschen Händchen halten und plötzlich zu einer einzigen Einheit werden, die jede andere Person im Raum „auslöschen“ kann. Egal, wie man versucht, dies mit Standardlogik zu erklären (wie etwa „sie halten nur Händchen“), die Mathematik bricht zusammen. Die „Geisterverbindung“ ist zu fundamental, um durch das Hinzufügen von versteckten Slots weg erklärt zu werden.
  • Das Fazit: Nur weil ein Spiel klassisch aussieht, wenn man die einzelnen Spieler betrachtet, bedeutet das nicht, dass das gesamte Spiel klassisch erklärbar ist. Manchmal erzeugt die Art und Weise, wie Dinge kombiniert werden, eine „Seltsamkeit“, die wirklich unerklärlich durch einfache Logik ist.

4. Das große Ganze

Das Papier zieht eine Grenzlinie:

• Alte Sichtweise: Wenn eine Theorie den „Lokale Tomographie“-Test nicht besteht (das heißt, man kann das Ganze nicht verstehen, indem man nur auf die Teile schaut), muss sie fundamental nicht-klassisch und unerklärbar sein.
• Neue Sichtweise: Das ist falsch.
  • Einige Theorien (wie die BCT) bestehen den Test nicht, sind aber doch erklärbar.
  • Einige Theorien (wie die LCT) bestehen den Test nicht und sind nicht erklärbar.

Das Fazit:
Die Autoren zeigen, dass es keinen einfachen, geradlinigen Zusammenhang zwischen „klassisch aussehen auf der Innenseite“ und „durch eine einfache Geschichte erklärbar sein“ gibt. Die Art und Weise, wie Systeme kombiniert werden (Komposition), ist ein entscheidender, unabhängiger Faktor. Man kann nicht einfach davon ausgehen, dass, weil die Teile einfach sind, das Ganze auch einfach sein muss – oder dass, wenn das Ganze seltsam ist, es unerklärlich ist. Man muss die spezifischen Regeln der Kombination betrachten, um sicher zu sein.

Kurz gesagt: „Lokal klassisch“ zu sein, reicht nicht aus, um zu garantieren, dass eine Theorie „klassisch erklärbar“ ist. Der Teufel steckt im Detail der Art und Weise, wie die Dinge zusammenkommen.

Technische Zusammenfassung

Technische Zusammenfassung: Entkopplung von lokaler Klassizität und klassischer Erklärbarkeit

Problemstellung
Die Arbeit untersucht die Beziehung zwischen zwei unterschiedlichen Begriffen von „Klassizität“ innerhalb des Rahmens der Operationalen Probabilistischen Theorien (OPTs): lokale Klassizität und klassische Erklärbarkeit.

• Lokale Klassizität: Eine Theorie ist lokal klassisch, wenn jedes einzelne System innerhalb ihr klassisch ist (d. h. sein Zustandsraum ist ein Simplex und sie erfüllt die No-Restriction-Hypothese), selbst wenn die Regel für die Komposition dieser Systeme von der Standard-Klassischen Theorie abweicht.
• Klassische Erklärbarkeit: Eine Theorie ist klassisch erklärbar, wenn sie ein ontologisches Modell besitzt. Dies ist definiert als eine lineare, diagrammerhaltende und Determinismus-erhaltende Abbildung von der gegebenen Theorie zur Standard-Klassischen Theorie (CT). Dieses Konzept ist äquivalent dazu, dass die Theorie verallgemeinert nichtkontextuell ist.

Eine zentrale Frage stellt sich: Admittiert jede lokal klassische Theorie ein ontologisches Modell? Vorherige Arbeiten zur Bilokalen Klassischen Theorie (BCT) [1] deuteten darauf hin, dass BCT, da sie die lokale Tomographie (das Prinzip, dass zusammengesetzte Zustände vollständig durch lokale Messungen bestimmt sind) verletzt, möglicherweise kein lokal-realistisches ontologisches Modell besitzt. Umgekehrt könnten andere Konstruktionen von lokal klassischen Theorien inhärent daran scheitern, klassisch erklärbar zu sein. Die vorliegende Arbeit zielt darauf ab, diese Konzepte durch die Konstruktion expliziter Modelle und Gegenbeispiele zu entkoppeln.

Methodik
Die Autoren verwenden das Formalismus der OPTs und den Rahmen ontologischer Modelle, wie in den Referenzen [2, 6] definiert. Die Methodik umfasst zwei primäre Konstruktionen:

1. Konstruktion eines ontologischen Modells für BCT:

   • Die Autoren definieren eine lineare Abbildung $\tilde{\xi}$ von BCT zur Standard-Klassischen Theorie ($\Delta$).
   • System-Abbildung: Ein nicht-triviales System $n$ in BCT wird auf ein klassisches System der Dimension $2n$ abgebildet (speziell auf ein Tensorprodukt eines $n$-dimensionalen Raums und eines binären Raums).
   • Zustands-/Effekt-Abbildung: Reine Zustände und Effekte in BCT, die binäre Variablen ($s \in \{0,1\}$) neben Standardindizes beinhalten, werden unter Verwendung von „Copy“- und „Controlled-NOT“ (CNOT)-Gattern auf den binären Subräumen auf klassische Zustände/Effekte abgebildet.
   • Transformations-Abbildung: Atomare Transformationen in BCT werden auf substochastische Matrizen in der klassischen Theorie abgebildet, wobei die spezifische Struktur der BCT-Kompositionsregel (die eine „Verdrehung“ der Indizes über die binäre Variable beinhaltet) bewahrt wird.
   • Konsistenzprüfungen: Die Autoren verifizieren rigoros, dass diese Abbildung die erforderlichen Eigenschaften erfüllt: Linearität, Diagrammerhaltung (Erhaltung von sequenzieller und paralleler Komposition, Identität und Swap) sowie Determinismus-Erhaltung (Abbildung deterministischer Transformationen auf deterministische).

2. Konstruktion eines Gegenbeispiels (Latente Klassische Theorien – LCTs):

   • Die Autoren nutzen die „Latent Theory“-Konstruktion aus Ref. [76], angepasst an klassische Systeme.
   • Definition: LCTs sind durch eine Kompositionsregel definiert, bei der das Kompositum zweier Systeme $C_1$ und $C_2$ einen zusätzlichen „latenten“ Faktorsraum $L_{12}$ enthält (d. h. $C_1 \otimes C_2 = L_{12} \otimes C_1 \otimes C_2$).
   • Bedingung: Der latente Zustand $|\kappa\rangle_{L_{12}}$ wird so gewählt, dass er nicht vollrangig ist (den gesamten latenten Raum nicht aufspannt).
   • Beweis der Nicht-Existenz: Die Autoren beweisen, dass, falls der latente Zustand nicht vollrangig ist, es einen nicht-null Effekt gibt, der jeden Produktszustand annihiliert. Sie zeigen auf, dass kein ontologisches Modell für eine solche Theorie existieren kann, da die diagrammerhaltende Eigenschaft der Abbildung verlangen würde, dass dieser Effekt auf einen Null-Effekt in der klassischen Theorie abgebetet wird, was der Wahrscheinheitserhaltung des Nicht-Null-Effekts auf einem spezifischen zusammengesetzten Zustand widerspricht.

Zentrale Beiträge und Ergebnisse

1. Existenz eines ontologischen Modells für BCT (Theorem 2.3):
   Die Arbeit konstruiert das erste ontologische Modell für eine gesamte Theorie, die die lokale Tomographie verletzt. Dieses Ergebnis widerlegt die Vermutung aus Ref. [1], wonach BCT möglicherweise kein lokal-realistisches ontologisches Modell besitzt.

   • Implikation: Das Scheitern der lokalen Tomographie schließt die klassische Erklärbarkeit nicht notwendigerweise aus. Die nicht-lokal-tomographischen Freiheitsgrade in BCT können durch das Hinzufügen zusätzlicher ontischer Zustände lokal kompensiert werden.

2. Nicht-Existenz von ontologischen Modellen für LCTs (Theorem 3.2):
   Die Autoren beweisen, dass Latente Klassische Theorien mit nicht-vollrangigen latenten Zuständen kein ontologisches Modell besitzen.

   • Implation: Nicht jede lokal klassische Theorie ist klassisch erklärbar. Es besteht ein fundamentaler Konflikt zwischen bestimmten Kompositionsregeln (speziell jenen, die starke Verletzungen der lokalen Tomographie erlauben) und der Existenz eines nichtkontextuellen verborgenen Variablenmodells.

3. Entkopplung der Konzepte:
   Die Ergebnisse zeigen, dass lokale Klassizität und klassische Erklärbarkeit unabhängige Eigenschaften sind. Eine Theorie kann lokal klassisch, aber nicht klassisch erklärbar sein (LCTs), oder lokal klassisch und klassisch erklärbar sein, obwohl sie die lokale Tomographie verletzt (BCT).

Bedeutung und Behauptungen
Die Arbeit behauptet, dass diese Erkenntnisse signifikante Auswirkungen auf das fundamentale Verständnis der Klassizität haben:

• Limitierung von Strukturtheoremen: Das Ergebnis zeigt, dass die Annahme der lokalen Tomographie, die dem Strukturtheorem für verallgemeinerte nichtkontextuelle Modelle in Ref. [2] zugrunde liegt, eine echte Limitierung dieses Theorems darstellt. Das Theorem gilt nicht für Theorien, welche die lokale Tomographie verletzen, selbst wenn sie lokal klassisch sind.
• Kompositionale Eigenschaften sind zentral: Die Autoren argumentieren, dass die Art und Weise, wie Systeme komponieren (die Kompositionsregel), kein technisches Nebenthema ist, sondern eine zentrale, unvermeidbare Frage für das Verständnis der Klassizität. Die Unterscheidung zwischen Theorien, die lokal klassisch, aber global nicht-klassisch (im Sinne der Erklärbarkeit) sind, unterstreicht die Bedeutung der kompositionalen Struktur.
• Klärung der Klassizität: Die Arbeit liefert ein konkretes Beispiel (BCT), bei dem eine Theorie einfacher über ihr zugrunde liegendes ontologisches Modell zu verstehen ist als über ihre ursprüngliche operationale Formulierung, ähnlich wie Spekkens' Toy Theory die seltsamen dimensionsweisen der Stabilisator-Subtheorien klärt.
• Keine direkte Beziehung: Die Ergebnisse etablieren, dass es keine einfache Beziehung zwischen der Tatsache, dass eine Theorie lokal klassisch ist, und der Tatsache, dass sie klassisch erklärbar ist, gibt. Es wird nahegelegt, zukünftige Arbeit zu leisten, um physikalische Prinzipien zu finden, die unterscheiden, welche lokal klassischen Theorien ontologische Modelle zulassen.

Die Arbeit schließt mit dem Schluss, dass der Status der kompositionalen Eigenschaften fundamental für ein kohärentes Verständnis der Klassizität selbst ist, und geht damit über die traditionelle Sichtweise hinaus, dass lokale Tomographie eine notwendige Bedingung für klassische Erklärbarkeit sei.