Аннотация:
Формализм стабилизаторов был первоначально введен для описания квантовых кодов коррекции ошибок, но теперь играет множество различных ролей в квантовой информации и квантовых вычислениях. Ключевая идея этого формализма заключается в том, что квантовые состояния могут быть представлены операторами, которые их стабилизируют. Квантовая система полностью описывается квантовым состоянием, которое рассматривается как математический объект. Описание квантовых состояний — сложная задача, поскольку нам требуется экспоненциально много параметров по отношению к числу кубитов. Формализм стабилизаторов — мощный инструмент для описания значительного класса запутанных состояний. В этом докладе мы обсудим различные аспекты этого формализма в процессе измерения, обнаружения запутанности, коррекции ошибок, связи и вычислений. Этот доклад основан на статье: https://m.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=front&paperid=1&option_lang=rus
