Symphase: Phase symbolization for fast simulation of stabilizer circuits

W Fang, M Ying - Proceedings of the 61st ACM/IEEE Design Automation …, 2024 - dl.acm.org
This paper proposes an efficient stabilizer circuit simulation algorithm that only traverses the
circuit forward once. We introduce phase symbolization into stabilizer generators, which …