Operação Rx
Nome totalmente qualificado: Std.Intrinsic.Rx
operation Rx(theta : Double, qubit : Qubit) : Unit is Adj + Ctl
Resumo
Aplica uma rotação sobre o eixo xpor 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_x(\theta) \mathrel{:=} e^{-i \theta \sigma_x/2} = \begin{bmatrix} \cos \frac{\theta}{2} & -i\sin \frac{\theta}{2} \\ -i\sin \frac{\theta}{2} & \cos \frac{\theta}{2} \end{bmatrix}. \end{align} $$
Equivalente a:
R(PauliX, theta, qubit);