Rz operation
Fully qualified name: Std.Intrinsic.Rz
operation Rz(theta : Double, qubit : Qubit) : Unit is Adj + Ctl
Summary
Applies a rotation about the z-axis by a given angle.
Input
theta
Angle about which the qubit is to be rotated.
qubit
Qubit to which the gate should be applied.
Remarks
$$ \begin{align} R_z(\theta) \mathrel{:=} e^{-i \theta \sigma_z / 2} = \begin{bmatrix} e^{-i \theta / 2} & 0 \\ 0 & e^{i \theta / 2} \end{bmatrix}. \end{align} $$
Equivalent to:
R(PauliZ, theta, qubit);