Testing bosonic and fermionic Gaussian states with a constant number of copies

In der weiten Landschaft der Quantenphysik, in der Teilchen sich auf eine Weise verhalten, die unserer alltäglichen Intuition trotzt, zeichnen sich bestimmte Materiezustände durch ihre Vorhersehbarkeit und Nützlichkeit aus. Diese sind als Gaußsche Zustände bekannt. Sie sind die Arbeitspferde der Quantenwelt und treten als natürliche Ruhezustände vieler physikalischer Systeme auf, vom Licht in einem Laser bis zu den Vibrationen in einem Kristall. Da sie mathematisch gut handhabbar sind, nutzen Wissenschaftler sie oft als Fundament für den Aufbau komplexer Quantentechnologien, wie etwa sichere Kommunikationsnetzwerke und leistungsstarke Computer. Die reale Welt ist jedoch chaotisch. Quantensysteme werden leicht gestört, und die empfindlichen Zustände, die für fortgeschrittenes Computing erforderlich sind, können leicht in etwas Chaotischeres und weniger Nützliches degradieren. Dies schafft die kritische Notwendigkeit nach einer Möglichkeit, die Gesundheit dieser Systeme zu überprüfen: Können wir angesichts einer Sammlung von Quantenteilchen schnell bestimmen, ob sie sich noch in diesem nützlichen, geordneten Gaußschen Zustand befinden oder ob sie zu weit davon abgewichen sind?

Jahrelang standen Wissenschaftler vor einer frustrierenden Hürde bei der Beantwortung dieser Frage. Zwar wussten sie, wie man Gaußsche Zustände testet, doch die Methode erforderte eine Anzahl von Prüfungen, die immer größer wurde, je größer das System selbst war. Wenn ein System nur aus wenigen Teilchen bestand, reichten vielleicht ein paar Prüfungen aus. Aber wenn sich das System auf die Hunderte oder Tausende von Teilchen skalierte, die für reale Anwendungen benötigt werden, wurde die Anzahl der erforderlichen Prüfungen unpraktikabel, was den Test für große Maschinen effektiv unmöglich machte. Die vorherrschende Annahme war, dass die Komplexität des Systems stets eine proportionale Steigerung des Testaufwands fordern würde. Dieses Paper stellt diese Annahme direkt infrage. Die Forscher demonstrieren, dass es möglich ist, zu testen, ob ein Quantenzustand Gaußsch ist, indem man eine feste, kleine Anzahl von Kopien verwendet, unabhängig davon, wie groß das System ist. Sie haben einen Weg gefunden, die Ordnung eines Quantensystems mit einem konstanten Aufwand zu verifizieren, eine Entdeckung, die eine große Barriere für die Skalierung von Quantentechnologien beseitigt.

Das Team, unter der Leitung von Forschern aus Institutionen in den Niederlanden, Deutschland und dem Vereinigten Königreich, ging das Problem an, indem es die einzigartigen Symmetrien betrachtete, die Gaußsche Zustände definieren. In der Quantenwelt ist Symmetrie ein mächtiger Indikator für Ordnung. Gaußsche Zustände besitzen eine spezifische Art von Rotationssymmetrie, wenn man sie durch die Linse ihrer mathematischen Beschreibung betrachtet. Die Forscher erkannten, dass, wenn man zwei Kopien eines Quantenzustands nimmt und eine spezifische Messung durchführt, die diese Symmetrie überprüft, ein echter Gaußscher Zustand den Test immer bestehen wird. Die Herausforderung bestand jedoch nicht nur darin, perfekte Zustände zu identifizieren, sondern zu verstehen, was passiert, wenn ein Zustand nur fast Gaußsch ist. Wenn ein Zustand den Test nur leicht nicht besteht, wie weit ist er dann von der Perfektion entfernt? In vielen wissenschaftlichen Kontexten kann ein kleiner Fehler in einem Test eine massive Abweichung in der zugrunde liegenden Realität verbergen, insbesondere wenn die Systeme größer werden.

Um dies zu lösen, entwickelten die Autoren einen neuen mathematischen Rahmen, der die Wahrscheinlichkeit des Bestehens eines Tests mit dem tatsächlichen Abstand des Zustands von der idealen Gaußschen Form verbindet. Sie behandelten das Problem wie eine Reise über eine Landschaft der Möglichkeiten, in der die Höhe des Geländes darstellte, wie wahrscheinlich es war, dass ein Zustand den Test besteht. Durch die Analyse der Steigung dieser Landschaft konnten sie beweisen, dass, wenn ein Zustand nah genug am Bestehen des Tests ist, er auch physisch nah an einem echten Gaußschen Zustand sein muss. Diese Logik gilt auch dann, wenn die Anzahl der Teilchen im System zunimmt. Der Schlüssel zu ihrem Erfolg war die Verknüpfung ihres Tests mit einem bekannten mathematischen Konzept betreffend Random Walks auf einer Sphäre, einem Problem, das in der reinen Mathematik intensiv untersucht wurde. Indem sie die bekannten Ergebnisse aus diesem Feld entlehnten, konnten sie beweisen, dass die „Steigung“ der Landschaft ihres Tests steil genug ist, um zu garantieren, dass eine hohe Erfolgsrate bedeutet, dass der Zustand tatsächlich nah am Ziel ist, ohne Abhängigkeit von der Größe des Systems.

