Аннотация:
На этой Лекции мы изучаем алгебраические свойства группы Паули и стабилизаторных подгрупп для случая кубитов. Группа Паули достаточно проста для описания, можно считать её “абелевой” с точностью до фаз. Любые два оператора Паули либо коммутируют, либо антикоммутируют; не-тождественные операторы Паули имеют нулевой след. Стабилизаторной подгруппой в группе Паули называют абелеву подгруппу, состоящую из самосопряжённых элементов и не содержащую $-I$. Стабилизаторные подгруппы подождаются набором генераторов, выбор которых определяет стабилизаторное табло. Максимальные стабилизаторные группы порождают важный класс стабилизаторных состояний.
