Operazione AssertMeasurementProbability

Articolo
02/09/2024

Avviso

Questa documentazione si riferisce al QDK classico, che è stato sostituito dal QDK moderno.

https://aka.ms/qdk.api Vedere la documentazione dell'API per QDK moderno.

Spazio dei nomi: Microsoft.Quantum.Diagnostics

Pacchetto: Microsoft.Quantum.QSharp.Foundation

Asserisce che la misurazione dei qubit specificati nella base Pauli specificata avrà il risultato dato con la probabilità specificata, entro una certa tolleranza.

operation AssertMeasurementProbability (bases : Pauli[], qubits : Qubit[], result : Result, prob : Double, msg : String, tolerance : Double) : Unit is Adj + Ctl

Input

bases : Pauli[]

Effetto di misurazione per asserire la probabilità di, espressa come operatore Pauli multi-qubit.

qubit: Qubit[]

Registro in cui creare l'asserzione.

result : Risultato

Risultato previsto di Measure(bases, qubits).

prob : Double

Probabilità con cui è previsto il risultato specificato.

msg : Stringa

Messaggio da segnalare se l'asserzione non riesce.

tolerance : Double

Tolleranza consentita nella probabilità di misurazione.

Output : unità

Esempio

using (register = Qubit()) {
    H(register);
    AssertMeasurementProbability([PauliZ], [register], One, 0.5,
        "Measuring in conjugate basis did not give 50/50 results.", 1e-5);
}

Commenti

Si noti che le versioni adiacenti e controllate di questa operazione non verificheranno la condizione.

Share via