Probleme beim Verständnis der Nielsen & Chuang-Übung

Ich stecke wahrscheinlich nur bei etwas sehr Einfachem fest, aber ich habe Probleme, eine Prämisse von Übung 10.40 in Nielsen & Chuang zu verstehen. Die vollständigen Details der Übung sind für meine Frage nicht wichtig. Der relevante Teil ist dieser:

Vermuten U ist ein N + 1 Qubit-Gate ein N ( G N + 1 ) so dass U Z 1 U = X 1 G Und U X 1 U = Z 1 G ' für einige G , G ' G N . [Hier, G N ist die Pauli-Gruppe an N Qubits und N ( G N ) ist der Normalisierer dieser Gruppe.] Define U ' An N Qubits durch U ' | ψ := 2 0 | U ( | 0 | ψ ) .

Nun, vermutlich das U ' Operator ist einheitlich, aber ich kann nicht herausfinden, warum dies unbedingt wahr ist.

Willkommen auf der Seite! Für mich sieht das nach einer guten Frage aus, aber Sie sollten trotzdem unsere Richtlinien für Fragen lesen, die aus festgelegten Übungen stammen . Auch etwas zusätzlicher Kontext (warum ist es nützlich, eine U mit diesen Eigenschaften?) würde nicht schaden.

Antworten (1)

Schreiben

U = 1 2 ( ICH 1 + Z 1 ) U 00 ' + 1 2 ( ICH 1 Z 1 ) U 11 ' + 1 2 ( X 1 + ich Y 1 ) U 01 ' + 1 2 ( X 1 ich Y 1 ) U 10 ' = ( U 00 ' U 01 ' U 10 ' U 11 ' )
Wo U ich J ' G N . In Bezug auf letzteres
U ' | Ψ = 2 0 | U | 0 Ψ = ( 2 U 00 ' ) | Ψ
während die Einheitlichkeit von U gibt
U 00 ' ( U 00 ' ) + U 01 ' ( U 01 ' ) = U 11 ' ( U 11 ' ) + U 10 ' ( U 10 ' ) = ICH N
und eine weitere Bedingung. Bedingung übersetzen U Z 1 U = X 1 G in ähnliche Beziehungen für die U ich J ' -s und erhalten Sie das
U 00 ' ( U 00 ' ) = U 01 ' ( U 01 ' ) = U 10 ' ( U 10 ' ) = U 11 ' ( U 11 ' ) = 1 2 ICH N
usw.