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

In het uitgestrekte landschap van de kwantumfysica, waar deeltjes zich op manieren gedragen die onze alledaagse intuïtie tarten, onderscheiden bepaalde toestanden van materie zich door hun voorspelbaarheid en bruikbaarheid. Dit zijn de zogenaamde Gaussische toestanden. Zij zijn de werkpaarden van de kwantumwereld en verschijnen als de natuurlijke rusttoestanden van veel fysieke systemen, van het licht in een laser tot de trillingen in een kristal. Omdat ze wiskundig goed beheersbaar zijn, gebruiken wetenschappers ze vaak als fundament voor het bouken van complexe kwantumtechnologieën, zoals veilige communicatienetwerken en krachtige computers. De echte wereld is echter rommelig. Kwantumsystemen worden gemakkelijk verstoord, en de delicate toestanden die nodig zijn voor geavanceerd computergebruik kunnen gemakkelijk degraderen naar iets dat chaotischer en minder nuttig is. Dit creëert een kritieke behoefte aan een manier om de gezondheid van deze systemen te controleren: kunnen we, gegeven een verzameling kwantumdeeltjes, snel bepalen of ze nog steeds in die nuttige, ordelijke Gaussische staat verkeren, of dat ze te ver daarvan zijn afgedwaald?

Jarenlang werden wetenschappers geconfronteerd met een frustrerende hindernis bij het beantwoorden van deze vraag. Hoewel ze wisten hoe ze Gaussische toestanden moesten testen, vereiste de methode een aantal controles dat groter en groter werd naarmate het systeem zelf groeide. Als een systeem slechts een paar deeltjes had, volstonden een paar controles misschien. Maar naarmate het systeem opschaalde naar de honderden of duizenden deeltjes die nodig zijn voor praktische toepassingen, werd het aantal vereiste controles onpraktisch, wat het testen voor grote machines effectief onmogelijk maakte. De heersende aanname was dat de complexiteit van het systeem altijd een evenredige toename van de testinspanning zou eisen. Dit artikel daagt die aanname direct uit. De onderzoekers demonstreren dat het mogelijk is om te testen of een kwantumtoestand Gaussisch is met een vaste, kleine hoeveelheid kopieën, ongeacht hoe groot het systeem ook is. Ze hebben een manier gevonden om de orde van een kwantumsysteem te verifiëren met een constante hoeveelheid inspanning, een ontdekking die een belangrijke barrière voor het opschalen van kwantumtechnologieën wegneemt.

Het team, onder leiding van onderzoekers van instellingen uit Nederland, Duitsland en het Verenigd Koninkrijk, benaderde het probleem door te kijken naar de unieke symmetrieën die Gaussische toestanden definiëren. In de kwantumwereld is symmetrie een krachtige indicator van orde. Gaussische toestanden bezitten een specifieke soort rotatiesymmetrie wanneer men ze bekijkt door de lens van hun wiskundige beschrijving. De onderzoekers realiseerden zich dat als je twee kopieën van een kwantumtoestand neemt en een specifieke meting uitvoert die deze symmetrie controleert, een ware Gaussische toestand de test altijd zal doorstaan. De uitdaging was echter niet alleen om perfecte toestanden te identificeren, maar ook om te begrijpen wat er gebeurt als een toestand slechts bijna Gaussisch is. Als een toestand de test slechts lichtelijk faalt, hoe ver is deze dan verwijderd van perfectie? In veel wetenschappelijke contexten kan een kleine fout in een test een enorme afwijking in de onderliggende realiteit verbergen, vooral naarmate systemen groter worden.

Om dit op te lossen, ontwikkelden de auteurs een nieuw wiskundig kader dat de waarschijnlijkheid van het slagen voor een test verbindt met de werkelijke afstand van de toestand tot de ideale Gaussische vorm. Ze behandelden het probleem als een reis door een landschap van mogelijkheden, waarbij de hoogte van het terrein vertegenwoordigde hoe waarschijnlijk het was dat een toestand de test zou doorstaan. Door de helling van dit landschap te analyseren, konden ze bewijzen dat als een toestand dicht genoeg bij het slagen voor de test ligt, deze ook fysiek dicht bij een ware Gaussische toestand moet liggen. Deze logica blijft overeind, zelfs wanneer het aantal deeltjes in het systeem toeneemt. De sleutel tot hun succes was het koppelen van hun test aan een bekend wiskundig concept betreffende 'random walks' op een sfeer, een probleem dat uitgebreid is bestudeerd in de zuivere wiskunde. Door de bekende resultaten uit dat vakgebied te lenen, waren zij in staat te bewijzen dat de "helling" van hun testlandschap steil genoeg is om te garanderen dat een hoog slagingspercentage betekent dat de toestand daadwerkelijk dicht bij het doel ligt, zonder afhankelijkheid van de systeemgrootte.

