Kvantová procházka z atomů: síť rozložená do vrstev

Mapa na atomové podložce

Síť popisujeme grafem: body jsou vrcholy, spojení mezi nimi hrany.[2] V návrhu připadá na každý vrchol jeden atom.[2] Prostorové sítě tu mají místní spojení omezené vzdáleností; „libovolné“ v názvu studie neznamená bezplatnou realizaci všech vzdálených vazeb.[2] Obrázek s 25 atomy ve studii je příklad navrhovaného zapojení, ne záznam provedeného experimentu.[2]

Aby se složitá mapa vešla do posloupnosti zvládnutelných operací, hrany se rozdělí mezi takzvané teselace.[2] Jedna teselace rozděluje vrcholy do nepřekrývajících se úplně propojených skupin; více teselací dohromady pokryje všechny hrany.[2] Operace proběhnou v jedné sadě skupin a atomové vazby se přestaví pro další.[2] Tak lze složit krok kvantové procházky bez předpokladu, že jsou aktivní všechny vazby najednou.[2]

Na našem učebním schématu tvoří šest vrcholů kruh.[2] První vrstva spojuje dvojice 0–1, 2–3 a 4–5; druhá 1–2, 3–4 a 5–0.[2] Každá dvojice je skupina o dvou vrcholech, v jedné vrstvě se dvojice nepřekrývají a obě vrstvy přesně pokryjí všech šest hran kruhu.[2] Nejde o konkrétní numerický experiment autorů, ale o malou názornou ukázku jejich definice teselací.[2]

Hledaný bod a správný účet

V prohledávání grafu orákulum označí cílový vrchol změnou fáze jeho amplitudy.[2] Kvantová procházka mění rozložení amplitud; po vhodném počtu opakování může pravděpodobnost nálezu cíle dosáhnout prvního maxima.[2] Atom přitom doslova neběží po čáře na obrazovce.[2] Animace ilustruje logiku operací, nikoli vypočtené pravděpodobnosti ani záznam laboratoře.[2]

Numerický test se týkal vybraných náhodných geometrických grafů.[2] Po výběru vhodného úhlu pro každou instanci autoři počítali volání orákula do prvního dosažení alespoň 90 % maxima pravděpodobnosti ve sledovaném okně.[2] Takto definovaný počet dotazů rostl v jejich výsledcích přibližně jako odmocnina počtu vrcholů místo lineárního růstu; jde o škálování slučitelné s kvadratickým zrychlením v této metrice.[2] Tento výsledek není měřením rychlosti skutečného stroje ani univerzální zárukou pro všechny grafy.[2] Navíc počet jednotlivých teselačních kroků uvádějí jako řád odmocniny počtu vrcholů násobené jeho logaritmem.[2]

Co se musí teprve ověřit

Rozdělení hran se samo nevypočítá: navržené klasické předzpracování má složitost O(md²), kde m je počet hran a d nejvyšší stupeň vrcholu.[2] V simulaci se také hledá vhodný úhel kvantové procházky; jak jej účinně odvodit přímo z grafu, autoři ponechávají otevřené.[2] Teprve experiment může ukázat vliv šumu, ztráty kvantové soudržnosti a praktických omezení větších skupin atomů.[2] Širší nelokální sítě zůstávají další výzvou.[2]

Studie tedy nenabízí hotový vyhledávač ani demonstraci kvantového náskoku na hardwaru.[2] Jejím výsledkem je konkrétní návrh vrstevnatého atomového postupu, klasický algoritmus pro přípravu vrstev a opatrně formulované numerické škálování v jednom typu vyhledávací úlohy.[2]

Fotorealistický obraz laboratoře je původní digitální ilustrace, nikoli fotografie experimentu autorů. Animované grafy jsou vysvětlující schémata; nezobrazují naměřená data.

Zdroje a původ této zprávy ↓