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

• URL: http://arxiv.org/abs/2605.14881v1
• Date: Thu, 14 May 2026 14:25:39 GMT
• Title: QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
• Abstract summary: QSeqSim takes Qiskit QuantumCircuit objects, translates them into OpenQASM 3 code, and organises the resulting program.<n>Building on this semantics, QSeqSim adopts a Binary Decision Diagram (BDD)-based symbolic representation.<n>Our experiments demonstrate that QSeqSim scales to substantial while-induced sequential circuits.
• Score: 11.52320320397442
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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 (BDD)-based symbolic representation and integrates weighted model counting to compute measurement probabilities efficiently by exploiting sharing in structured and sparse BDDs. On top of this Boolean backbone, it introduces dedicated symbolic operators for state composition and state retention, thereby enabling efficient symbolic execution of sequential quantum circuits. Our experiments demonstrate that QSeqSim scales to substantial while-induced sequential circuits; in particular, in the quantum random walk benchmark we successfully simulate circuits with over 1000 qubits for more than 10 loop iterations. QSeqSim is available at https://github.com/Veri-Q/QSeqSim.

Related papers

• Classic and Quantum Task-Based Intelligent Runtime for QIRs Running on Multiple QPUs [1.212250364181868]
  We introduce an intelligent, task-based runtime that marries the Intelligent RuntIme System (IRIS) scheduler with a quantum programming stack through the Quantum Intermediate Representation Execution Engine (QIR-EE)<n>Our design allows programs written in the quantum intermediate representation (QIR) to be dispatched concurrently to a variety of back-ends, including multiple quantum simulators and nascent quantum processors, enabling genuine hybrid execution on a single node.
  arXiv  Detail & Related papers  (2026-05-12T01:14:13Z)
• Continuous-time quantum walk on a random graph using quantum circuits [0.0]
  Quantum walks, particularly continuous-time quantum walks (CTQW), have emerged as powerful tools for modeling quantum transport, simulating complex dynamics, and developing quantum algorithms with potential speedups over classical counterparts.<n>We present a scalable quantum circuit formalism to simulate CTQW on random graph structures, especially focusing on ErdHos-R'enyi random graphs.
  arXiv  Detail & Related papers  (2025-10-16T17:24:14Z)
• Noisy simulations of Quantum Walk and Quantum Walk search via Quantum Cellular Automata on a semiconducting spin processor emulator [0.0]
  We map NISQ-friendly implementations of the non-interacting QCA to a circuit Quantum Electrodynamics (cQED) hardware.<n>We perform both noiseless and noisy simulations of the QCA one particle sector, namely the Quantum Walk, on N-cycles and NxN torus graphs.
  arXiv  Detail & Related papers  (2025-05-20T09:39:06Z)
• Classical simulation of circuits with realistic odd-dimensional Gottesman-Kitaev-Preskill states [37.54293136411193]
  We propose an algorithm to simulate circuits with encoded Gottesman-Kitaev-Preskill (GKP) states.<n>Our approach is tailored to be especially effective in the most challenging but practically relevant regime.
  arXiv  Detail & Related papers  (2024-12-17T18:00:28Z)
• Parallel Quantum Computing Simulations via Quantum Accelerator Platform Virtualization [44.99833362998488]
  We present a model for parallelizing simulation of quantum circuit executions. The model can take advantage of its backend-agnostic features, enabling parallel quantum circuit execution over any target backend.
  arXiv  Detail & Related papers  (2024-06-05T17:16:07Z)
• Sparse Simulation of VQE Circuits [0.0]
  Variational Quantum Eigensolver (VQE) is a promising algorithm for future Noisy Intermediate-Scale Quantum (NISQ) devices.<n>In this paper, we consider the classical simulation of the iterative Qubit Coupled Cluster (iQCC) ansatz.
  arXiv  Detail & Related papers  (2024-04-15T18:00:05Z)
• QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum Circuits [82.50620782471485]
  QuantumSEA is an in-time sparse exploration for noise-adaptive quantum circuits. It aims to achieve two key objectives: (1) implicit circuits capacity during training and (2) noise robustness. Our method establishes state-of-the-art results with only half the number of quantum gates and 2x time saving of circuit executions.
  arXiv  Detail & Related papers  (2024-01-10T22:33:00Z)
• Symbolic Execution for Quantum Error Correction Programs [3.018910972030221]
  We define QSE, a symbolic execution framework for quantum programs. We introduce symbolic stabilizer states, which symbolize the phases of stabilizer generators, for the efficient analysis of quantum error correction (QEC) programs. We implement QSE with the support of symbolic stabilizer states in a prototype tool named QuantumSE.jl.
  arXiv  Detail & Related papers  (2023-11-19T12:31:11Z)
• Parallel Quantum Hough Transform [0.0]
  We propose a Parallel Quantum Hough transform (PQHT) algorithm that we execute on a quantum computer. The modules were developed using IBM Quantum Composer and tested using the IBM QASM simulator. The successful run results on Fraunhofer Q System One in Ehningen will be presented as a proof of concept for the PQHT algorithm.
  arXiv  Detail & Related papers  (2023-11-15T14:42:51Z)
• Automated Generation of Shuttling Sequences for a Linear Segmented Ion Trap Quantum Computer [26.47874938214435]
  A promising approach for scaling-up trapped-ion quantum computer platforms is by storing multiple trapped-ion qubit sets ('ion crystals') in segmented microchip traps. Here, we describe an algorithm for fully automated generation of shuttling schedules. We find that for quantum circuits which contain a fixed structure, advanced assignment algorithms can serve to reduce the shuttling overhead.
  arXiv  Detail & Related papers  (2022-08-09T16:16:43Z)
• Quantum Circuit Compiler for a Shuttling-Based Trapped-Ion Quantum Computer [26.47874938214435]
  We present a compiler capable of transforming and optimizing a quantum circuit targeting a shuttling-based trapped-ion quantum processor. The results show that the gate counts can be reduced by factors up to 5.1 compared to standard Pytket and up to 2.2 compared to standard Qiskit compilation.
  arXiv  Detail & Related papers  (2022-07-05T11:21:09Z)
• An Algebraic Quantum Circuit Compression Algorithm for Hamiltonian Simulation [55.41644538483948]
  Current generation noisy intermediate-scale quantum (NISQ) computers are severely limited in chip size and error rates. We derive localized circuit transformations to efficiently compress quantum circuits for simulation of certain spin Hamiltonians known as free fermions. The proposed numerical circuit compression algorithm behaves backward stable and scales cubically in the number of spins enabling circuit synthesis beyond $mathcalO(103)$ spins.
  arXiv  Detail & Related papers  (2021-08-06T19:38:03Z)
• Machine Learning Optimization of Quantum Circuit Layouts [63.55764634492974]
  We introduce a quantum circuit mapping, QXX, and its machine learning version, QXX-MLP. The latter infers automatically the optimal QXX parameter values such that the layed out circuit has a reduced depth. We present empiric evidence for the feasibility of learning the layout method using approximation.
  arXiv  Detail & Related papers  (2020-07-29T05:26:19Z)
• Alibaba Cloud Quantum Development Platform: Surface Code Simulations with Crosstalk [28.73514662377305]
  We report on the Alibaba Cloud Quantum Development Platform (AC-QDP) AC-QDP provides a set of tools for aiding the development of both quantum computing algorithms and quantum processors. We simulate a distance-3 logical qubit encoded in the 17-qubit surface code using experimental noise parameters for transmon qubits in a planar circuit QED architecture.
  arXiv  Detail & Related papers  (2020-02-20T18:07:45Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.