Åtgärd för mått
Fullständigt kvalificerat namn: Std.Intrinsic.Measure
operation Measure(bases : Pauli[], qubits : Qubit[]) : Result
Sammanfattning
Utför en gemensam mätning av en eller flera kvantbitar i de angivna Pauli-baserna.
Om basmatrisen och kvantbitsmatrisen är olika långa misslyckas åtgärden.
Inmatning
Baser
Matris med Pauli-värden med en kvantbit som anger tensorproduktfaktorerna för varje kvantbit.
qubits
Register över kvantbitar som ska mätas.
Utdata
Zero
om eigenvärdet +1 observeras och One
om -1 eigenvalue observeras.
Anmärkningar
Sannolikheten att få Zero
är $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$ där $P_i$ är $i$-th-elementet i bases
och där $N$ är Length(bases)
.
Mätningen returnerar alltså en Result
$d$ så att den observerade mäteffektens eigenvalue är $(-1)^d$.