Quantinuumin testi osoitti eksponentiaalisen kvantti–klassinen eron

Quantinuumin complement sampling -koe on tarkkarajainen näyttö kvanttiedusta: kvanttilaite tuotti tulosjakauman, joka ylitti pelille johdetun klassisen rajan. Bernstein–Vazirani-ongelmasta johdetuissa tapauksissa ideaalisen kvantti- ja klassisen strategian rikkomussuhde kasvaa muodossa 2^(n−1). 37 bitin tapauksessa kokeen käyttämällä määritelmällä suhteen kuvataan ylittävän 137 miljardia yhtä vastaan. 4

Tätä ei pidä tulkita niin, että H2-prosessori olisi ratkaissut hyödyllisen käytännön ongelman 137 miljardia kertaa tavallista tietokonetta nopeammin. Kyse on yhdestä varta vasten rakennetusta näytteenottotehtävästä ja sen tarkasti määritellystä mittarista.

Miten complement sampling -peli toimii?

Tuomari valitsee salaisen joukon S, joka sisältää puolet kaikista mahdollisista n bitin merkkijonoista. Tuomari valmistaa kvanttitilan, joka on tasainen superpositio joukon S merkkijonoista. Pelaajan tehtävänä on palauttaa merkkijono joukon komplementista S̄ eli sellainen merkkijono, joka ei kuulu joukkoon S. 34

Klassinen pelaaja saa käytännössä yhden tavallisen näytteen joukosta S. Se kertoo, ettei juuri saatu merkkijono kelpaa vastaukseksi, mutta ei paljasta käyttökelpoisella tavalla, mitkä valtavasta määrästä muista merkkijonoista kuuluvat joukkoon S ja mitkä sen komplementtiin. Klassisen strategian onnistumista rajoittaa siksi muodollisesti johdettu raja. 47

Kvanttipelaaja saa sen sijaan koherentin superposition: tieto useista mahdollisista merkkijonoista säilyy kvanttitilassa samanaikaisesti. Kokeessa käytetyille, erityisesti rakennetuille tapauksille kvanttimuunnos vie joukkoa S vastaavan tilan sen komplementin tukemaksi tilaksi. Ideaalisessa, virheettömässä tilanteessa mittaus palauttaa aina kelvollisen komplementtimerkkijonon. 34

Testissä mitataan siis ennen kaikkea koherenssia: kykyä käsitellä superpositiota ilman, että se mitataan ensin yhdeksi klassiseksi havainnoksi. Kyse ei ole Bell-testistä eikä avaruudellisesta kvanttilomittumisen tai ei-paikallisuuden kokeesta.

Miksi ero kasvaa eksponentiaalisesti?

Vertailu ei ole pelkkä onnistumistodennäköisyys, vaan tutkimuksessa määritelty pelikohtainen klassisen perustason ylitystä mittaava suure. Bernstein–Vazirani-perheessä ideaalinen kvantti–klassinen suhde on 2^(n−1). 4

Kun n = 37:

2^36 = 68 719 476 736

Kokeen rikkomussuureen määrittelyllä tulosta kuvataan yli 137 miljardin suhteena yhteen. Molemmissa esitystavoissa pääasia on sama: ideaalinen kvanttistrategia pysyy täydellisenä, kun taas sallittu klassinen etu kutistuu eksponentiaalisesti merkkijonon pidentyessä. 4

Luku ei siis mittaa laskenta-aikaa eikä tarkoita, että kvanttikone olisi yleisesti 137 miljardia kertaa nopeampi kuin klassinen kone. Se kuvaa vain tämän pelin ideaalisten strategioiden eroa sen omilla säännöillä.

Mitä H2-laitteistolla tehtiin?

Tutkijat ajoivat tuhansia kvanttipiirejä Quantinuumin ioniloukkuihin perustuvilla H2-prosessoreilla. Käytössä oli enintään 55 fyysistä kubittia, ja testatut merkkijonot olivat enintään 37 bitin mittaisia. 48

Todellinen kvanttilaitteisto on kohinainen, joten mitattu suoritus jäi ideaalista täydellisestä onnistumisesta. Virheiden vaikutus myös kasvoi piirien suurentuessa. Tulokset pysyivät silti tilastollisesti pelin klassisen kynnyksen yläpuolella, mikä tukee sitä, että laite toteutti kvanttistrategian riittävän hyvin rajan rikkomiseksi. 4

