Metingbewerking
Volledig gekwalificeerde naam: Std.Intrinsic.Measure
operation Measure(bases : Pauli[], qubits : Qubit[]) : Result
Samenvatting
Voert een gezamenlijke meting uit van een of meer qubits in de opgegeven Pauli-bases.
Als de basismatrix en qubitmatrix verschillende lengten hebben, mislukt de bewerking.
Invoer
Bases
Matrix van pauli-waarden met één qubit die de tensor-productfactoren voor elke qubit aangeeft.
qubits
Registratie van qubits die moeten worden gemeten.
Uitvoer
Zero
als de +1 eigenwaarde wordt waargenomen en One
als de -1 eigenwaarde wordt waargenomen.
Opmerkingen
De kans op het ophalen van Zero
is $\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$ waarbij $P_i$ het $i$-th-element van bases
is en waarbij $N$ het Length(bases)
is.
Dat wil gezegd: meting retourneert een Result
$d$ zodanig dat de eigenwaarde van het waargenomen meeteffect $(-1)^d$ is.