Operação Rz
Nome totalmente qualificado: Std.Intrinsic.Rz
operation Rz(theta : Double, qubit : Qubit) : Unit is Adj + Ctl
Resumo
Aplica uma rotação sobre o eixo
Entrada
theta
Ângulo sobre o qual o qubit deve ser girado.
qubit
Qubit ao qual a porta deve ser aplicada.
Observações
$$ \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);