Quantinuum laat exponentiële kloof tussen quantum en klassiek zien

Quantinuum heeft met zijn complement-samplingexperiment een scherp afgebakend type quantumvoordeel aangetoond. Een quantumprocessor produceerde uitkomsten die boven een rigoureus afgeleide klassieke grens lagen, in een spel dat juist bedoeld is om quantum-superpositie te behouden en te testen. Voor instanties gebaseerd op het Bernstein–Vazirani-probleem groeit de ideale quantum-klassieke violatieverhouding als 2^(n−1). 4

Dat is een belangrijk resultaat, maar de reikwijdte telt. Het is geen algemene benchmark, geen bewijs dat de H2-hardware 137 miljard keer sneller rekent dan een klassieke computer en ook geen direct commercieel voordeel. Het gaat om een brononderbouwde, exponentiële scheiding voor één zorgvuldig ontworpen samplingtaak.

Zo werkt complement sampling

Een scheidsrechter kiest in het geheim een verzameling S die precies de helft van alle mogelijke n-bitsreeksen bevat. Vervolgens wordt een quantumtoestand gemaakt die een gelijke superpositie is van alle reeksen in die verzameling. De speler moet een reeks uit het complement S̄ teruggeven: dus een reeks die niet in S zit. 34

Een klassieke speler krijgt alleen een gewone steekproef uit S: één concrete reeks. Daarmee kan die speler die ene ontvangen reeks uitsluiten, maar hij krijgt geen bruikbare beschrijving van welke van de enorm veel overige reeksen in S vallen en welke in S̄. Daarom is de klassieke strategie begrensd door een formele limiet. 47

Een quantumspeler ontvangt daarentegen de coherente superpositie van de elementen van S, niet een al gemeten klassieke uitkomst. Voor de gestructureerde instanties in het experiment zet een quantumtransformatie de toestand die bij S hoort om in een toestand die alleen nog steun heeft op het complement. In het ideale, ruisvrije geval levert een meting dus met zekerheid een geldige reeks uit S̄ op. 34

De geteste hulpbron is coherentie: de mogelijkheid om informatie in een superpositie van veel mogelijke reeksen te bewerken zonder die eerst te laten instorten tot één klassieke waarneming. Dit is geen Bell-test en ook geen demonstratie van ruimtelijke non-localiteit.

Waarom de kloof exponentieel groeit

De relevante vergelijking is niet simpelweg de ruwe kans op succes. Het onderzoek definieert een spel-specifieke maat voor de afwijking boven de klassieke basislijn. Voor de Bernstein–Vazirani-familie is de ideale quantum-klassieke verhouding 2^(n−1). 4

Bij n = 37 is dat:

2^36 = 68.719.476.736

De gerapporteerde vergelijking wordt omschreven als meer dan 137 miljard tegen één, vanwege de in het experiment gebruikte conventie voor die violatiemaat. In beide formuleringen is de kern dezelfde: het ideale quantumsignaal blijft perfect, terwijl het toegestane klassieke voordeel exponentieel afneemt naarmate de bitreeks langer wordt. 4

Dit betekent dus niet dat een H2-processor een commercieel nuttige taak 137 miljard keer sneller uitvoerde dan een klassieke computer. Het betekent dat de ideale strategieën binnen de regels en de meetmethode van dit specifieke spel zo ver uiteenlopen.

Wat er op de H2-hardware gebeurde

Het team voerde duizenden circuits uit op Quantinuums H2-processors met gevangen ionen. Daarbij gebruikten de onderzoekers maximaal 55 fysieke qubits en testten zij reeksen met maximaal 37 bits. 48

Echte hardware bevat ruis. Daardoor bleef de gemeten quantumprestatie onder het ideale scenario met perfecte succesratio; grotere circuits hadden meer last van fouten. Toch bleven de gerapporteerde resultaten statistisch boven de toepasselijke klassieke drempel. Dat ondersteunt de conclusie dat de apparaten de quantumstrategie goed genoeg uitvoerden om de klassieke grens te schenden. 4

