GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits

被引:0
作者
Westrick, Sam [1 ]
Liu, Pengyu [1 ]
Kang, Byeongjee [1 ]
McDonald, Colin [1 ]
Rainey, Mike [1 ]
Xu, Mingkuan [1 ]
Arora, Jatin [1 ]
Ding, Yongshan [2 ]
Acar, Umut A. [1 ]
机构
[1] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA
[2] Yale Univ, New Haven, CT 06520 USA
来源
2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 1 | 2024年
关键词
quantum circuit simulation; Feynman paths; parallel computing; sparsity; COMPUTATION;
D O I
10.1109/QCE60285.2024.00132
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Many circuit simulators use either a Schrodinger-based or Feynman-based approach, which have complementary strengths. Schrodinger-based simulators maintain a state vector by synchronously updating it after each gate (or group of gates), ensuring time efficiency at the cost of exponential space. In contrast, Feynman-based simulators use low space but require high time to compute the sum of exponentially many independent Feynman paths. Because they treat paths as independent, Feynman-based simulators miss opportunities to take advantage of sparsity from destructive interference. In this paper, we present a hybrid Schrodinger-Feynman technique which takes advantage of sparsity by selectively synchronizing Feynman paths. Our hybrid technique partitions the circuit into kernels (groups of gates) and uses Feynman simulation within each kernel. It then synchronizes across the kernels by using Schrodinger-style simulation. We parallelize our approach by representing the simulation as a graph, leveraging state-of-the-art parallel graph algorithms. By selecting kernels carefully, we show that our approach can simulate hundreds of qubits efficiently (in both time and space) on just a single multicore node. In certain "sparse" circuits, we are able to improve running times by multiple orders of magnitude.
引用
收藏
页码:1132 / 1142
页数:11
相关论文
共 65 条
[1]  
Acar U. A., 2020, Mpl: A high-performance compiler for parallel ml
[2]  
Acar U. A., 2022, Algorithms: Parallel and Sequential
[3]  
Aharonov D., 2006, arXiv
[4]  
Aleksandrowicz G., 2019, Qiskit: An open-source framework for quantum computing, V16, DOI 10.5281/zenodo.2562110
[5]  
Amariutei A., 2011, 15 INT C SYST THEOR, P1
[6]   Efficient Parallel Functional Programming with Effects [J].
Arora, Jatin ;
Westrick, Sam ;
Acar, Umut A. .
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI) :1558-1583
[7]   Provably Space-Efficient Parallel Functional Programming [J].
Arora, Jatin ;
Westrick, Sam ;
Acar, Umut A. .
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL)
[8]   Quantum supremacy using a programmable superconducting processor [J].
Arute, Frank ;
Arya, Kunal ;
Babbush, Ryan ;
Bacon, Dave ;
Bardin, Joseph C. ;
Barends, Rami ;
Biswas, Rupak ;
Boixo, Sergio ;
Brandao, Fernando G. S. L. ;
Buell, David A. ;
Burkett, Brian ;
Chen, Yu ;
Chen, Zijun ;
Chiaro, Ben ;
Collins, Roberto ;
Courtney, William ;
Dunsworth, Andrew ;
Farhi, Edward ;
Foxen, Brooks ;
Fowler, Austin ;
Gidney, Craig ;
Giustina, Marissa ;
Graff, Rob ;
Guerin, Keith ;
Habegger, Steve ;
Harrigan, Matthew P. ;
Hartmann, Michael J. ;
Ho, Alan ;
Hoffmann, Markus ;
Huang, Trent ;
Humble, Travis S. ;
Isakov, Sergei V. ;
Jeffrey, Evan ;
Jiang, Zhang ;
Kafri, Dvir ;
Kechedzhi, Kostyantyn ;
Kelly, Julian ;
Klimov, Paul V. ;
Knysh, Sergey ;
Korotkov, Alexander ;
Kostritsa, Fedor ;
Landhuis, David ;
Lindmark, Mike ;
Lucero, Erik ;
Lyakh, Dmitry ;
Mandra, Salvatore ;
McClean, Jarrod R. ;
McEwen, Matthew ;
Megrant, Anthony ;
Mi, Xiao .
NATURE, 2019, 574 (7779) :505-+
[9]   Simulated quantum computation of molecular energies [J].
Aspuru-Guzik, A ;
Dutoi, AD ;
Love, PJ ;
Head-Gordon, M .
SCIENCE, 2005, 309 (5741) :1704-1707
[10]  
Avila A., 2014, Proc. 29th Annu. ACM Symp. Appl. Comput, P860, DOI [DOI 10.1145/2554850.2554892, 10.1145/2554850.2554892 (page 156, DOI 10.1145/2554850.2554892(PAGE156]