Симуляция стабилизаторных квантовых схем и переписывание в классические схемы

Теорема Готтесмана-Нилла утверждает, что стабилизаторные схемы эффективно симулируются на классических компьютерах. Мы обсудим конкретный метод сведения стабилизаторных схем к классическим. Зафиксировав набор правил переписывания квантовых операций в классические, мы построим неконтекстуальную модель скрытых переменных для стабилизаторных схем класса Калдербанка-Шора-Стина. Для произвольных стабилизаторных схем, неконтекстуальных моделей не существует. Мы введём формализм систем отсчёта, основанный на теории квадратичных форм, позволяющий построить модель скрытых переменных для стабилизаторных операций, зависящих от контекста.