Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
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$.