GPU-Accelerated Quantum Simulation of Stabilizer Circuits

arXiv:2603.14641 · quant-ph · Submitted 2026-03-15 · Read on arXiv

quant-ph

Submitted: 2026-03-15

Updated: 2026-09-23

Code: https://github.com/System-VerificationLab/QuaSARQ

Project page: https://nvidia.github.io/cccl/cub/device_wide.html#device-module

Terminology

• Gaussian Elimination — 15× in this paper
• Benchmark — 10× in this paper · explained in 2 episodes
• Quantum Circuits — 10× in this paper · explained in 2 episodes
• Stabilizer States — 4× in this paper · explained in 2 episodes
• Benchmarking — 3× in this paper · explained in 3 episodes
• Core — 3× in this paper · explained in 2 episodes
• Verification — 3× in this paper · explained in 2 episodes
• Trace — 2× in this paper · explained in 2 episodes
• Weighted Model Counting — 2× in this paper
• Adaptation — 1× in this paper · explained in 1 episode
• Aggregation — 1× in this paper · explained in 1 episode
• Alignment — 1× in this paper · explained in 1 episode
• International Conference on Quantum Computing and Engineering — 1× in this paper
• Leiden Institute of Advanced Computer Science — 1× in this paper
• Redundancy — 1× in this paper · explained in 2 episodes
• Shadow Tomography — 1× in this paper · explained in 4 episodes

Sources

• An introduction to measurement based quantum computation
• Quantum computing with Qiskit
• PennyLane: Automatic differentiation of hybrid quantum-classical computations
• The Heisenberg Representation of Quantum Computers
• PACOX: A FPGA-based Pauli Composer Accelerator for Pauli String Computation

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity