Duken 13 ionin kvanttisimulaattori seurasi sidotun kenttäjänteen katkeamista

Kolmentoista loukkuun vangitun ionin ketju voi toimia mallina hyvin abstraktille fysikaaliselle järjestelmälle: mittakentälle, joka sitoo varauksia toisiinsa energiaa kantavalla jänteellä. Duke Quantum Centerin tutkijat ohjelmoivat ioniketjun seuraamaan, kuinka tämä jänne hajoaa uusiksi hiukkas–antihiukkasparien kaltaisiksi varausvirityksiksi. Ilmiötä kutsutaan jänteen katkeamiseksi (string breaking).

Kyse ei ole alkuräjähdyksen jälkeisten olosuhteiden kirjaimellisesta pienoismallista. Se on tarkasti hallittu kvanttisimulaatio yksinkertaistetusta kenttäteoriasta. 18

Mitä jänteen katkeaminen tarkoittaa?

Sitovissa mittateorioissa vastakkaismerkkisten varausten vuorovaikutus ei vain heikkene, kun varauksia vedetään erilleen. Niitä yhdistävään kenttään kertyy energiaa; tätä energiaa sisältävää rakennetta kuvataan usein jänteenä tai vuoputkena.

Kun varastoitunutta energiaa on riittävästi, uuden hiukkas–antihiukkasparin synnyttäminen voi tulla energialtaan edullisemmaksi. Uudet varaukset peittävät eli seulovat alkuperäisten varausten vaikutusta: yhden pitkän, energiaa sisältävän jänteen tilalle muodostuu lyhyempiä jänteitä.

Ajatus liittyy vahvasti konfinementtiin eli sidontaan, joka auttaa hahmottamaan, miksi kvarkkeja ei havaita yksittäisinä hiukkasina. Duken koe ei kuitenkaan simuloinut täyttä kvanttikromodynamiikkaa (QCD:tä), vaan sen yksinkertaistettua yksiulotteista (\mathbb{Z}_2)-hilamittateoriaa. 18

Miten 13 ionia toteutti kenttäteorian?

Tutkijat käyttivät jokaista vangittua ionia efektiivisenä spininä. Tarkasti muotoilluilla ja yksittäisiin ioneihin kohdistetuilla lasersäteillä säädettiin paikallisia efektiivisiä magneettikenttiä sekä ionien välisiä vuorovaikutuksia. Näin laitteisto saatiin toteuttamaan haluttu efektiivinen mittateorian Hamiltonin operaattori.

Aluksi valmistettiin tila, joka vastasi toisistaan erotettuja ulkoisia varauksia ja niitä yhdistävää energistä jännettä. Sen jälkeen järjestelmän annettiin kehittyä ohjelmoitujen vuorovaikutusten mukaisesti. Loukkuionit sopivat tällaiseen Hamiltonin suunnitteluun hyvin, koska laserilla voidaan rakentaa ohjelmoitavia spinivuorovaikutuksia ja yksittäisiä ioneja voidaan käsitellä erikseen. 18

Olennainen ero on laitteiston ja simuloitujen hiukkasten välillä: ionit eivät olleet kvarkkeja eivätkä kokeessa syntynyt uusia ainehiukkasia. Ionien kvanttitilat koodasivat mallin muuttujia, jotka tuottavat konfinementtiin ja parien syntyyn liittyvän dynamiikan.

Mitä epätasapainossa tapahtui?

Kokeessa tarkasteltiin epätasapainodynamiikkaa. Järjestelmä valmisteltiin ensin jännemäiseen tilaan, minkä jälkeen sen annettiin kehittyä. Tutkijat eivät mitanneet vain lopputulosta, vaan seurasivat ajan mittaan aineen kaltaisten viritysten jakauman muuttumista ja jänteen uudelleenjärjestymistä.

Tällainen aikaratkaistu näkymä on tärkeä, sillä vuorovaikuttavien mittateorioiden reaaliaikainen ja tasapainosta kaukana oleva käyttäytyminen on klassisille laskentamenetelmille erityisen hankalaa. Simuloidussa mallissa alun perin jänteeseen varastoitunut energia muuttui uusiksi varausparivirityksiksi – juuri sellaiseksi jäljeksi, jota jänteen katkeamiselta odotetaan. 18

Klassinen laskenta oli tärkeä tarkistus

