QSeqSim: 순차 양자 회로를 활용한 Qiskit while 루프용 심볼릭 시뮬레이터
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
TL;DR AI
1분핵심 요약
연구진은 while 루프를 사용하는 양자 프로그램을 위해 Qiskit과 통합된 기호적 시뮬레이터 QSeqSim을 소개했다.
QSeqSim은 회로를 OpenQASM 3로 변환하고, 루프를 명시적 순차 회로 의미론으로 모델링한다.
Binary Decision Diagram과 가중 모델 카운팅을 활용해 동적 양자 프로그램을 기호적으로 실행하고 측정 확률을 계산한다.
이 방법은 Qiskit의 부족한 while 루프 시뮬레이션 기능을 보완하며, 대규모 루프 기반 벤치마크에서도 효율적으로 확장된다.