IBM ja Chicago: varmennettu kvanttietuuden läpimurto

Suunnilleen siinä ajassa, joka kuluu kahvin juomiseen, kvanttisuoritin tuotti tuloksen, jota johtavat klassiset simulaattorit eivät käytännössä pysty toistamaan. Tuloksena ei ole pelkkä nopeus; se on myös tapa tarkistaa, että kone suoritti tehtävän oikein.

Kuinka tiimi sulki pitkään avoinna olleen aukon

IBM:n ja Chicagon yliopiston tutkijat ilmoittivat 30. heinäkuuta 2026, että kvanttitietokone suoritti laskennallisesti vaativan tehtävän noin 15 minuutissa samalla tarjoten tavan saavuttaa tilastollinen luottamus tulokseen. Tämä yhdistelmä ratkaisee keskeisen esteen kvanttiedulle: tehdä jotain klassisen laskennan ulottumattomissa olevaa ja todistaa, että se tehtiin oikein.

Koe perustui uuteen koodattujen kvanttikytkentöjen suunnitteluun, jonka avulla tiimi sekä lisäsi laskennallista vaikeutta että havaitsi virheitä laskennan edetessä. Lyhyesti: tutkijat koodasivat tietoa useiden fyysisten komponenttien yli, jolloin loogiset kubitit kykenivät säilymään kohinan läpi ja tutkijat pystyivät mittaamaan tilan fideliteettiä suorituksen aikana.

Miksi varmennus on ollut pullonkaula

Satunnainen kytkentöjen näytteenotto on ollut vakiintunut vertailukohta sen testaamiseksi, voivatko kvanttilaitteet voittaa klassiset tietokoneet. Tässä tehtävässä kvanttisuoritin tuottaa aidosti monimutkaisia todennäköisyyskuvioita, joita klassiset koneet vaikeasti toistavat. Mitä monimutkaisempi kuvio, sitä vaikeampaa on jopa vahvistaa sen oikeellisuus.

Varmennus usein päätyy joko-tai-tilanteeseen. Joko luot laitteistosta esitettyihin, todistamattomiin oletuksiin, tai hyväksyt, että tuloksen tarkistaminen voi olla yhtä vaikeaa kuin sen laskeminen klassisesti. IBM:n ja Chicagon tiimi valitsi toisen tien. Rakenne säilytti laskennallisesti vaikean luonteen, kuten satunnainen kytkentänäytteenotto, ja mahdollisti samalla epäjohdonmukaisuuksien havaitsemisen sekä kohinan vaikutuksen kvantifioimisen suorituksen aikana.

"Varmennus on yhä yksi suurimmista haasteista kokeellisen kvanttiedun vankistamisessa", sanoi Bill Fefferman, Chicagon yliopiston apulaisprofessori. "Tämä koe kehittää tekniikoita, joilla kovien kvanttivatilojen fideliteettiä kohinan alla voidaan paremmin karakterisoida, lisäten luottamusta siihen, että kvanttitietokone ratkaisee laskennallisesti vaikean ongelman."

Mitä he käytännössä suorittivat

Demonstratiossa käytettiin yhtä tähän mennessä raportoituja suurempia virheenkorjattuja loogisia järjestelmiä: 70 loogista kubittia. Loogiset kubitit koodataan useiden fyysisten kubittien yli suojatakseen kvanttitietoa virheiltä, joita aiheuttavat epätäydellinen laitteisto ja ympäristön kohina.

Tiimi suoritti 2 415 loogista kahden-kubitin operaatiota ja 468 loogista T-porttia. Nämä luvut mittaavat kytkennän monimutkaisuutta kahdella täydentävällä tavalla. Ratkaisevaa on, että koodaus alensi loogisen virhetason noin kymmenesosaan fyysisestä virhetasosta, jolloin laskenta säilytti korkean fideliteetin pitkän operaatioketjun läpi.

Soumik Ghosh, Feffermanin ryhmän tohtorikoulutettava, korosti, että varmennuksen parannukset tekevät muutakin kuin vain validoivat kokeita. Ne voivat avata oven käytännöllisille sovelluksille lähitulevaisuuden kvanttikoneissa tarjoamalla luotettavia suorituskyvyn diagnostiikoita järjestelmien kasvaessa.

