Operação M
Nome totalmente qualificado: Std.Intrinsic.M
operation M(qubit : Qubit) : Result
Resumo
Executa uma medição de um único qubit na base de Pauli
Entrada
Qubit
Qubit a ser medido.
Realização
Zero
se o autovalor +1 for observado e One
se o autovalor -1 for observado.
Comentários
O resultado da saída é dado pela distribuição $$ \begin{align} \Pr(\texttt{Zero} | \ket{\psi}) = \braket{\psi | 0} \braket{0 | \psi}. \end{align} $$
Equivalente a:
Measure([PauliZ], [qubit]);