Gate-level simulation of quantum circuits

Abstract

While thousands of experimental physicists and chemists are currently trying to build scalable quantum computers, it appears that simulation of quantum computation will be at least as critical as circuit simulation in classical VLSI design. However, since the work of Richard Feynman in the early 1980s little progress was made in practical quantum simulation. Most researchers focused on polynomial-time simulation of restricted types of quantum circuits that fall short of the full power of quantum computation [7].Simulating quantum computing devices and useful quantum algorithms on classical hardware now requires excessive computational resources, making many important simulation tasks infeasible. In this work we propose a new technique for gate-level simulation of quantum circuits which greatly reduces the difficulty and cost of such simulations. The proposed technique is implemented in a simulation tool called the Quantum Information Decision Diagram (QuIDD) and evaluated by simulating Grover's quantum search algorithm [8]. The back-end of our package, QuIDD Pro, is based on Binary Decision Diagrams, well-known for their ability to efficiently represent many seemingly intractable combinatorial structures. This reliance on a well-established area of research allows us to take advantage of existing software for BDD manipulation and achieve unparalleled empirical results for quantum simulation.

Reversible Arithmetic Logic Gate (ALG) for Quantum Computation

“…In recent days, research in the area of reversible logic has been intensified and accelerated by the promising results. As a result, besides verification [11][12][13], testing [14][15][16], simulation [17,18], optimization [19], and debugging [20] and synthesis of reversible circuits [7], approaches exploiting permutations and truth tables [21] are main research areas. Minimizing the number of garbage outputs and number of gates are the major concerns in reversible logic circuits and it is observed that proposed 4 input ALG gate achieves minimum garbage output and leading to high speed and low power reversible circuits.…”

On the Skipped Variables of Quantum Multiple-Valued Decision Diagrams

“…Large numbers of quantum, binary and MVL gates have been developed in the hope of achieving efficient synthesis of quantum circuits [5]. Various CAD tools have been developed to assist these efforts, including the Quantum Information Decision Diagram (QuIDD) [6] and the Quantum Multiple-valued Decision Diagrams (QMDD) [7] packages. In earlier work, we have used QMDD for simulation, synthesis, and investigation of redundancy in reversible circuits [8,9,10].…”

Debugging of Toffoli networks

“…[5], [6], [7], [8], [9], [10], [11], [12]). Furthermore, simulation [13], [14], optimization [15], [16], testing [17], [18], [19], and verification [20], [21] have also been investigated. However, to the best of our knowledge the problem of debugging has not been considered yet.…”