Quantum Simulation Beyond Stabilizer Formalism

TL;DRAbstract

Abstract : This is the final report for a one-year project on Quantum Circuit Simulation Beyond the Stabilizer Formalism. The project included the development of new mathematical and algorithmic concepts for the efficient simulation of quantum circuits and their implementation in software. In particular, the algorithms we develop extend the stabilizer formalism for simulating a restricted set of quantum circuits - the extensions apply to any given quantum circuit, but computational cost may be significant. Our research therefore put special emphasis on ensuring computational efficiency. The software we developed provided infrastructure for compiling quantum programs into quantum circuits, which can then be simulated.

Chat with Paper

AI Agents for this Paper