FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
arXiv:2509.08276 · doi:10.1007/978-3-031-98685-7_2
Abstract
Applications of decision diagrams in quantum circuit analysis have been an active research area. Our work introduces FeynmanDD, a new method utilizing standard and multi-terminal decision diagrams for quantum circuit simulation and equivalence checking. Unlike previous approaches that exploit patterns in quantum states and operators, our method explores useful structures in the path integral formulation, essentially transforming the analysis into a counting problem. The method then employs efficient counting algorithms using decision diagrams as its underlying computational engine. Through comprehensive theoretical analysis and numerical experiments, we demonstrate FeynmanDD's capabilities and limitations in quantum circuit analysis, highlighting the value of this new BDD-based approach.
26 pages, 2 figures, 7 tables. Published in the Proceedings of CAV 2025. Code available at https://github.com/cqs-thu/feynman-decision-diagram
References in corpus (5)
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Exact synthesis of multiqubit Clifford+T circuits
- Equivalence Checking of Quantum Circuits with the ZX-Calculus
- Quantum circuits and low-degree polynomials over F_2
- Simulating Quantum Circuits by Model Counting