Jak Microsoft i Quantinuum dokonali przełomu, łącząc topologiczną warkocz i fuzję anyonów

Jaką lukę zamyka to odkrycie?

Wcześniejsze prace, w tym demonstracje Quantinuum z lat 2023–2024 na procesorze H2, pokazały, że non-Abelian anyony mogą być tworzone i warkoczone. Jednak samo warkoczenie nie dostarcza uniwersalnego zestawu bramek dla najprostszych non-Abelian topologicznych porządków . Topologiczny porządek S₃ użyty w tym eksperymencie jest „minimalnie non-Abelian” uogólnieniem kodu torycznego. Samo warkoczenie pozostawia go nieuniwersalnym, ale zespół udowodnił, że traktowanie fuzji anyonów jako dodatkowej operacji obliczeniowej dostarcza brakujących bramek . Zamyka to teoretyczną lukę, która była znana od dekad: proste modele non-Abelian anyonów mogły w zasadzie wspierać odporne na błędy obliczenia kwantowe, ale nikt nie pokazał, jak zrealizować kompletny uniwersalny zestaw bramek na prawdziwym procesorze aż do teraz .

Wcześniejsze teoretyczne prace nad uniwersalnymi bramkami poprzez operacje fuzji i pomiaru na anyonach SU(2)₄ pokazały, że uzupełnienie warkoczenia fuzją może dać uniwersalne zestawy bramek , ale ten eksperyment na podwójnym kwantowym S₃ jest pierwszą pełną implementacją sprzętową.

Jak to zademonstrowano na procesorze pułapki jonowej H2 Quantinuum?

Eksperyment wykonano na System Model H2 Quantinuum, procesorze pułapki jonowej z 54 w pełni połączonymi kubitami, bramkami o wysokiej wierności oraz możliwością pomiaru i sprzężenia zwrotnego w środku obwodu . Zespół przygotował funkcję falową stanu podstawowego topologicznego porządku S₃ na siatce kagome, tworząc non-Abelian anyony jako wzbudzenia . Następnie wykonano obwody, które warkoczyły anyony wokół siebie (topologiczne operacje wymiany) i fuzjonowały anyony razem – łącząc je w tym samym miejscu, aby zmierzyć ich łączny ładunek . Wyniki fuzji zostały użyte jako część operacji bramki logicznej, umożliwiając uniwersalny zestaw bramek, którego samo warkoczenie nie mogło zapewnić . Wyniki zweryfikowano, porównując zmierzone prawdopodobieństwa fuzji anyonów z teoretycznymi przewidywaniami dla modeli anyonów S₃ .

Architektura procesora H2 była kluczowa: jego pułapka jonowa w kształcie toru wyścigowego zapewnia łączność każdy-z-każdym, co pozwoliło zespołowi stworzyć stan topologiczny o niezbędnej złożoności przy zachowaniu wysokiej wierności . Wcześniejsze demonstracje na H2 z 27 kubitami już pokazały non-Abelian porządek topologiczny i warkoczenie anyonów z wiernością na miejsce przekraczającą 98,4% , ale skala 54 kubitów była niezbędna do obsługi uniwersalnego zestawu bramek opartego na fuzji.

Kluczowe ograniczenia i pozostałe wyzwania

Pomimo przełomu, eksperyment ma kilka ważnych ograniczeń, które sami badacze przyznają:

• Nie jest jeszcze odporny na błędy w praktyce: Operacje na anyonach zostały zaimplementowane na fizycznych kubitach przy użyciu technik łagodzenia błędów; eksperyment nie osiąga jeszcze wewnętrznej topologicznej ochrony, która uczyniłaby bramki odpornymi na błędy w skali .
• Skalowalność: Demonstracja wymagała 54 kubitów i głębokich adaptacyjnych obwodów. Skalowanie do użytecznych rozmiarów problemów będzie wymagało znacznie większej liczby kubitów, niższych wskaźników błędów i lepszej korekcji błędów dostosowanej do kodów topologicznych .
• Fuzja a odporność na błędy: Fuzja nieodłącznie niszczy anyony, więc musi być używana ostrożnie, aby zachować topologiczne kodowanie. Artykuł przyznaje, że bramki oparte na fuzji kompromitują odporność na błędy, chyba że zostaną połączone z aktywną korekcją błędów . Późniejsza teoretyczna praca nad podwójnym kwantowym S₃ proponuje specjalistyczny interferometr anyonowy do zdalnego pomiaru całkowitego ładunku i uniknięcia fuzji, co mogłoby pomóc w rozwiązaniu tego ograniczenia .
• Ograniczenie do anyonów S₃: S₃ jest najmniejszą grupą non-Abelian, która wspiera uniwersalne obliczenia poprzez warkoczenie i fuzję. Przyszłe prace mają na celu realizację bogatszych modeli anyonów (np. anyonów Fibonacciego), które są teoretycznie potężniejsze, ale trudniejsze do inżynierii . Ostatnie prace zademonstrowały warkoczenie anyonów Fibonacciego z 94% dokładnością pomiaru ładunku i 98% wiernością złotego podziału , co pokazuje, że alternatywne podejścia również się rozwijają.
• Następne kroki: Autorzy proponują integrację tych topologicznych bramek z aktywnymi kodami korekcji błędów kwantowych, skalowanie do większych porządków topologicznych i ostatecznie zademonstrowanie logicznego kubitu ze wskaźnikiem błędów poniżej fizycznego progu kubitu .

Szerszy kontekst i znaczenie

Topologiczne obliczenia kwantowe oferują fundamentalnie inną wizję niż konwencjonalne podejścia oparte na kubitach: zamiast walczyć z błędami coraz bardziej złożoną korekcją błędów, kodują informację we wzorach warkoczenia quasi-cząstek w sposób naturalnie chroniony przed lokalnym szumem . Demonstracja, że minimalny non-Abelian porządek topologiczny może wspierać uniwersalny zestaw bramek, gdy fuzja jest dodana jako element podstawowy, pokazuje, że użyteczne topologiczne obliczenia mogą być osiągalne za pomocą prostszych układów fizycznych niż wcześniej wymagano. Ponieważ porządek topologiczny S₃ jest najprostszą grupą non-Abelian, którą można przygotować za pomocą obwodów adaptacyjnych o skończonej głębokości , ten wynik otwiera praktyczną ścieżkę do skalowalnych topologicznych procesorów kwantowych.