An exact semidefinite characterization of the stoquasticity cone of permutationally invariant Bell operators

In der Quantenwelt wird das Verhalten eines Systems oft durch ein mathematisches Objekt beschrieben, das ein Hamiltonian genannt wird und wie eine Landkarte der Energieniveaus wirkt. Seit vielen Jahren sind Wissenschaftler besonders an einer speziellen Klasse dieser Karten interessiert, bei denen die Zahlen, die beschreiben, wie Teilchen interagieren, keine verwirrenden positiven und negativen Vorzeichen tragen, die sich gegenseitig aufheben. Wenn ein System diese verwirrenden Vorzeichen nicht besitzt, lässt es sich viel einfacher am Computer simulieren, da Forscher den Quantenzustand als eine einfache Liste von Wahrscheinlichkeiten behandeln können, ähnlich wie man die Gewinnchancen beim Würfeln verfolgen würde. Diese Eigenschaft, bekannt als Stoquastizität, beseitigt ein großes rechnerisches Hindernis namens „Vorzeichenproblem“, das die Simulation großer Gruppen von Quantenteilchen oft unmöglich macht.

Gleichzeitig führen Physiker Experimente mit riesigen Wolken aus Atomen durch, um die Grenzen der Quantenmechanik zu testen. Diese Experimente suchen nach „Bellschen Korrelationen“, jenen seltsamen Verbindungen zwischen Teilchen, die sich nicht durch die klassische Physik erklären lassen. Um diese Korrelationen zu finden, nutzen Forscher mathematische Werkzeuge, die Bell-Operatoren genannt werden. In den letzten Jahren haben Experimente mit Hunderttausenden von Atomen gezeigt, dass die besten Quantenzustände zur Übertreffung klassischer Rekorde durch diese vorzeichenfreien Karten beschrieben werden können. Das bedeutet, dass die leistungsfähigsten Quantenzustände für diese Tests zufällig stoquastisch sind. Es war jedoch ein schwieriges Rätsel herauszufinden, welche exakten Einstellungen für diese Experimente solche Zustände erzeugen. Für einfache Fälle, die nur zwei Teilchen umfassen, waren die Regeln bekannt, aber als die Komplexität der Wechselwirkungen zunahm, schien die Anzahl der Regeln mit der Größe der Atomwolke unkontrollierbar anzuwachsen, was es unmöglich machte, eine vollständige Liste der Bedingungen aufzustellen.

Ein Forschungsteam hat dieses Rätsel nun für eine breite Klasse dieser Quantenexperimente gelöst. Sie entdeckten, dass die Regeln zur Bestimmung, ob ein System vorzeichenfrei ist, zwar mit der Anzahl der Atome zu wachsen scheinen, tatsächlich aber einem verborgenen, glatten Muster folgen. Indem sie das Problem im Grenzfall einer sehr großen Anzahl von Teilchen betrachteten, fanden die Forscher heraus, dass sich die chaotische Sammlung von tausenden einzelnen Regeln in eine einzige, elegante Bedingung zusammenzieht. Anstatt eine lange Liste von Ungleichungen zu prüfen, muss man lediglich verifizieren, dass eine bestimmte mathematische Kurve unter einer gewissen Linie bleibt. Diese Kurve ist nicht irgendeine Linie; sie ist eine glatte, kontinuierliche Form, die mit einem einzigen, präzisen Test beschrieben werden kann.

Die Forscher zeigten, dass dieser Test mithilfe einer leistungsstarken Art der mathematischen Optimierung, bekannt als semidefinites Programm, durchgeführt werden kann. Man kann sich dies als einen hochentwickelten Filter vorstellen, der augenblicklich sagen kann, ob eine Reihe von experimentellen Einstellungen ein vorzeichenfreies System erzeugen wird oder nicht. Vor dieser Arbeit mussten Wissenschaftler eine Anzahl von Bedingungen prüfen, die mit jedem hinzugefügten Atom immer größer wurde, was die Aufgabe schließlich rechnerisch unmöglich machte. Die neue Methode ersetzt diesen wachsenden Berg an Prüfungen durch eine einzige, handhabbare Berechnung, die für jede Systemgröße funktioniert. Dieser Durchbruch bedeutet, dass Wissenschaftler nun komplexe Quantenexperimente mit Hunderttausenden von Teilchen entwerfen und verifizieren können, ohne sich in einem endlosen Meer von Regeln zu verlieren.

