LitinskiTransformation

class qiskit.transpiler.passes.LitinskiTransformation(*args, **kwargs)

Bases: TransformationPass

Applies Litinski transform to a circuit.

The transform applies to a circuit containing Clifford, single-qubit $R_Z$-rotation gates (including $T$ and $T^\dagger$), and standard $Z$-measurements, and moves Clifford gates to the end of the circuit. In the process, it transforms $R_Z$-rotations to Pauli product rotations, and $Z$-measurements to Pauli product measurements.

The pass supports all of the Clifford gates in the list returned by get_clifford_gate_names():

["id", "x", "y", "z", "h", "s", "sdg", "sx", "sxdg", "cx", "cz", "cy", "swap","iswap", "ecr", "dcx"]

The list of supported $R_Z$-rotations is:

["t", "tdg", "rz"]

Example:

from qiskit import generate_preset_pass_manager
from qiskit.circuit import QuantumCircuit
from qiskit.transpiler.passes import LitinskiTransformation

litinski = LitinskiTransformation(fix_clifford=False, use_ppr=True)

rz_basis = ["rz", "h", "x", "cx"]
pm = generate_preset_pass_manager(basis_gates=rz_basis)
pm.optimization.append(litinski)

qc = QuantumCircuit(3, 1)
qc.h(0)
qc.rz(1.23, 0)
qc.cx(0, 1)
qc.t(1)
qc.cx(1, 2)
qc.measure(2, 0)

pbc = pm.run(qc)

References:

[1] Litinski. A Game of Surface Codes. Quantum 3, 128 (2019)

Parameters

• fix_clifford – If False (non-default), the returned circuit contains only PauliEvolution gates, with the final Clifford gates omitted. Note that in this case the operators of the original and synthesized circuits will generally not be equivalent.
• insert_barrier – If True and fix_clifford=True, insert a barrier between the circuit and the final cliffords. This argument has no effect if fix_clifford=False.
• use_ppr – If True, use PauliProductRotationGate to represent the Pauli rotation gates. This is encouraged to improve performance using a fully Rust-backed path. If False or None, use PauliEvolutionGate.

Attributes

is_analysis_pass

is_transformation_pass

Methods

execute

name

run

update_status