Publication Details

Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

CHEN Tian-fu, CHEN Yu-Fang, JIANG Jie-hong, JOBRANOVÁ Sára and LENGÁL Ondřej. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. ISBN 979-8-4007-1077-3.
Czech title
Akcelerace simulace kvantových obvodů pomocí symbolické exekuce a sumarizace smyček
Type
conference paper
Language
english
Authors
Chen Tian-fu (NTU)
Chen Yu-Fang (ASIN)
Jiang Jie-hong (NTU)
Jobranová Sára, Bc. (FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Keywords

quantum circuit
simulation
binary decision diagrams
symbolic execution
loop summarization

Abstract

Quantum circuit simulation is the basic tool for reasoning over quantum programs. Despite the tremendous advance in the simulator technology in the recent years, the performance of simulators is still unsatisfactory on non-trivial circuits, which slows down the development of new quantum systems. In this work, we develop a loop summarizing simulator based on multi-terminal binary decision diagrams (MTBDDs) with efficiently customized quantum gate operations. The simulator is capable of automatic loop summarization using symbolic execution, which saves repetitive computation for circuits with iterative structures. Experimental results show the simulator outperforms state-of-the-art simulators on some standard circuits, such as Grover's algorithm, by several orders of magnitude.

Published
2024 (in print)
Proceedings
IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA
Conference
IEEE/ACM International Conference On Computer-Aided Design, New Jersey, USA, US
ISBN
979-8-4007-1077-3
Publisher
Association for Computing Machinery
DOI
10.1145/3676536.3676711
BibTeX 
@INPROCEEDINGS{FITPUB13235,
   author = "Tian-fu Chen and Yu-Fang Chen and Jie-hong Jiang and S\'{a}ra Jobranov\'{a} and Ond\v{r}ej Leng\'{a}l",
   title = "Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization",
   booktitle = "IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA",
   year = 2024,
   publisher = "Association for Computing Machinery",
   ISBN = "979-8-4007-1077-3",
   doi = "10.1145/3676536.3676711",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13235"
}
Back to top