Measure-Vorgang

Vollqualifizierter Name: Std.Intrinsic.Measure

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

Zusammenfassung

Führt eine gemeinsame Messung eines oder mehrerer Qubits in den angegebenen Pauli-Basen durch.

Wenn das Basisarray und das Qubit-Array unterschiedliche Längen aufweisen, schlägt der Vorgang fehl.

Eingabe

Basen

Array von Ein-Qubit-Pauli-Werten, die die Tensorproduktfaktoren auf jedem Qubit angeben.

Qubits

Register der zu messenden Qubits.

Ausgabe

Zero, wenn der Eigenwert +1 beobachtet wird, und One, wenn der -1 Eigenwert beobachtet wird.

Bemerkungen

Die Wahrscheinlichkeit, Zero zu erhalten, ist $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$ wobei $P_i$ das $i$-th-Element von basesist und wobei $N$ der Length(bases)ist. Das heißt, die Messung gibt einen Result $d$ zurück, sodass der Eigenwert des beobachteten Messeffekts $(-1)^d$ist.