Quantinuum ukázal exponenciální kvantově-klasickou mezeru v testu complement sampling

Kvantové procesory H2 společnosti Quantinuum v experimentu překročily přesně stanovenou hranici, které může dosáhnout klasická strategie v úloze zvané complement sampling neboli vzorkování doplňku. U speciální rodiny instancí odvozených od Bernsteinova–Vaziraniho problému roste ideální poměr kvantového a klasického „porušení“ exponenciálně: 2^(n−1). Pro řetězce o 37 bitech jde podle použité konvence o více než 137 miliard ku jedné. 4

To je podstatný výsledek, ale je nutné jej číst přesně. Neznamená, že H2 počítal 137miliardkrát rychleji než klasický počítač, ani že už kvantové stroje získaly obecnou obchodní převahu. Jde o experimentální demonstraci exponenciálního rozdílu v jedné pečlivě navržené vzorkovací úloze.

Jak hra complement sampling funguje

Rozhodčí skrytě vybere množinu S, která obsahuje polovinu všech možných nbitových řetězců. Poté připraví kvantový stav tvořený rovnoměrnou superpozicí řetězců z této množiny. Úkolem hráče je vrátit řetězec z doplňkové množiny S̄ — tedy takový, který v S není. 34

Klasický hráč dostane jen běžný vzorek z S: jeden konkrétní řetězec. Ví tedy, že právě tento řetězec nemá vrátit, ale nezíská použitelný popis toho, které z obrovského množství ostatních řetězců patří do S a které do S̄. Jeho úspěšnost proto omezuje formálně odvozená klasická mez. 47

Kvantový hráč naopak obdrží koherentní stav celé množiny, nikoli už změřený jednotlivý vzorek. U strukturovaných instancí použitých v experimentu lze kvantovou transformací převést stav odpovídající S na stav, jehož podpora leží v doplňku S̄. V ideálním případě bez chyb pak měření s jistotou vrátí platný řetězec z doplňku. 34

Testovaným zdrojem je tedy koherence: schopnost pracovat se superpozicí, která nese informaci o mnoha možných řetězcích, aniž by se předčasně zhroutila na jediné klasické pozorování. Nejde o Bellův test ani o demonstraci prostorové nelokálnosti.

Proč rozdíl roste exponenciálně

Srovnání nestojí jen na prosté pravděpodobnosti úspěchu. Studie zavádí pro tuto hru míru porušení klasické hranice. U rodiny instancí inspirovaných Bernsteinovým–Vaziraniho problémem je ideální poměr kvantové a klasické hodnoty 2^(n−1). 4

Pro n = 37 platí:

2^36 = 68 719 476 736

Hodnota „více než 137 miliard ku jedné“ vychází z konvence porušení použité v experimentu. V obou popisech je hlavní sdělení stejné: ideální kvantový signál zůstává dokonalý, zatímco přípustná klasická výhoda se s délkou řetězce exponenciálně zmenšuje. 4

Tento poměr proto nepopisuje rychlost řešení praktické úlohy. Vyjadřuje rozdíl mezi ideálními strategiemi za pravidel a podle metriky této konkrétní hry.

Co se skutečně spustilo na H2

Výzkumníci provedli tisíce kvantových obvodů na iontových procesorech Quantinuum H2. Použili až 55 fyzických qubitů a testovali řetězce dlouhé až 37 bitů. 48

Reálný hardware je zatížen šumem, takže naměřený výkon nedosáhl ideálního stavu s bezchybným úspěchem; větší obvody byly chybami ovlivněny více. Přesto naměřené výsledky statisticky překonaly příslušnou klasickou hranici. To podporuje závěr, že zařízení realizovala kvantovou strategii dostatečně dobře na to, aby klasickou mez porušila. 4

Důležitý detail: experiment netvrdí, že klasický počítač neumí vytisknout stejné konečné bitové řetězce. Tvrdí, že rozdělení naměřených odpovědí za stanoveného vstupního modelu překonalo to, čeho může dosáhnout povolená klasická strategie. 4

V čem se test liší od dřívějších demonstrací kvantové výhody

Řada dřívějších ukázek kvantové převahy ve vzorkování opírá tvrzení o obtížné klasické simulaci o předpoklady z teorie složitosti. Complement sampling je navržen tak, aby se tomuto typu závislosti vyhnul: klasické omezení se odvozuje přímo pro danou hru, nikoli z neprokázané hypotézy o výpočetní obtížnosti. 34

Výhodou je také přímočaré ověření. Rozhodčí zná konstrukci skryté množiny a může zkontrolovat, zda výstup patří do jejího doplňku. Naproti tomu u vzorkování náhodných kvantových obvodů může ověřování ve velkém měřítku vyžadovat buď nákladnou klasickou simulaci, nebo velmi mnoho vzorků. 34

Právě kombinace přísné klasické hranice a efektivní ověřitelnosti dělá z této úlohy užitečný základní benchmark pro současný kvantový hardware.

Co výsledek neříká

Jde o úzce vymezenou vzorkovací úlohu

Hra byla zkonstruována tak, aby odhalila kvantovou výhodu při práci se vzorky. Neprokazuje praktické zrychlení pro chemii, optimalizaci, kryptografii, umělou inteligenci ani univerzální výpočty. 4

„Bezpodmínečná“ mez není totéž co nezávislost na zařízeních

Klasická mez je v rámci matematické hry bezpodmínečná. Laboratorní protokol však stále vyžaduje důvěru, že rozhodčí správně připravil vstupní kvantový stav. To se liší od plně device-independent testu, v němž by závěr nevyžadoval důvěru v klíčové části aparatury. 4

Rozhodčí a hráč neběželi na oddělených kvantových počítačích

Protože nebyl k dispozici skutečný kvantový komunikační kanál propojující samostatné kvantové počítače, byly registry rozhodčího i hráče umístěny do jediného kvantového procesoru. Kvantový kanál byl simulován pomocí teleportace. 4

Silnější budoucí demonstrace by využila nezávisle řízené systémy propojené skutečným kvantovým spojem, ideálně na hardwaru s korekcí chyb. Takové distribuované kvantové systémy jsou ale samy o sobě náročné: přenos kvantových stavů i udržení koherence mohou představovat úzká hrdla. 14

Exponenciální rozdíl nemusí být konečný strop

Výsledek stanovuje exponenciální separaci pro tuto rodinu her. Nedokazuje, že jde o největší možný rozdíl mezi kvantovým a klasickým zpracováním informací, ani nepředvádí superexponenciální separaci. Z dostupných podkladů zůstává otevřené, zda lze u fyzikálně smysluplných a efektivně ověřitelných úloh nalézt ještě silnější rozdíly.

Přesný význam experimentu

Nejlépe jej lze chápat jako konkrétní experimentální milník: současný iontový hardware překročil rigorózní klasickou hranici v efektivně kontrolovatelné hře complement sampling a ideální kvantově-klasický rozdíl v ní roste exponenciálně s velikostí instance. 34

Je to přesvědčivější a přesnější tvrzení než obecná fráze o „kvantové nadřazenosti“, protože pravidla úlohy, metrika, ověřování i předpoklady důvěry jsou popsatelné. Tytéž detaily však zároveň vymezují hranice závěru: experiment je silným důkazem, že kvantová superpozice může v této cíleně sestavené úloze přinést exponenciální výhodu — nikoli důkazem, že kvantové počítače už obecně překonaly klasické systémy v praktických pracovních zátěžích.