Korekcja błędów kwantowych przechodzi od szacunków do certyfikowanych odległości

Praca zastępuje dotychczasowy aparat. Dekoder odtwarza zakodowany stan, badając do n do potęgi d plus 1 lokalnych stochastycznych błędów Pauliego. Zamiast technik rozwinięć czy dekoderów wieloskalowych stosuje stałe przetwarzanie o stałej głębokości w przypadku geometrycznie prostych kubicznych kodów toricznych, w tym w wersji czterowymiarowej.

Lepsze kody i prostsze dekodery mogą zmniejszyć narzut sprzętowy i obliczeniowy potrzebny do komputerów kwantowych odpornych na błędy. To istotne dla każdego, kto czeka na użyteczne maszyny. To jednak zyski na poziomie testów porównawczych i teorii. Ani skalowalność, ani realny harmonogram nie są rozstrzygnięte.

Reguła przemiatania wykrywa i poprawia błędy lokalnie, tak jak nocny stróż obchodzi stałą trasę. Metoda działa bezpośrednio na bieżącej informacji o syndromie. Omija zależne od skali opóźnienia komunikacji, które dotąd spowalniały praktyczne konstrukcje.

Haczyk tkwi w głębokości. Praca nie pokazuje stałego całkowitego narzutu na głębokość, więc niezawodne obliczenia nadal wymagają wielu cykli przetwarzania.

Certyfikowane odległości zamiast szacunków

Quantum Zeitgeist podał 30 października, że badacze certyfikowali odległości minimalne dla 21 nowych binarnych kodów kwantowych i poprawili parametry 34 istniejących pozycji w tabeli kodów Grassla. Wcześniej odległość minimalna opierała się na szacunkach, a nie na dokładnym obliczeniu.

Zespół zastosował twierdzenie o podnoszeniu przodka do quasi-cyklicznych kodów addytywnych nad F4. To powiązało strukturę tych kodów ze sprawdzalnymi odległościami. Nagłówek tekstu Quantum Zeitgeist mówi o 28 nowych kodach binarnych, a treść o 21 nowo certyfikowanych kodach i 34 poprawkach. Wyniki nie pokazują jeszcze skalowalności do zastosowań praktycznych, które wymagają dużych rozmiarów kodu.

Pozycja w teście porównawczym oparta na szacunku nie jest pozycją udowodnioną.

Krótsze kody quditów i warstwowe kody toriczne

Badacze z Dayalbagh Educational Institute zbudowali trójortogonalne kody quditów o parametrach od 3 do 7. Przy tej samej ochronie dawały krótsze kody niż konstrukcje cykliczne, konkatenowane czy Reeda-Mullera. Ich wyczerpujące przeszukiwanie znalazło kod wykrywający błędy o długości 11, oparty na liczbie pierwszej pięć. Znalazło też najkrótszy kod wykrywający błędy o długości siedem, wykorzystujący liczbę pierwszą siedem. Połączenie tych struktur z kodami o odległości dwa obniżyło koszty destylacji stanów magicznych qutritów nawet o rząd wielkości w warunkach wysokiego szumu.

Badacze z Tsinghua University i Chinese Academy of Sciences poszli inną drogą. Pokazali, że zgrubianie o p do potęgi m minus 1 rozdziela translacyjnie niezmiennicze kody CSS p-arne na stosy kodów toricznych. Tu m oznacza liczbę niezerowych warstw. Kryteria da się sprawdzić: jawne algorytmy działają w czasie wielomianowym dla ustalonego wymiaru przestrzennego po obliczeniu profilu.

Co pozostaje nieudowodnione

Praca o certyfikowanych odległościach poprawia benchmarki tam, gdzie były tylko szacunki. Nie pokazuje jeszcze skalowalności do dużych rozmiarów kodu, jakich potrzebują zastosowania praktyczne. Wynik dla czterowymiarowego kodu toricznego daje możliwą drogę do prostszej konstrukcji komputera kwantowego. Nie gwarantuje stałego całkowitego narzutu na głębokość. Każdy z tych wyników to krok naprzód, ale żaden nie domyka sprawy.

Dla kupujących i producentów sprzętu harmonogram się nie zmienił. Kody są lepsze, a maszyny odpornej na błędy wciąż nie ma.