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 eixoz por um determinado ângulo.

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);