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 basese 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$.