Operação de medição
Nome totalmente qualificado: Std.Intrinsic.Measure
operation Measure(bases : Pauli[], qubits : Qubit[]) : Result
Resumo
Executa uma medição conjunta de um ou mais qubits nas bases Pauli especificadas.
Se a matriz base e a matriz qubit tiverem comprimentos diferentes, a operação falhará.
Entrada
Bases
Matriz de valores Pauli de qubit único indicando os fatores de produto tensor em cada qubit.
Qubits
Registo de qubits a medir.
Realização
Zero
se o autovalor +1 for observado e One
se o autovalor -1 for observado.
Comentários
A probabilidade de obter Zero
é $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$ onde $P_i$ é o $i$-th elemento de bases
e onde $N$ é o Length(bases)
.
Ou seja, a medição retorna um Result
$d$ tal que o autovalor do efeito de medição observado é $(-1)^d$.