Operação R

Nome totalmente qualificado: Std.Intrinsic.R

operation R(pauli : Pauli, theta : Double, qubit : Qubit) : Unit is Adj + Ctl

Resumo

Aplica uma rotação em torno do eixo de Pauli dado.

Entrada

Pauli

Operador de Pauli (μ) para ser exponenciado para formar a rotação.

Theta

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

qubit

Qubit ao qual o portão deve ser aplicado.

Remarks

$$ \begin{align} R_{\mu}(\theta) \mathrel{:=} e^{-i \theta \sigma_{\mu} / 2}, \end{align} $$ onde $\mu \in {I, X, Y, Z}$.

Quando chamada com pauli = PauliI, esta operação aplica uma fase global. Esta fase pode ser significativa quando usada com o Controlled funtor.