Optimal local oscillators for the homodyne detection of multiphoton states

Om het werk dat hier wordt beschreven te begrijpen, moet men eerst de wereld van de kwantumoptica betreden, waar wetenschappers individuele lichtdeeltjes, bekend als fotonen, manipuleren om de volgende generatie computer- en sensortechnologieën te bouwen. In dit domein zijn de krachtigste instrumenten niet alleen de fotonen zelf, maar de precieze manieren waarop ze zijn gerangschikt. Soms creëren onderzoekers toestanden waarin fotonen aan elkaar gekoppeld zijn in complexe, niet-willekeurige patronen, wat bekend staat als niet-Gaussische toestanden. Deze zijn speciaal omdat ze informatie bevatten die standaard, gladde lichtverdelingen niet kunnen dragen. Om de informatie die in deze toestanden is opgeslagen uit te lezen, gebruiken wetenschappers een techniek genaamd homodyne-detectie. Stel je voor dat je probeert naar een specifiek instrument in een luid orkest te luisteren; je hebt een referentietoon nodig, een constante beat om de muziek tegen te vergelijken. In het laboratorium is deze referentie een "lokale oscillator", een laserstraal die fungeert als een liniaal voor het meten van de kwantumtoestand. Als deze liniaal niet perfect overeenkomt met de vorm en timing van de kwantumtoestand, faalt de meting en gaat de unieke informatie verloren. De uitdaging is altijd geweest dat naarmate het aantal fotonen in een toestand toeneemt, de vorm van die toestand ongelooflijk complex wordt, waardoor het bijna onmogelijk is om door gokwerk of eenvoudige berekening een passende liniaal te ontwerpen.

Een team van onderzoekers aan de École polytechnique de Montréal heeft nu een nieuw wiskundig kader ontwikkeld om dit matchingsprobleem op te lossen voor toestanden die meerdere fotonen bevatten. Ze benaderden het probleem door de complexe vorm van de lichttoestand niet als een eenvoudige golf te behandelen, maar als een multidimensionaal object met een specifieke interne structuur. Door deze structuur te analyseren, ontdekten ze dat het vinden van de perfecte lokale oscillator wiskundig equivalent is aan het vinden van het meest dominante patroon binnen de eigen vorm van het licht. Ze bewezen dat voor eenvoudigere, minder complexe toestanden de beste liniaal simpelweg het meest prominente patroon is dat al aanwezig is in het licht zelf, wat geïdentificeerd kan worden zonder complexe zoekopdrachten. Echter, voor complexere, sterk verstrengelde toestanden is dit eenvoudige patroon niet voldoende. In deze gevallen creëerden de onderzoekers een nieuw algoritme dat begint met de beste gok en deze vervolgens stap voor stap voorzichtig verfijnt om de ware optimale vorm te vinden. Hun werk laat zien dat hoewel eenvoudige toestanden met bijna perfecte helderheid gemeten kunnen worden, zeer complexe toestanden altijd enige informatie zullen verliezen, ongeacht hoe goed de liniaal is afgestemd, maar hun methode zorgt ervoor dat het verlies wordt geminimaliseerd tot de absolute theoretische limiet.

De onderzoekers begonnen door te kijken naar hoe licht in het laboratorium wordt gegenereerd. Wanneer fotonen in groepen worden gecreëerd, worden ze vaak geboren met een specifieke relatie tussen hun kleuren en hun aankomsttijden. Deze relatie wordt beschreven door een gezamenlijke spectrale amplitude, die fungeert als een kaart van hoe de verschillende delen van het licht met elkaar verbonden zijn. Voor een enkel foton is deze kaart relatief eenvoudig, maar voor groepen van drie, vier, vijf of zelfs zes fotonen wordt de kaart een hoogdimensionale tensor, een structuur die moeilijk voor mensen te visualiseren is en zelfs nog moeilijker voor computers om direct te verwerken. Het team realiseerde zich dat het probleem van het ontwerpen van de perfecte lokale oscillator hetzelfde is als het vinden van de belangrijkste richting in deze multidimensionale kaart. Als de lichttoestand voornamelijk uit één eenvoudig patroon bestaat, is de beste lokale oscillator simpelweg dat patroon. Maar als het licht een rommelige mix is van vele patronen, is de beste lokale oscillator een specifieke combinatie die de onderzoekers moesten berekenen.

Om dit aan te pakken, gebruikten het team een krachtig wiskundig hulpmiddel genaamd de hogere-orde singular value decomposition. Denk hierbij aan een manier om een complex, meerlagig object af te breken in zijn fundamentele bouwstenen. Ze ontdekten dat de eerste bouwsteen, de meest significante, vaak een uitstekend startpunt vormt voor het vinden van de perfecte lokale oscillator. In gevallen waarin de fotonen niet sterk aan elkaar gekoppeld zijn, is deze eerste bouwsteen bijna het volledige antwoord, waardoor wetenschappers de moeilijke optimalisatiestappen volledig kunnen overslaan. Echter, wanneer de fotonen nauw met elkaar verbonden zijn, is de eerste bouwsteen slechts een hint. De onderzoekers ontwikkelden vervolgens een strategie om deze hint te gebruiken om een computercrash te leiden. Ze startten de zoektocht met de eerste bouwsteen en gebruikten daarna een techniek die de regels van de zoektocht geleidelijk aanpaste, waardoor de computer de complexe landschappen van mogelijkheden kon navigeren zonder vast te lopen in een lokaal doodlopend punt. Deze aanpak, die een slimme startgok combineert met een zorgvuldige, stapsgewijze verfijning, bleek zeer effectief.

