Warum müssen Quantenlogikgatter lineare Operatoren sein? Ich meine, ist es nur eine Folge der Postulate der Quantenmechanik?
Angenommen, Sie wählen einen Staat aus zufällig mit Wahrscheinlichkeit und schicke es durch ein mit bezeichnetes Logikgatter . Dieser Zufallszustand wird als Dichtematrix geschrieben . Bezeichnen als Ergebnis der Bewerbung in einen bestimmten Zustand.
Nun, wenn die Eingabe ist mit Wahrscheinlichkeit , dann ist die Ausgabe auch mit Wahrscheinlichkeit . Somit muss der Ausgangszustand sein und deshalb
Einheitliche lineare Operatoren erhalten die Wahrscheinlichkeit. Der Verlust einer solchen Erhaltung macht Berechnungen mit der Quantenmechanik bedeutungslos.