Operasi R1Frac

Nama yang sepenuhnya memenuhi syarat: Std.Intrinsic.R1Frac

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

Ringkasan

Menerapkan rotasi tentang status $|1⟩$ oleh sudut yang ditentukan sebagai pecahan dyadic.

PERINGATAN: Operasi ini menggunakan konvensi tanda berlawanan dari Microsoft.Quantum.Intrinsic.R.

Pembilang dalam representasi fraksi dyadik dari sudut di mana qubit akan diputar. Sudut ini dinyatakan dalam radian.

Kekuatan dua menentukan penyebut sudut di mana qubit akan diputar. Sudut ini dinyatakan dalam radian.

Qubit tempat gerbang harus diterapkan.

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

Setara dengan:

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