Exact sampling beyond Fock inputs and linear optics: photon-number superpositions, photonic matrix-product states, adaptive and non-linear circuits
Dit artikel breidt het exacte samplingalgoritme van Clifford en Clifford uit voorbij enkelvoudige fotonische inputs en lineaire optica om fotonaantallen-superposities, fotonische matrixproducttoestanden, adaptieve metingen en niet-lineaire circuits te verwerken door een algemene set-keten-lemma vast te stellen die efficiënte, exacte sampling met posterieure inferentie mogelijk maakt.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteur. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
In de stille race om te bewijzen dat kwantummachines dingen kunnen doen die onmogelijk zijn voor klassieke computers, is licht opgedoken als een belangrijke kandidaat. Het idee is simpel maar diepgaand: stuur stromen van individuele lichtdeeltjes, genaamd fotonen, door een complex doolhof van spiegels en bundelsplitsers. Terwijl deze deeltjes rondstuiteren, interfereren ze met elkaar op manieren die ongelooflijk moeilijk te voorspellen zijn. Als je precies zou kunnen voorspellen waar elk foton terecht zou komen, zou je een probleem oplossen dat zo moeilijk is dat het de gehele hiërarchie van de moderne computertheorie zou laten instorten. Deze uitdaging, bekend als boson sampling, rust op de aanname dat de lichtbronnen perfect zijn en precies één foton tegelijk uitzenden. Echte apparaten zijn echter zelden perfect. Hun lichtbronnen kunnen een beetje wazig zijn, waarbij ze een mix uitzenden van niets en één foton, of de deeltjes kunnen verstrengeld zijn in complexe patronen. Bovendien kunnen de machines zelf halverwege hun pad veranderen op basis van wat ze zien, of elementen bevatten die de regels van de standaard optica buigen. Decennialang hebben wetenschappers geprobeerd deze imperfecte, real-world scenario's op een klassieke computer te simuleren. Als een computer het apparaat niet kan simuleren, kan hij niet verifiëren of het apparaat daadwerkelijk werkt of dat het werkelijk een kwantumvoordeel demonstreert.
Een team onderzoekers van Quandela in Frankrijk heeft nu een nieuwe set hulpmiddelen gebouwd om exact dit probleem op te lossen. Ze hebben een methode ontwikkeld om deze complexe fotonische apparaten met perfecte precisie te simuleren, zelfs wanneer de lichtbronnen imperfect zijn of het circuit adaptieve veranderingen en niet-lineaire elementen bevat. Hun werk breidt een eerdere doorbraak uit die computers in staat stelde om perfecte, single-foton experimenten te simuleren. De nieuwe methode werkt door de simulatie niet te behandelen als een enkele, massale berekening, maar als een stapsgewijs proces van het opbouend van een uitkomst, één foton per keer. Stel je voor dat je probeert de uiteindelijke rangschikking van een kaartspel te voorspellen door de kaarten één voor één te delen. Als je de regels weet van hoe de kaarten met elkaar interageren, kun je de waarschijnlijkheid berekenen dat de volgende kaart een specifieke kleur heeft op basis van de kaarten die al zijn gedeeld. De onderzoekers vonden een manier om deze logica toe te passen op licht, zelfs wanneer het "kaartspel" rommelig is of de regels halverwege veranderen.
De kern van hun ontdekking is een wiskundig inzicht dat hen in staat stelt om vier verschillende soorten complexiteit aan te pakken die eerder een exacte simulatie blokkeerden. Ten eerste pakten ze bronnen aan die een superpositie van vacuüm en een enkel foton uitzenden. In deze gevallen is het aantal fotonen niet vast; het fluctueert. De onderzoekers toonden aan dat door de ongebruikte bronnen als een verborgen achtergrond te behandelen en ze in een willekeurige volgorde aan de berekening toe te voegen, zij de waarschijnlijkheden exact konden berekenen. Deze aanpak onthulde dat de moeilijkheid van het simuleren van deze bronnen met dezelfde snelheid groeit als het simuleren van een enkel foton dat door een verliesgevend filter is gegaan, een beheersbare kostenpost voor huidige computers.
Ten tweede richtten zij zich op een exotischer type lichtbron: een kwantumemitter met een interne geheugen, zoals een kleine spin binnen een kwantumdot. Dit geheugen verstrengelt de fotonen terwijl ze één na het ander worden uitgezonden, wat een staat creëert die bekend staat als een fotonische matrix-producttoestand. Het simuleren hiervan vereist gewoonlijk het bijhouden van een exponentieel groeiende hoeveelheid informatie. Het team vond een manier om deze informatie te comprimeren door de berekening op te splitsen in kleine gaten. Ze toonden aan dat de complexe verstrengeling kon worden gereduceerd tot een korte som van gekwadrateerde amplitudes, waardoor de berekening efficiënt bleef. Voor de specifieke ketens van fotonen die zij testten, bleef het aantal termen dat nodig was voor deze som verrassend klein, vaak slechts één of twee, zelfs terwijl de simulatie vorderde.
Ten derde pasten het team hun methode aan voor circuits die hun gedrag veranderen op basis van metingen die tijdens het experiment worden genomen. Dit wordt adaptieve lineaire optica genoemd. In deze machines telt een detector fotonen, en die telling vertelt de machine welke spiegels voor de volgende stap moeten worden bewogen. Om dit te simuleren, begonnen de onderzoekers met de bekende uitkomst van de adaptieve metingen en werkten ze terugwaarts, waarbij ze een keten van mogelijkheden opbouwden die die tellingen respecteerden. Als een gesimuleerd pad in strijd was met de gemeten tellingen, verwierpen ze dit en probeerden ze het opnieuw. Hun modellen suggereren dat zelfs met drie adaptieve modi, de extra tijd die vereist is verwaarloosbaar is en binnen tien procent blijft van de tijd die nodig is voor een standaard simulatie.
Ten slotte pakten ze niet-lineaire locaties aan, waar een enkele lichtstraal met zichzelf interageert om zijn fase te veranderen, een proces dat de standaardregels van lineaire optica doorbreekt. Hier faalden de natuurlijke wiskundige regels voor hun stapsgewijze methode. In plaats van de methode te dwingen te werken, gebruikten ze een andere strategie: ze simuleerden het circuit als een mengsel van verschillende standaard lineaire paden en accepteerden of verwierpen vervolgens het eindresultaat op basis van een precieze waarschijnlijkheid. Deze verwerpingsmethode is exact, wat betekent dat het elke keer het juiste antwoord produceert, hoewel het soms vereist is om de simulatie meerdere keren uit te voeren om een geaccepteerd resultaat te vinden. Voor een specifiek type niet-lineaire fase accepteert de methode een resultaat ongeveer de helft van de tijd, wat het ongeveer vier keer trager maakt dan de standaard single-foton simulatie, maar nog steeds haalbaar is.
De onderzoekers valideerden al deze vier nieuwe samplers door hun resultaten te vergelijken met krachtige, brute-force simulaties op kleine instanties, waarbij de resultaten perfect overeenkwamen. Ze draalden vervolgens hun code op een hoogwaardige grafische processor om de werkelijke tijd te meten die nodig is. De resultaten bevestigen dat voor superponeerde bronnen, adaptieve circuits en niet-lineaire locaties, de exponentiële moeilijkheid van het probleem niet erger wordt; het schaalt simpelweg met hetzelfde tempo als de standaard single-foton casus, misschien met een kleine constante multiplier. Voor de verstrengelde matrix-producttoestanden hangt de snelheid af van hoe het aantal termen in hun berekening groeit naarmate het systeem groter wordt, een vraag die open blijft voor zeer grote systemen.
Dit werk beweert niet het probleem van het simuleren van alle kwantumapparaten voor altijd te hebben opgelost, noch suggereert het dat deze machines gemakkelijk te bouwen zijn. In plaats daarvan biedt het een rigoureuze, exacte manier om ze te testen. Door te bewijzen dat deze complexe, imperfecte apparaten efficiënt gesimuleerd kunnen worden, hebben de onderzoekers een belangrijke barrière voor het verifiëren van kwantumvoordeel weggenomen. Ze hebben aangetoond dat de kloof tussen wat een kwantumapparaat kan doen en wat een klassieke computer kan berekenen, niet noodzakelijkerwijs wordt vergroot door imperfecties of adaptieve controles. De instrumenten die zij hebben gebouwd zijn nu open source, waardoor andere wetenschappers ze kunnen gebruiken om hun eigen fotonische apparaten te testen, zodat wanneer een machine beweert iets onmogelijks te doen, we een betrouwbare manier hebben om te controleren of het de waarheid spreekt.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.