Stim: a fast stabilizer circuit simulator

Abstract

This paper presents ``Stim", a fast simulator for quantum stabilizer circuits. The paper explains how Stim works and compares it to existing tools. With no foreknowledge, Stim can analyze a distance 100 surface code circuit (20 thousand qubits, 8 million gates, 1 million measurements) in 15 seconds and then begin sampling full circuit shots at a rate of 1 kHz. Stim uses a stabilizer tableau representation, similar to Aaronson and Gottesman's CHP simulator, but with three main improvements. First, Stim improves the asymptotic complexity of deterministic measurement from quadratic to linear by tracking the {\em inverse} of the circuit's stabilizer tableau. Second, Stim improves the constant factors of the algorithm by using a cache-friendly data layout and 256 bit wide SIMD instructions. Third, Stim only uses expensive stabilizer tableau simulation to create an initial reference sample. Further samples are collected in bulk by using that sample as a reference for batches of Pauli frames propagating through the circuit.

arXiv comment26 pages, 8 figures

References in corpus (15)

• Surface codes: Towards practical large-scale quantum computation
• Improved Simulation of Stabilizer Circuits
• Quantum Computing with Very Noisy Devices
• Surface code quantum computing by lattice surgery
• Operator Quantum Error Correcting Subsystems for Self-Correcting Quantum Memories
• Hudson's Theorem for finite-dimensional quantum systems
• Simulation of quantum circuits by low-rank stabilizer decompositions
• Fast simulation of stabilizer circuits using a graph state representation
• Efficient magic state factories with a catalyzed |CCZ> to 2|T> transformation
• Simulation of Qubit Quantum Circuits via Pauli Propagation
• Efficient classical simulation of Clifford circuits with nonstabilizer input states
• Surface Code Error Correction on a Defective Lattice
• Optimization of the surface code design for Majorana-based qubits
• Approximate stabilizer rank and improved weak simulation of Clifford-dominated circuits for qudits
• Feynman-path type simulation using stabilizer projector decomposition of unitaries

Cited by in corpus (222)

