Operação R1

Nome totalmente qualificado: Std.Intrinsic.R1

operation R1(theta : Double, qubit : Qubit) : Unit is Adj + Ctl

Resumo

Aplica uma rotação em torno do estado |1⟩ por um dado ângulo.

Entrada

Theta

Ângulo em torno do qual o qubit deve ser rodado.

qubit

Qubit ao qual o portão deve ser aplicado.

Remarks

$$ \begin{align} R_1(\theta) \mathrel{:=} \operatorname{diag}(1, e^{i\theta}). \end{align} $$

Equivalente a:

R(PauliZ, theta, qubit);
R(PauliI, -theta, qubit);