Propagacja wsteczna operatorów

Ten pakiet implementuje propagację wsteczną operatorów (OBP), służącą do zmniejszania głębokości obwodów w obliczeniach wartości oczekiwanych. Technika ta propaguje obserwablę wstecz przez bramki na końcu obwodu kwantowego, co daje płytszy obwód kosztem większej liczby baz pomiaru obserwabli. W miarę jak operator jest propagowany wstecz coraz głębiej w obwód, rozmiar obserwabli rośnie wykładniczo, co powoduje narzut zasobów zarówno klasycznych, jak i kwantowych. Jednak dla niektórych obwodów otrzymany rozkład obserwabli Pauliego jest bardziej skoncentrowany niż w najgorszym przypadku skalowania wykładniczego, co oznacza, że niektóre składniki hamiltonianu o małych współczynnikach można obciąć, aby zmniejszyć narzut kwantowy. Błąd wprowadzany w ten sposób można kontrolować, aby znaleźć odpowiedni kompromis między precyzją a wydajnością.

Propagację wsteczną operatorów można przeprowadzić na wiele sposobów. Ten pakiet używa metody opartej na teorii perturbacji Cliffordowskich, co ma tę zaletę, że narzut wynikający z propagacji wstecznej różnych bramek zależy od stopnia niecliffordowskości danej bramki. Prowadzi to do większej wydajności dla niektórych rodzin obwodów w porównaniu z metodami OBP opartymi na sieciach tensorowych, które obecnie mają duży narzut klasyczny nawet w przypadkach, gdy narzut kwantowy pozostaje niewielki.

Ten pakiet nadaje się do estymacji wartości oczekiwanych ogólnych obwodów kwantowych i obserwabli Pauliego. Jednak w przypadku obwodów o wysokiej „magii” (bardzo niecliffordowskich) błąd obserwabli wynikający z obcinania prawdopodobnie stanie się nie do przyjęcia, zanim obserwabla zostanie propagowana przez znaczną część obwodu. W przypadku obwodów bliskich cliffordowskim możliwe jest propagowanie przez znacznie większą część obwodu przy względnie małych granicach błędu.

Pierwsze kroki

Prosty przewodnik, który pomoże Ci szybko zacząć pracę z tym pakietem, znajdziesz w przewodniku szybkiego startu.

Przykłady zastosowań

Technikę tę wykorzystano do implementacji obwodów Trottera o mniejszej głębokości dla ewolucji w czasie dwuwymiarowego modelu spinowego [1].

Omówienie techniczne

• Jeden punkt wejścia: funkcja backpropagate wykonuje OBP.

• Dwie niezależne kontrole kompromisu między głębokością a dokładnością:

  • OperatorBudget ogranicza, jak duża może się stać obserwabla w trakcie propagacji wstecznej.

  • TruncationErrorBudget ogranicza, jaki błąd może zostać wprowadzony w trakcie propagacji wstecznej.

• Skuteczność zależy od tego, jak cliffordowski jest obwód: w przypadku obwodów o wysokiej „magii” (tj. bardzo niecliffordowskich) składniki dodawane do obserwabli mają zwykle większe współczynniki, więc błąd obcinania narasta wcześniej, co ogranicza oszczędność głębokości przy stałym budżecie błędu. Obwody bliskie cliffordowskim można obcinać agresywniej i propagować wstecznie głębiej przy tym samym budżecie.

• W pełni introspekcyjne: każde uruchomienie zwraca obiekt OBPMetadata zapisujący liczby składników Pauliego w każdej warstwie, liczby grup QWC oraz skumulowany błąd obcinania, wraz z pomocnikami plot_* do wizualizacji wzrostu operatora i błędu względem głębokości obwodu — przydatne do strojenia budżetów przed zużyciem czasu QPU.

Współtworzenie

Przewodnik dla programistów znajduje się w pliku CONTRIBUTING.md w katalogu głównym repozytorium tego projektu. Uczestnicząc, zobowiązujesz się przestrzegać kodeksu postępowania Qiskit.

Do śledzenia próśb i błędów używamy zgłoszeń GitHub.

Cytowanie tego pakietu

Jeśli używasz tego pakietu w swoich badaniach, skorzystaj z pliku CITATION.bib w repozytorium tego projektu, aby zacytować odpowiednie źródła.

Licencja

Apache License 2.0

Polityka wycofywania

Ten pakiet stosuje wersjonowanie semantyczne. Czasami możemy wprowadzać zmiany łamiące zgodność, aby poprawić doświadczenie użytkownika. Gdy to możliwe, zachowamy stare interfejsy i oznaczymy je jako wycofane, o ile mogą współistnieć z nowymi. Każde istotne ulepszenie, zmiana łamiąca zgodność lub wycofanie zostanie opisane w informacjach o wydaniu.

Bibliografia

1. 2. Fuller et al., “Improved quantum computation using operator backpropagation,” npj Quantum Inf. 12, 51 (2026). [arXiv]