Das Team wandte diese neue Methode auf zwei spezifische Szenarien an: Systeme, in denen Teilchen paarweise interagieren, und Systeme, in denen sie in Gruppen von drei interagieren. Für den einfacheren Fall mit zwei Teilchen reproduzierte ihre Methode perfekt die bekannten Regeln und bestätigte damit ihren Ansatz. Doch für den komplexeren Fall mit drei Teilchen offenbarte die Methode etwas völlig Neues. In der Vergangenheit wurde angenommen, dass die Grenze zwischen „erlaubten“ und „verbotenen“ Einstellungen aus flachen, geraden Ebenen besteht, vergleichbar mit den Wänden eines Kastens. Die neue Analyse zeigte, dass diese Grenze bei Drei-Teilchen-Wechselwirkungen tatsächlich gekrümmt ist und eine glatte, abgerundete Form bildet. Diese Krümmung ist ein subtiler Effekt, der mit zunehmender Anzahl der Atome deutlicher wird, aber es ist ein reales Merkmal, das die Art und Weise verändert, wie Wissenschaftler über die Grenzen dieser Quantensysteme denken sollten.

Die Forscher berechneten auch, wie gut diese neue, glatte Beschreibung für reale Experimente funktioniert, die eine endliche Anzahl von Atomen anstelle einer unendlichen Anzahl verwenden. Sie fanden heraus, dass die Annäherung selbst für mittelgroße Gruppen von Atomen unglaublich genau ist, wobei die Fehler mit zunehmender Gruppengröße rapide schrumpfen. So ist beispielsweise bei Experimenten mit fast einer halben Million Atomen der Unterschied zwischen der neuen, glatten Beschreibung und der exakten, komplexen Realität verschwindend gering. Dies gibt Experimentalisten ein zuverlässiges Werkzeug an die Hand, um ihre Versuchsaufbauten zu planen, in dem Wissen, dass die einfachen, gekrümmten Regeln, die sie verwenden, eine getreue Darstellung der komplexen Physik sind.

Diese Arbeit tut mehr als nur eine Berechnung zu vereinfachen; sie verändert das geometrische Verständnis dieser Quantensysteme. Sie zeigt, dass der Raum möglicher Quantenverhaltensweisen nicht nur eine gezackte Sammlung flacher Oberflächen ist, sondern glatte, gekrümmte Kanten haben kann. Indem sie einen Weg aufzeigten, diese Formen exakt zu beschreiben, haben die Forscher die Tür zur Gestaltung besserer Quantenexperimente und zum Verständnis der fundamentalen Grenzen von Quantenkorrelationen geöffnet. Die Methode ist exakt und beruht nicht auf Vermutungen oder Näherungen, die später versagen könnten. Sie stellt eine vollständige Beschreibung des Problems dar, indem sie eine scheinbar unlösbare Liste von Bedingungen in eine einzige, lösbare Frage verwandelt.

Die Auswirkungen dieser Entdeckung erstrecken sich auf die Zukunft des Quantencomputings und der Simulation. Da die neue Methode auf einem einzigen, effizienten Test basiert, ermöglicht sie es Forschern, einen viel breiteren Bereich experimenteller Einstellungen zu untersuchen, als dies zuvor möglich war. Sie können nun nach den leistungsfähigsten Quantenzuständen suchen, um klassische Rekorde zu brechen, in der Gewissheit, dass sie keine verborgenen Einschränkungen übersehen. Das Team merkte zudem an, dass ihre derzeitige Arbeit sich auf Systeme konzentriert, in denen Teilchen in zwei Zuständen sein können, dass dieselben Prinzipien jedoch letztlich auch auf komplexere Systeme mit drei oder mehr Zuständen angewendet werden könnten, wenngleich diese fortgeschrittenere mathematische Werkzeuge erfordern würden. Für den Moment bietet die Lösung für die Zwei-Zustands-Systeme ein solides Fundament für die nächste Generation von Quantenexperimenten.

Letztendlich verwandelt diese Arbeit ein Problem, das unendlich komplex zu werden schien, in etwas wunderbar Einfaches. Sie demonstriert, dass die Natur ihre Komplexität oft hinter einer glatten Oberfläche verbirgt und nur darauf wartet, mit der richtigen Perspektive enthüllt zu werden. Indem sie diese Oberfläche fanden, haben die Forscher der wissenschaftlichen Gemeinschaft eine klare Landkarte zur Navigation durch die Landschaft großer Quantenkorrelationen gegeben und sichergestellt, dass der Weg nach vorn nicht durch eine unhandliche Anzahl von Regeln blockiert ist. Die Arbeit steht als Zeugnis für die Kraft, ein Problem aus einem anderen Blickwinkel zu betrachten und so eine Wand aus Daten in eine einzige, klare Erkenntnis zu verwandeln.