Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F26%3A0189135" target="_blank" >RIV/00216305:26230/26:0189135 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1145/3676536.3676711" target="_blank" >http://dx.doi.org/10.1145/3676536.3676711</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/3676536.3676711" target="_blank" >10.1145/3676536.3676711</a>

Result language

angličtina

Original language name

Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2025

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

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

ISBN

979-8-4007-1077-3

ISSN

—

e-ISSN

—

Number of pages

9

Pages from-to

1-9

Publisher name

Association for Computing Machinery

Place of publication

New York

Event location

New Jersey, USA

Event date

Oct 27, 2024

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

001479882200042