Лекция 5. Симулирование стабилизаторных схем методом стабилизаторных табло

На этой Лекции мы обсудили применение метода стабилизаторных табло для слабой и сильной симуляции стабилизаторных схем. Каждому состоянию удобно сопоставить расширенное стабилизаторное табло, при этом существует свобода с точностью до построчных операций и выбора дестабилизаторов. Такое представление состояний занимает $\mathcal{O}(n^2)$ памяти. Действие локальных вентилей на стабилизаторное табло описывается операциями на столбцах, занимает время $\mathcal{O}(n)$. Измерение Паули-наблюдаемой может давать либо детерминированный, либо равномерно случайный исход, и занимает время $\mathcal{O}(n^2)$. Разобравшись, как работают эти операции в стабилизаторном формализме, можно проводить как и слабую и сильную симуляцию стабилизаторных схем.