Å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 basesoch där $N$ är Length(bases). Mätningen returnerar alltså en Result $d$ så att den observerade mäteffektens eigenvalue är $(-1)^d$.