Algorithms - ESA 2008

Volume 5193 of the series Lecture Notes in Computer Science pp 720-731

Improved BDD Algorithms for the Simulation of Quantum Circuits

  • Vasilis SamoladasAffiliated withTechnical University of Crete

* Final gross prices may vary according to local VAT.

Get Access


In this paper we develop novel algorithms for the simulation of quantum circuits on classical computers. The most efficient techniques previously studied, represent both quantum state vectors and quantum operator matrices as Multi-Terminal Binary Decision Diagrams (MTBDDS). This paper shows how to avoid representing quantum operators as matrices. Instead, we introduce a class of quantum operators that can be represented more compactly using a symbolic, BDD-based representation. We propose algorithms that apply operators on quantum states, using the symbolic representation. Our algorithms are shown to have superior performance over previous techniques, both asymptotically and experimentally.