Demonstracja uniwersalnych obliczeń kwantowych bez pomiarów

Dlaczego szybsze, bardziej niezawodne komputery kwantowe są ważne

Aby przekształcić dzisiejsze kruche prototypy kwantowe w użyteczne maszyny, musimy utrzymać delikatne bity kwantowe (kubity) pod kontrolą podczas wykonywania złożonych algorytmów. Główną przeszkodą jest to, że większość wiodących schematów korekcji błędów ciągle przerywa obliczenia, by „zapytad” kubity o ich stan — pomiary, które są powolne, szumne i technicznie wymagające. W artykule pokazano pierwsze eksperymentalne zademonstrowanie innej drogi: uruchomienie w pełni uniwersalnego, odporn na błędy algorytmu kwantowego na kubitach kodowanych bez żadnych pomiarów w środku obwodu, przy użyciu procesora z pułapkami jonowymi. Ta zmiana może uczynić przyszłe komputery kwantowe szybszymi, prostszymi i łatwiejszymi do skalowania.

Ochrona informacji kwantowej bez stałych kontroli

Korekcja błędów kwantowych rozkłada informację jednego kubitu logicznego na kilka kubitów fizycznych, tak by błędy można było wykrywać i naprawiać. Tradycyjnie ta ochrona opiera się na częstych pomiarach w trakcie obliczeń, po których następują szybkie, warunkowe korekty — podejście szczególnie kłopotliwe dla sprzętu takiego jak jony w pułapkach czy obojętne atomy, gdzie pomiary są znacznie wolniejsze niż bramki logiczne i mogą zaburzać sąsiednie kubity. Autorzy badają zamiast tego protokoły „bez pomiarów”. Zamiast odczytywać sygnały błędów do elektroniki klasycznej, spójnie kopiują te informacje na pomocnicze kubity i używają wyłącznie bramek kwantowych, aby wprowadzić je z powrotem do obliczenia. Szumne kubity pomocnicze są następnie resetowane lub wymieniane, cicho pozbywając się entropii bez wstrzymywania algorytmu na krok pomiarowy.

Teleportacja stanów kwantowych między chronionymi blokami

Kluczowym elementem jest przeniesienie chronionego stanu kwantowego z jednego zakodowanego bloku do drugiego — teleportacja logiczna — bez przeprowadzania pomiaru po drodze. Korzystając z małego czterokubitowego kodu wykrywającego błędy, zespół implementuje schemat, w którym blok „źródłowy” i blok „docelowy” nigdy nie stykają się bezpośrednio. Zamiast tego oba bloki oddziałują wyłącznie z pomocniczym rejestrem kubitów. Informacja o wspólnych właściwościach dwóch kubitów logicznych jest spójnie mapowana na kubity pomocnicze, które następnie działają jako kontrolki dla operacji zwrotnych kończących teleportację. Poprzez staranne uporządkowanie obwodów tak, by każdy pojedynczy błąd fizyczny pozostawał wykrywalny, protokół jest odporny na błędy. Eksperymenty na urządzeniu z 16 jonami pokazują, że stany logiczne można teleportować z wiernościami powyżej 90 procent, zgodnie ze szczegółowymi symulacjami numerycznymi.

Budowanie uniwersalnego zestawu narzędzi kwantowych bez odczytu w środku obwodu

Teleportacja sama w sobie nie wystarcza; praktyczny komputer kwantowy potrzebuje też uniwersalnego zestawu bramek logicznych zdolnych zaimplementować dowolny algorytm. Autorzy konstruują taki zestaw na ośmiokubitowym kodzie wykrywającym błędy, który jednocześnie mieści trzy kubity logiczne ułożone jak wierzchołki sześcianu. Ten kod naturalnie wspiera potężną trójkubitową bramkę, znaną jako CCZ, poprzez proste rotacje pojedynczych kubitów, które nie rozprzestrzeniają błędów. Brakowało wysokiej jakości logicznej wersji bramki Hadamarda, która miesza stany logiczne 0 i 1 i jest niezbędna w większości algorytmów. Zespół realizuje tę bramkę przy użyciu techniki nazywanej wstrzykiwaniem stanu: przygotowują specjalny stan zasobowy w drugim, małym kodzie, sprzęgają go spójnie z kodem danych i zastępują zwykły krok pomiaru i korekty czysto kwantowym gadżetem sprzężenia zwrotnego. Ten bezpomiarowy logiczny Hadamard używa wyłącznie bramek koherentnych i resetów, a jednocześnie pozostaje odporny na błędy przez konstrukcję.

Uruchomienie wyszukiwania Grovera na zakodowanych kubitach

Dysponując teleportacją bez pomiarów i uniwersalnym zestawem bramek, badacze implementują algorytm wyszukiwania Grovera na trzech kubitach logicznych zakodowanych w ośmiu jonach fizycznych. Algorytm Grovera jest sztandarowym przykładem tego, jak mechanika kwantowa może przyspieszyć przeszukiwanie nieuporządkowanej listy — tutaj ośmiu możliwych odpowiedzi. Zespół przeprojektowuje standardowy obwód Grovera, by używał wyłącznie dostępnych bramek logicznych — Hadamarda, kontrolowanego NOT i CCZ — i wykonuje go na procesorze z pułapkami jonowymi. W eksperymencie dwie poprawne odpowiedzi pojawiają się z łącznym prawdopodobieństwem około 40 procent w jednym przebiegu. To nieco mniej niż najlepsza możliwa strategia klasyczna dla tak małego rozmiaru problemu, ale symulacje pokazują, że skromne poprawy w wierności bramek lub koherencji kubitów — obie już wykazane w powiązanym sprzęcie — przesunęłyby prawdopodobieństwo sukcesu kwantowego powyżej granicy klasycznej.

Co to oznacza dla przyszłości maszyn kwantowych

Dla nie‑specjalistów główne przesłanie jest takie, że możliwe jest wykonywanie w pełni programowalnych, chronionych przed błędami obliczeń kwantowych bez ciągłego zatrzymywania się na pomiary — a tym samym bez zakłócania układu. Pokazując teleportację bez pomiarów między zakodowanymi blokami, konstruując uniwersalny zestaw bramek logicznych na zwartej ośmiokubitowej kodzie i używając tego zestawu do uruchomienia pełnej instancji algorytmu Grovera na kubitach logicznych, praca wytycza praktyczną ścieżkę ku szybszym i bardziej skalowalnym procesorom kwantowym. W miarę poprawy sprzętu te pomysły mogą pomóc przemienić wczesne prototypy laboratoryjne w maszyny, które niezawodnie przewyższają komputery klasyczne w znaczących zadaniach, jednocześnie mniej polegając na powolnych i podatnych na błędy pomiarach w środku obliczenia.

Cytowanie: Butt, F., Pogorelov, I., Freund, R. et al. Demonstration of measurement-free universal logical quantum computation. Nat Commun 17, 995 (2026). https://doi.org/10.1038/s41467-026-68533-x

Słowa kluczowe: korekcja błędów kwantowych, odporne na błędy obliczenia kwantowe, kubity w pułapkach jonowych, protokoły bez pomiarów, algorytm wyszukiwania Grovera