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{array}{r}Pr(\mathtt{\text{Zero}}||\psi ⟩)=⟨\psi |0⟩⟨0|\psi ⟩.\end{array}$$

Equivalente a:

Measure([PauliZ], [qubit]);