Das Paper beschreibt spezifische Tests für verschiedene Arten von Quantensystemen, einschließlich solcher, die aus Fermionen bestehen – Teilchen wie Elektronen – und Bosonen, zu denen Teilchen des Lichts gehören. Für fermionische Systeme beinhaltet der Test, zwei Kopien des Zustands zu nehmen und zu prüfen, ob diese unverändert bleiben, wenn sie in einer spezifischen Weise relativ zueinander rotiert werden. Für bosonische Systeme ist der Ansatz ähnlich, erfordert aber eine etwas andere Handhabung der Positionen und Impulse der Teilchen. In allen Fällen zeigten die Forscher, dass die Anzahl der benötigten Kopien nur davon abhängt, wie präzise der Benutzer sein möchte, nicht aber von der Größe der Maschine. Um beispielsweise sehr sicher zu sein, dass ein Zustand nicht Gaußsch ist, müsste man den Test eine bestimmte Anzahl von Malen wiederholen, aber diese Zahl bleibt konstant, egal ob das System zehn oder zehntausend Modi hat.

Dieser Befund ist signifikant, weil er eine theoretische Möglichkeit in ein praktisches Werkzeug verwandelt. Zuvor wurde die Kosten für die Verifizierung eines Quantenzustands als ein Flaschenhals angesehen, der mit der Komplexität der Technologie wächst. Nun haben die Autoren gezeigt, dass diese Kosten fixiert sind. Sie geben explizite Anweisungen, wie man diese Tests mit Standard-Quantenoperationen durchführt, wie etwa Strahlteiler, also Geräten, die Lichtstrahlen mischen. Die Tests sind so konzipiert, dass sie robust sind; sie erfordern keine perfekten Geräte oder makellosen Bedingungen, um zu funktionieren, sondern nur, dass der Zustand ausreichend weit von dem nicht-Gaußschen Zustand entfernt ist, um detektiert zu werden. Die Forscher erweiterten ihre Methoden auch auf das Testen von Kohärenzzuständen, einer spezifischen Art von Gaußschen Zuständen, die oft in Lasern verwendet werden, sowie für Zustände mit einem spezifischen Mittelwert, um die Vielseitigkeit ihres Ansatzes zu zeigen.

Die Arbeit stellt einen rigorosen Beweis dar und ist keine Simulation oder bloße Vermutung. Die Autoren haben mathematisch demonstriert, dass ihre Tests mit einer konstanten Anzahl von Kopien funktionieren, und bieten eine Garantie, die für jede Systemgröße gilt. Sie haben nicht lediglich suggeriert, dass dies möglich sein könnte; sie haben es bewiesen, indem sie die physikalischen Eigenschaften von Quantenzuständen mit tiefgreifenden Ergebnissen der Wahrscheinlichkeitstheorie kombiniert haben. Dieses Resultat löst eine langjährige offene Frage im Bereich der Quanteninformation, nämlich dass die Stichprobenkomplexität beim Testen der Gaußschaft nicht mit der Systemgröße skaliert. Es bietet einen klaren Weg für Ingenieure und Wissenschaftler, die großskalige Quantengeräte bauen, und versichert ihnen, dass sie die Qualität ihrer Systeme verifizieren können, ohne von der schieren Anzahl der beteiligten Teilchen überwältigt zu werden.

Letztendlich bietet diese Forschung eine fundamentale Beruhigung für die Zukunft der Quantentechnologie. Sie zeigt, dass die Werkzeuge, die zur Überwachung und Aufrechterhaltung der empfindlichen Ordnung von Quantenzuständen nötig sind, nicht unmöglich komplex werden müssen, wenn die Technologie wächst. Indem sie die inhärenten Symmetrien der Natur nutzten und anspruchsvolle mathematische Erkenntnisse anwandten, haben die Forscher einen Raum geschaffen, in dem Effizienz und Zuverlässigkeit selbst in den komplexesten Quantensystemen koexistieren können. Ihre Arbeit stellt sicher, dass wir, während wir größere und leistungsfähigere Quantenmaschinen bauen, nicht die Fähigkeit verlieren, zu wissen, was sie tun, und hält damit die Tür für die nächste Generation quantentechnologischer Entdeckungen offen.