Opération de mesure

Nom complet : Std.Intrinsic.Measure

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

Résumé

Effectue une mesure conjointe d’un ou plusieurs qubits dans les bases Pauli spécifiées.

Si le tableau de base et le tableau qubit sont de longueurs différentes, l’opération échoue.

Entrée

Bases

Tableau de valeurs Pauli à qubit unique indiquant les facteurs de produit deensoriel sur chaque qubit.

qubits

Registre des qubits à mesurer.

Sortie

Zero si la valeur propre +1 est observée et One si la valeur propre -1 est observée.

Remarques

La probabilité d’obtenir Zero est $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes \otimes P_{N-1}}{2} \ket{\psi}$ où $P_i$ est l’élément $i$-th de bases, et où $N$ est le Length(bases). Autrement dit, la mesure retourne un Result $d$ de sorte que la valeur propre de l’effet de mesure observé est $(-1)^d$.