STABSim: A Parallelized Clifford Simulator with Features Beyond Direct Simulation

• URL: http://arxiv.org/abs/2507.03092v1
• Date: Thu, 03 Jul 2025 18:05:19 GMT
• Title: STABSim: A Parallelized Clifford Simulator with Features Beyond Direct Simulation
• Authors: Sean Garner, Chenxu Liu, Meng Wang, Samuel Stein, Ang Li,
• Abstract summary: We present a GPU-accelerated tableau stabilizer simulator that scales efficiently in direct circuit simulation.<n>We show how the simulator is used to quickly calculate Pauli commutation groupings between Pauli strings to reduce the number of circuit runs in quantum chemistry problems.<n>We also present a Clifford+T circuit transpiler based on STABSim, which uses the simulator framework to track relations in non-Clifford rotations.
• Score: 14.727423336101864
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Efficient stabilizer-based computation is a key task in quantum computing as it provides a classically tractable insight into quantum algorithms, which otherwise quickly become impossible at scale on a classical device. Formulations in quantum error correction, hardware verification, hybrid computing, and more, all benefit from the ability of Clifford gates to be accurately evaluated by classical computers. However, current stabilizer simulators have significant limitations in scaling and use-case beyond direct simulation. To address this, we present a GPU-accelerated tableau stabilizer simulator that scales efficiently in direct circuit simulation, and supports a range of stabilizer-based tasks. We show how the simulator is used to quickly calculate Pauli commutation groupings between Pauli strings to reduce the number of circuit runs in quantum chemistry problems. We also present a Clifford+T circuit transpiler based on STABSim, which uses the simulator framework to track relations in non-Clifford rotations as Clifford gates are absorbed into the measurement step of the circuit. The T rotation layers left behind are then further optimized in the simulator structure to create a reduced circuit containing only the minimum non-Clifford rotations, improving the time to simulate and reducing the cost to run on real quantum devices.

Related papers

• Efficient Simulation of High-Level Quantum Gates [3.0928226965455154]
  Existing simulation methods require compilation to a low-level gate-set before simulation.<n>This increases circuit size and incurs a considerable (typically exponential) overhead, even when the number of high-level gates is small.<n>Here we present a gadget-based simulator which simulates high-level gates directly, thereby allowing to avoid or reduce the blowup of compilation.
  arXiv  Detail & Related papers  (2025-07-06T10:48:42Z)
• Clifford and Non-Clifford Splitting in Quantum Circuits: Applications and ZX-Calculus Detection Procedure [49.1574468325115]
  We propose and analyze use cases that come from quantum circuits that can be written as product between a Clifford and a Non-Clifford unitary.<n>We make use of ZX-Calculus and its assets to detect a limiting border of these circuits that would allow for a separation between a Clifford section and a Non-Clifford section.
  arXiv  Detail & Related papers  (2025-04-22T16:10:34Z)
• Simulating Quantum Circuits by Model Counting [0.0]
  We show for the first time that a strong simulation of universal quantum circuits can be efficiently tackled through weighted model counting. Our work paves the way to apply the existing array of powerful classical reasoning tools to realize efficient quantum circuit compilation.
  arXiv  Detail & Related papers  (2024-03-11T22:40:15Z)
• Simulation of IBM's kicked Ising experiment with Projected Entangled Pair Operator [71.10376783074766]
  We perform classical simulations of the 127-qubit kicked Ising model, which was recently emulated using a quantum circuit with error mitigation. Our approach is based on the projected entangled pair operator (PEPO) in the Heisenberg picture. We develop a Clifford expansion theory to compute exact expectation values and use them to evaluate algorithms.
  arXiv  Detail & Related papers  (2023-08-06T10:24:23Z)
• Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation [8.74592908228434]
  We present a novel approach for efficient stabilizer simulation on arbitrary quantum circuits. Our key idea is to compress an exponential sum representation of the quantum state into a single abstract summand. This allows us to introduce an abstract stabilizer simulator that efficiently manipulates abstract summands.
  arXiv  Detail & Related papers  (2023-04-03T12:23:57Z)
• Clifford-based Circuit Cutting for Quantum Simulation [2.964626695457492]
  We debut Super.tech's SuperSim framework, a new approach for high fidelity and scalable quantum circuit simulation. SuperSim employs two key techniques for accelerated quantum circuit simulation: Clifford-based simulation and circuit cutting. Our results show that Clifford-based circuit cutting accelerates the simulation of near-Clifford circuits, allowing 100s of qubits to be evaluated with modest runtimes.
  arXiv  Detail & Related papers  (2023-03-19T22:56:02Z)
• Iterative Qubit Coupled Cluster using only Clifford circuits [36.136619420474766]
  An ideal state preparation protocol can be characterized by being easily generated classically. We propose a method that meets these requirements by introducing a variant of the iterative qubit coupled cluster (iQCC) We demonstrate the algorithm's correctness in ground-state simulations and extend our study to complex systems like the titanium-based compound Ti(C5H5)(CH3)3 with a (20, 20) active space.
  arXiv  Detail & Related papers  (2022-11-18T20:31:10Z)
• A Reorder Trick for Decision Diagram Based Quantum Circuit Simulation [0.4358626952482686]
  We study two classes of quantum circuits on which the state-of-the-art decision diagram based simulators failed to perform well in terms of simulation time. We propose a simple and powerful reorder trick to boost the simulation of such quantum circuits.
  arXiv  Detail & Related papers  (2022-11-14T04:55:25Z)
• Simulating the Mott transition on a noisy digital quantum computer via Cartan-based fast-forwarding circuits [62.73367618671969]
  Dynamical mean-field theory (DMFT) maps the local Green's function of the Hubbard model to that of the Anderson impurity model. Quantum and hybrid quantum-classical algorithms have been proposed to efficiently solve impurity models. This work presents the first computation of the Mott phase transition using noisy digital quantum hardware.
  arXiv  Detail & Related papers  (2021-12-10T17:32:15Z)
• 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)
• Error mitigation and quantum-assisted simulation in the error corrected regime [77.34726150561087]
  A standard approach to quantum computing is based on the idea of promoting a classically simulable and fault-tolerant set of operations. We show how the addition of noisy magic resources allows one to boost classical quasiprobability simulations of a quantum circuit.
  arXiv  Detail & Related papers  (2021-03-12T20:58:41Z)
• Fast and differentiable simulation of driven quantum systems [58.720142291102135]
  We introduce a semi-analytic method based on the Dyson expansion that allows us to time-evolve driven quantum systems much faster than standard numerical methods. We show results of the optimization of a two-qubit gate using transmon qubits in the circuit QED architecture.
  arXiv  Detail & Related papers  (2020-12-16T21:43:38Z)
• Efficient classical simulation of random shallow 2D quantum circuits [104.50546079040298]
  Random quantum circuits are commonly viewed as hard to simulate classically. We show that approximate simulation of typical instances is almost as hard as exact simulation. We also conjecture that sufficiently shallow random circuits are efficiently simulable more generally.
  arXiv  Detail & Related papers  (2019-12-31T19:00:00Z)

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.