Explicit lower bounds on strong simulation of quantum circuits in terms of $T$-gate count.

Cupjin Huang Michael Newman Mario Szegedy

Published in: CoRR (2019)

Keyphrases

lower bound
upper bound
quantum computing
branch and bound algorithm
quantum mechanics
mathematical model
logic circuits
logic synthesis
objective function
control system
co occurrence
digital circuits