In de stille, abstracte wereld van quantumcomputing zoeken onderzoekers voortdurend naar een specifiek soort digitale illusie: het vermogen om iets er volkomen willekeurig uit te laten zien voor een waarnemer, ook al is het gecreëerd door een eenvoudige, verborgen regel. Dit concept, bekend als pseudowillekeurigheid, vormt de ruggengraat van de moderne cryptografie. In de klassieke wereld, waar computers bits aan informatie verwerken, beschikken we over goed begrepen instrumenten om deze illusies te creëren. We kunnen willekeurig ogende reeksen getallen of functies genereren die onvoorspelbaar gedrag vertonen, maar die toch reproduceerbaar zijn als je de geheime sleutel kent. Deze instrumenten stellen ons in staat om veilige sloten te bouwen voor ons digitale leven.

De quantumwereld werkt echter onder andere wetten. In plaats van eenvoudige bits, manipuleren quantumcomputers delicate toestanden van materie die tegelijkertijd in meerdere configuraties kunnen bestaan. Dit opent de deur naar nieuwe soorten willekeur, maar het creëert ook een verwarrend landschap. Wetenschappers hebben verschillende manieren ontdekt om deze quantumillusies te genereren. Sommige methoden creëren willekeurig ogende quantumtoestanden, die lijken op snapshots van een systeem. Andere creëren willekeurig ogende transformaties, die lijken op de acties die een systeem van de ene naar de andere toestand veranderen. Lange tijd was het onduidelijk of deze twee soorten instrumenten fundamenteel met elkaar verbonden waren. Zou een methode die een willekeurig ogende snapshot creëert, gebruikt kunnen worden om een machine te bouwen die een willekeurige actie uitvoert? Of zijn ze geheel afzonderlijke verschijnselen, zoals appels en peren, die niet in elkaar omgezet kunnen worden?

Een onderzoeker aan het Korea Advanced Institute of Science and Technology, Minki Hhan, heeft nu een scherpe lijn getrokken tussen deze twee concepten. In een nieuwe studie bewijst Hhan dat het mogelijk is om een wereld te hebben waarin je gemakkelijk willekeurig ogende quantumsnapshots kunt creëren, maar waar het wiskundig onmogelijk is om een machine te bouwen die een willekeurige actie uitvoert. Deze bevinding zet een langlopende vraag over de structuur van quantumbeveiliging op zijn plek. Het onthult dat het vermogen om een willekeurige toestand te genereren niet automatisch de macht geeft om een willekeurige transformatie uit te voeren. De twee zijn verschillende capaciteiten, en de ene impliceert de andere niet, zelfs wanneer de onderzoeker gebruik mag maken van elke truc uit het quantumboekje, inclusief extra geheugenruimte en complexe, niet-standaard operaties.

Om te begrijpen hoe deze scheiding werd gevonden, stel je een enorme bibliotheek met boeken voor. In deze bibliotheek is een "pseudorandom function-like state generator" een machine die, wanneer deze een specifieke code krijgt, een enkel boek produceert dat eruitziet alsof het door een chaotisch, willekeurig proces is geschreven. Een "pseudorandom unitary" daarentegen is een machine die, wanneer deze een code krijgt, een complexe, willekeurige schudbeweging van de gehele inhoud van de bibliotheek uitvoert. De vraag was: als je een machine hebt die willekeurig ogende boeken kan produceren, kun je die dan gebruiken om de schudmachine te bouwen? Intuïtief zou men kunnen denken dat als je de onderdelen kunt creëren, je het geheel kunt assembleren. Maar het werk van Hhan laat zien dat deze intuïtie in de quantumwereld faalt.

Het bewijs berust op een slim wiskundig perspectief dat de constructie van deze quantummachines behandelt als een gladde, continue kaart. In plaats van de machine te zien als een rigide blok code, zag Hhan het als een landschap waar kleine veranderingen in de input leiden tot kleine veranderingen in de output. Door het "hellingsgetal" of de veranderingssnelheid van dit landschap te bestuderen, ontdekte de onderzoeker een verborgen zwakte in elke poging om een willekeurige schudmachine te bouwen met behulp van enkel willekeurige toestandgenerators. De wiskundige analyse toonde aan dat de helling van dit landschap inherent vlak en beperkt is. Het is alsof de machine probeert een heuvel te beklimmen, maar het terrein is zo vlak dat het niet genoeg hoogte kan winnen om de top van echte willekeur te bereiken.

Deze vlakheid is een direct gevolg van hoe de machine interageert met de quantumtoestanden. De machine die willekeurige toestanden genereert, hoeft alleen maar te opereren op een kleine, laagdimensionale doorsnede van de enorme quantumruimte. Echter, een echte willekeurige schudmachine moet opereren op de gehele, massieve ruimte. Wanneer de onderzoeker probeerde de machine met de kleine doorsnede te dwingen te opereren op de hele ruimte, bleef de wiskundige "afgeleide" — de maatstaf voor hoe gevoelig de output is voor veranderingen in de input — te klein. Dit gebrek aan gevoeligheid betekent dat de output van de machine te voorspelbaar is. Het concentreert zich rond een enkele, gemiddelde gedraging in plaats van zich te verspreiden in de wilde, chaotische distributie die een echt willekeurige machine zou produceren.

