Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

In der Quantenwelt ist der Akt der Messung eines Systems keine passive Beobachtung, sondern eine aktive Intervention, die die beobachtete Realität verändern kann. Dies steht in krassem Gegensatz zu unserer alltäglichen Erfahrung, in der ein Tisch ein Tisch bleibt, egal ob wir ihn betrachten oder nicht. Jahrzehntelang haben Physiker mit der Vorstellung gerungen, dass Quantenteilchen verborgene, bereits existierende Eigenschaften besitzen könnten, die sich bei einer Messung einfach nur offenbaren, ähnlich wie eine Münze, die vor dem Werfen eine definierte Kopf- oder Zahlenseite hat. Ein berühmtes Ergebnis aus den 1960er Jahren, bekannt als Kochen-Specker-Theorem, bewies jedoch, dass eine solch einfache, vorbestimmte Realität für Quantensysteme in drei oder mehr Dimensionen nicht existieren kann. Das Theorem zeigte, dass man zwangsläufig auf einen logischen Widerspruch stößt, wenn man versucht, jedem möglichen Wert, den ein Teilchen durchlaufen könnte, einen festen Wert zuzuweisen. Die Werte, die man einer Gruppe von Messungen zuweist, würden mit den Werten einer anderen Gruppe kollidieren, obwohl sich das Teilchen selbst nicht verändert hat. Dies impliziert, dass das Ergebnis einer Messung vom spezifischen Kontext abhängt – also den anderen Messungen, die gleichzeitig durchgeführt werden.

Obwohl dieses Theorem eine Welt mit „verborgenen Variablen“, in der Ergebnisse strikt als Ja oder Nein determiniert sind, effektiv ausschloss, blieb eine hartnäckige Frage offen. Was wäre, wenn die verborgenen Variablen nicht so starr wären? Könnte eine Theorie existieren, in der die Ergebnisse nicht strikt Ja oder Nein sind, sondern stattdessen eine begrenzte Anzahl von Zwischenwerten annehmen, vergleichbar mit einem Dimmer, der nur wenige Einstellungen besitzt? Lange Zeit war unklar, ob eine solche „nondeterministische“, aber dennoch begrenzte Realität die seltsamen Korrelationen der Quantenmechanik erklären könnte. Diese Ungewissheit hinterließ eine Lücke in unserem Verständnis darüber, wie tief die Quantenrealität von der klassischen Intuition abweicht.

Eine neue Studie von Ravishankar Ramanathan an der Universität Hongkong schließt diese Lücke, indem sie zeigt, dass selbst diese gelockerten Theorien mit begrenzten Werten das Quantenverhalten nicht erklären können. Der Forscher konstruierte eine spezifische Familie von Experimenten, inspiriert von einem logischen Rätsel, das als Hardy-Test bekannt ist, welches darauf ausgelegt ist, jede Theorie zu überführen, die auf vorbestimmten, kontextunabhängigen Werten beruht. Stellen Sie sich in diesem Aufbau ein System miteinander verbundener Boxen vor, von denen jede entweder leer oder voll sein kann. Das Experiment beinhaltet das Überprüfen von Paaren oder Tripletts dieser Boxen unter strengen Regeln: Bestimmte Kombinationen von leeren und vollen Zuständen sind verboten, während andere garantiert eintreten werden. Wenn die Boxen verborgene, vorbestimmte Zustände enthalten hätten, die nicht davon abhängen, welche anderen Boxen gleichzeitig überprüft werden, würde die Logik der Regeln für eine letzte Box in der Kette ein spezifisches Ergebnis erzwingen.

Ramanathan zeigte, dass für jede Theorie, bei der die verborgenen Werte aus einer endlichen Liste von Möglichkeiten stammen – sagen wir, eine Liste, die Null, Eins und einige Zahlen dazwischen enthält –, die Logik des Experiments die letzte Box mit hoher Sicherheit als leer voraussagt. Wenn jedoch dasselbe Experiment mit einem realen Quantensystem durchgeführt wird, speziell einem dreidimensionalen Quantenzustand, der als Qutrit bekannt ist, widerspricht das Ergebnis dieser Logik. Das Quantensystem erzeugt das verbotene Ergebnis mit einer Wahrscheinlichkeit, die strikt höher ist, als es jede Theorie mit jenen begrenzten verborgenen Werten jemals zulassen könnte. Durch die Anpassung der Komplexität des Experiments, was das tiefere Verschachteln dieser Box-Überprüfungsmuster beinhaltet, bewiesen die Forscher, dass die Lücke zwischen dem, was eine Theorie mit begrenzten Werten vorhersagt, und dem, was die Quantenmechanik tatsächlich tut, beliebig groß gemacht werden kann.

