.png){kind=icon}
Return
Simulating Quantum Circuits by Model Counting
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-65633-0_25.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
AbstractQuantum circuit compilation comprises many computationally hard reasoning tasks that lie inside #$${\textsf{P}}$$Pand its decision counterpart in $${\textsf{PP}}$$PP. The classical simulation of universal quantum circuits is a core example. We show for the first time that a strong simulation of universal quantum circuits can be efficiently tackled through weighted model counting by providing a linear-length encoding of Clifford+Tcircuits. To achieve this, we exploit the stabilizer formalism by Knill, Gottesmann, and Aaronson by reinterpreting quantum states as a linear combination of stabilizer states. With an open-source simulator implementation, we demonstrate empirically that model counting often outperforms state-of-the-art simulation techniques based on the ZX calculus and decision diagrams. Our work paves the way to apply the existing array of powerful classical reasoning tools to realize efficient quantum circuit compilation; one of the obstacles on the road towards quantum supremacy.
Journal
No journal information available
Organization
No organization information available
Cited Papers
No cited papers available