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 sobre o eixo Pauli especificado.

Entrada

Pauli

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

theta

Ângulo em radianos sobre os quais o qubit deve ser girado.

qubit

Qubit ao qual a porta deve ser aplicada.

Observações

$$ \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, essa operação aplica uma fase global . Essa fase pode ser significativa quando usada com o functor Controlled.