Rz operation

Applies a rotation about the $z$-axis by a given angle.

\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}

operation Rz (theta : Double, qubit : Qubit) : Unit
Functors
Adjoint Controlled

Input

theta
Double

Angle about which the qubit is to be rotated.

qubit
Qubit

Qubit to which the gate should be applied.

Output

Unit

Remarks

Equivalent to:

R(PauliZ, theta, qubit);