3.2.4 Kontrollierte Operationen
Um über Produktzustände hinauszugehen, brauchen wir eine Operation, die es uns erlaubt, dass zwei Quantenbits interagieren. Wie zuvor (s. Gl. 2.32 für probabilistische Bits) werden wir eine kontrollierte NOT-Operation hierfür werden, welche wir in Analogie zu Gl. 3.19 und 3.20 definieren:
oder knapper:
D.h., wenn die Operation auf Basiszustände angewendet wird, schaltet diese das zweite Qubit um (sprich ändert den Wert von 0 auf 1 und umgekehrt) je nach dem Wert des ersten Qubits. Wir können auch die Operation definieren, welche das zweite Qubit als Kontrollwert nimmt und das erste Qubit als Ziel.
Wie immer können wir diese Formeln mittels Linearität auf beliebige Zwei-Qubit Zustände erweitern.
In Quirky kannst du eine kontrollierte NOT-Operation für Quantenbits in der gleichen Art und Weise bilden, wie du es bereits für gewöhnliche Bits gelernt hast – siehe Abschnitt 3.1.6, falls du dich nicht erinnerst.
Viele der Dinge, die wir für probabilistische Bits bewiesen haben sind immer noch richtig für Quantenbits. Zum Beispiel erlaubt dir deine Lösung für 3.2 auch zwei Qubits zu tauschen! Ein weiteres Beispiel hierfür ist die Tatsache, dass das Ausführen der gleichen kontrollierten NOT-Operation zweimal hintereinander nichts bewirkt. Zum Beispiel ist dies der Fall für , weil
da für jedes . Als Konsequenz daraus, ist die kontrollierte NOT-Operation die Inverse zu sich selbst:
wobei die inverse Operation zu bezeichnet (s. Abschnitt 2.4.2).
Wenn du ein bisschen mit Quirky herumspielst, wirst du vielleicht bereits erkannt haben, dass du mit beliebigen Ein-Qubit Operationen kombinieren kannst, nicht nur mit der NOT-Operation. Tatsächlich können wir die kontrollierte -Operation für jede Ein-Qubit Operation definieren. Wir bezeichnen diese als und , je nachdem welches Qubit das Kontrollbit und welches das Zielbit ist. Zum Beispiel ist wie folgt auf den vier Basiszuständen definiert:
Du kannst leicht überprüfen, dass wir für wieder erhalten.