中俄数学研究生讨论班——Simulation of stabilizer quantum circuits and their reduction to classical Boolean circuits
报告人：Vsevolod Yashin (MIAN)
时间：2026-03-20 17:00-18:00
地点：智华楼四元厅
Abstract：Modern quantum computers suffer from noises, that is why a lot of effort is put in the theory of quantum error-correcting codes. Protocols of quantum fault-tolerance widely use a subclass of quantum computational processes called stabilizer circuits. Stabilizer circuits are most prone to error correction, they are capable of generating quantum entanglement, but they are also classically simulable.The general theory of stabilizer circuits and their classical simulation, in addition to practical significance to error-correction, turns out to have close connection with wide range of topics, such as: Boolean circuits, Boolean linear algebra, projective representations of abelian groups and their cohomology, linear optics, and theories of reference frames and hidden variable models from quantum foundations.