• Logical quantum processor based on reconfigurable atom arrays
• The QICK (Quantum Instrumentation Control Kit): Readout and control for qubits and detectors
• Universal behavior beyond multifractality of wave-functions at measurement--induced phase transitions
• Sparse Blossom: correcting a million errors per core second with minimum-weight matching
• Measurement-induced phase transitions in $(d+1)$-dimensional stabilizer circuits
• Matching and maximum likelihood decoding of a multi-round subsystem quantum error correction experiment
• A Fault-Tolerant Honeycomb Memory
• Learning to Decode the Surface Code with a Recurrent, Transformer-Based Neural Network
• Quantum Error Correction with Metastable States of Trapped Ions Using Erasure Conversion
• Improved decoding of circuit noise and fragile boundaries of tailored surface codes
• Relaxing Hardware Requirements for Surface Code Circuits using Time-dynamics
• Parallel window decoding enables scalable fault tolerant quantum computation
• High threshold codes for neutral atom qubits with biased erasure errors
• Controlling entanglement at absorbing state phase transitions in random circuits
• Measuring nonstabilizerness via multifractal flatness
• Anyon condensation and the color code
• Demonstration of fault-tolerant Steane quantum error correction
• Measurement-induced criticality as a data-structure transition
• Decoding algorithms for surface codes
• Experimental Demonstration of Logical Magic State Distillation
• Benchmarking the Planar Honeycomb Code
• Complex Quantum Networks: a Topical Review
• Absolutely Stable Spatiotemporal Order in Noisy Quantum Systems
• Stabilizer Tensor Networks: universal quantum simulator on a basis of stabilizer states
• A real-time, scalable, fast and highly resource efficient decoder for a quantum computer
• Probing the Kitaev honeycomb model on a neutral-atom quantum computer
• Scaling Qubit Readout with Hardware Efficient Machine Learning Architectures
• Quantum Magic and Multi-Partite Entanglement in the Structure of Nuclei
• Constructions and performance of hyperbolic and semi-hyperbolic Floquet codes
• Low-Overhead Transversal Fault Tolerance for Universal Quantum Computation
• Toward a 2D Local Implementation of Quantum LDPC Codes
• Creating entangled logical qubits in the heavy-hex lattice with topological codes
• Localized statistics decoding for quantum low-density parity-check codes
• Learning correlated noise in a 39-qubit quantum processor
• Floquetifying the Colour Code
• High-rate quantum LDPC codes for long-range-connected neutral atom registers
• Fast Stabiliser Simulation with Quadratic Form Expansions
• Inplace Access to the Surface Code Y Basis
• A Family of Quantum Codes with Exotic Transversal Gates
• Coherent errors and readout errors in the surface code
• A Spin-Optical Quantum Computing Architecture
• Tailoring quantum error correction to spin qubits
• Open Hardware Solutions in Quantum Technology
• Benchmarking Quantum Computer Simulation Software Packages: State Vector Simulators
• Fault-tolerant measurement-free quantum error correction with multi-qubit gates
• Entanglement Growth and Minimal Membranes in $(d+1)$ Random Unitary Circuits
• Hybrid Stabilizer Matrix Product Operator
• Qubit-Efficient Randomized Quantum Algorithms for Linear Algebra
• Reducing the error rate of a superconducting logical qubit using analog readout information
• Adaptive syndrome measurements for Shor-style error correction
• Clifford Dressed Time-Dependent Variational Principle
• Simultaneous Discovery of Quantum Error Correction Codes and Encoders with a Noise-Aware Reinforcement Learning Agent
• Efficient Magic State Distillation by Zero-Level Distillation
• Constant-Overhead Fault-Tolerant Bell-Pair Distillation using High-Rate Codes
• Many-hypercube codes: High-rate quantum error-correcting codes for high-performance fault-tolerant quantum computing
• Codesign of quantum error-correcting codes and modular chiplets in the presence of defects
• Tensor Network Decoding Beyond 2D
• Compilation of algorithm-specific graph states for quantum circuits
• A Pair Measurement Surface Code on Pentagons
• Symbolic Execution for Quantum Error Correction Programs
• Stabilizer Tensor Networks with Magic State Injection
• Error-corrected Hadamard gate simulated at the circuit level
• Efficient Formal Verification of Quantum Error Correcting Programs
• Data-driven decoding of quantum error correcting codes using graph neural networks
• Color code decoder with improved scaling for correcting circuit-level noise
• Neural network decoder for near-term surface-code experiments
• Quantum Error Correction resilient against Atom Loss
• Error correction of transversal CNOT gates for scalable surface code computation
• Optimizing quantum error correction protocols with erasure qubits
• Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
• Experiments with the 4D Surface Code on a QCCD Quantum Computer
• Neural-Shadow Quantum State Tomography
• Entanglement and absorbing state transitions in $(d+1)$-dimensional stabilizer circuits
• Fault-tolerant quantum architectures based on erasure qubits
• Tangling schedules eases hardware connectivity requirements for quantum error correction
• Decoding quantum color codes with MaxSAT
• Comparative study of quantum error correction strategies for the heavy-hexagonal lattice
• Lowering Connectivity Requirements For Bivariate Bicycle Codes Using Morphing Circuits
• ERASER: Towards Adaptive Leakage Suppression for Fault-Tolerant Quantum Computing
• Nonstabilizerness dynamics in many-body localized systems
• Scalable noise characterization of syndrome-extraction circuits with averaged circuit eigenvalue sampling
• Optimization of decoder priors for accurate quantum error correction
• Low-depth Clifford circuits approximately solve MaxCut
• Zero noise extrapolation on logical qubits by scaling the error correction code distance
• Optimal Hadamard gate count for Clifford$+T$ synthesis of Pauli rotations sequences
• Improved Pairwise Measurement-Based Surface Code
• A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
• Leveraging Qubit Loss Detection in Fault Tolerant Quantum Algorithms
• Designing fault-tolerant circuits using detector error models
• Dynamical Logical Qubits in the Bacon-Shor Code
• Improved Graph Formalism for Quantum Circuit Simulation
• Simulation of Quantum Computers: Review and Acceleration Opportunities
• Improving threshold for fault-tolerant color code quantum computing by flagged weight optimization
• XYZ ruby code: Making a case for a three-colored graphical calculus for quantum error correction in spacetime
• Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
• Imperfect quantum networks with tailored resource states
• Low-overhead magic state distillation with color codes
• Local Clustering Decoder as a fast and adaptive hardware decoder for the surface code
• Code switching revisited: Low-overhead magic state preparation using color codes
• Fermionic Magic Resources of Quantum Many-Body Systems
• Linear Cross Entropy Benchmarking with Clifford Circuits
• Pauli Noise Learning for Mid-Circuit Measurements
• Hybrid cat-transmon architecture for scalable, hardware-efficient quantum error correction
• Evolving Quantum Circuits
• Fault-tolerant compiling of classically hard IQP circuits on hypercubes
• Concatenate codes, save qubits
• Dynamical subset sampling of quantum error correcting protocols
• Detrimental non-Markovian errors for surface code memory
• Software Tools for Decoding Quantum Low-Density Parity Check Codes
• Architecture and protocols for all-photonic quantum repeaters
• Fault-Tolerant Stabilizer Measurements in Surface Codes with Three-Qubit Gates
• Quantum error correction for long chains of trapped ions
• Demonstrating quantum error mitigation on logical qubits
• Entanglement dynamics in monitored Kitaev circuits: loop models, symmetry classification, and quantum Lifshitz scaling
• Spatially parallel decoding for multi-qubit lattice surgery
• Lift-Connected Surface Codes
• Robust gates with spin-locked superconducting qubits
• Classical product code constructions for quantum Calderbank-Shor-Steane codes
• Non-Pauli Errors in the Three-Dimensional Surface Code
• Counting stabiliser codes for arbitrary dimension
• Snakes and Ladders: Adapting the surface code to defects
• Low-overhead quantum error correction codes with a cyclic topology
• Accommodating Fabrication Defects on Floquet Codes with Minimal Hardware Requirements
• Non-stabilizerness of Neural Quantum States
• Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning
• Adaptive Syndrome Extraction
• Single-shot and measurement-based quantum error correction via fault complexes
• Quantum error detection in qubit-resonator star architecture
• Hamiltonian-based graph-state ansatz for variational quantum algorithms
• Qudit vs. Qubit: Simulated performance of error correction codes in higher dimensions
• Concatenated Steane code with single-flag syndrome checks
• Characterization of errors in a CNOT between surface code patches
• Degenerate quantum erasure decoding
• Synchronization for Fault-Tolerant Quantum Computers
• Coprime Bivariate Bicycle Codes and Their Layouts on Cold Atoms
• Approximate inverse measurement channel for shallow shadows
• Optimization tools for distance-preserving flag fault-tolerant error correction
• Exact results on finite size corrections for surface codes tailored to biased noise
• Fidelity-Aware Multipath Routing for Multipartite State Distribution in Quantum Networks
• Effectiveness of the syndrome extraction circuit with flag qubits on IBM quantum hardware
• Classical simulability of Clifford+T circuits with Clifford-augmented matrix product states
• Lattice surgery-based logical state teleportation via noisy links
• Fast algorithms for classical specifications of stabiliser states and Clifford gates
• Distributed quantum error correction based on hyperbolic Floquet codes
• Quantum low-density parity-check codes for erasure-biased atomic quantum processors
• Logical Error Rates for the Surface Code Under a Mixed Coherent and Stochastic Circuit-Level Noise Model Inspired by Trapped Ions
• Low-depth quantum error correction via three-qubit gates in Rydberg atom arrays
• Decoding across transversal Clifford gates in the surface code
• Momentum space magic for the transverse field quantum Ising model
• Tailoring Dynamical Codes for Biased Noise: The X${}^3$Z${}^3$ Floquet Code
• Magic State Injection with Erasure Qubits
• High-threshold, low-overhead and single-shot decodable fault-tolerant quantum memory
• Optimized noise-resilient surface code teleportation interfaces
• Logical entanglement distribution between distant 2D array qubits
• Superconducting qubits in the millions: the potential and limitations of modularity
• Transversal CNOT gate with multi-cycle error correction
• Non-local resources for error correction in quantum LDPC codes
• Stabilizer configuration interaction: Finding molecular subspaces with error detection properties
• Bosonic Pauli+: Efficient Simulation of Concatenated Gottesman-Kitaev-Preskill Codes
• Detecting Measurement-Induced Entanglement Transitions With Unitary Mirror Circuits
• Feasibility of Logical Bell State Generation in Memory Assisted Quantum Networks
• Clifford Manipulations of Stabilizer States: A graphical rule book for Clifford unitaries and measurements on cluster states, and application to photonic quantum computing
• Magic State Injection on IBM Quantum Processors Above the Distillation Threshold
• Measurement-Based Entanglement Distillation and Constant-Rate Quantum Repeaters over Arbitrary Distances
• Clifford-Dressed Variational Principles for Precise Loschmidt Echoes
• Distributed-HISQ: A Distributed Quantum Control Architecture
• Real-time adaptation of quantum noise channel estimates
• Q-Pandora Unboxed: Characterizing Noise Resilience of Quantum Error Correction Codes
• Characterization of non-adaptive Clifford channels
• Locating Rydberg Decay Error in SWAP-Leakage Reduction Circuit Protocol
• Refined Criteria for QRAM Error Suppression via Efficient Large-Scale QRAM Simulator
• Taming Rydberg Decay with Measurement-based Quantum Computation
• QUITS: A modular Qldpc code circUIT Simulator
• Instability of steady-state mixed-state symmetry-protected topological order to strong-to-weak spontaneous symmetry breaking
• The Parity Flow Formalism: Tracking Quantum Information Throughout Computation
• Unfolded distillation: very low-cost magic state preparation for biased-noise qubits
• Towards self-correcting quantum codes for neutral atom arrays
• Magic tricycles: Efficient magic state generation with finite block-length quantum LDPC codes
• Geometrical Approach to Logical Qubit Fidelities of Neutral Atom CSS Codes
• Leakage Mobility in Superconducting Qubits as a Leakage Reduction Unit
• Optimal number of stabilizer measurement rounds in an idling surface code patch
• Fault-tolerant interfaces for modular quantum computing on diverse qubit platforms
• Accurate Leakage Speculation for Quantum Error Correction
• Phase transitions in (2 + 1)D subsystem-symmetric monitored quantum circuits
• Entanglement boosting: Low-volume logical Bell pair preparation for distributed fault-tolerant quantum computation
• Efficient simulation of logical magic state preparation protocols
• Multiqubit Rydberg Gates for Quantum Error Correction
• Anticoncentration in Clifford Circuits and Beyond: From Random Tensor Networks to Pseudo-Magic States
• Decoding Correlated Errors in Quantum LDPC Codes
• Fault-tolerant Quantum Error Correction Using a Linear Array of Emitters
• Scalable Simulation of Fermionic Encoding Performance on Noisy Quantum Computers
• High-expressibility Quantum Neural Networks using only classical resources
• Comparison of spin-qubit architectures for quantum error-correcting codes
• Symmetry in Multi-Qubit Correlated Noise Errors Enhances Surface Code Thresholds
• CQM: Cyclic Qubit Mappings
• A dynamic circuit for the honeycomb Floquet code
• Fully Parallelized BP Decoding for Quantum LDPC Codes Can Outperform BP-OSD
• Bayesian inference of general noise-model parameters from the syndrome statistics of surface codes
• Fast Scrambling in Classically Simulable Quantum Circuits
• Architecting Scalable Trapped Ion Quantum Computers using Surface Codes
• Streaming Belief Propagation on Mixed-Alphabet Tanner Graphs for Practical Quantum Memory
• Managing Classical Processing Requirements for Quantum Error Correction
• Increasing the distance of topological codes with time vortex defects
• Nontrivial multi-product commutation relation toward reducing T-count in sequential Pauli-based computation
• qSIEVE: Efficient qLDPC Memory via Systolic Movement in Atom Arrays
• Logical operations with a dynamical qubit in Floquet-Bacon-Shor code
• Incoherent Approximation of Leakage in Quantum Error Correction
• Routing-based technique for defect mitigation in quantum error correction
• Exact and Efficient Stabilizer Simulation of Thermal-Relaxation Noise for Quantum Error Correction
• Transversal architecture for megaquop-scale quantum simulation with neutral atoms
• Universal quantum computation via scalable measurement-free error correction
• Optimized Clifford Noise Reduction: Theory, Simulations and Experiments
• Overflow-Safe Polylog-Time Parallel Minimum-Weight Perfect Matching Decoder: Toward Experimental Demonstration
• Dense packing of the surface code: code deformation procedures and hook-error-avoiding gate scheduling
• A streamlined demonstration that stabilizer circuits simulation reduces to Boolean linear algebra
• Pinball: A Cryogenic Predecoder for Surface Code Decoding Under Circuit-Level Noise
• Diversity Methods for Improving Convergence and Accuracy of Quantum Error Correction Decoders Through Hardware Emulation
• iSwitch: QEC on Demand via In-Situ Encoding of Bare Qubits for Ion Trap Architectures
• Network Requirements for Distributed Quantum Computation
• Control-driven critical fluctuations across quantum trajectories
• Soft information decoding with superconducting qubits
• Subsystem many-hypercube codes: High-rate concatenated codes with low-weight syndrome measurements