О переписывании схем класса Калдербанка-Шора-Стина в классические схемы

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