Het artikel beschrijft specifieke tests voor verschillende soorten kwantumsystemen, inclusief systemen bestaande uit fermionen, wat deeltjes zoals elektronen zijn, en bosonen, die onder andere lichtdeeltjes omvatten. Voor fermionische systemen houdt de test in dat men twee kopieën van de toestand neemt en controleert of deze onveranderd blijven wanneer ze ten opzichte van elkaar op een specifieke manier worden geroteerd. Voor bosonische systemen is de aanpak vergelijkbaar, maar vereist het een iets andere behandeling van de positie en impuls van de deeltjes. In alle gevallen lieten de onderzoekers zien dat het aantal kopieën dat nodig is om een gewenst niveau van vertrouwen te bereiken, alleen afhangt van hoe precies de gebruiker wil zijn, en niet van de grootte van de machine. Om bijvoorbeeld zeer zeker te zijn dat een toestand niet-Gaussisch is, moet men de test wellicht een specifiek aantal keren herhalen, maar dat aantal blijft constant of het systeem nu tien modi of tienduizend modi heeft.

Dit bevinding is significant omdat het een theoretische mogelijkheid transformeert in een praktisch instrument. Voorheen werd de kosten van het verifiëren van een kwantumtoestand gezien als een flessenhals die zou groeien met de complexiteit van de technologie. Nu hebben de auteurs aangetoond dat deze kosten vaststaan. Ze geven expliciete instructies voor hoe deze tests uitgevoerd kunnen worden met standaard kwantumbewerkingen, zoals beam splitters, wat apparaten zijn die lichtbundels mengen. De tests zijn ontworpen om robuust te zijn; ze vereisen geen perfecte apparatuur of foutloze condities om te werken, enkel dat de toestand voldoende ver van Gaussisch is om gedetecteerd te worden. De onderzoekers breidden hun methoden ook uit om coherente toestanden te testen, een specifiek type Gaussische toestand dat vaak in lasers wordt gebruikt, en voor toestanden met een specifieke gemiddelde waarde, waarmee ze de veelzijdigheid van hun aanpak aantonen.

Het werk is een rigoureus bewijs in plaats van een simulatie of een suggestie. De auteurs hebben wiskundig bewezen dat hun tests werken met een constant aantal kopieën, wat een garantie biedt die geldt voor elke systeemgrootte. Ze suggereerden niet slechts dat dit mogelijk zou kunnen zijn; ze bewezen het door de fysieke eigenschappen van kwantumtoestanden te combineren met diepe resultaten uit de waarschijnlijkheidsleer. Dit resultaat lost een langdurige openstaande vraag in het gebied van de kwantuminformatica op, door te bevestigen dat de monstercomplexiteit (sample complexity) voor het testen van Gaussianiteit niet schaalt met de systeemgrootte. Het biedt een helder pad vooruit voor ingenieurs en wetenschappers die grootschalige kwantumapparaten bouwen, door hen de zekerheid te geven dat zij de kwaliteit van hun systemen kunnen verifiëren zonder overweldigd te worden door het enorme aantal deeltjes dat betrokken is.

Uiteindelijk biedt dit onderzoek een fundamentele geruststelling voor de toekomst van de kwantumtechnologie. Het laat zien dat de instrumenten die nodig zijn om de delicate orde van kwantumtoestanden te monitoren en te onderhouden, niet onmogelijk complex hoeven te worden naarmate de technologie groeit. Door gebruik te maken van de inherente symmetrieën van de natuur en geavanceerde wiskundige inzichten toe te passen, hebben de onderzoekers een ruimte gecreëerd waar efficiëntie en betrouwbaarheid naast elkaar kunnen bestaan, zelfs in de meest complexe kwantumsystemen. Hun werk zorgt ervoor dat, terwijl wij grotere en krachtigere kwantummachines bouwen, we niet het vermogen verliezen om te weten wat ze doen, waardoor de deur open blijft staan voor de volgende generatie kwantuminventies.