Operasi pengukuran

Nama yang sepenuhnya memenuhi syarat: Std.Intrinsic.Measure

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

Ringkasan

Melakukan pengukuran bersama dari satu atau beberapa qubit dalam basis Pauli yang ditentukan.

Jika array dasar dan array qubit memiliki panjang yang berbeda, maka operasi akan gagal.

Masukan

Basis

Array nilai Pauli qubit tunggal yang menunjukkan faktor produk tensor pada setiap kubit.

qubit

Daftar qubit yang akan diukur.

Hasil

Zero jika eigenvalue +1 diamati, dan One jika eigenvalue -1 diamati.

Komentar

Probabilitas mendapatkan Zero adalah $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$ di mana $P_i$ adalah elemen $i$-th dari bases, dan di mana $N$ adalah Length(bases). Artinya, pengukuran mengembalikan Result $d$ sehingga eigenvalue dari efek pengukuran yang diamati adalah $(-1)^d$.