Het team testte hun methode met behulp van computersimulaties van twee verschillende typen lichtbronnen. Het eerste type was gebaseerd op Gaussische verdelingen, die vloeiend en voorspelbaar zijn en vaak worden gebruikt in standaard kwantumeperimenten. Het tweede type kwam van een exotischer proces genaamd high-order parametric down-conversion, wat complexere, grillige patronen van licht creëert. In beide gevallen varieerden ze hoe sterk de fotonen met elkaar verbonden, of gecorreleerd, waren. Voor de vloeiende, zwak gekoppelde toestanden bevestigde hun methode dat de eenvoudige eerste bouwsteen inderdaad de perfecte lokale oscillator was, waarbij een meetzichtbaarheid van bijna honderd procent werd bereikt. Maar voor de complexe, sterk gekoppelde toestanden waren de resultaten genuanceerder. Zelfs met de perfecte lokale oscillator daalde de meetzichtbaarheid onder de honderd procent. Dit was geen falen van hun methode, maar een fundamentele limiet opgelegd door de aard van het licht zelf. De simulaties toonden aan dat naarmate de complexiteit van het licht toenam, de kloof tussen de beste mogelijke meting en een perfecte meting groter werd, wat bevestigde dat sommige informatie inherent moeilijker te extraheren is uit sterk verstrengelde toestanden.

Een cruciaal onderdeel van hun ontdekking was het vaststellen van een theoretisch plafond voor hoe goed deze metingen ooit kunnen presteren. Door de structuur van de kaart van het licht te analyseren, leidden ze een wiskundige grens af die de maximale mogelijke zichtbaarheid voorspelt voor een gegeven toestand. In hun simulaties bleven de geoptimaliseerde lokale oscillatoren die ze vonden altijd onder dit plafond, en voor de eenvoudigere toestanden kwamen ze heel dicht in de buurt van dit plafond. Deze grens is waardevol omdat het experimentatoren een doel geeft om naar te streven zonder dat ze elke keer een volledige, tijdrovende optimalisatie hoeven uit te voeren. Als de lichtbron bekend staat als eenvoudig, vertelt de grens hen dat een snelle, eenvoudige meting volstaat. Als de bron complex is, vertelt de grens hen dat zelfs de beste inspanning beperkingen heeft en dat zij geen tijd moeten verspillen aan het zoeken naar een perfecte oplossing die niet bestaat.

De onderzoekers verkenden ook wat er gebeurt als het licht een complexere interne structuur heeft, zoals wanneer de pomplaser die de fotonen creëert een "chirp" heeft, wat betekent dat de frequentie in de tijd verandert. Dit maakt het licht op een andere manier complex door imaginaire componenten aan de vorm toe te voegen. Zelfs in dit moeilijkere scenario werkte hun algoritme succesvol, waarbij het de optimale lokale oscillator vond en bevestigde dat de meetlimieten consistent bleven met hun theoretische voorspellingen. De methode bleek robuust genoeg om deze complexe, real-world variaties aan te kunnen, wat suggereert dat het toegepast kan worden in werkelijke laboratoriumexperimenten.

De implicaties van dit werk reiken verder dan alleen een betere manier om licht te meten. Door een duidelijk pad te bieden voor het ontwerpen van de perfecte lokale oscillator, hebben de onderzoekers een belangrijke flessenhals in het praktische gebruik van niet-Gaussische kwantumtoestanden weggenomen. Deze toestanden zijn essentieel voor geavanceerde kwantumcomputing en precisie-metrologie, maar ze waren moeilijk te karakteriseren vanwege de mismatch tussen het licht en de meetinstrumenten. Nu hebben wetenschappers een betrouwbaar recept om de instrumenten te ontwerpen die nodig zijn om deze toestanden te lezen. De studie beweert niet elk probleem in de kwantumoptica te hebben opgelost, noch suggereert het dat alle kwantumtoestanden met perfecte efficiëntie gemeten kunnen worden. In plaats daarvan biedt het een praktische, rigoureuze methode om zo dicht mogelijk bij de waarheid te komen zoals de wetten van de fysica dat toelaten. Voor de zwak gecorreleerde toestanden die gemakkelijker te produceren zijn, is de oplossing onmiddellijk en eenvoudig. Voor de sterk gecorreleerde toestanden die de meeste belofte inhouden voor toekomstige technologie, is de oplossing een zorgvuldig afgestemde optimalisatie die de fundamentele limieten van het systeem respecteert. Deze helderheid stelt onderzoekers in staat hun inspanningen te richten op het bouwen van betere lichtbronnen, wetende dat ze nu de best mogelijke instrumenten hebben om te meten wat ze creëren.