Finite Nonsignalling Resources Suffice to Simulate Entangled Qubits

In der Quantenwelt können Teilchen auf eine Weise miteinander verknüpft werden, die unserer alltäglichen Erfahrung widerspricht. Wenn zwei Teilchen verschränkt sind, offenbart die Messung des einen sofort Informationen über das andere, ungeachtet dessen, wie weit sie voneinander entfernt sind. Dieses Phänomen, bekannt als Nichtlokalität, wurde berühmt durch den Physiker John Bell hervorgehoben, der zeigte, dass die seltsamen Verbindungen zwischen diesen Teilchen nicht durch einen gemeinsamen geheimen Code oder einen vorab vereinbarten Plan erklärt werden können, den die Teilchen mit sich geführt haben könnten. Um dies zu verstehen, stellen Sie sich zwei Personen in verschiedenen Räumen vor, die Münzen werfen. Wenn sie lediglich eine gemeinsame Liste von Anweisungen verwenden, werden ihre Ergebnisse schließlich ein Muster zeigen, das eine einfache, lokale Erklärung erklären kann. Aber verschränkte Teilchen erzeugen Korrelationen, die so stark sind, dass kein solcher lokaler Plan sie jemals erreichen kann. Dies lässt Wissenschaftler mit einer rätselhaften Frage zurück: Wenn geteilte Anweisungen nicht ausreichen, welche Art von Ressource wird benötigt, um diese Quantenverbindungen zu reproduzieren? Die Antwort muss etwas sein, das eine sofortige Koordination ermöglicht, ohne dass ein Signal zwischen den beiden Parteien übertragen wird – ein Konzept, das als „nicht-signalisierende“ Ressource bekannt ist.

Jahrzehntelang haben Forscher sich gefragt, wie komplex diese Ressourcen sein müssen. Speziell fragten sie, ob die Simulation des Verhaltens verschränkter Teilchen einen kontinuierlichen Informationsstrom erfordert, wie etwa ein Drehrad, das in jeden beliebigen Winkel gedreht werden kann, oder ob eine einfache, endliche Menge an Optionen ausreichend ist. Im Fall von perfekt verschränkten Teilchen war bekannt, dass ein einzelnes, einfaches Werkzeug funktionierte. Doch für Teilchen, die nur teilweise verschränkt sind, schien die Situation viel komplizierter zu sein. Frühere Versuche, diese schwächeren Verbindungen zu simulieren, stützten sich auf Werkzeuge, die kontinuierliche, reelle Eingaben verarbeiten konnten, was darauf hindeutete, dass die Simulation eine unendliche Menge an Information benötigen könnte, um exakt zu sein. Dies warf eine grundlegende Frage auf: Ist die kontinuierliche Natur der Quantenwelt eine Voraussetzung für deren Simulation, oder ist sie nur ein Merkmal der Methoden, die wir bisher erfunden haben?

Ein Team von Forschern an der Hong Kong University of Science and Technology hat diese langjährige Frage nun gelöst. Sie haben demonstriert, dass endliche Ressourcen völlig ausreichen, um das Verhalten eines jeden festen Paares verschränkter Teilchen vollständig zu simulieren, selbst wenn die Messeinstellungen kontinuierlich variieren können. Ihre Arbeit beweist, dass man kein Werkzeug mit einer unendlichen Anzahl von Einstellungen benötigt, um die Statistiken von Quantenmessungen zu reproduzieren. Stattdessen zeigten sie, dass man durch die Verwendung einer geteilten Liste von Zufallsoptionen und einer spezifischen Anzahl einfacher, binärer Werkzeuge die exakte Übereinstimmung mit Quantenprognosen erreichen kann. Dieser Befund offenbart eine überraschende Trennung zwischen der glatten, kontinuierlichen Natur von Quantenmessungen und den diskreten, endlichen Ressourcen, die benötigt werden, um sie nachzuahmen.

Die Forscher konzentrierten sich auf eine spezifische Art von verschränktem Zustand, der oft durch einen Parameter beschrieben wird, der bestimmt, wie stark die beiden Teilchen miteinander verknüpft sind. Für jeden solchen Zustand entwarfen sie ein Protokoll, bei dem zwei Parteien, traditionell Alice und Bob genannt, die exakten Ergebnisse jeder Messung, die sie durchführen wollen, reproduzieren können. Der Schlüssel zu ihrer Methode ist eine kluge Handhabung der Zufälligkeit. Anstatt zu versuchen, eine zufällige Richtung auf einer Kugel zu generieren, die sich kontinuierlich basierend auf dem Input ändert, bereiten Alice und Bob im Voraus eine feste, endliche Liste von Zufallsrichtungen vor. Wenn Alice ihre Messeinstellung erhält, generiert sie keine neue Zufallsrichtung, sondern wählt eine spezifische Richtung aus dieser vorgefertigten Liste aus. Die Auswahl erfolgt so, dass sie bei Mittelung über viele Durchläufe hinweg die erforderliche Wahrscheinlichkeitsverteilung perfekt abbilden.

