Skip to content

non clifford to U3

RewriteNonCliffordToU3

Bases: RewriteRule


              flowchart TD
              bloqade.squin.rewrite.non_clifford_to_U3.RewriteNonCliffordToU3[RewriteNonCliffordToU3]

              

              click bloqade.squin.rewrite.non_clifford_to_U3.RewriteNonCliffordToU3 href "" "bloqade.squin.rewrite.non_clifford_to_U3.RewriteNonCliffordToU3"

Rewrite non-Clifford gates to U3 gates.

This rewrite rule transforms specific non-Clifford single-qubit gates into equivalent U3 gate representations. The following transformations are applied: - T gate (with adjoint attribute) to U3 gate with parameters (0, 0, ±π/4) - Rx gate to U3 gate with parameters (angle, -π/2, π/2) - Ry gate to U3 gate with parameters (angle, 0, 0) - Rz gate is U3 gate with parameters (0, 0, angle)

This rewrite should be paired with U3ToClifford to canonicalize the circuit.