Skip to main content
IBM Quantum Platform

ProductFormula

class qiskit.synthesis.ProductFormula(order, reps=1, insert_barriers=False, cx_structure='chain', atomic_evolution=None, wrap=False, preserve_order=True, *, atomic_evolution_sparse_observable=False)

GitHub

Basen: EvolutionSynthesis

Produktformel-Basisklasse für die Zerlegung von nicht-kommutierenden Operator-Exponentialen.

LieTrotter und SuzukiTrotter von dieser Klasse erben.

Parameter

  • order (int) – Die Reihenfolge der Produktformel.
  • reps (int) – Die Anzahl der Zeitschritte.
  • insert_barriers (bool) – Ob Barrieren zwischen den atomaren Entwicklungen eingefügt werden sollen.
  • cx_structure (str) – Die Anordnung der CX-Gatter für die Pauli-Evolutionen kann entweder "chain" sein, wobei die nächsten Nachbarverbindungen verwendet werden, oder "fountain", wobei alle Qubits mit einem verbunden sind. Dies wird nur unter atomic_evolution is None wirksam.
  • Pauliatomic_evolution (Callable[[QuantumCircuit, qiskit.quantum_info.Pauli |SparsePauliOp, float], None] | None) – Eine Funktion, mit der die Entwicklung eines einzelnen Terms oder SparsePauliOp nur der kommutierenden Terme auf eine Schaltung angewendet wird. Die Funktion nimmt drei Argumente entgegen: den Schaltkreis, an den die Entwicklung angehängt werden soll, den zu entwickelnden Pauli-Operator und die Entwicklungszeit. Standardmäßig wird eine einzelne Pauli-Evolution in eine Kette von CX Gates und ein einzelnes RZ Gate zerlegt.
  • wrap (bool) – Ob die atomaren Entwicklungen in benutzerdefinierte Gate-Objekte verpackt werden sollen. Beachten Sie, dass die Einstellung True langsamer ist als False. Dies wird nur unter atomic_evolution is None wirksam.
  • preserve_order (bool) – Wenn False, können die Begriffe des Operators neu geordnet werden, um einen flacheren Evolutionskreislauf zu erhalten. Nicht relevant bei der Synthese von Operatoren mit einem einzigen Begriff.
  • atomic_evolution_sparse_observable (bool) – Wenn ein benutzerdefiniertes atomic_evolution übergeben wird, das noch keine Unterstützung für SparseObservables als Eingabe unterstützt, setzen Sie dieses Argument auf False , um automatisch eine Konvertierung in SparsePauliOp. Dieses Argument wird bis Qiskit 2.2 unterstützt. Ab diesem Zeitpunkt müssen alle atomaren Evolutionen SparseObservables als Eingabe unterstützen.

Attribute

settings

Rückgabe der Einstellungen in einem Wörterbuch, das zur Rekonstruktion des Objekts verwendet werden kann.

Rückgabe

Ein Wörterbuch, das die Einstellungen für diese Produktformel enthält.

Erhöht

NotImplementedError - Wenn eine benutzerdefinierte atomare Entwicklung festgelegt ist, die nicht serialisiert werden kann.


Methoden

expand

expand(evolution)

GitHub

Wenden Sie die Produktformel an, um den Hamiltonian im Evolutionstor zu erweitern.

Parameter

evolution (PauliEvolutionGate) – Die PauliEvolutionGate, dessen Hamiltonian wir erweitern.

Rückgabe

Eine Liste von Pauli-Drehungen in einem spärlichen Format, wobei jedes Element (paulistring, qubits, coefficient) ist. Zum Beispiel würde die Lie-Trotter-Erweiterung von H = XI + ZZ [("X", [1], 1), ("ZZ", [0, 1], 1)] ergeben.

Rückgabetyp

list[ tuple[ str, tuple[ int ], ParameterValueType ]]

synthesize

synthesize(evolution)

GitHub

Synthetisieren Sie ein PauliEvolutionGate.

Parameter

evolution (PauliEvolutionGate) – Das Evolutionstor zum Synthetisieren.

Rückgabe

Eine Schaltung, die die Entwicklung umsetzt.

Rückgabetyp

QuantumCircuit

War diese Seite hilfreich?
Melden Sie auf GitHub einen Fehler, einen Tippfehler oder fordern Sie Inhalte an.