Explicit lower bounds on strong simulation of quantum circuits in terms of -gate count
arXiv:1902.04764
Abstract
We investigate Clifford+ quantum circuits with a small number of -gates. Using the sparsification lemma, we identify time complexity lower bounds in terms of -gate count below which a strong simulator would improve on the state-of-the-art -SAT solving.
Combined with arxiv:1804.10368 and submitted for publication. Similar results have been obtained recently in arxiv:1901.01637 independently