Um diese Auswahl zu ermöglichen, ohne dass Alice Bob mitteilen muss, welche Richtung sie gewählt hat, verwenden sie ein spezielles Koordinationswerkzeug. Dieses Werkzeug, bekannt als Popescu-Rohrlich-Box, fungiert als perfekter Koordinator, der sicherstellt, dass ihre Endergebnisse korrekt korreliert sind, ohne dass Alice ihre Wahl an Bob verrät. Die Forscher zeigten, dass für jeden gegebenen verschränkten Zustand eine spezifische, endliche Anzahl dieser Boxen benötigt wird, um das Worst-Case-Szenario zu bewältigen. Für einen Zustand, der durch einen Winkel $\theta$ definiert ist, ist die maximale Anzahl der benötigten Boxen proportional zur inversen vierten Potenz des Tangens dieses Winkels. Während diese Zahl groß werden kann, wenn die Teilchen weniger verschränkt sind, bleibt sie für jeden festen Zustand eine endliche, abzählbare Zahl. Dies bedeutet, dass die Simulation niemals eine unendliche Menge an Ressourcen erfordert und man weder Versuche verwirft noch den Prozess neu starten muss.

Die Schönheit dieser Konstruktion liegt darin, wie sie das Problem in zwei distinkte Teile zerlegt. Der kontinuierliche, inputabhängige Teil der Simulation wird durch die geteilte Zufälligkeit und die lokale Auswahl aus der festen Liste gehandhabt. Die nichtlokale Koordination, also der Teil, der nicht durch lokale Anweisungen erklärt werden kann, wird durch die endliche Anzahl der Koordinationsboxen gehandhabt. Indem das Team das Problem auf diese Weise aufteilte, vermied es die Notwendigkeit von Werkzeugen, die kontinuierliche Werte verarbeiten können. Ihre Methode funktioniert für alle lokalen Messungen, die zwei mögliche Ausgänge haben, und kann auch auf gemischte Zustände und komplexere Messungen ausgeweitet werden. Dieser Ansatz bietet einen klaren, endlichen Bauplan dafür, wie Quantenkorrelationen aus diskreten, nicht-signalisierenden Komponenten aufgebaut werden können.

Die Auswirkungen dieser Arbeit gehen über die Lösung eines technischen Rätsels hinaus. Sie klärt die Ressourcen-Theorie der Quanten-Nichtlokalität, indem sie zeigt, dass die Kontinuität der Quantenmechanik nicht zwangsläufig kontinuierliche Ressourcen für deren Simulation erfordert. Die Forscher stellst fest, dass die Komplexität der Simulation an den spezifischen zu simulierenden Zustand gebunden ist, aber immer endlich bleibt. Sie merkten auch an, dass ihre Methode zwar eine konkrete obere Schranke für die benötigten Ressourcen liefert, dies aber nicht unbedingt das absolute Minimum sein muss. Dennoch ist die Tatsache, dass eine endliche Lösung überhaupt existiert, die primäre Entdeckung. Es klärt die Debatte darüber, ob kontinuierliche Input-Alphabete fundamental notwendig sind, indem es beweist, dass dies nicht der Fall ist.

Dieses Ergebnis öffnet die Tür zu weiteren Fragen über die Struktur von Quantenkorrelationen. Wenn endliche Ressourcen diese spezifischen Quantenverhaltensweisen simulieren können, welche anderen Familien von Korrelationen könnten ähnliche endliche Simulationen zulassen? Die Forscher schlagen vor, dass ihre Methode der endlichen Selektion auf andere Probleme angewendet werden kann, bei denen eine verteilte Stichprobenziehung erforderlich ist. Sie räumen auch ein, dass praktische Implementierungen mit der Präzision zu kämpfen hätten, da reale Werkzeuge keine unendliche Genauigkeit handhaben können. Dennoch steht der theoretische Beweis: Die glatte, kontinuierliche Welt der Quantenmessstatistik kann exakt unter Verwendung eines endlichen, diskreten Satzes von nichtlokalen Ressourcen reproduziert werden. Dieser Befund formt unser Verständnis der Kluft zwischen der Quantenmechanik und den klassischen Ressourcen, die nötig sind, um sie nachzuahmen, neu, indem er zeigt, dass die Trennung nicht so groß oder komplex ist, wie bisher angenommen.