QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits

Researchers introduced QSeqSim, a symbolic simulator integrated with Qiskit for quantum programs that use while loops.

QSeqSim translates circuits to OpenQASM 3 and models loops with explicit sequential-circuit semantics.

It uses Binary Decision Diagrams and weighted model counting to symbolically execute and measure dynamic quantum programs.

The approach fills a missing Qiskit capability and scales efficiently to large loop-driven benchmarks, including quantum random walk tests.