An infinite hierarchy of multi-copy quantum learning tasks

In de wereld van de kwantumfysica worden wetenschappers vaak geconfronteerd met een frustrerende afweging wanneer ze proberen een onbekend systeem te leren begrijpen. Om een kwantumtoestand te begrijpen, moeten ze deze meten, maar de handeling van het meten verstoort onvermijdelijk het systeem, waardoor de informatie die ze juist zoeken vaak wordt vernietigd. Om een helder beeld te krijgen, moeten onderzoekers dezelfde toestand vele malen voorbereiden en elke kopie afzonderlijk meten. Het aantal van deze kopieën dat nodig is om een betrouwbaar antwoord te krijgen, staat bekend als de steekproefcomplexiteit. Lange tijd werd geloofd dat het leren van complexe eigenschappen van kwantumsystemen een onmogelijk groot aantal steekproeven vereiste, dat exponentieel groeide naarmate het systeem groter werd. Echter, recente doorbraken toonden aan dat als een wetenschapper twee kopieën van een toestand tegelijkertijd kon meten, in plaats van één voor één, zij bepaalde problemen met veel minder steekproeven konden oplossen. Dit riep de verleidelijke vraag op: is dit een eenmalig mirakel, of bestaat er een soortgelijke afkorting voor complexere taken als we zelfs meer kopieën tegelijkertijd kunnen meten?

Een team van onderzoekers heeft deze vraag nu beantwoord door een uitgestrekt, voorheen verborgen landschap van kwantumleeruitdagingen te onthullen. Ze ontdekten dat het vermogen om meerdere kopieën van een kwantumtoestand simultaan te meten een ladder van moeilijkheidsgraad creëert, waarbij elke sport een nieuw niveau van complexiteit vertegenwoordigt. Voor een specifieke set wiskundige taken bewezen zij dat als men beperkt is tot het meten van minder kopieën dan een bepaald aantal, de taak exponentieel moeilijk is, waarbij het aantal benodigde steekproeven te snel groeit om praktisch te zijn. Maar op het moment dat men toegang krijgt tot exact dat specifieke aantal kopieën, stort de moeilijkheidsgraad in en wordt de taak gemakkelijk op te lossen. Dit fenomeen is niet beperkt tot slechts twee kopieën; het herhaalt zich oneindig voor veel verschillende aantallen, waardoor er een oneindige hiërarchie van leerproblemen ontstaat waarbij de sleutel tot efficiëntie simpelweg het bezit is van de juiste hoeveelheid kwantumgeheugen om de noodzakelijke kopieën vast te houden.

De onderzoekers richtten zich op een familie van kwantumsystemen die complexer zijn dan de standaard tweelagsystemen die in de meeste huidige computers worden gebruikt. Ze ontwierpen specifieke leeruitdagingen die betrokken bij deze systemen, waarbij de computer werd gevraagd de sterkte van diverse kwantumeigenschappen te schatten. Ze bewezen wiskundig dat voor elk geheel getal aantal kopieën dat niet deelbaar is door vier, er een leeropdracht bestaat die onmogelijk efficiënt op te lossen is als men slechts één kopie minder kan meten dan dat aantal. Bijvoorbeeld, als een taak is ontworpen om efficiënt op te lossen met drie kopieën, dan vereist het proberen op te lossen van die taak met slechts twee kopieën een exponentieel groter aantal steekproeven, wat het praktisch onmogelijk maakt. Deze moeilijkheid houdt stand, zelfs als de onderzoeker de meest geavanceerde adaptieve strategieën, diepe kwantumcircuits of krachtige klassieke computers gebruikt om de gegevens te verwerken. De moeilijkheid is fundamenteel verbonden met de beperking van hoeveel kopieën er tegelijkertijd gemeten kunnen worden.

Nadat de onderzoekers deze barrières hadden vastgesteld, lieten zij zien hoe deze te doorbreken. Ze construeerden een specifiek protocol dat het exacte aantal kopieën gebruikt dat nodig is om de taak efficiënt op te lossen. Deze methode houdt in dat er een gezamenlijke meting wordt uitgevoerd op alle kopieën tegelijkertijd. In tegenstelling tot eerdere methoden die extreem diepe en complexe circuits vereisten, die moeilijk te bouwen zijn op de huidige hardware, kan hun nieuwe protocol worden uitgevoerd met zeer ondiepe circuits. De diepte van het circuit dat nodig is, groeit niet met de omvang van het systeem, wat betekent dat het hanteerbaar blijft, zelfs voor grote kwantumtoestanden. De onderzoekers demonstreerden dat deze aanpak niet alleen een theoretische mogelijkheid is, maar ook gerealiseerd kan worden met praktische kwantumoperaties, zoals die met drie-levelsystemen die bekend staan als qutrits. Ze toonden zelfs aan hoe deze operaties vertaald kunnen worden naar de taal van standaard twee-level qubits, waarmee bewezen werd dat het voordeel toegankelijk is voor bestaande kwantumarchitecturen.

De betekenis van dit werk ligt in de onthulling van een scherpe faseovergang in de moeilijkheid van kwantumleren. Het laat zien dat de grens tussen wat moeilijk en wat gemakkelijk is geen vage gradiënt is, maar een precieze klif. Aan de ene kant van de klif, waar minder kopieën beschikbaar zijn, explodeert de steekproefcomplexiteit. Aan de andere kant, waar het exacte aantal kopieën beschikbaar is, daalt de complexiteit naar een beheersbaar niveau. Deze bevinding onderstreept de cruciale rol van kwantumgeheugen als een hulpbron. Net zoals een klassieke computer geheugen nodig heeft om gegevens op te slaan voor verwerking, heeft een kwantumcomputer het vermogen nodig om meerdere kopieën van een toestand vast te houden om deze efficiënte gezamenlijke metingen uit te voeren. De onderzoekers ontdekten dat dit voordeel robuust is en niet afhankelijk is van aannames over hoe precies de metingen moeten zijn, wat het resultaat een solide, onvoorwaardelijk bewijs maakt van de kracht van multi-copy kwantumverwerking.

Hoewel de studie zich richt op een specifieke klasse van wiskundige taken, zijn de implicaties breed. Het suggereert dat de toekomst van kwantumleren mogelijk afhangt van ons vermogen om betrouwbare kwantumgeheugens te bouwen die meerdere kopieën van een toestand kunnen opslaan en verwerken. De onderzoekers merkten ook op dat hun bevindingen complementair zijn aan ander recent werk in het veld, die samen een beeld schetsen van een rijke hiërarchie van kwantumleerproblemen. Ze identificeerden dat voor bepaalde aantallen, specifiek die deelbaar zijn door vier, het gedrag anders zou kunnen zijn, wat als een open vraag voor toekomstig onderzoek wordt gelaten. Echter, voor het overgrote deel van de gevallen is de hiërarchie duidelijk: het vermogen om meer kopieën tegelijkertijd te meten ontsluit exponentiële voordelen, waardoor onmogelijke problemen worden omgezet in oplosbare problemen. Dit werk biedt een nieuwe kaart voor het navigeren door het complexe terrein van kwantuminformatie, waarbij precies wordt aangegeven waar de afkortingen liggen en welke middelen nodig zijn om die te nemen.