[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3579371.3589352acmconferencesArticle/Chapter ViewAbstractPublication PagesiscaConference Proceedingsconference-collections
research-article

Clifford-based Circuit Cutting for Quantum Simulation

Published: 17 June 2023 Publication History

Abstract

Quantum computing has potential to provide exponential speedups over classical computing for many important applications. However, today's quantum computers are in their early stages, and hardware quality issues hinder the scale of program execution. Benchmarking and simulation of quantum circuits on classical computers is therefore essential to advance the understanding of how quantum computers and programs operate, enabling both algorithm discovery that leads to high-impact quantum computation and engineering improvements that deliver to more powerful quantum systems. Unfortunately, the nature of quantum information causes simulation complexity to scale exponentially with problem size.
In this paper, we debut Super.tech's SuperSim framework, a new approach for high fidelity and scalable quantum circuit simulation. SuperSim employs two key techniques for accelerated quantum circuit simulation: Clifford-based simulation and circuit cutting. Through the isolation of Clifford subcircuit fragments within a larger non-Clifford circuit, resource-efficient Clifford simulation can be invoked, leading to significant reductions in runtime. After fragments are independently executed, circuit cutting and recombination procedures allow the final output of the original circuit to be reconstructed from fragment execution results. Through the combination of these two state-of-art techniques, SuperSim is a product for quantum practitioners that allows quantum circuit evaluation to scale beyond the frontiers of current simulators. Our results show that Clifford-based circuit cutting accelerates the simulation of near-Clifford circuits, allowing 100s of qubits to be evaluated with modest runtimes.

References

[1]
Scott Aaronson and Daniel Gottesman. 2004. Improved simulation of stabilizer circuits. Physical Review A 70, 5 (2004), 052328.
[2]
Eric R Anschuetz, Hong-Ye Hu, Jin-Long Huang, and Xun Gao. 2022. Interpretable Quantum Advantage in Neural Sequence Learning. arXiv preprint arXiv:2209.14353 (2022).
[3]
Ryan S Bennink, Erik M Ferragut, Travis S Humble, Jason A Laska, James J Nutaro, Mark G Pleszkoch, and Raphael C Pooser. 2017. Unbiased simulation of near-Clifford quantum circuits. Physical Review A 95, 6 (2017), 062337.
[4]
Jacob Biamonte, Peter Wittek, Nicola Pancotti, Patrick Rebentrost, Nathan Wiebe, and Seth Lloyd. 2017. Quantum machine learning. Nature 549, 7671 (2017), 195--202.
[5]
Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset, and Mark Howard. 2019. Simulation of quantum circuits by low-rank stabilizer decompositions. Quantum 3 (2019), 181.
[6]
J Ignacio Cirac, David Perez-Garcia, Norbert Schuch, and Frank Verstraete. 2021. Matrix product states and projected entangled pair states: Concepts, symmetries, theorems. Reviews of Modern Physics 93, 4 (2021), 045003.
[7]
Piotr Czarnik, Andrew Arrasmith, Patrick J. Coles, and Lukasz Cincio. 2020. Error mitigation with Clifford quantum-circuit data. arXiv:2005.10189 [quant-ph]
[8]
Andrew S Darmawan and David Poulin. 2017. Tensor-network simulations of the surface code under realistic noise. Physical review letters 119, 4 (2017), 040502.
[9]
Poulami Das, Swamit Tannu, Siddharth Dangwal, and Moinuddin Qureshi. 2021. Adapt: Mitigating idling errors in qubits via adaptive dynamical decoupling. In MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture. 950--962.
[10]
Christopher M Dawson and Michael A Nielsen. 2005. The solovay-kitaev algorithm. arXiv preprint quant-ph/0505030 (2005).
[11]
Koen De Raedt, Kristel Michielsen, Hans De Raedt, Binh Trieu, Guido Arnold, Marcus Richter, Th Lippert, Hiroshi Watanabe, and Nobuyasu Ito. 2007. Massively parallel quantum computer simulator. Computer Physics Communications 176, 2 (2007), 121--136.
[12]
Cirq Developers. 2022. Cirq. See full list of authors on Github: https://github.com/quantumlib/Cirq/graphs/contributors.
[13]
Edward Farhi, Jeffrey Goldstone, Sam Gutmann, and Leo Zhou. 2022. The quantum approximate optimization algorithm and the sherrington-kirkpatrick model at infinite size. Quantum 6 (2022), 759.
[14]
Austin G Fowler, Matteo Mariantoni, John M Martinis, and Andrew N Cleland. 2012. Surface codes: Towards practical large-scale quantum computation. Physical Review A 86, 3 (2012), 032324.
[15]
Xun Gao, Eric R Anschuetz, Sheng-Tao Wang, J Ignacio Cirac, and Mikhail D Lukin. 2022. Enhancing generative models via quantum correlations. Physical Review X 12, 2 (2022), 021037.
[16]
Craig Gidney. 2021. Stim: a fast stabilizer circuit simulator. Quantum 5 (2021), 497.
[17]
P Gokhale, ER Anschuetz, C Campbell, FT Chong, ED Dahl, P Frederick, EB Jones, B Hall, S Issa, P Goiporia, et al. 2022. SupercheQ: Quantum Advantage for Distributed Databases. arXiv preprint arXiv:2212.03850 (2022).
[18]
Daniel Gottesman. 1998. The Heisenberg representation of quantum computers. arXiv preprint quant-ph/9807006 (1998).
[19]
Daniel Gottesman. 1998. Theory of fault-tolerant quantum computation. Physical Review A 57, 1 (1998), 127.
[20]
Daniel Gottesman and Isaac L Chuang. 1999. Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations. Nature 402, 6760 (1999), 390--393.
[21]
Thomas Grurl, Jürgen Fuß, and Robert Wille. 2022. Noise-aware quantum circuit simulation with decision diagrams. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2022).
[22]
Aram W Harrow, Avinatan Hassidim, and Seth Lloyd. 2009. Quantum algorithm for linear systems of equations. Physical review letters 103, 15 (2009), 150502.
[23]
Abhinav Kandala, Antonio Mezzacapo, Kristan Temme, Maika Takita, Markus Brink, Jerry M Chow, and Jay M Gambetta. 2017. Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature 549, 7671 (2017), 242--246.
[24]
Alexander Kerzner. 2021. Clifford Simulation: Techniques and Applications. Master's thesis. University of Waterloo.
[25]
Aleks Kissinger and John van de Wetering. 2022. Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions. Quantum Science and Technology (2022).
[26]
Dax Enshan Koh, Mark D Penney, and Robert W Spekkens. 2017. Computing quopit Clifford circuit amplitudes by the sum-over-paths technique. arXiv preprint arXiv:1702.03316 (2017).
[27]
Ji Liu, Alvin Gonzales, and Zain H Saleem. 2022. Classical simulators as quantum error mitigators via circuit cutting. arXiv preprint arXiv:2212.07335 (2022).
[28]
Yong (Alexander) Liu, Xin (Lucy) Liu, Fang (Nancy) Li, Haohuan Fu, Yuling Yang, Jiawei Song, Pengpeng Zhao, Zhen Wang, Dajia Peng, Huarong Chen, Chu Guo, Heliang Huang, Wenzhao Wu, and Dexun Chen. 2021. Closing the "Quantum Supremacy" Gap: Achieving Real-Time Simulation of a Random Quantum Circuit Using a New Sunway Supercomputer. In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (St. Louis, Missouri) (SC '21). Association for Computing Machinery, New York, NY, USA, Article 3, 12 pages.
[29]
Danylo Lykov, Roman Schutski, Alexey Galda, Valeri Vinokur, and Yuri Alexeev. 2022. Tensor network quantum simulator with step-dependent parallelization. In 2022 IEEE International Conference on Quantum Computing and Engineering (QCE). IEEE, 582--593.
[30]
Igor L Markov and Yaoyun Shi. 2008. Simulating quantum computation by contracting tensor networks. SIAM J. Comput. 38, 3 (2008), 963--981.
[31]
Matija Medvidović and Giuseppe Carleo. 2021. Classical variational simulation of the quantum approximate optimization algorithm. npj Quantum Information 7, 1 (2021), 1--7.
[32]
Nikolaj Moll, Panagiotis Barkoutsos, Lev S Bishop, Jerry M Chow, Andrew Cross, Daniel J Egger, Stefan Filipp, Andreas Fuhrer, Jay M Gambetta, Marc Ganzhorn, et al. 2018. Quantum optimization using variational algorithms on near-term quantum devices. Quantum Science and Technology 3, 3 (2018), 030503.
[33]
Michael A Nielsen and Isaac Chuang. 2010. Quantum computation and quantum information. Cambridge University Press.
[34]
Joe O'Gorman and Earl T Campbell. 2017. Quantum computation with realistic magic-state factories. Physical Review A 95, 3 (2017), 032338.
[35]
Hakop Pashayan, Oliver Reardon-Smith, Kamil Korzekwa, and Stephen D Bartlett. 2022. Fast estimation of outcome probabilities for quantum circuits. PRX Quantum 3, 2 (2022), 020361.
[36]
Edwin Pednault, John A Gunnels, Giacomo Nannicini, Lior Horesh, Thomas Magerlein, Edgar Solomonik, and Robert Wisnieff. 2017. Breaking the 49-qubit barrier in the simulation of quantum circuits. arXiv preprint arXiv:1710.05867 15 (2017).
[37]
Tianyi Peng, Aram W Harrow, Maris Ozols, and Xiaodi Wu. 2020. Simulating large quantum circuits on a small quantum computer. Physical Review Letters 125, 15 (2020), 150504.
[38]
Michael Perlin, Teague Tomesh, Bradley Pearlman, Wei Tang, Yuri Alexeev, and Martin Suchara. 2019. Parallelizing Simulations of Large Quantum Circuits. (2019).
[39]
Michael A Perlin, Zain H Saleem, Martin Suchara, and James C Osborn. 2021. Quantum circuit cutting with maximum-likelihood tomography. npj Quantum Information 7, 1 (2021), 1--8.
[40]
Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J Love, Alán Aspuru-Guzik, and Jeremy L O'brien. 2014. A variational eigenvalue solver on a photonic quantum processor. Nature communications 5, 1 (2014), 1--7.
[41]
Gokul Subramanian Ravi, Pranav Gokhale, Yi Ding, William Kirby, Kaitlin Smith, Jonathan M Baker, Peter J Love, Henry Hoffmann, Kenneth R Brown, and Frederic T Chong. 2022. CAFQA: A Classical Simulation Bootstrap for Variational Quantum Algorithms. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1. 15--29.
[42]
Joschka Roffe. 2019. Quantum error correction: an introductory guide. Contemporary Physics 60, 3 (Jul 2019), 226--245.
[43]
Ulrich Schollwöck. 2011. The density-matrix renormalization group in the age of matrix product states. Annals of physics 326, 1 (2011), 96--192.
[44]
Peter W Shor. 1999. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM review 41, 2 (1999), 303--332.
[45]
Armands Strikis, Dayue Qin, Yanzhu Chen, Simon C. Benjamin, and Ying Li. 2021. Learning-based quantum error mitigation. arXiv:2005.07601 [quant-ph]
[46]
A tA v, MD SAJID ANIS, Abby-Mitchell, Héctor Abraham, AduOffei, Rochisha Agarwal, Gabriele Agliardi, Merav Aharoni, Vishnu Ajith, Ismail Yunus Akhalwaya, and et al. 2021. Qiskit: An Open-source Framework for Quantum Computing.
[47]
Wei Tang, Teague Tomesh, Martin Suchara, Jeffrey Larson, and Margaret Martonosi. 2021. Cutqc: using small quantum computers for large quantum circuit evaluations. In Proceedings of the 26th ACM International conference on architectural support for programming languages and operating systems. 473--486.
[48]
Quantum AI team and collaborators. 2020. qsim.
[49]
SuperstaQ Development Team. 2021. SuperstaQ: Connecting Applications to Quantum Hardware. www.super.tech/about-superstaq.
[50]
Teague Tomesh, Pranav Gokhale, Victory Omole, Gokul Subramanian Ravi, Kaitlin N Smith, Joshua Viszlai, Xin-Chuan Wu, Nikos Hardavellas, Margaret R Martonosi, and Frederic T Chong. 2022. Supermarq: A scalable quantum benchmark suite. In 2022 IEEE International Symposium on High-Performance Computer Architecture (HPCA). IEEE, 587--603.
[51]
Gideon Uchehara, Tor M Aamodt, and Olivia Di Matteo. 2022. Rotation-inspired circuit cut optimization. arXiv preprint arXiv:2211.07358 (2022).
[52]
Victor Veitch, S A Hamed Mousavian, Daniel Gottesman, and Joseph Emerson. 2014. The resource theory of stabilizer quantum computation. New Journal of Physics 16, 1 (Jan 2014), 013009.
[53]
Guifré Vidal. 2003. Efficient classical simulation of slightly entangled quantum computations. Physical review letters 91, 14 (2003), 147902.
[54]
Xin-Chuan Wu, Sheng Di, Emma Maitreyee Dasgupta, Franck Cappello, Hal Finkel, Yuri Alexeev, and Frederic T. Chong. 2019. Full-State Quantum Circuit Simulation by Using Data Compression. In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (Denver, Colorado) (SC '19). Association for Computing Machinery, New York, NY, USA, Article 80, 24 pages.
[55]
Yiqing Zhou, E Miles Stoudenmire, and Xavier Waintal. 2020. What limits the simulation of quantum computers? Physical Review X 10, 4 (2020), 041038.

Cited By

View all
  • (2024)Gömülü Sistem Cihazları ile Kuantum Ağların Dağıtık SimülasyonuBilgisayar Bilimleri ve Mühendisliği Dergisi10.54525/bbmd.148447717:2(90-94)Online publication date: 9-Aug-2024
  • (2024)Quantum Computing: Navigating the Future of Computation, Challenges, and Technological BreakthroughsQuantum Reports10.3390/quantum60400396:4(627-663)Online publication date: 16-Nov-2024
  • (2024)Quantum Mini-Apps: A Framework for Developing and Benchmarking Quantum-HPC ApplicationsProceedings of the 2024 Workshop on High Performance and Quantum Computing Integration10.1145/3659996.3660036(11-18)Online publication date: 3-Jun-2024
  • Show More Cited By

Index Terms

  1. Clifford-based Circuit Cutting for Quantum Simulation

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ISCA '23: Proceedings of the 50th Annual International Symposium on Computer Architecture
    June 2023
    1225 pages
    ISBN:9798400700958
    DOI:10.1145/3579371
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 17 June 2023

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. quantum computation
    2. quantum circuit simulation
    3. circuit cutting
    4. Clifford+T simulation

    Qualifiers

    • Research-article

    Conference

    ISCA '23
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 543 of 3,203 submissions, 17%

    Upcoming Conference

    ISCA '25

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)205
    • Downloads (Last 6 weeks)28
    Reflects downloads up to 10 Dec 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Gömülü Sistem Cihazları ile Kuantum Ağların Dağıtık SimülasyonuBilgisayar Bilimleri ve Mühendisliği Dergisi10.54525/bbmd.148447717:2(90-94)Online publication date: 9-Aug-2024
    • (2024)Quantum Computing: Navigating the Future of Computation, Challenges, and Technological BreakthroughsQuantum Reports10.3390/quantum60400396:4(627-663)Online publication date: 16-Nov-2024
    • (2024)Quantum Mini-Apps: A Framework for Developing and Benchmarking Quantum-HPC ApplicationsProceedings of the 2024 Workshop on High Performance and Quantum Computing Integration10.1145/3659996.3660036(11-18)Online publication date: 3-Jun-2024
    • (2023)Parallelizing Quantum-Classical Workloads: Profiling the Impact of Splitting Techniques2023 IEEE International Conference on Quantum Computing and Engineering (QCE)10.1109/QCE57702.2023.00113(990-1000)Online publication date: 17-Sep-2023

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media