Exact sampling beyond Fock inputs and linear optics: photon-number superpositions, photonic matrix-product states, adaptive and non-linear circuits
Diese Arbeit erweitert den exakten Sampling-Algorithmus von Clifford und Clifford über Einzelphotonen-Inputs und lineare Optik hinaus, um Photonenzahl-Superpositionen, photonische Matrixproduktzustände, adaptive Messungen und nichtlineare Schaltkreise zu handhaben, indem ein allgemeines Set-Chain-Lemma etabliert wird, das effizientes, exaktes Sampling mit posteriorer Inferenz ermöglicht.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht vom Autor verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Im stillen Wettlauf darum zu beweisen, dass Quantenmaschinen Dinge tun können, die für klassische Computer unmöglich sind, hat sich das Licht als ein führender Anwärter herauskristallisiert. Die Idee ist einfach und doch tiefgründig: Ströme einzelner Lichtteilchen, genannt Photonen, durch ein komplexes Labyrinth aus Spiegeln und Strahlteilern zu senden. Während diese Teilchen hin und her springen, interferieren sie auf eine Weise miteinander, die unglaublich schwer vorherzusagen ist. Wenn man genau vorhersagen könnte, wo jedes Photon landen würde, würde man ein Problem lösen, das so schwierig ist, dass es die gesamte Hierarchie der modernen Computerwissenschaft zum Einsturz bringen würde. Diese Herausforderung, bekannt als Boson-Sampling, beruht auf der Annahme, dass die Lichtquellen perfekt sind und exakt ein Photon zur Zeit aussenden. Reale Geräte sind jedoch selten perfekt. Ihre Lichtquellen könnten etwas unpräzise sein und eine Mischung aus Nichts und einem Photon aussenden, oder die Teilchen könnten in komplizierten Mustern verschränkt sein. Darüber hinaus könnten die Maschinen selbst ihren Pfad während des Fluges ändern, basierend auf dem, was sie sehen, oder Elemente enthalten, die die Regeln der Standardoptik beugen. Jahrzehntelang haben Wissenschaftler damit gerungen, diese unperfekten, realen Szenarien auf einem klassischen Computer zu simulieren. Wenn ein Computer das Gerät nicht simulieren kann, kann er auch nicht verifizieren, ob das Gerät tatsächlich funktioniert oder ob es wirklich einen Quantenvorteil demonstriert.
Ein Team von Forschern von Quandela in Frankreich hat nun ein neues Set an Werkzeugen entwickelt, um genau dieses Problem zu lösen. Sie haben eine Methode entwickelt, um diese komplexen photonischen Geräte mit perfekter Präzision zu simulieren, selbst wenn die Lichtquellen unvollkommen sind oder der Schaltkreis adaptive Änderungen und nichtlineare Elemente enthält. Ihre Arbeit erweitert einen früheren Durchbruch, der es Computern ermöglichte, perfekte Ein-Photonen-Experimente zu simulieren. Die neue Methode funktioniert dadurch, dass sie die Simulation nicht als eine einzige, massive Berechnung betrachtet, sondern als einen schrittweisen Prozess des Aufbaus eines Ergebnisses, Photon für Photon. Stellen Sie sich vor, Sie versuchen, die endgültige Anordnung eines Kartendecks vorherzusagen, indem Sie die Karten nacheinander ausgeben. Wenn Sie die Regeln kennen, wie die Karten miteinander interagieren, können Sie die Wahrscheinlichkeit berechnen, dass die nächste Karte eine bestimmte Farbe hat, basierend auf den bereits ausgeteilten Karten. Die Forscher fanden einen Weg, diese Logik auf das Licht anzuwenden, selbst wenn der „Deck“ unordentlich ist oder sich die Regeln mitten im Spiel ändern.
Der Kern ihrer Entdeckung ist eine mathematische Einsicht, die es ihnen ermöglicht, vier verschiedene Arten von Komplexität zu handhaben, die zuvor eine exakte Simulation blockiert hatten. Erstens befassten sie sich mit Quellen, die eine Superposition aus Vakuum und einem einzelnen Photon aussenden. In diesen Fällen ist die Anzahl der Photonen nicht fixiert; sie fluktuiert. Die Forscher zeigten, dass sie durch die Behandlung der ungenutzten Quellen als verborgenen Hintergrund und deren Hinzufügen zur Berechnung in einer zufälligen Reihenfolge die Wahrscheinlichkeiten exakt berechnen konnten. Dieser Ansatz offenbarte, dass die Schwierigkeit, diese Quellen zu simulieren, im gleichen Maße wächst wie die Simulation eines einzelnen Photons, das einen verlustbehafteten Filter passiert hat – ein handhabbarer Aufwand für heutige Computer.
Zweitens befassten sie sich mit einer exotischeren Art von Lichtquelle: einem Quantenemitter mit einem internen Speicher, wie etwa einem winzigen Spin in einem Quantenpunkt. Dieser Speicher verschränkt die Photonen, während sie nacheinander emittiert werden, wodurch ein Zustand entsteht, der als photonischer Matrix-Produkt-Zustand bekannt ist. Die Simulation dessen erfordert normalerweise das Verfolgen einer exponentiell wachsenden Menge an Informationen. Das Team fand einen Weg, diese Information zu komprimieren, indem sie die Berechnung in kleine Lücken aufbrach. Sie zeigten, dass die komplexe Verschränkung auf eine kurze Summe von quadrierten Amplituden reduziert werden konnte, was die Berechnung effizient hielt. Bei den spezifischen Photonenketten, die sie testeten, blieb die Anzahl der für diese Summe erforderlichen Terme überraschend gering, oft nur eins oder zwei, selbst während der Fortschreiten der Simulation.
Drittens passten sie ihre Methode für Schaltkreise an, die ihr Verhalten basierend auf während des Experiments vorgenommenen Messungen ändern. Dies wird als adaptive lineare Optik bezeichnet. In diesen Maschinen zählt ein Detektor Photonen, und dieser Zählvorgang sagt der Maschine, welche Spiegel sie für den nächsten Schritt bewegen muss. Um dies zu simulieren, begannen die Forscher mit dem bekannten Ergebnis der adaptiven Messungen und arbeiteten sich rückwärts vor, indem sie eine Kette von Möglichkeiten aufbauten, die jene Zählungen respektierte. Wenn ein simulierter Pfad den gemessenen Zählungen widersprach, verworfen sie ihn und versuchten es erneut. Ihre Modelle deuten darauf hin, dass selbst bei drei adaptiven Modi die zusätzliche Zeit vernachlässigbar ist und innerhalb von zehn Prozent der Zeit liegt, die für eine Standard-Simulation benötigt wird.
Schließlich befassten sie sich mit nichtlinearen Stellen, an denen ein einzelner Lichtstrahl mit sich selbst interagiert, um seine Phase zu ändern – ein Prozess, der die Standardregeln der linearen Optik bricht. Hier versagten die natürlichen mathematischen Regeln für ihre schrittweise Methode. Anstatt die Methode zu erzwingen, nutzten sie eine andere Strategie: Sie simulierten den Schaltkreis als eine Mischung aus mehreren standardmäßigen linearen Pfaden und akzeptierten oder lehnten das Endergebnis basierend auf einer präzisen Wahrscheinlichkeit ab. Diese Ablehnungsmethode ist exakt, was bedeutet, dass sie jedes Mal das richtige Ergebnis liefert, obwohl sie manchmal erfordert, die Simulation mehrmals durchzuführen, um ein akzeptiertes Ergebnis zu finden. Für einen spezifischen Typ einer nichtlinearen Phase akzeptiert die Methode ein Ergebnis etwa die Hälfte der Zeit, was sie etwa viermal langsamer macht als die Standard-Einzelphotonen-Simulation, aber dennoch machbar ist.
Die Forscher validierten alle vier dieser neuen Sampler, indem sie ihre Ergebnisse mit leistungsstarken Brute-Force-Simulationen bei kleinen Instanzen verglichen, wobei die Ergebnisse perfekt übereinstimmten. Sie ließen ihren Code dann auf einem High-End-Grafikprozessor laufen, um die tatsächliche benötigte Zeit zu messen. Die Ergebnisse bestätigen, dass für superponierte Quellen, adaptive Schaltkreise und nichtlineare Stellen die exponentielle Schwierigkeit des Problems nicht zunimmt; sie skaliert lediglich mit derselben Rate wie der Standardfall des Einzelphotons, vielleicht mit einem kleinen konstanten Multiplikator. Für die verschränkten Matrix-Produkt-Zustände hängt die Geschwindigkeit davon ab, wie die Anzahl der Terme in ihrer Berechnung mit zunehmender Größe des Systems wächst – eine Frage, die für sehr große Systeme offen bleibt.
Diese Arbeit behauptet nicht, das Problem der Simulation aller Quantengeräte für immer gelöst zu haben, noch deutet sie darauf hin, dass diese Maschinen einfach zu bauen sind. Stattdessen bietet sie einen rigorosen, exakten Weg, sie zu testen. Indem sie bewiesen haben, dass diese komplexen, unperfekten Geräte effizient simuliert werden können, haben die Forscher eine große Barriere für die Verifizierung des Quantenvorteils beseitigt. Sie haben gezeigt, dass die Lücke zwischen dem, was ein Quantengerät leisten kann, und dem, was ein klassischer Computer berechnen kann, durch Unvollkommenheiten oder adaptive Steuerungen nicht zwangsläufig vergrößert wird. Die Werkzeuge, die sie gebaut haben, sind nun Open Source, sodass andere Wissenschaftler sie nutzen können, um ihre eigenen photonischen Geräte zu testen und sicherzustellen, dass wir, wenn eine Maschine behauptet, etwas Unmögliches zu tun, eine zuverlässige Möglichkeit haben, zu prüfen, ob sie die Wahrheit sagt.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.