Test complement sampling Quantinuum ujawnia wykładniczą lukę między komputerem kwantowym a klasycznym

Najkrócej: Quantinuum pokazało ściśle zdefiniowany rodzaj przewagi kwantowej. Urządzenie kwantowe uzyskało statystyki wyników wykraczające poza formalnie wyprowadzoną granicę dla dopuszczalnych strategii klasycznych — w grze zaprojektowanej tak, by badać zachowanie superpozycji.

Dla instancji opartych na problemie Bernsteina–Vaziraniego idealny stosunek naruszeń granicy kwantowej do klasycznej skaluje się jak 2^(n−1). Przy ciągach 37-bitowych przekracza to 137 mld do 1 według przyjętej w eksperymencie konwencji miary naruszenia. 4

To istotny wynik, ale nie należy go odczytywać jako twierdzenia, że procesor H2 jest „137 mld razy szybszy” w praktycznych obliczeniach. Chodzi o wykładnicze rozdzielenie dwóch strategii w jednym, celowo skonstruowanym zadaniu próbkowania.

Na czym polega gra complement sampling?

Sędzia wybiera ukryty zbiór S, zawierający połowę wszystkich możliwych n-bitowych ciągów, a następnie przygotowuje stan kwantowy będący równomierną superpozycją elementów tego zbioru. Zadaniem gracza jest podać ciąg należący do dopełnienia S̄, czyli taki, którego w ukrytym zbiorze nie ma. 34

Klasyczny gracz otrzymujący tylko zwykłą próbkę z S wie w zasadzie jedynie, że otrzymany konkretny ciąg nie może być poprawną odpowiedzią. Nie dostaje jednak użytecznego opisu tego, które z ogromnej liczby pozostałych ciągów należą do S, a które do S̄. Z tego wynika formalne ograniczenie skuteczności strategii klasycznej. 47

Gracz kwantowy otrzymuje natomiast spójny stan superpozycji, a nie wynik wcześniejszego pomiaru. Dla specjalnie ustrukturyzowanych instancji zastosowanych w eksperymencie transformacja kwantowa przekształca stan związany z S w stan wsparty na jego dopełnieniu. W idealnym, bezszumowym przypadku pomiar zwraca więc poprawny element S̄ z pewnością. 34

Test bada zatem koherencję kwantową: zdolność do przetwarzania informacji zapisanej w superpozycji wielu możliwości bez uprzedniego redukowania jej do pojedynczej obserwacji klasycznej. Nie jest to test Bella ani demonstracja nielokalności przestrzennej.

Skąd bierze się wykładnicza różnica?

Porównanie nie opiera się wyłącznie na surowym prawdopodobieństwie sukcesu. Autorzy definiują specyficzną dla gry miarę naruszenia klasycznej wartości bazowej. Dla rodziny instancji Bernsteina–Vaziraniego idealny stosunek wynosi 2^(n−1). 4

Dla n = 37:

2^36 = 68 719 476 736

W publikacji porównanie opisano jako przekraczające 137 mld do 1, ponieważ użyto określonej konwencji liczenia naruszenia. Niezależnie od zapisu sedno pozostaje takie samo: idealny sygnał kwantowy zachowuje doskonałą skuteczność, podczas gdy dopuszczalna przewaga klasyczna maleje wykładniczo wraz z długością ciągu. 4

Nie znaczy to, że H2 rozwiązał użyteczne zadanie biznesowe 137 mld razy szybciej niż komputer klasyczny. Oznacza to wykładniczą separację idealnych strategii w zasadach i metryce tej konkretnej gry.

Co wykonano na sprzęcie H2?

Zespół uruchomił tysiące obwodów na procesorach Quantinuum H2 wykorzystujących pułapkowane jony. W eksperymentach użyto maksymalnie 55 fizycznych kubitów i testowano ciągi do 37 bitów. 48

Rzeczywisty sprzęt jest obciążony szumem, dlatego zmierzona skuteczność była niższa niż idealne zachowanie z sukcesem równym 1. Większe obwody były silniej dotknięte błędami. Mimo to zgłoszone wyniki pozostawały statystycznie powyżej odpowiedniego progu klasycznego, co wspiera wniosek, że urządzenia dostatecznie dobrze realizowały strategię kwantową. 4

