Operación de medida

Nombre completo: Std.Intrinsic.Measure

operation Measure(bases : Pauli[], qubits : Qubit[]) : Result

Resumen

Realiza una medición conjunta de uno o varios cúbits en las bases de Pauli especificadas.

Si la matriz base y la matriz de cúbits son longitudes diferentes, se producirá un error en la operación.

Entrada

Bases

Matriz de valores de Pauli de un solo cúbit que indican los factores del producto tensor en cada cúbit.

cúbits

Registro de cúbits que se van a medir.

Salida

Zero si se observa el valor propio +1 y One si se observa el valor propio -1.

Observaciones

La probabilidad de obtener Zero es $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$ donde $P_i$ es el $i$-th de bases, y donde $N$ es el Length(bases). Es decir, la medida devuelve un Result $d$ de modo que el valor propio del efecto de medición observado es $(-1)^d$.