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
.