Operación Rz
Nombre completo: Std.Intrinsic.Rz
operation Rz(theta : Double, qubit : Qubit) : Unit is Adj + Ctl
Resumen
Aplica un giro sobre la zeje por un ángulo determinado.
Entrada
theta
Ángulo sobre el que se va a girar el cúbit.
cúbit
Cúbit al que se debe aplicar la puerta.
Observaciones
$$ \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} $$
Equivalente a:
R(PauliZ, theta, qubit);