David Gosset: Simulation of quantum circuits by low-rank stabilizer decompositions
A talk by David Gosset at the Workshop on Noisy Intermediate-Scale Quantum Technologies (NISQ), Day 2. NISQ was hosted June 6-7, 2019 by the Joint Center for Quantum Information and Computer Science at the University of Maryland (QuICS). More information about NISQ can be found at https://www.tqcconference.org.
Abstract: Recent work has explored using the stabilizer formalism to classically simulate quantum circuits containing a few non-Clifford gates. The computational cost of such methods is directly related to the notion of stabilizer rank, which for a pure state ψ is defined to be the smallest integer χ such that ψ is a superposition of χ stabilizer states. In this work we develop a mathematical theory of the stabilizer rank and the related approximate stabilizer rank. We also present a suite of classical simulation algorithms with broader applicability and significantly improved performance over the previous state-of-the-art. A new feature is the capability to simulate circuits composed of Clifford gates and arbitrary diagonal gates, extending the reach of a previous algorithm specialized to the Clifford+T gate set. This is joint work with Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, and Mark Howard (arXiv:1808.00128).