13 ionin järjestelmä on vielä niin pieni, että vastaavaa rajallista järjestelmää voidaan simuloida klassisesti. Tämä ei ole kokeen heikkous vaan vahvuus: vertailu testaa, vastaavatko ohjelmoitu Hamiltonin operaattori, tilan valmistelu ja mittaukset odotettua dynamiikkaa.

Yhtäpitävyys ei tarkoita, että koe olisi jo osoittanut kvanttilaskentaedun. Sen sijaan se vahvistaa menetelmää, jota voidaan kasvattaa suurempiin järjestelmiin. Niissä mahdollisten kvanttitilojen määrä ja reaaliaikaisen dynamiikan monimutkaisuus voivat tehdä uskollisesta klassisesta laskennasta paljon työläämpää.

Muut alustat tutkivat samaa ilmiötä eri tavoin

Kvanttisimulaattoreissa joudutaan tekemään erilaisia kompromisseja hallittavuuden, kytkentöjen, koon ja geometrian välillä. Siksi alustat täydentävät toisiaan eivätkä muodosta yksinkertaista laitteistokilpailua.

Loukkuionit: tarkkaa hallintaa yhdessä ulottuvuudessa

Duken työ korostaa ohjelmoitavaa, ajassa ja paikassa eroteltua dynamiikkaa yksiulotteisessa mallissa. 13 ionin koko mahdollistaa myös suoran klassisen vertailun, joka on tärkeä tarkistus simulaattorin toiminnalle. 18

Suprajohtavat kubitit: kaksiulotteinen hilageometria

Suprajohtavien kubittien kaksiulotteisella ryhmällä on tutkittu varausten ja jänteiden dynamiikkaa ((2+1))-ulotteisessa (\mathbb{Z}_2)-hilamittateoriassa. Tutkimuksessa valmistettiin matalaenergisiä tiloja variaatiopiirillä, luotiin varausvirityksiä paikallisilla porteilla ja seurattiin ajallisesti diskretoitua kehitystä.

Kaksiulotteinen geometria sallii jänteen liikkeen ja vaihtelut, joita yksiulotteisessa ioniketjussa ei ole.

Neutraalit atomit: jänteen katkeaminen kahdessa ulottuvuudessa

Innsbruckin, Harvardin ja QuEran yhteistyö toteutti Rydberg-atomiryhmällä analogisen ((2+1))-ulotteisen U(1)-mittateorian, jossa on skalaarista ainetta. Ryhmä raportoi jänteen katkeamisen suorasta havainnosta kahdessa ulottuvuudessa. 13

Kaksi ulottuvuutta avaa uusia mahdollisuuksia jänteen muodolle, vaihteluille ja hajoamisreiteille. Siksi se on laadullisesti rikkaampi ympäristö kuin yksiulotteiset demonstraatiot.

Optiset hilat: suuria kylmäatomijärjestelmiä

Optisilla hiloilla tehtävät kokeet ovat toinen reitti mittateorioiden kvanttisimulointiin. Aiemmissa töissä on demonstroitu 71 paikan U(1)-hilamittateoriasimulaatio ultrakylmillä atomeilla, ja myöhemmässä työssä on tutkittu jänteen katkeamismekanismia yksiulotteisessa Schwingerin mallin simulaattorissa.

Näissä järjestelmissä käytetään loukkuioneista poikkeavia koodauksia ja havaittavia suureita. Tuloksia ei siis pidä tulkita suoraan laitteistojen keskinäiseksi suoritusvertailuksi.

Miksi skaalaaminen voisi olla merkittävää?

Keskeinen lupaus ei ole, että 13 ionin malli olisi jo korvannut klassisen laskennan. Ajatus on, että kvanttilaitteisto voi esittää ja kehittää voimakkaasti vuorovaikuttavaa kvanttijärjestelmää suoraan.

Kun järjestelmät kasvavat – erityisesti siirryttäessä korkeaulotteisiin, epätasapainossa oleviin mittateorioihin – klassisen laskennan kustannukset voivat kasvaa nopeasti. Riittävän suuret ja tarkat kvanttisimulaattorit voisivat siten toimia laboratorioina konfinementin, parituotannon ja vahvasti vuorovaikuttavan aineen reaaliaikaisen kehityksen tutkimiseen.

Nämä kysymykset liittyvät periaatteessa suurienergisiin törmäyksiin ja varhaisen maailmankaikkeuden oloihin. Nykyiset kokeet ovat silti yhä yksinkertaistettuja mallijärjestelmiä. Duken tulos on parhaiten ymmärrettävä lähteiden tukemana askeleena kohti tätä kunnianhimoisempaa tavoitetta. 18