To ważne rozróżnienie: eksperyment nie dowodzi, że komputer klasyczny nie potrafi wypisać tych samych skończonych ciągów bitów. Pokazuje, że w określonym modelu wejścia rozkład zmierzonych odpowiedzi przekroczył to, co może osiągnąć dozwolona strategia klasyczna. 4

Dlaczego ten benchmark różni się od wcześniejszych testów przewagi kwantowej?

Wiele wcześniejszych demonstracji próbkowania kwantowego odwoływało się do założeń z teorii złożoności: argumentowały, że klasyczna symulacja powinna być trudna. Complement sampling zaprojektowano inaczej — ograniczenie klasyczne wynika bezpośrednio z matematyki samej gry, a nie z nieudowodnionej hipotezy o trudności obliczeniowej. 34

Istotna jest też weryfikacja. Sędzia zna sposób konstrukcji ukrytego zbioru i może klasycznie sprawdzić, czy odpowiedź należy do dopełnienia. W przypadku próbkowania losowych obwodów (random-circuit sampling) weryfikacja przy dużej skali może wymagać kosztownej klasycznej symulacji albo bardzo wielu próbek. 34

Dzięki temu complement sampling jest użytecznym benchmarkiem dla obecnego sprzętu: ma ujawniać czystą granicę kwantowo-klasyczną, a równocześnie pozwalać na efektywną klasyczną kontrolę wyniku.

Granice tego wyniku

To wyspecjalizowane zadanie próbkowania

Gra została skonstruowana po to, by uwidocznić przewagę kwantową w przetwarzaniu informacji opartego na próbkach. Nie ustanawia praktycznego przyspieszenia dla chemii, optymalizacji, kryptografii, AI ani obliczeń ogólnego przeznaczenia. 4

„Bezwarunkowy” nie znaczy „niezależny od urządzeń”

Klasyczne ograniczenie jest bezwarunkowe w ramach matematycznego modelu gry. Protokół laboratoryjny nadal wymaga jednak zaufania, że sędzia poprawnie przygotowuje stan wejściowy. To coś innego niż w pełni niezależny od urządzeń test, w którym kluczowym elementom aparatury nie trzeba ufać. 4

Sędzia i gracz nie byli osobnymi komputerami kwantowymi

Ponieważ nie było dostępnego rzeczywistego kanału komunikacji kwantowej między komputerami kwantowymi, rejestry sędziego i gracza umieszczono na jednym procesorze. Teleportacja służyła do zasymulowania kanału kwantowego. 4

Silniejsza przyszła demonstracja wymagałaby niezależnie kontrolowanych systemów połączonych prawdziwym łączem kwantowym, najlepiej działających w architekturze odpornej na błędy. To samo w sobie jest trudnym celem: przesyłanie stanów kwantowych i utrzymywanie koherencji może stać się w systemach rozproszonych wąskim gardłem. 14

Wykładnicza luka nie musi być ostatnim słowem

Wynik ustanawia wykładniczą separację dla tej rodziny gier. Nie dowodzi ani że jest to największa możliwa luka kwantowo-klasyczna, ani że występuje separacja superwykładnicza. Na podstawie dostępnych dowodów pozostaje otwarte pytanie, czy zadania jednocześnie fizycznie sensowne i łatwe do weryfikacji mogą wykazać silniejsze rozdzielenie.

Co faktycznie ustalono?

Najtrafniej traktować rezultat Quantinuum jako precyzyjny kamień milowy eksperymentalny: współczesny sprzęt oparty na pułapkowanych jonach przekroczył rygorystyczną granicę klasyczną w efektywnie sprawdzalnej grze complement sampling, a idealna różnica między strategiami rośnie wykładniczo z rozmiarem problemu. 34

To twierdzenie jest mocniejsze niż ogólne hasło o „supremacji kwantowej”, ponieważ można jasno wskazać zadanie, metrykę, sposób weryfikacji i założenia zaufania. Jednocześnie właśnie te szczegóły wyznaczają granice interpretacji: eksperyment jest przekonującym dowodem, że superpozycja może dać wykładniczą przewagę w tak zaprojektowanym środowisku — a nie dowodem, że komputery kwantowe wyprzedziły już klasyczne systemy w szerokiej klasie użytecznych zastosowań.