Optimal local oscillators for the homodyne detection of multiphoton states

Um die hier beschriebene Arbeit zu verstehen, muss man zunächst einen Schritt in die Welt der Quantenoptik wagen, in der Wissenschaftler einzelne Lichtteilchen, bekannt als Photonen, manipulieren, um die nächste Generation von Computer- und Sensortechnologien aufzubauen. In diesem Bereich sind die leistungsfähigsten Werkzeuge nicht nur die Photonen selbst, sondern die präzisen Arten und Weisen, wie sie angeordnet sind. Manchmal erschaffen Forscher Zustände, in denen Photonen in komplexen, nicht-zufälligen Mustern miteinander verknüpft sind, was als nicht-gaußsche Zustände bezeichnet wird. Diese sind besonders, weil sie Informationen enthalten, die standardmäßige, glatte Lichtverteilungen nicht tragen können. Um die in diesen Zuständen gespeicherten Informationen auszulesen, verwenden Wissenschaftler eine Technik namens Homodyn-Detektion. Stellen Sie sich vor, Sie versuchen, ein bestimmtes Instrument in einem lauten Orchester zu hören; Sie benötigen einen Referenzton, einen stetigen Schlag, um die Musik dagegen abzugleichen. Im Labor ist diese Referenz ein „lokaler Oszillator“, ein Laserstrahl, der als Lineal zur Messung des Quantenzustands dient. Wenn dieses Lineal nicht perfekt mit der Form und dem Timing des Quantenzustands übereinstimmt, schlägt die Messung fehl und die einzigartige Information geht verloren. Die Herausforderung bestand bisher darin, dass mit zunehmender Anzahl der Photonen in einem Zustand die Form dieses Zustands unglaublich komplex wird, was es nahezu unmöglich macht, durch bloßes Raten oder einfache Berechnung ein passendes Lineal zu entwerfen.

Ein Team von Forschern der École polytechnique de Montréal hat nun einen neuen mathematischen Rahmen entwickelt, um dieses Matching-Problem für Zustände mit mehreren Photonen zu lösen. Sie gingen das Problem an, indem sie die komplexe Form des Lichtzustands nicht als einfache Welle, sondern als mehrdimensionales Objekt mit einer spezifischen internen Struktur betrachteten. Durch die Analyse dieser Struktur entdeckten sie, dass das Finden des perfekten lokalen Oszillators mathematisch äquivalent zum Finden des dominantesten Musters innerhalb der eigenen Form des Lichts ist. Sie bewiesen, dass für einfachere, weniger komplizierte Zustände das beste Lineal einfach das bereits im Licht vorhandene, prominenteste Muster ist, das ohne komplexe Suche identifiziert werden kann. Für komplexere, stark verschränkte Zustände reicht dieses einfache Muster jedoch nicht aus. In diesen Fällen entwickelte das Team einen neuen Algorithmus, der mit der besten Vermutung beginnt und diese dann Schritt für Schritt behutsam verfeinert, um die wahre optimale Form zu finden. Ihre Arbeit zeigt, dass zwar einfache Zustände mit nahezu perfekter Klarheit gemessen werden können, hochkomplexe Zustände jedoch immer etwas Information verlieren werden, egal wie gut das Lineal abgestimmt ist, aber ihre Methode stellt sicher, dass der Verlust auf das absolute theoretische Limit minimiert wird.

Die Forscher begannen damit, sich anzusehen, wie Licht im Labor erzeugt wird. Wenn Photonen in Gruppen erzeugt werden, entstehen sie oft mit einer spezifischen Beziehung zwischen ihren Farben und ihren Ankunftszeiten. Diese Beziehung wird durch eine gemeinsame spektrale Amplitude beschrieben, die wie eine Karte fungiert, die zeigt, wie die verschiedenen Teile des Lichts miteinander verbunden sind. Für ein einzelnes Photon ist diese Karte relativ einfach, aber für Gruppen von drei, vier, fünf oder sogar sechs Photonen wird die Karte zu einem hochdimensionalen Tensor – einer Struktur, die für Menschen schwer zu visualisieren und selbst für Computer noch schwieriger direkt zu verarbeiten ist. Das Team erkannte, dass das Problem, den perfekten lokalen Oszillator zu entwerfen, dasselbe ist wie das Finden der wichtigsten Richtung in dieser mehrdimensionalen Karte. Wenn der Lichtzustand hauptsächlich aus einem einfachen Muster besteht, ist der beste lokale Oszillator genau dieses Muster. Aber wenn das Licht eine chaotische Mischung aus vielen Mustern ist, ist der beste lokale Oszillator eine spezifische Kombination, die die Forscher berechnen mussten.

Um dies anzugehen, nutzte das Team ein leistungsstarkes mathematisches Werkzeug namens höherwertige Singulärwertzerlegung (Higher-Order Singular Value Decomposition). Betrachten Sie dies als eine Möglichkeit, ein komplexes, vielschichtiges Objekt in seine grundlegenden Bausteine zu zerlegen. Sie fanden heraus, dass der erste Baustein, der signifikanteste, oft einen exzellenten Ausgangspunkt für das Finden des perfekten lokalen Oszillators dient. In Fällen, in denen die Photonen nicht stark miteinander verknüpft sind, ist dieser erste Block fast die gesamte Antwort, was es Wissenschaftlern ermöglicht, die schwierigen Optimierungsschritte ganz zu überspringen. Wenn die Photonen jedoch eng miteinander verknüpft sind, ist der erste Block nur ein Hinweis. Die Forscher entwickelten daraufhin eine Strategie, um diesen Hinweis zu nutzen, um eine Computersuche zu leiten. Sie starteten die Suche mit dem ersten Baustein und passten dann mittels einer Technik die Regeln der Suche schrittweise an, wodurch der Computer in der Lage war, durch die komplexe Landschaft der Möglichkeiten zu navigieren, ohne in einem lokalen Sackgasse stecken zu bleiben. Dieser Ansatz, der eine kluge Startvermutung mit einer sorgfältigen Schritt-für-Schritt-Verfeinerung kombiniert, erwies sich als äußerst effektiv.

