SuzukiTrotter

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

Basen: ProductFormula

Die Suzuki-Trotter-Produktformel (höherer Ordnung).

Die Suzuki-Trotter-Formeln verbessern den Fehler der Lie-Trotter-Approximation. Die Zerlegung zweiter Ordnung ist zum Beispiel

Zerlegungen höherer Ordnung beruhen auf Rekursionen, siehe Ref. [1] für weitere Einzelheiten.

In dieser Implementierung werden die Operatoren als Summenterme eines Pauli-Operators bereitgestellt. Bei der Suzuki-Trotter-Zerlegung zweiter Ordnung nähern wir uns zum Beispiel an

Referenzen

[1] : D. Berry, G. Ahokas, R. Cleve und B. Sanders, "Effiziente Quantenalgorithmen für die Simulation von spärlichen Hamiltonianern" (2006). arXiv:quant-ph/0508139 [2] : N. Hatano und M. Suzuki, "Finden von Exponentialproduktformeln höherer Ordnungen" (2005). arXiv:math-ph/0506007

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 Verbindungen der nächsten Nachbarn 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. Dies wird nur wirksam, wenn atomic_evolution is None.
• 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.

Erhöht

ValueError - Wenn die Bestellung nicht einmal

Attribute

settings

Methoden

expand

("X", [0], t), ("ZZ", [0, 1], 2t), ("X", [0], t)

synthesize