Operação R1Frac

Nome totalmente qualificado: Std.Intrinsic.R1Frac

operation R1Frac(numerator : Int, power : Int, qubit : Qubit) : Unit is Adj + Ctl

Resumo

Aplica uma rotação sobre o estado $|1⟩$ por um ângulo especificado como uma fração dyadic.

AVISO: esta operação usa a convenção de assinatura oposta do Microsoft.Quantum.Intrinsic.R.

Numerador na representação de fração dyadic do ângulo pelo qual o qubit deve ser girado. Esse ângulo é expresso em radianos.

Potência de dois especificando o denominador do ângulo pelo qual o qubit deve ser girado. Esse ângulo é expresso em radianos.

Qubit ao qual a porta deve ser aplicada.

$$ \begin{align} R_1(n, k) \mathrel{:=} \operatorname{diag}(1, e^{i \pi n / 2^k}). \end{align} $$

Equivalente a:

RFrac(PauliZ, -numerator, denominator + 1, qubit);
RFrac(PauliI, numerator, denominator + 1, qubit);