Dat onderscheid is cruciaal. Het experiment zegt niet dat een klassieke machine dezelfde eindige bitsreeksen nooit kan afdrukken. Het zegt dat de verdeling van de gemeten antwoorden, binnen het vastgelegde invoermodel, beter was dan een toegestane klassieke strategie kan behalen. 4

Wat deze test anders maakt dan eerdere quantumvoordeeltests

Bij veel eerdere demonstraties van quantum-sampling steunt de claim dat klassieke simulatie moeilijk is op aannames uit de complexiteitstheorie. Complement sampling is ontworpen om die specifieke afhankelijkheid te vermijden: de klassieke beperking wordt voor het spel zelf afgeleid, en niet afgeleid uit een onbewezen aanname over rekenkundige moeilijkheid. 34

Ook de verificatie is relatief rechttoe rechtaan. De scheidsrechter weet hoe de verborgen verzameling is geconstrueerd en kan controleren of een antwoord in het complement ligt. Het onderliggende werk zet dit af tegen random-circuit sampling, waarvoor verificatie op grote schaal dure klassieke simulatie of een zeer groot aantal steekproeven kan vereisen. 34

Daarmee is complement sampling een bruikbare fundamentele benchmark voor huidige hardware: de taak is gemaakt om een heldere quantum-klassieke scheiding zichtbaar te maken, terwijl de uitkomst klassiek controleerbaar blijft.

De beperkingen achter de kop

Het blijft een gespecialiseerde samplingtaak

Het spel is geconstrueerd om quantumvoordeel in steekproefgebaseerde informatieverwerking bloot te leggen. Het toont geen praktisch snelheidsvoordeel aan voor chemie, optimalisatie, cryptografie, AI of algemene berekeningen. 4

‘Onvoorwaardelijk’ is niet hetzelfde als apparaatonafhankelijk

De klassieke grens is onvoorwaardelijk binnen het wiskundige spel. Het laboratoriumprotocol vereist echter nog steeds vertrouwen dat de scheidsrechter de quantumtoestand correct voorbereidt. Dat is iets anders dan een volledig apparaatonafhankelijke test, waarin conclusies kunnen worden getrokken zonder essentiële delen van de opstelling te vertrouwen. 4

Scheidsrechter en speler waren geen afzonderlijke quantumcomputers

Omdat er geen echte quantumcommunicatieverbinding tussen quantumcomputers beschikbaar was, werden de registers van de scheidsrechter en de speler ondergebracht in één quantumprocessor. Teleportatie simuleerde daarbij het quantumkanaal. 4

Een sterkere toekomstige demonstratie zou onafhankelijk aangestuurde systemen gebruiken die via een echte quantumverbinding zijn gekoppeld, bij voorkeur op fouttolerante hardware. Zulke gedistribueerde systemen bouwen is op zichzelf lastig: het overbrengen van quantumtoestanden en het behouden van coherentie kunnen knelpunten worden. 14

Exponentieel hoeft niet het eindpunt te zijn

Dit resultaat vestigt een exponentiële scheiding voor deze spelfamilie. Het bewijst niet dat een exponentiële scheiding de grootst mogelijke quantum-klassieke kloof is, en het laat geen superexponentiële scheiding zien. Of fysiek betekenisvolle en efficiënt verifieerbare taken een nog sterkere scheiding kunnen opleveren, blijft op basis van het beschikbare bewijs een open vraag.

Wat het experiment daadwerkelijk vaststelt

Het resultaat van Quantinuum is het best te zien als een precies experimenteel ijkpunt: huidige ionenvalhardware heeft een strikte klassieke grens overschreden in een efficiënt controleerbaar complement-sampling-spel, terwijl de ideale scheiding exponentieel groeit met de probleemgrootte. 34

Dat is sterker en duidelijker dan een vage claim van ‘quantumsuprematie’, omdat taak, maatstaf, verificatiemethode en vertrouwensaannames expliciet zijn te formuleren. Maar precies die details bepalen ook de grenzen van de conclusie. Het experiment is overtuigend bewijs dat quantum-superpositie in deze doelbewust ontworpen setting een exponentieel voordeel kan bieden — niet dat quantumcomputers klassieke systemen al hebben ingehaald voor breed inzetbare, praktische taken.