Tärkeä ero on tämä: koe ei osoita, etteikö klassinen tietokone voisi koskaan tulostaa samoja yksittäisiä bittijonoja. Se osoittaa, että määritellyssä syötemallissa mitattu vastausten jakauma ylitti sen, mihin sallittu klassinen strategia pystyy. 4

Mikä erottaa testin aiemmista kvanttietunäytöistä?

Monet aiemmat kvanttinäytteenoton kokeet, kuten satunnaispiirien näytteenotto, nojaavat laskennallisen kompleksisuusteorian oletuksiin: klassisen simuloinnin ajatellaan olevan vaikeaa, mutta väite sisältää todistamattomia vaikeusoletuksia. Complement sampling -pelissä klassinen raja johdetaan itse pelille ilman tätä riippuvuutta. 34

Myös tuloksen tarkistus on suoraviivainen. Tuomari tuntee salaisen joukon muodostustavan ja voi tarkistaa, kuuluuko vastaus komplementtiin. Satunnaispiirien näytteenoton varmentaminen suuressa mittakaavassa voi puolestaan vaatia raskasta klassista simulointia tai hyvin suuren määrän näytteitä. 34

Siksi testi on hyödyllinen perustavanlaatuinen mittatikku nykyiselle kvanttilaitteistolle: se on suunniteltu tuomaan esiin selkeä kvantti–klassinen ero niin, että tulos voidaan silti tarkistaa klassisella laskennalla.

Mitä otsikosta helposti jää pois?

Kyse on erikoistuneesta näytteenottotehtävästä

Peli on rakennettu paljastamaan kvanttietu näytepohjaisessa informaation käsittelyssä. Se ei osoita käytännön nopeutusta kemiassa, optimoinnissa, kryptografiassa, tekoälyssä tai yleiskäyttöisessä laskennassa. 4

”Ehdoton” ei tarkoita laiteriippumatonta

Klassinen raja on matemaattisessa pelissä ehdoton, mutta laboratoriokoe edellyttää silti luottamusta siihen, että tuomari valmistaa alkutilan oikein. Tämä on eri asia kuin täysin laiteriippumaton testi, jossa keskeisiin laitteen osiin ei tarvitse luottaa. 4

Tuomari ja pelaaja eivät olleet erillisiä kvanttitietokoneita

Koska erillisiä kvanttitietokoneita yhdistävää aitoa kvanttikanavaa ei ollut käytettävissä, tuomarin ja pelaajan rekisterit sijoitettiin samalle kvanttiprosessorille. Kvanttikanavaa jäljiteltiin teleportoinnilla. 4

Vahvempi tuleva demonstraatio käyttäisi itsenäisesti hallittuja, fyysisesti erillisiä järjestelmiä ja aitoa kvanttiyhteyttä – mieluiten vikasietoisella laitteistolla. Tämä on teknisesti vaativaa, sillä kvanttitilojen siirto ja koherenssin säilyttäminen voivat muodostaa hajautetun kvanttilaskennan pullonkauloja. 14

Eksponentiaalinen ei välttämättä ole viimeinen sana

Tulos vahvistaa eksponentiaalisen eron tälle peliperheelle. Se ei todista, että eksponentiaalinen ero olisi suurin mahdollinen, eikä se osoita super-eksponentiaalista eroa. Näytön perusteella avoimeksi jää, voiko tehokkaasti varmennettavissa ja fysikaalisesti mielekkäissä tehtävissä esiintyä vielä suurempia eroja.

Mitä koe siis todella osoittaa?

Quantinuumin tulos on täsmällinen kokeellinen merkkipaalu: nykyinen ioniloukkulaitteisto ylitti tiukan klassisen rajan tehokkaasti tarkistettavassa complement sampling -pelissä, ja ideaalinen ero kasvaa ongelman koon mukana eksponentiaalisesti. 34

Väite on vahvempi kuin epämääräinen puhe ”kvanttiylivallasta”, koska tehtävä, mittari, varmennustapa ja luottamusoletukset voidaan nimetä täsmällisesti. Samat yksityiskohdat myös rajaavat tulosta: koe on vakuuttava näyttö siitä, että kvanttisuperpositio voi antaa eksponentiaalisen edun tässä räätälöidyssä asetelmassa – ei vielä näyttö siitä, että kvanttitietokoneet olisivat yleisesti ohittaneet klassiset koneet käytännön työkuormissa.