Abstract
With the development of noisy intermediate-scale quantum machines, quantum processors show their supremacy in specific applications. To better understand the quantum behavior and verify larger quantum bit (qubit) algorithms, simulation on classical computers becomes crucial. However, as the simulated number of qubits increases, the full-state simulation suffers exponential memory increment for state vector storing. In order to compress the state vector, some existing works reduce the memory by data encoding compressors. Nevertheless, the memory requirement remains massive. Meanwhile, others utilize compact decision diagrams (DD) to represent the state vector, which only demands linear memory size. However, the existing DD-based simulation algorithm possesses many redundant calculations that require further exploration. Besides, the traditional normalization-based nodes merging method of DD amplifies the side influences of approximate error. Therefore, to tackle the above challenges, in this paper, we first fully explore the redundancies in the recursive-based DD simulation (RecurSim) algorithm. Inspired by the regularities of the quantum circuit model, a scale-based simulation (ScaleSim) algorithm is proposed, which removes plenty of unnecessary computations. Furthermore, to eliminate the influences of approximate error, we propose a new pre-check DD building method, namely PCB, which maintains the accuracy of DD representation and produces more memory saving. Comprehensive experiments show that our method achieves up to 24124.2\(\times \) acceleration and 3.2 \(\times \,10^7\times \) memory reduction than traditional DD-based methods on quantum algorithms while maintaining the representation accuracy.
Similar content being viewed by others
Data availability
All data generated or analyzed during this study are included in this published article.
References
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Boixo, S., Isakov, S.V., Smelyanskiy, V.N., Babbush, R., Ding, N., Jiang, Z., Bremner, M.J., Martinis, J.M., Neven, H.: Characterizing quantum supremacy in near-term devices. Nat. Phys. 14(6), 595–600 (2018)
Arute, F., Arya, K., Babbush, R., Bacon, D., Bardin, J.C., Barends, R., Biswas, R., Boixo, S., Brandao, F.G., Buell, D.A., et al.: Quantum supremacy using a programmable superconducting processor. Nature 574(7779), 505–510 (2019)
Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 41(2), 303–332 (1999)
Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, pp. 212–219 (1996)
Jiang, W., Xiong, J., Shi, Y.: A co-design framework of neural networks and quantum circuits towards quantum advantage. Nat. Commun. 12(1), 1–13 (2021)
Soeken, M., Roetteler, M., Wiebe, N., De Micheli, G.: Design automation and design space exploration for quantum computers. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, pp. 470–475 (2017). IEEE
Boixo, S., Isakov, S.V., Smelyanskiy, V.N., Neven, H.: Simulation of low-depth quantum circuits as complex undirected graphical models. arXiv preprint arXiv:1712.05384 (2017)
McCaskey, A., Dumitrescu, E., Chen, M., Lyakh, D., Humble, T.: Validating quantum-classical programming models with tensor network simulations. PLoS ONE 13(12), 0206704 (2018)
Fatima, A., Markov, I.L.: Faster schrödinger-style simulation of quantum circuits. In: 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA), pp. 194–207 (2021). IEEE
Wu, X.-C., Di, S., Dasgupta, E.M., Cappello, F., Finkel, H., Alexeev, Y., Chong, F.T.: Full-state quantum circuit simulation by using data compression. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1–24 (2019)
Smelyanskiy, M., Sawaya, N.P., Aspuru-Guzik, A.: qHiPSTER: the quantum high performance software testing environment. arXiv preprint arXiv:1601.07195 (2016)
Aaronson, S., Chen, L.: Complexity-theoretic foundations of quantum supremacy experiments. In: 32nd Computational Complexity Conference. LIPIcs, vol. 79, pp. 22–167 (2017)
Viamontes, G.F., Markov, I.L., Hayes, J.P.: Improving gate-level simulation of quantum circuits. Quantum Inf. Process. 2(5), 347–380 (2003)
Zulehner, A., Wille, R.: Advanced simulation of quantum computations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(5), 848–859 (2018)
Bernstein, E., Vazirani, U.: Quantum complexity theory. SIAM J. Comput. 26(5), 1411–1473 (1997)
Zhou, Y., Stoudenmire, E.M., Waintal, X.: What limits the simulation of quantum computers? Phys. Rev. X 10(4), 041038 (2020)
De Raedt, K., Michielsen, K., De Raedt, H., Trieu, B., Arnold, G., Richter, M., Lippert, T., Watanabe, H., Ito, N.: Massively parallel quantum computer simulator. Comput. Phys. Commun. 176(2), 121–136 (2007)
Shang, H., Shen, L., Fan, Y., Xu, Z., Guo, C., Liu, J., Zhou, W., Ma, H., Lin, R., Yang, Y., et al.: Large-scale simulation of quantum computational chemistry on a new Sunway supercomputer. arXiv preprint arXiv:2207.03711 (2022)
Pednault, E., Gunnels, J.A., Nannicini, G., Horesh, L., Magerlein, T., Solomonik, E., Wisnieff, R.: Breaking the 49-qubit barrier in the simulation of quantum circuits. arXiv preprint arXiv:1710.0586715 (2017)
Häner, T., Steiger, D.S.: 0.5 petabyte simulation of a 45-qubit quantum circuit. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1–10 (2017)
Li, R., Wu, B., Ying, M., Sun, X., Yang, G.: Quantum supremacy circuit simulation on Sunway TaihuLight. IEEE Trans. Parallel Distrib. Syst. 31(4), 805–816 (2019)
Khammassi, N., Ashraf, I., Fu, X., Almudever, C.G., Bertels, K.: Qx: a high-performance quantum computer simulation platform. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, pp. 464–469 (2017). IEEE
Steiger, D.S., Häner, T., Troyer, M.: ProjectQ: an open source software framework for quantum computing. Quantum 2, 49 (2018)
Funding
This work is partially supported by the National Natural Science Foundation of China (Grant Nos. 62372182, 62372183).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have declared that they do not have any conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Song, Y., Sha, E.HM., Zhuge, Q. et al. Efficient algorithm for full-state quantum circuit simulation with DD compression while maintaining accuracy. Quantum Inf Process 22, 413 (2023). https://doi.org/10.1007/s11128-023-04160-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-023-04160-5