Operazione M

Nome completo: Std.Intrinsic.M

operation M(qubit : Qubit) : Result

Sommario

Esegue una misura di un singolo qubit nella base Pauli Z.

Immissione

Qubit

Qubit da misurare.

Prodotto

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

Osservazioni

Il risultato dell'output viene fornito dalla distribuzione $$ \begin{align} \Pr(\texttt{Zero} | \ket{\psi}) = \braket{\psi | 0} \braket{0 | \psi}. \end{align} $$

Equivalente a:

Measure([PauliZ], [qubit]);