Я, вероятно, просто застрял на чем-то очень простом, но у меня возникли проблемы с пониманием предпосылки упражнения 10.40 в Nielsen & Chuang. Полная информация об упражнении не важна для моего вопроса. Соответствующая часть такова:
Предполагать является кубитные ворота в такой, что и для некоторых . [Здесь, это группа Паули на кубиты и является нормализатором этой группы.] Определить на кубиты по .
Теперь, предположительно, это оператор унитарный, но я не могу понять, почему это обязательно верно.
Писать
Эмилио Писанти