Our method employs the algebraic representation for accurate complex number representation under the considered set of unitary operators general enough to achieve universal quantum computation. Our method is the first work that utilizes the accurate representation for quantum circuit simulation. In addition to the accuracy enhancement, to extend the capacity of quantum circuit simulation, we devise 1) a bit-slicing technique that represents a state vector bit by bit each corresponds to a BDD, and 2) an implicit method that replaces matrix-vector multiplication with a set of pre-characterized Boolean formulas of the unitary operators for BDD manipulation. Experimental results show the accuracy and scalability advantages of our method compared to the state-of-the-art over a number of different benchmarks. Notably for certain benchmark families, our method can simulate circuits up to tens of thousands of qubits beyond the capacity of other existing simulators.

Recent progress in building quantum computers has set the milestone of demonstrating quantum supremacy. Quantum hardware and software systems are under active development. Quantum circuit simulation is one of the key components. Our tool is the first work that utilizes the accurate representation for quantum circuit simulation. Also, to extend the capacity of simulation, we devise a bit-slicing technique, and an implicit method replacing matrix-vector multiplication with a set of pre-characterized Boolean formulas. Experiments show the accuracy and scalability  of our method compared to the state-of-the-art over a number of different benchmarks. For certain benchmark families, ours can simulate circuits up to tens of thousands of qubits beyond the capacity of other existing simulators.

Recent progress in building quantum computers has set the milestone of demonstrating quantum supremacy by the Google Quantum AI team. Quantum computation is expected to provide computing power beyond the reach of classical computers and transform the information technology in the near future. Quantum hardware and software systems are under active development. There are many start-ups and industrial involvements in recent years. Quantum system design requires a comprehensive software toolchain, where quantum circuit simulation is one of the key components. Our tool provides a state-of-the-art solution to quantum circuit simulation and may play a crucial role in the ecosystem.