Operazione di misura

Nome completo: Std.Intrinsic.Measure

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

Sommario

Esegue una misurazione congiunta di uno o più qubit nelle basi Pauli specificate.

Se la matrice di base e la matrice di qubit sono lunghezze diverse, l'operazione avrà esito negativo.

Immissione

Basi

Matrice di valori Pauli a qubit singolo che indica i fattori del prodotto tensore in ogni qubit.

qubit

Registro dei qubit da misurare.

Prodotto

Zero se viene osservato l'eigenovalore +1 e One se viene osservato il -1 eigenvalue.

Osservazioni

La probabilità di ottenere Zero è $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$ dove $P_i$ è l'elemento $i$-th di basese dove $N$ è il Length(bases). Ovvero, la misurazione restituisce un Result $d$ in modo che l'eigenvalue dell'effetto di misurazione osservato sia $(-1)^d$.