Das Team testete seine Methode mithilfe von Computersimulationen zweier unterschiedlicher Lichtquellen. Der erste Typ basierte auf Gaußschen Verteilungen, die glatt und vorhersehbar sind und oft in Standard-Quantenexperimenten verwendet werden. Der zweite Typ stammte aus einem exotischeren Prozess namens hochgradige parametrische Abwärtskonversion, der komplexere, gezacktere Lichtmuster erzeugt. In beiden Fällen variierten sie, wie stark die Photonen miteinander verknüpft oder korreliert waren. Für die glatten, schwach verknüpften Zustände bestätigte ihre Methode, dass der einfache erste Baustein tatsächlich der perfekte lokale Oszillator ist, wobei eine Messsichtbarkeit von nahezu einhundert Prozent erreicht wurde. Aber für die komplexen, stark verknüpften Zustände waren die Ergebnisse nuancierter. Selbst mit dem perfekten lokalen Oszillator sank die Messsichtbarkeit unter einhundert Prozent. Dies war kein Versagen ihrer Methode, sondern ein fundamentales Limit, das durch die Natur des Lichts selbst gesetzt wird. Die Simulationen zeigten, dass mit zunehmender Komplexität des Lichts die Lücke zwischen der bestmöglichen Messung und einer perfekten einen, was bestätigte, dass bestimmte Informationen aus hochgradig verschränkten Zuständen inhärent schwerer zu extrahieren sind.

Ein wesentlicher Teil ihrer Entdeckung war die Festlegung einer theoretischen Decke dafür, wie gut diese Messungen jemals abschneiden können. Durch die Analyse der Struktur der Lichtkarte leiteten sie eine mathematische Grenze ab, die die maximale mögliche Sichtbarkeit für einen gegebenen Zustand vorhersagt. In ihren Simulationen blieben die von ihnen gefundenen optimierten lokalen Oszillatoren immer unter dieser Decke, und bei den einfacheren Zuständen kamen sie der Berührung dieser Decke sehr nahe. Diese Grenze ist wertvoll, da sie Experimentalisten ein Ziel vorgibt, ohne dass sie jedes Mal eine vollständige, zeitaufwendige Optimierung durchführen müssen. Wenn die Lichtquelle als einfach bekannt ist, sagt die Grenze ihnen, dass eine schnelle, einfache Messung ausrebt. Wenn die Quelle komplex ist, sagt die Grenze ihnen, dass selbst die beste Bemühung Grenzen hat und dass sie keine Zeit mit der Suche nach einer perfekten Lösung verschwenden sollten, die nicht existiert.

Die Forscher untersuchten auch, was passiert, wenn das Licht eine kompliziertere interne Struktur hat, wie etwa wenn der zur Erzeugung der Photonen verwendete Pump-Laser einen „Chirp“ aufweist, was bedeutet, dass sich seine Frequenz über die Zeit ändert. Dies macht das Licht auf eine andere Weise komplex, indem imaginäre Komponenten in seine Form eingeführt werden. Selbst in diesem schwierigeren Szenario funktionierte ihr Algorithmus erfolgreich, fand den optimalen lokalen Oszillator und bestätigte, dass die Messgrenzen konsistent mit ihren theoretischen Vorhersagen blieben. Die Methode erwies sich als robust genug, um diese komplexen, realen Variationen zu handhaben, was darauf hindeutet, dass sie auf tatsächliche Laborexperimente angewendet werden kann.

Die Auswirkungen dieser Arbeit gehen über die bloße Verbesserung der Lichtmessung hinaus. Indem sie einen klaren Weg zum Design des perfekten lokalen Oszillators aufgezeigt haben, haben die Forscher einen großen Engpass für die praktische Anwendung nicht-gaußscher Quantenzustände beseitigt. Diese Zustände sind essenziell für fortgeschrittene Quantencomputer und Präzisionsmetrologie, aber sie waren aufgrund der Diskrepanz zwischen dem Licht und den Messwerkzeugen schwierig zu charakterisieren. Jetzt verfügen Wissenschaftler über ein zuverlässiges Rezept, um die Werkzeuge zu entwerfen, die benötigt werden, um diese Zustände zu lesen. Die Studie behauptet nicht, alle Probleme der Quantenoptik gelöst zu haben, noch deutet sie an, dass alle Quantenzustände mit perfekter Effizienz gemessen werden können. Stattdessen bietet sie eine praktische, rigorose Methode, um so nah wie die Gesetze der Physik es erlauben, an die Wahrheit heranzukommen. Für die schwach korrelierten Zustände, die leichter zu erzeugen sind, ist die Lösung unmittelbar und einfach. Für die hoch korrelierten Zustände, die das größte Versprechen für zukünftige Technologien in sich tragen, ist die Lösung eine sorgfältig abgestimmte Optimierung, die die fundamentalen Limits des Systems respektiert. Diese Klarheit ermöglicht es Forschern, ihre Bemühungen auf den Bau besserer Lichtquellen zu konzentrieren, in dem Wissen, dass sie nun die bestmöglichen Werkzeuge besitzen, um das zu messen, was sie erschaffen.