Quantinuums kompletteringsprov visar ett exponentiellt gap mot klassiska strategier

Quantinuums experiment med complement sampling – här kallat kompletteringssampling – är ett belägg för en mycket specifik form av kvantfördel. En kvantdator producerade statistik som låg över en rigoröst härledd klassisk gräns i ett spel som är utformat för att bevara och testa kvantsuperposition. För instanser baserade på Bernstein–Vazirani-problemet växer den ideala kvant–klassiska överträdelsen exponentiellt med stränglängden. Vid 37 bitar beskrivs den teoretiska skillnaden som större än 137 miljarder mot ett. 4

Det är ett viktigt resultat, men räckvidden måste hållas klar. Det är varken ett allmänt prestandatest, ett påstående om att H2-processorn är 137 miljarder gånger snabbare än en vanlig dator, eller ett direkt kommersiellt genombrott. Det är en experimentell demonstration av en exponentiell separation i en noga avgränsad samplingsuppgift.

Så fungerar spelet

En domare väljer i hemlighet en mängd S som innehåller hälften av alla möjliga bitsträngar med längden n. Domaren förbereder sedan ett kvanttillstånd som är en jämn superposition av strängarna i mängden. Spelarens uppgift är att lämna tillbaka en sträng ur komplementet S̄ – alltså en sträng som inte ingår i den dolda mängden. 34

En klassisk spelare får bara ett vanligt prov från S. Det avslöjar visserligen att just den mottagna strängen inte kan vara svaret, men ger ingen användbar karta över vilka av de enormt många återstående strängarna som tillhör S respektive S̄. Därför begränsas den klassiska strategin av en formell övre gräns. 47

En kvantspelare får däremot det koherenta mängdtillståndet, inte ett redan uppmätt enskilt prov. För de strukturerade instanser som användes i försöket kan en kvantoperation omvandla tillståndet kopplat till S till ett tillstånd som stöds av dess komplement. I det ideala, brusfria fallet ger en mätning då en giltig sträng ur komplementet med säkerhet. 34

Det som testas är alltså koherens: förmågan att bearbeta en superposition med information om många möjliga strängar utan att först kollapsa den till en enda klassisk observation. Det är inte ett Bell-test och inte en demonstration av rumslig icke-lokalitet.

Varför skillnaden växer exponentiellt

Jämförelsen gäller inte bara rå sannolikhet att lyckas. Studien definierar ett spelspecifikt mått på överträdelsen av den klassiska baslinjen. För Bernstein–Vazirani-familjen anges det ideala kvant–klassiska förhållandet som 2^(n−1). 4

Vid n = 37 blir

2^36 = 68 719 476 736.

Den rapporterade jämförelsen beskrivs samtidigt som större än 137 miljarder mot ett, utifrån experimentets angivna konvention för överträdelsemåttet. Oavsett hur måttet skrivs är huvudpoängen densamma: den ideala kvantsignalen förblir perfekt, medan den tillåtna klassiska fördelen krymper exponentiellt när bitsträngarna blir längre. 4

Detta innebär inte att en H2-processor löste en kommersiellt användbar uppgift 137 miljarder gånger snabbare än en klassisk dator. Det handlar om hur långt isär de ideala strategierna ligger inom reglerna och måttet för just detta spel.

Vad Quantinuum körde på H2-hårdvaran

Forskargruppen körde tusentals kretsar på Quantinuums H2-processorer med fångade joner. De använde upp till 55 fysiska qubitar och testade strängar med upp till 37 bitar. 48

Riktig hårdvara är brusig. Den observerade kvantprestandan hamnade därför under det ideala fallet med perfekt träffsäkerhet, och större kretsar påverkades mer av fel. Trots detta låg de rapporterade resultaten statistiskt över den relevanta klassiska tröskeln, vilket stöder slutsatsen att enheterna genomförde kvantstrategin tillräckligt väl för att överskrida den klassiska gränsen. 4

En viktig distinktion är att försöket inte visar att en klassisk dator är oförmögen att skriva ut samma ändliga bitsträngar. Det visar att den uppmätta fördelningen av svar, inom den specificerade inmatningsmodellen, överträffade vad den tillåtna klassiska strategin kan åstadkomma. 4

Därför skiljer sig testet från tidigare kvantförsprångsdemonstrationer

Många tidigare demonstrationer inom kvantsampling lutar sig mot komplexitetsteoretiska antaganden för att argumentera för att klassisk simulering borde vara svår. Kompletteringssampling utformades för att undvika just det beroendet: den klassiska begränsningen härleds för spelet självt, i stället för att följa av en obevisad hypotes om svårighet. 34

Verifieringen är också relativt direkt. Domaren vet hur den dolda mängden byggdes upp och kan kontrollera om ett svar tillhör komplementet. I kontrast kan verifiering av random-circuit sampling i stor skala kräva dyr klassisk simulering eller ett mycket stort antal prov. 34

Det gör kompletteringssampling till ett användbart grundläggande test för närtida hårdvara: uppgiften är konstruerad för att blottlägga en ren kvant–klassisk skillnad, samtidigt som resultatet går att kontrollera med klassisk beräkning.

Begränsningarna bakom rubriken

En specialiserad samplingsuppgift

Spelet är byggt för att visa en kvantfördel i samplingsbaserad informationsbehandling. Det visar inte en praktisk acceleration för kemi, optimering, kryptografi, AI eller generell databehandling. 4

”Ovillkorlig” betyder inte enhetsoberoende

Den klassiska gränsen är ovillkorlig inom spelets matematiska modell. Laboratorieprotokollet kräver dock fortfarande att man litar på domarens tillståndsberedning. Det skiljer sig från ett helt enhetsoberoende test, där slutsatser kan dras utan att centrala delar av utrustningen behöver betraktas som betrodda. 4

Domaren och spelaren var inte separata kvantdatorer

Eftersom någon verklig kvantkommunikationskanal mellan två kvantdatorer inte fanns tillgänglig, lades domarens och spelarens register in i samma kvantprocessor. Teleportation användes för att simulera kvantkanalen. 4

En starkare framtida demonstration skulle använda oberoende styrda system, sammankopplade med en verklig kvantlänk, helst på feltolerant hårdvara. Att bygga sådana distribuerade system är i sig svårt: överföring av kvanttillstånd och bevarande av koherens kan bli flaskhalsar. 14

Exponentiellt behöver inte vara slutpunkten

Resultatet fastslår en exponentiell separation för denna familj av spel. Det bevisar varken att exponentiell separation är största möjliga kvant–klassiska gap eller att en superexponentiell separation har demonstrerats. Frågan om effektivt verifierbara och fysiskt meningsfulla uppgifter kan ge starkare separationer är öppen utifrån det tillgängliga underlaget.

Vad experimentet faktiskt visar

Quantinuums resultat bör främst ses som en exakt experimentell milstolpe: dagens hårdvara med fångade joner passerade en rigorös klassisk gräns i ett effektivt kontrollerbart kompletteringsspel, och den ideala separationen växer exponentiellt med problemstorleken. 34

Det är en mer precis slutsats än ett allmänt påstående om ”kvantöverlägsenhet”, eftersom uppgiften, måttet, verifieringen och tillitsantagandena kan beskrivas tydligt. Men samma detaljer anger också resultatets gränser. Experimentet är stark evidens för att kvantsuperposition kan ge en exponentiell fördel i denna skräddarsydda situation – inte ett belägg för att kvantdatorer redan har passerat klassiska system i breda, praktiskt användbara arbetsuppgifter.