Аннотация:
Стабилизаторные схемы можно эффективно симулировать на классических компьютерах, при этом алгоритмы симуляции используют линейную алгебру над битовыми строками. На выступлении мы проясним связь между стабилизаторными вычислениями и линейной алгеброй: произвольные стабилизаторные операции можно представить как стабилизаторные табло, взятие композиции двух табло формулируется как задача о пересечении двух векторных подпространств. Поэтому, произвольную стабилизаторную схему можно переписать как диаграмму, а задача сильной симуляции схемы соответствует задаче свёртки этой диаграммы.
