ProductFormula

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

Bases: EvolutionSynthesis

Product formula base class for the decomposition of non-commuting operator exponentials.

LieTrotter and SuzukiTrotter inherit from this class.

Parameters

• order (int(opens in a new tab)) – The order of the product formula.
• reps (int(opens in a new tab)) – The number of time steps.
• insert_barriers (bool(opens in a new tab)) – Whether to insert barriers between the atomic evolutions.
• cx_structure (str(opens in a new tab)) – How to arrange the CX gates for the Pauli evolutions, can be "chain", where next neighbor connections are used, or "fountain", where all qubits are connected to one. This only takes effect when atomic_evolution is None.
• atomic_evolution (Callable[[Pauli |SparsePauliOp, float(opens in a new tab)], QuantumCircuit] | Callable[[QuantumCircuit, Pauli |SparsePauliOp, float(opens in a new tab)], None] | None) – A function to apply the evolution of a single Pauli, or SparsePauliOp of only commuting terms, to a circuit. The function takes in three arguments: the circuit to append the evolution to, the Pauli operator to evolve, and the evolution time. By default, a single Pauli evolution is decomposed into a chain of CX gates and a single RZ gate. Alternatively, the function can also take Pauli operator and evolution time as inputs and returns the circuit that will be appended to the overall circuit being built.
• wrap (bool(opens in a new tab)) – Whether to wrap the atomic evolutions into custom gate objects. This only takes effect when atomic_evolution is None.

Attributes

settings

Methods

synthesize