SubstitutePi4Rotations

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

ベース： TransformationPass

角度が $\pi/4$ の整数倍である回転ゲートを、クリフォードゲート、 TGate および TdgGate ゲートの離散集合に変換する。

単一量子ビットの回転ゲート（RXGate, RYGate, RZGate, PhaseGate）および2量子ビットの回転ゲート（RXXGate, RYYGate, RZZGate, RZXGate）について、角度が $\pi/4$ の倍数である場合、その分解には単一の TGate または TdgGate ゲートに加え、いくつかのクリフォードゲートが必要となる。 2量子ビットの制御回転ゲート（CPhaseGate, CRXGate, CRYGate, CRZGate）について、角度が $\pi/2$ の倍数である場合、その分解には CPhaseGate 、の場合には3つの TGate または TdgGate ゲートが必要であり、それ以外の場合は2つが必要となるほか、いくつかのクリフォードゲートも必要となる。なお、 $\pi/4$ （制御回転の場合は $\pi/2$ ）の倍数、あるいは同等の $\pi/2$ （制御回転の場合は $\pi$ ）の整数倍であっても、クリフォードゲートのみを用いて記述できることに注意されたい。

例:

from qiskit.circuit import QuantumCircuit
from qiskit.transpiler.passes import SubstitutePi4Rotations
from qiskit.quantum_info import Operator

# The following quantum circuit consists of 5 Clifford gates,
# four rotation gates whose angles are integer multiples of pi/4,
# and one controlled rotation gate whose angle is an integer multiple of pi/2

qc = QuantumCircuit(3)
qc.cx(0, 1)
qc.rz(pi/4, 0)
qc.cz(0, 1)
qc.rx(3*pi/4, 1)
qc.h(1)
qc.s(2)
qc.ry(2*pi/4, 2)
qc.cz(2, 0)
qc.rzz(pi/4, 0, 2)
qc.cry(3*pi/2, 2, 1)

# The transformed circuit consists of Clifford, T and Tdg gates
qct = SubstitutePi4Rotations()(qc)
clifford_t_names = get_clifford_gate_names() + ["t"] + ["tdg"]
assert(set(qct.count_ops().keys()).issubset(set(clifford_t_names)))

# The circuits before and after the transformation are equivalent
assert Operator(qc) == Operator(qct)