Backpropagation von Operatoren

Dieses Paket implementiert die Operator-Backpropagation (OBP) zur Reduzierung der Schaltungstiefe bei der Berechnung von Erwartungswerten. Bei dieser Technik wird eine Observable rückwärts durch die Gatter am Ende einer Quantenschaltung weitergeleitet, was zu einer flacheren Schaltung führt, allerdings auf Kosten einer Erhöhung der Messbasen für die Observablen. Je weiter ein Operator durch eine Schaltung zurückverfolgt wird, desto exponentieller wächst die Größe der Observable, was sowohl zu einem klassischen als auch zu einem quantenmechanischen Ressourcenaufwand führt. Bei einigen Schaltkreisen ist die resultierende Verteilung der Pauli-Observablen jedoch konzentrierter als die exponentielle Skalierung im ungünstigsten Fall, was bedeutet, dass einige Terme im Hamilton-Operator mit kleinen Koeffizienten weggelassen werden können, um den Quanten-Overhead zu reduzieren. Der dabei auftretende Fehler lässt sich steuern, um einen geeigneten Kompromiss zwischen Genauigkeit und Effizienz zu finden.

Es gibt verschiedene Möglichkeiten, die Operator-Backpropagation durchzuführen. Dieses Paket verwendet eine Methode, die auf der Clifford-Störungstheorie basiert. Diese hat den Vorteil, dass der durch die Backpropagation verschiedener Gatter entstehende Overhead davon abhängt, inwieweit das jeweilige Gatter nicht-Clifford-konform ist. Dies führt bei einigen Schaltkreisfamilien zu einer höheren Effizienz im Vergleich zu auf Tensornetzwerken basierenden Methoden für OBP, die derzeit selbst in Fällen, in denen der Quanten-Overhead gering bleibt, einen hohen klassischen Overhead aufweisen.

Dieses Paket eignet sich zur Schätzung von Erwartungswerten allgemeiner Quantenschaltungen und Pauli-Observablen; bei „High-Magic“-Schaltungen (die sehr stark von Clifford-Operatoren abweichen) wird der durch die Trunkierung verursachte Fehler der Observablen jedoch wahrscheinlich unzumutbar groß, noch bevor die Observable durch einen aussagekräftigen Teil der Schaltung propagiert wurde. Bei Near-Clifford-Schaltungen ist es unter Umständen möglich, die Signale über einen wesentlich größeren Teil der Schaltung weiterzuleiten und dabei relativ kleine Fehlergrenzen einzuhalten.

Einführung

Eine einfache Anleitung, die Ihnen den schnellen Einstieg in dieses Paket erleichtert, finden Sie im Schnellstart-Leitfaden.

Anwendungsfallbeispiele

Diese Technik wurde verwendet, um Trotter-Schaltungen mit geringerer Tiefe für die Zeitentwicklung eines „ 2D “-Spinmodells zu realisieren [1].

Fachliche Diskussion

• Ein einziger Einstiegspunkt: Die Funktion backpropagate führt OBP aus.

• Zwei unabhängige Steuerungsmöglichkeiten für den Kompromiss zwischen Tiefe und Genauigkeit:

  • OperatorBudget begrenzt, wie groß die Observable während der Rückpropagation werden darf.
  • TruncationErrorBudget begrenzt, wie groß der Fehler während der Rückpropagation sein darf.

• Die Effektivität hängt davon ab, wie Clifford-konform der Schaltkreis ist: Bei Schaltkreisen mit hoher Magie (d. h. sehr nicht-Clifford-konform) weisen die zur Observablen hinzugefügten Terme tendenziell größere Koeffizienten auf, sodass früher größere Abschneidefehler auftreten, was die Einsparungen bei der Schichtungstiefe bei einem festen Fehlerbudget begrenzt. Near-Clifford-Schaltungen lassen sich bei gleichem Budget stärker verkürzen und tiefer rückwärtsverbreiten.

• Vollständig introspektierbar: Jeder Durchlauf gibt ein Objekt OBPMetadata zurück, das die Pauli-Zählwerte pro Slice, die QWC-Gruppenzählwerte und den kumulierten Trunkierungsfehler aufzeichnet, zusammen mit plot_* Hilfsfunktionen zur Visualisierung des Operatorwachstums und des Fehlers in Abhängigkeit von der Schaltungstiefe – nützlich für die Optimierung von Budgets, bevor QPU-Zeit gebucht wird.

Beitrag

Das Entwicklerhandbuch befindet sich unter CONTRIBUTING.md im Stammverzeichnis des Repositorys dieses Projekts. Mit Ihrer Teilnahme verpflichten Sie sich, den Verhaltenskodex von Qiskit einzuhalten.

Wir nutzen GitHub -Tickets zur Erfassung von Anfragen und Fehlern.

Verweis auf dieses Paket

Wenn Sie dieses Paket in Ihrer Forschungsarbeit verwenden, nutzen Sie bitte die Datei „ CITATION.bib “ im Repository dieses Projekts, um die entsprechenden Quellen anzugeben.

Lizenz

Apache Lizenz 2.0

Richtlinie zur Veralterung von Funktionen

Dieses Paket folgt den Regeln der semantischen Versionierung. Gelegentlich nehmen wir möglicherweise Änderungen vor, die Kompatibilitätsprobleme verursachen, um die Benutzererfahrung zu verbessern. Soweit möglich, werden wir alte Schnittstellen beibehalten und sie als veraltet kennzeichnen, solange sie neben den neuen Schnittstellen bestehen bleiben können. Jede wesentliche Verbesserung, jede Änderung mit Kompatibilitätsproblemen und jede veraltete Funktion wird in den Versionshinweisen dokumentiert.

Referenzen

1. 2. Fuller et al., „ Verbesserte Quantenberechnung mittels Operator-Backpropagation “, npj Quantum Inf. 12, 51 (2026). [ arXiv ]