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

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