Jay Gambetta, IBM Researchin johtaja, sanoi demonstraation merkitsevän käännekohtaa. "Olemme nyt vankasti kvanttiedun aikakaudella", hän sanoi. "Olemme osoittaneet kvanttilaskennan, joka on klassisten tietokoneiden käytännöllisen ulottumattomissa ja joka tilastollisella luottamuksella asettaa alarajan sille, kuinka uskollisesti se suoritettiin. Tämä virstanpylväs antaa tutkijoille, kehittäjille ja yrityksille uuden perustan luottaa kvanttitietokoneisiin, kun ne laajentuvat ongelmiin, jotka ylittävät klassisen laskennan mahdollisuudet."

Seuraukset simuloinnille ja sovelluksille

Klassiset simulointitekniikat tämänkaltaisissa ongelmissa vaatisivat käytännössä liian pitkiä ajoaikoja, jotta ne saavuttaisivat kvanttikokeen tulokset. Tämä on kvanttiedun käytännöllinen merkitys tässä: ei pelkkä teoreettinen nopeutus, vaan todellinen ratkaisuaikojen lyhentyminen luokaltaan klassisesti käsittelemättömässä tehtävässä.

Silti benchmarkilla mitattu kvanttietu ei automaattisesti muutu välittömäksi ja laajalle levinneeksi hyödyksi. Varmennus ja virheenkorjaus ovat välttämättömiä perustavia tasoja. Ilman niitä suurempien koneiden tulokset jäisivät epäluotettaviksi. Tämä demonstraatio yhdistää nämä tasot: se osoittaa, että loogisen tason virheiden vähentäminen ja periaatteellinen varmennusstrategia voivat esiintyä samassa kokeessa.

Mitä seuraavaksi

Kytkennät ja kokeen tulokset on julkaistu Kvanttiedun seurantatyökalun kautta, mikä antaa riippumattomille ryhmille mahdollisuuden tarkastella aineistoa ja yrittää uusia klassisia varmennusyrityksiä. Tämä julkinen julkaisu on tärkeä. Avoin data nopeuttaa edistystä antamalla teoreetikkojen ja kokeilijoiden tutkia vikaantumismuotoja, testata uusia dekoodereita ja hioa simulointitaktiikoita.

Pidemmällä aikavälillä tässä käytetyt tekniikat voisivat toimia rakennuspalikoina vikasietoisille järjestelmille, jotka kohdistuvat kemian, optimoinnin ja materiaalitutkimuksen ongelmiin, joissa klassiset menetelmät ovat heikkoja. Polku ei ole välitön. Mutta tämä työ vähentää keskeisiä epävarmuuksia siitä, voidaanko suuria kvanttikytkentöjä ajaa mitattavalla luotettavuudella.

Asiantuntijan näkökulma

Tohtori Amina Patel, kansallisessa laboratoriossa työskentelevä kvanttitietoinformaation tutkija, kommentoi: "Tämä koe on merkittävä, koska se kohtelee varmennusta laskennan olennaisena osana eikä vain jälkikäteen tehtävänä lisänä. Tämä ajattelutapa on tärkeä. Kun insinöörit voivat sanoa eivät vain mitä kone teki, vaan kuinka luottavaisesti se teki sen, yhteisö voi siirtyä demonstraatioista kohti sovelluksia selkeydellä ja tarkoituksella."

Yhteenveto

IBM:n ja Chicagon yliopiston demonstraatio tekee enemmän kuin rikkoo nopeusennätyksen. Se yhdistää virheenkorjatun loogisen laskennan ja sisäisen varmennuksen, osoittaen uskottavan polun kohti kvanttilaskentoja, jotka ovat sekä klassisesti vaikeita että tarkastettavissa. Tutkijoille ja teollisuuden seuraajille tulos on selkeä viesti: kvanttijärjestelmät lähestyvät mittakaavaa ja luotettavuutta, joita tarvitaan uusien tyyppisten laskennallisten ongelmien ratkaisemiseen.