Abhängige Korrekturen bei der messungsbasierten Universal Blind Quantum Computation

In Universal Blind Quantum Computation beschreiben die Autoren ein messungsbasiertes Protokoll, das es einem fast klassischen Benutzer ermöglicht, beliebige Berechnungen auf einem Quantenserver durchzuführen, ohne fast irgendetwas über den Inhalt der Berechnung preiszugeben.

In der Protokollbeschreibung erwähnen die Autoren jedem Qubit zugeordnete "Abhängigkeitssätze", die nach einer im Determinismus im Einwegmodell beschriebenen Methode berechnet werden sollen

Es ist mir jedoch nicht klar, wie diese Menge berechnet wird, wenn ich das Papier lese.

Kann jemand helfen, dieses Problem zu klären?

Sicher. Die Abhängigkeitssätze ergeben sich aus 'flow', was in dem Artikel, auf den Sie verlinken, tatsächlich beschrieben wird. Dies ist jedoch vielleicht übertrieben für das, was wir brauchen.

$q$$| \psi \rangle$$Z_q | \psi \rangle$$C$$Z_q \otimes C | \psi \rangle = | \psi \rangle$

$Z_q \otimes C$$+1$

$v$$G$$X_v \prod_{i\in\mbox{nbgh{v}}} Z_i$$\mbox{nbgh{v}}$$v$$G$$q$$Z_q$$X$$Z$ Korrekturen, die, wenn sie auf den Ausgangszustand angewendet werden, einen Zustand ergeben, der dem Ausgang des Prozesses entspricht, wenn das Messergebnis invertiert wurde.

$q$$q$$v$$q$$q$

Hoffentlich beantwortet dies Ihre Frage.

$Z$$X$$X$$X$$Z$