Die Studie liefert eine konkrete, endliche Menge an Messungen, die im Labor durchgeführt werden können, um diese Alternativtheorien auszuschließen. Im Gegensatz zu früheren Beweisen, die auf unendlichen mathematischen Strukturen oder kontinuierlichen Funktionen basierten, verwendet diese Arbeit eine endliche Anzahl von Projektoren und spezifische Quantenzustände, um das gleiche Ergebnis zu erzielen. Die Forscher berechneten die exakte Anzahl der Messungen, die nötig sind, um eine Theorie basierend auf einem spezifischen Satz erlaubter Werte zu widerlegen. Wenn eine Theorie beispielsweise einen verborgenen Wert von 0,25 zuließ, würde das Experiment sechzehn spezifische Messungen erfordern, um den Widerspruch aufzuzeigen; wenn der erlaubte Wert 0,90 war, wären es 224 Messungen. Je näher die Anzahl der erlaubten Werte dem vollen Bereich der Möglichkeiten kommt, desto größer wird die Anzahl der erforderlichen Messungen, aber das Prinzip bleibt: Die Quantenmechanik übertrifft konsequent jede Theorie, die versucht, sie mit einer endlichen, diskreten Menge von vorbestimmten Ergebnissen zu erklären.

Dieses Ergebnis hat bedeutende Auswirkungen darauf, wie wir die fundamentale Natur der Realität verstehen und wie wir zukünftige Technologien entwickeln. Im Bereich der Quanteninformation wird Kontextualität heute als eine wertvolle Ressource anerkannt, ähnlich wie Treibstoff, der fortgeschrittene Aufgaben wie sichere Kommunikation und leistungsstarkes Computing antreibt. Indem sie bewiesen, dass die Quantenkontextualität noch stärker ist als bisher angenommen – nämlich stark genug, um nicht nur binäre verborgene Variablen, sondern jede endliche Menge diskreter Werte auszuschließen –, stärkt diese Arbeit das Fundament dieser Technologien. Sie legt nahe, dass die „Magie“ hinter den Quantenbeschleunigungen und der Sicherheit der Quantenkryptographie auf einem Merkmal der Natur beruht, das gegenüber einer viel breiteren Klasse klassischer Alternativen robust ist, als wir bisher wussten. Darüber hinaus verbindet die Studie diese physikalischen Erkenntnisse mit dem Bereich der Logik und zeigt, dass endliche mehrwertige Logiken, die versuchen, die Realität mit einer begrenzten Anzahl von Wahrheitswerten zu beschreiben, nicht ausreichen, um die Quantenwelt zu modellieren.

Das Paper führt auch eine neue Art des Denkens über die Stärke dieser Quanteneffekte ein. Ähnlich wie Mathematiker seit langem verschiedene Arten von logischen Widersprüchen kategorisiert haben, etabliert diese Arbeit eine Hierarchie dafür, wie „kontextuell“ ein System sein kann. Sie zeigt, dass die Quantentheorie nicht nur die einfachsten klassischen Beschreibungen umgeht, sondern auch komplexere, endlich-wertige Beschreibungen. Das bedeutet, dass egal wie viele Zwischenstufen eine Theorie mit verborgenen Variablen zu verwenden versucht, sie, solange die Anzahl der Einstellungen endlich ist, scheitern wird, die Vorhersagen der Quantenmechanik zu erreichen. Die Forscher lieferten einen konstruktiven Beweis, was bedeutet, dass sie nicht nur sagten, dass eine solche Theorie unmöglich sei; sie bauten das spezifische mathematische und experimentelle Gerüst, das die Unmöglichkeit demonstriert.

Vorausschauend eröffnen diese Ergebnisse neue Wege für die experimentelle Verifizierung. Während die aktuellen Beweise zustandsabhängig sind, was bedeutet, dass sie auf die Vorbereitung eines spezifischen Quantenzustands angewiesen sind, könnten die hier entwickelten Methoden für breitere Anwendungen angepasst werden. Die Studie befasst sich auch mit der praktischen Seite der Zufallszahlengenerierung. Da die Quantenkorrelationen in diesen Tests so stark und so deutlich von jeder klassischen Alternative sind, bieten sie einen vielversprechenden Weg zur Generierung wahrhaft zufälliger Zahlen, die selbst gegen einen Angreifer sicher sind, der alles über die verwendeten Geräte wissen könnte, vorausgesetzt, die Geräte gehorchen den Gesetzen der Quantenmechanik. Die Fähigkeit, eine so breite Klasse von Alternativtheorien mit endlichen, machbaren Experimenten auszuschließen, markiert einen bedeutenden Schritt nach vorn in unserer Fähigkeit, die sehr Grenzen der physischen Realität zu testen.