測定操作

完全修飾名: Std.Intrinsic.Measure

operation Measure(bases : Pauli[], qubits : Qubit[]) : Result

概要

指定されたパウリ塩基内の1つ以上の量子ビットの関節測定を行う。

基底配列と量子ビット配列の長さが異なる場合、操作は失敗します。

インプット

拠点

各量子ビットのテンソル積係数を示す単一量子ビットパウリ値の配列。

量子ビット

測定する量子ビットのレジスタ。

アウトプット

Zero、+1 固有値が観察される場合は One し、-1 固有値が観察される場合は One。

備考

Zero を取得する確率は $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes \otimes P_{N-1}}{2} \ket{\psi}$ です。ここで、$P_i$ は basesの$i$番目の要素であり、$N$ は Length(bases)です。 つまり、測定は、観察された測定効果の固有値が $(-1)^d$ になるように、Result $d$ を返します。