In de wereld van de moderne computerwetenschap bestaat er een fundamenteel verschil tussen de manier waarop klassieke machines en quantummachines informatie verwerken. Klassieke computers, de computers die we dagelijks gebruiken, slaan gegevens op als bits die ofwel nul of één zijn. Quantumcomputers gebruiken echter quantum bits, of qubits, die tegelijkertijd in een complexe mix van toestanden kunnen bestaan. Dit unieke vermogen stelt hen in staat om bepaalde problemen met een snelheid aan te pakken die onmogelijk lijkt voor klassieke machines. Een van de bekendste voorbeelden is het doorzoeken van een enorme, ongeorganiseerde lijst met items. Een klassieke computer moet items één voor één controleren, maar een quantumcomputer kan een specifiek item veel sneller vinden door een techniek te gebruiken die amplitudeversterking wordt genoemd. Deze versnelling gaat echter ervan uit dat de computer de juiste soort toegang tot de gegevens heeft. Als de gegevens verborgen zijn in een quantumtoestand die de computer niet direct kan zien, veranderen de regels van het spel volledig. De vraag die wetenschappers al lang bezighoudt, is of een krachtige helper die het geheim kent, simpelweg een quantumcomputer kan vertellen waarnaar hij moet zoeken met gewone taal, of of de quantum-aard van het geheim het onmogelijk maakt om dit te beschrijven zonder precies dat voordeel te verliezen dat het zo bijzonder maakt.

Een onderzoeker pakte deze vraag onlangs aan door een gedachte-experiment te ontwerpen met een quantumverifieerder en een alwetende helper. Stel je een scenario voor waarin een quantumcomputer probeert een specifieke, verborgen quantumtoestand te vinden. Deze toestand is als een speld in een hooiberg, maar de hooiberg is gemaakt van quantummogelijkheden. De computer heeft een speciaal hulpmiddel dat hem kan vertellen of hij dicht bij de speld is, maar hij kan de speld zelf niet zien. Om te helpen, probeert een onbeperkte, superintelligente helper die precies weet waar de speld is, de computer te begeleiden. Het addertje onder het gras is dat de helper alleen berichten kan sturen met behulp van klassieke bits—dezelfde nullen en enen die door standaardcomputers worden gebruikt. De onderzoeker wilde weten of deze stroom van klassieke advies, zelfs als het lang is en een heen-en-weer gesprek inhoudt, de quantumcomputer zou kunnen helpen de verborgen toestand te vinden met dezelfde efficiëntie als wanneer de toestand direct aan de computer was gegeven.

De studie bewijst dat geen enkele hoeveelheid klassieke conversatie deze kloof kan overbruggen. De onderzoeker heeft aangetoond dat voor een verborgen quantumtoestand die willekeurig is gekozen uit de enorme ruimte van alle mogelijke toestanden, een quantumcomputer deze niet met een hoge nauwkeurigheid kan vinden, tenzij hij een aantal controles uitvoert dat exponentieel groeit met de grootte van de toestand. Zelfs als de helper een enorme hoeveelheid klassieke informatie stuurt, moet de computer nog steeds een enorme hoeveelheid werk verrichten. Specifiek moet het product van het kwadraat van het aantal controles dat de computer maakt en de totale hoeveelheid verzonden klassieke informatie ongelooflijk groot zijn om succesvol te zijn. Als de hoeveelheid verzonden informatie beperkt blijft tot een redelijke omvang, wordt het aantal vereiste controles zo groot dat het voor de computer effectief onmogelijk is om het probleem binnen een praktisch tijdsbestek op te lossen. Deze bevinding blijft van kracht, zelfs als de helper in staat is om elke denkbare berekening uit te voeren en de computer vrij is om tussen berichten door quantuminformatie op te slaan en te verwerken.

Dit resultaat heeft diepgaande implicaties voor hoe we de kracht van quantumcomputers vergeleken met klassieke computers begrijpen. Het laat zien dat het voordeel van het hebben van een quantumgetuige (quantum witness)—een stuk quantuminformatie dat bewijst dat een oplossing correct is—niet kan worden vervangen door een klassieke getuige, ongeacht hoe veel de bewijzer mag praten. In de taal van de informatica betekent dit dat een specifieke klasse van problemen die geverifieerd kan worden met een enkel quantumbewijs, niet kan worden opgelost of geverifieerd door enkel klassieke berichten uit te wisselen, zelfs niet met een onbeperkt aantal rondes van gesprek. De onderzoeker construeerde een specifiek wiskundig scenario, of "oracle", waar deze scheiding absoluut is. In dit scenario bestaat er een probleem dat een quantumcomputer met een quantumbewijs gemakkelijk kan oplossen, maar een quantumcomputer die alleen vertrouwt op een klassieke helper, hoe slim of praatziek die ook mag zijn, niet kan oplossen.

