Ulepszona obliczeniowość kwantowa z użyciem odwrotnego propagowania operatorów

Dlaczego zmniejszanie programów kwantowych ma znaczenie

Dzisiejsze komputery kwantowe są potężne, lecz kruche: ich kubity tracą delikatny stan, jeśli uruchomimy zbyt długie programy. Artykuł ten zajmuje się tym wąskim gardłem. Autorzy pokazują, jak przenieść część obliczenia kwantowego na klasyczny komputer w sprytny sposób, tak by sprzęt kwantowy uruchamiał krótszy, mniej podatny na szum program, a mimo to dostarczał tę samą końcową wartość interesującej nas wielkości. Ta hybrydowa strategia, nazwana odwrotnym propagowaniem operatorów, wskazuje drogę do uzyskiwania większej wartości naukowej z niedoskonałych maszyn kwantowych.

Podział pracy między dwa rodzaje maszyn

Wiele algorytmów kwantowych sprowadza się do tego samego zadania: przygotować stan kwantowy za pomocą obwodu, a następnie zmierzyć, jak silnie reaguje on na pewne sondy, zwane obserwablami. Zwykle cały obwód i końcowy pomiar wykonywane są na urządzeniu kwantowym, więc sprzęt musi zachować koherencję przez wszystkie kroki. Nowe podejście dzieli pierwotny obwód na dwie części. Jedna część nadal jest uruchamiana na chipie kwantowym, natomiast drugą obsługuje klasyczny komputer poprzez matematyczne „przepchnięcie” obserwabli wstecz przez te bramki. To przekształca jeden skomplikowany pomiar końcowy w zbiór prostszych pomiarów, które można wykonać po znacznie krótszym programie kwantowym.

Przekształcenie jednego pytania w wiele prostszych

Kluczowa idea polega na spojrzeniu na problem z perspektywy obserwabli, a nie stanu kwantowego. Na klasycznym komputerze obserwabla jest ewoluowana wstecz przez wybraną część obwodu, proces, który autorzy nazywają odwrotnym propagowaniem operatorów. W trakcie tego procesu rozkłada się na sumę ważoną wielu podstawowych elementów zwanych operatorami Pauli. Każdy z tych elementów jest łatwy do zmierzenia na urządzeniu kwantowym. Eksperymentator przygotowuje skrócony obwód na sprzęcie, mierzy wszystkie potrzebne operatory Pauli, a następnie łączy wyniki przy użyciu wcześniej obliczonych wag. Rachunek jest jasny: obwody kwantowe stają się płytsze i mniej podatne na szum, ale potrzeba więcej osobnych obwodów i pomiarów.

Usprawnienie klasycznej strony obliczeń

Bez dodatkowych zabiegów przepychanie obserwabli wstecz przez wiele bramek kwantowych prowadziłoby do eksplozji kosztów, ponieważ liczba składników Pauli może szybko rosnąć. Aby utrzymać obciążenie klasyczne pod kontrolą, autorzy opierają się na technice zwanej teorią perturbacji Cliffordów. Metoda ta wykorzystuje strukturę bramek do śledzenia, jak zmienia się obserwabla, i bezpiecznego odrzucania terminów, których wkład będzie znikomy. Opracowali praktyczne reguły szacowania i ograniczania błędu wprowadzanego przez odrzucanie takich małych składników oraz wyjaśniają, jak zorganizować obliczenia tak, by można je było efektywnie rozłożyć na wiele klasycznych węzłów obliczeniowych — w konfiguracji, którą nazywają superkomputingiem skupionym na kwantach.

Przetestowanie metody na modelowych magnetach

Aby sprawdzić, czy ta strategia opłaca się na rzeczywistym sprzęcie, zespół zastosował ją do standardowego problemu testowego w fizyce kwantowej: symulacji sieci spinów kwantowych oddziałujących jak magnes, znanego jako model XY. Rozważali układy 75 i 127 spinów odwzorowane bezpośrednio na nadprzewodzące procesory kwantowe IBM. Ewolucję czasową tych spinów przybliżono jako sekwencję powtarzanych bloków bramek, a główną wielkością była średnia orientacja spinu, która w idealnej, bezszumowej ewolucji powinna pozostać stała. Dzięki odwrotnemu propagowaniu operatorów skrócili obwody kwantowe odpowiadająco o pięć takich bloków, jednocześnie używając części klasycznej do uwzględnienia usuniętego fragmentu.

Dokładniejsze wyniki i gęstsze migawki czasowe

W obu modelach — jednowymiarowym i dwuwymiarowym — podejście hybrydowe konsekwentnie dawało dokładniejsze oszacowania średniej orientacji spinu niż uruchamianie pełnych, głębokich obwodów kwantowych, nawet gdy obu metodom przydzielono taką samą łączną liczbę prób eksperymentalnych. Skrócone obwody mniej cierpiały z powodu szumów sprzętowych i wymagały mniejszej liczby operacji kwantowych na próbę. Pojawiła się też druga korzyść: dzięki ponownemu wykorzystaniu tych samych danych pomiarowych, ramy pozwoliły badaczom odtworzyć, jak poszczególne spiny zmieniały się w wielu pośrednich momentach czasu, mimo że sprzęt był uruchamiany tylko w kilku grubych punktach czasowych. Ta zdolność do „uzupełniania” dynamiki między pomiarami daje pełniejszy obraz symulowanego układu bez dodatkowych uruchomień kwantowych.

Co to oznacza dla przyszłości obliczeń kwantowych

Praca pokazuje, że możemy zwiększyć zasięg dzisiejszych zaszumionych procesorów kwantowych, łącząc je ściśle ze sprytnymi algorytmami klasycznymi. Zamiast polegać wyłącznie na coraz bardziej złożonych kodach korekcji błędów, odwrotne propagowanie operatorów skraca czas, przez który urządzenie kwantowe musi pozostać niezawodne, i przenosi część obciążenia na obliczenia klasyczne, których koszty można skalować za pomocą konwencjonalnych superkomputerów. Metoda działa najlepiej dla obwodów o pewnej strukturze i nie pozwala przenieść wszystkiego, ale już poprawia dokładność znaczących symulacji fizycznych. W miarę jak badacze dopracowują te hybrydowe chwyty i identyfikują więcej odpowiednich problemów, można oczekiwać, że sprzęt kwantowy zacznie dostarczać użyteczne wyniki naukowe wcześniej, niż będą dostępne w pełni tolerancyjne maszyny.

Cytowanie: Fuller, B., Tran, M.C., Lykov, D. et al. Improved quantum computation using operator backpropagation. npj Quantum Inf 12, 51 (2026). https://doi.org/10.1038/s41534-026-01196-0

Słowa kluczowe: hybrydowe obliczenia kwantowe, łagodzenie błędów, symulacja kwantowa, odwrotne propagowanie operatorów, szumy w układach kwantowych średniej skali