Unifying and Extending Strong Simulation of Quantum Circuits

arXiv:2610.00547 · quant-ph, cs.DS · Submitted 2026-09-30 · Read on arXiv

quant-ph, cs.DS

Submitted: 2026-09-30

Updated: 2026-09-30

Terminology

• Quantum Circuits — 43× in this paper · explained in 2 episodes
• Hypergraph — 15× in this paper · explained in 2 episodes
• Aggregation — 14× in this paper · explained in 1 episode
• Verification — 6× in this paper · explained in 2 episodes
• Core — 5× in this paper · explained in 2 episodes
• Adjacency Matrix — 2× in this paper · explained in 1 episode
• Benchmark — 2× in this paper · explained in 2 episodes
• Benchmarking — 2× in this paper · explained in 3 episodes
• In Computer Aided Verification — 2× in this paper
• Provenance — 2× in this paper · explained in 3 episodes
• Sparsity — 2× in this paper · explained in 4 episodes
• Stabilizer States — 2× in this paper · explained in 2 episodes
• Adam — 1× in this paper · explained in 2 episodes
• Entanglement — 1× in this paper · explained in 3 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Hilbert Space — 1× in this paper · explained in 2 episodes
• Quantum Physics — 1× in this paper · explained in 10 episodes
• SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems — 1× in this paper

Sources

• Simulation of low-depth quantum circuits as complex undirected graphical models
• Breaking the Treewidth Barrier in Quantum Circuit Simulation with Decision Diagrams
• Unifying Graph Measures and Stabilizer Decompositions for the Classical Simulation of Quantum Circuits
• Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
• Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions
• Efficient Classical Simulation of Low-Rank-Width Quantum Circuits Using ZX-Calculus
• QuWARP: A Workload-Aware Reuse Planner for simulating Quantum Circuits
• Simulating Clifford Circuits with Gaussian Elimination
• Tensor network ranks

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