De studie breidt deze bevindingen ook uit naar het gebied van de cryptografie, specifer oerlijkheid met betrekking tot de beveiliging van toekomstige quantumsystemen. De onderzoeker gebruikte hun ondergrens om een scenario te construeren waarin een quantumtaal veilig blijft, zelfs tegen een tegenstander die toegang heeft tot een QCIP[2] beslissingsoracle (een systeem dat interactie mogelijk maakt met een klassieke bewijzer). Dit helpt vast te stellen dat bepaalde cryptografische taken, zoals witness-encryptie en quantum-ononderscheidbaarheidsobfuscatie, veilig kunnen blijven, zelfs als een aanvaller toegang heeft tot een quantumcomputer die kan interageren met een dergelijk klassiek oracle. Het werk suggereert dat de moeilijkheid om een quantumtoestand te beschrijven met klassieke taal niet slechts een klein ongemak is, maar een fundamentele barrière. Het bevestigt dat de "quantum-aard" van een toestand een hulpbron is die niet gecomprimeerd kan worden in een klassiek bericht zonder het vermogen te verliezen om die toestand efficiënt te verifiëren of te vinden.

De onderzoeker kwam tot deze conclusies door zorgvuldig te analyseren hoeveel informatie een klassiek transcript kan onthullen over een verborgen quantumtoestand. Zij toonden aan dat elke keer dat de helper een klassiek bericht stuurt, dit de mogelijkheden voor de verborgen toestand slechts met een fractie verkleint. Omdat de ruimte van mogelijke quantumtoestanden zo groot is, is de hoeveelheid bits die nodig is om de toestand accuraat te beschrijven enorm. Zelfs met een heen-en-weer gesprek kan de helper niet genoeg informatie overbrengen om de computer naar de juiste toestand te leiden zonder dat de computer zelf een enorme hoeveelheid queries naar de verborgen toestand moet uitvoeren. Het bewijs rust op de wiskundige eigenschappen van willekeurige quantumtoestanden en de limieten van hoeveel een klassiek bericht de onzekerheid kan verminderen. Het is een rigoureuze demonstratie dat de kloof tussen quantum- en klassieke informatie niet iets is dat gedicht kan worden door simpelweg meer te praten.

In de bredere context van de quantumcomplexiteitstheorie verheldert dit werk de grenzen van wat mogelijk is. Het beslecht een langlopende vraag over de vraag of interactieve klassieke advies de kracht van een quantumgetuige kan nabootsen. Het antwoord is een definitieve nee. De onderzoeker heeft aangetoond dat voor een verborgen toestand die willekeurig is gekozen, de enige manier om deze efficiënt te vinden het hebben van de toestand zelf of een quantumbeschrijving daarvan is. Klassieke interactie, hoe geavanceerd ook, kan een quantumbron niet vervangen. Dit biedt een duidelijke scheiding tussen verschillende klassen van computationele problemen en versterkt ons begrip van waarom quantumcomputers naar verwachting krachtiger zullen zijn dan klassieke computers voor bepaalde taken. De bevindingen ondersteunen ook het idee dat quantumgeld en andere quantumcryptografische schema's veilig kunnen zijn tegen klassieke aanvallen, aangezien de onderliggende quantumtoestanden niet effectief gecommuniceerd of gereconstrueerd kunnen worden via klassieke middelen.

Het artikel concludeert door het idee te versterken dat de quantumwereld onder regels werkt die fundamenteel verschillend zijn van onze alledaagse ervaring. Hoewel we veel dingen in de wereld kunnen beschrijven met woorden en getallen, draagt een quantumtoestand een type informatie in zich die weerstand biedt aan een dergelijke beschrijving. Het werk van de onderzoeker laat niet alleen zien dat het moeilijk is om een quantumtoestand te beschrijven; het bewijst dat het onmogelijk is om dit efficiënt te doen zonder de essentiële eigenschappen te verliezen die de toestand nuttig maken. Dit inzicht is cruciaal voor de toekomstige ontwikkeling van quantumtechnologieën, omdat het de grenzen bepaalt van wat bereikt kan worden met klassieke communicatie in een quantumwereld. Het suggereert dat naarmate we complexere quantumsystemen bouwen, we moeten vertrouwen op quantumbronnen om deze te beheren en te verifiëren, in plaats van te proberen alles te vertalen naar de taal van klassieke bits. De studie staat als een stevig wiskundig bewijs dat het quantumvoordeel echt is en dat het niet kan worden omzeild door slimme klassieke strategieën.