Publication result detail

Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

JOBRANOVÁ, S.; LENGÁL, O.; CHEN, Y.; CHEN, T.; JIANG, J.

Original Title

Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

English Title

Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

Type

Paper in proceedings outside WoS and Scopus

Original 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.

English 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.

Keywords

quantum circuit simulation binary decision diagrams symbolic execution loop summarization

Key words in English

quantum circuit simulation binary decision diagrams symbolic execution loop summarization

Authors

JOBRANOVÁ, S.; LENGÁL, O.; CHEN, Y.; CHEN, T.; JIANG, J.

Released

09.04.2025

Publisher

Association for Computing Machinery

Location

New York

ISBN

979-8-4007-1077-3

Book

IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA

Pages from

1

Pages to

9

Pages count

9

BibTex

@inproceedings{BUT189135,
  author="JOBRANOVÁ, S. and LENGÁL, O. and CHEN, Y. and CHEN, T. and JIANG, J.",
  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="2025",
  pages="1--9",
  publisher="Association for Computing Machinery",
  address="New York",
  doi="10.1145/3676536.3676711",
  isbn="979-8-4007-1077-3"
}