Om dit concreet te maken, construeerde de onderzoeker een specifiek scenario met een "common-Haar function-like state" oracle. Dit is een theoretisch instrument dat een aanbod biedt van willekeurige quantumtoestanden. In dit scenario toonde de onderzoeker aan dat hoewel een machine succesvol willekeurig ogende toestanden kon genereren met dit instrument, elke poging om die toestanden te gebruiken om een willekeurige schudmachine te bouwen, zou falen. De resulterende machine zou altijd op een manier handelen die een slimme waarnemer als onderscheidbaar van een echt willekeurige machine zou kunnen identificeren. De waarnemer zou kunnen detecteren dat de machine niet werkelijk willekeurig was omdat het gedrag te geconcentreerd, te vloeiend en ontbrak de noodzakelijke chaotische variatie.

De studie behandelde ook een mogelijk lek. Critici zouden kunnen aanvoeren dat het falen alleen gebeurt omdat de machine beperkt is in hoeveel extra geheugen het kan gebruiken. Misschien zou de machine, als deze een enorme hoeveelheid extra ruimte mocht gebruiken, dit probleem kunnen overwinnen. Hhan's bewijs sluit dit expliciet uit. De scheiding blijft bestaan, zelfs wanneer de machine wordt toegestaan een arbitraal aantal extra geheemeneenheden te gebruiken en zelfs wanneer de machine imperfect of niet-unitair mag zijn. Het fundamentele onderscheid blijft: het vermogen om een willekeurige toestand te genereren impliceert niet het vermogen om een willekeurige transformatie uit te voeren.

Dit resultaat heeft significante implicaties voor de toekomst van de quantumcryptografie. Jarenlang hebben onderzoekers geprobeerd veilige quantumsystemen te bouwen door deze verschillende soorten willekeur aan elkaar te koppelen, uitgaande van de aanname dat als de ene bestaat, de andere ook moet volgen. Deze nieuwe bevinding suggereert dat de weg naar veilige quantumsystemen meer gefragmenteerd is dan eerder gedacht. Het betekent dat we om een echt veilig quantumslot te bouwen, niet simpelweg kunnen vertrouwen op de instrumenten die willekeurige toestanden genereren. We moeten geheel nieuwe methoden vinden om de willekeurige transformaties te creëren die onze gegevens beschermen.

Het werk benadrukt ook een dieper verschil tussen het voorbereiden van een quantumtoestand en het uitvoeren van een quantumoperatie. In de quantumwereld is het creëren van een specifieke, willekeurig ogende configuratie een fundamenteel andere taak dan het creëren van een machine die elke configuratie willekeurig kan herordenen. Het artikel demonstreert dat dit niet slechts verschillende stappen in hetzelfde proces zijn, maar afzonderlijke capaciteiten die verschillende middelen vereisen. Dit onderscheid is geen klein technisch detail; het is een fundamenteel kenmerk van hoe quantuminformatie zich gedraagt.

Door een techniek te gebruiken die de afgeleiden van deze quantumkaarten analyseert, bood de onderzoeker een nieuwe manier om naar de structuur van quantumwillekeur te kijken. Deze benadering, die de constructie van quantumalgoritmen behandelt als een geometrisch probleem, biedt een krachtige nieuwe lens voor het bestuderen van de grenzen van wat quantumcomputers kunnen doen. Het suggereert dat er inherente geometrische beperkingen zijn aan hoe quantuminformatie kan worden gemanipuleerd, beperkingen die voorkomen dat bepaalde soorten willekeur uit andere worden gegenereerd.

De studie beweert niet dat quantumpseudowillekeur onmogelijk is. Integendeel, het bevestigt dat deze instrumenten bestaan. Het verheldert echter de grenzen van hun kracht. Het vertelt ons dat we niet kunnen aannemen dat het bestaan van het ene type quantumwillekeur de existentie van het andere garandeert. Deze helderheid is essentieel voor het bouwen van de volgende generatie quantumtechnologieën. Het dwingt onderzoekers om nauwkeuriger te zijn over wat ze wel en niet kunnen bouwen, om er zeker van te zijn dat de fundamenten van quantumbeveiliging niet gebouwd worden op wankele aannames.

Uiteindelijk onthult het artikel een landschap van quantummogelijkheden dat complexer en genuanceerder is dan een eenvoudige hiërarchie. Het laat zien dat de quantumwereld niet één enkele, verenigde structuur is waar het ene instrument gemakkelijk in het andere kan worden omgezet. In plaats daarvan is het een verzameling van afzonderlijke regio's, elk met zijn eigen regels en beperkingen. Het vermogen om een willekeurige toestand te genereren is één regio, en het vermogen om een willekeurige transformatie uit te voeren is een andere. Hoewel ze van een afstand misschien op elkaar lijken, worden ze gescheiden door een diepe, wiskundige kloof die niet overbrugd kan worden door simpelweg meer geheugen toe te voegen of complexere circuits te gebruiken. Deze ontdekking biedt een duidelijkere kaart voor de toekomst van quantumcomputing, die onderzoekers naar de juiste instrumenten voor de juiste taken leidt en weg van de valse hoop dat één oplossing alle problemen kan oplossen.