{"id":"arxiv/2605.14881","url":"https://arxiv.org/abs/2605.14881","tags":["quant-ph","cs.LO"],"score":0,"title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","domain":"quant-ph","source":"arxiv","authors":["Zihao Li","Ji Guan","Mingsheng Ying"],"reviews":0,"subject":"quant-ph","summary":"We present a tool QSeqSim, a Qiskit-integrated symbolic backend that fills the current gap of having no Qiskit-native support for simulating while-loop quantum programs and their induced sequential quantum circuits. QSeqSim takes Qiskit QuantumCircuit objects, translates them into OpenQASM 3 code, and organises the resulting program into a combination of combinational, dynamic, and sequential circuits, thereby assigning while-loops a precise sequential circuit semantics with explicit internal and external qubits. Building on this semantics, QSeqSim adopts a Binary Decision Diagram…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}