qblaze: An Efficient and Scalable Sparse Quantum Simulator
Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin T. Vechev
Abstract
Classical simulation of quantum circuits is critical for the development of implementations of quantum algorithms: it does not require access to specialized hardware, facilitates debugging by allowing direct access to the quantum state, and is the only way to test on inputs that are too big for current NISQ computers.
Many quantum algorithms rely on invariants that result in sparsity in the state vector. A sparse state vector simulator only computes with non-zero amplitudes. For important classes of algorithms, this results in an asymptotic improvement in simulation time. While promising prior work has investigated ways to exploit sparsity, it is still unclear what is the best way to scale sparse simulation to modern multi-core architectures.
In this work, we address this challenge and present qblaze, a highly optimized sparse state vector simulator based on (i) a compact sorted array representation, and (ii) new, easily parallelizable and highly-scalable algorithms for all quantum operations. Our extensive experimental evaluation shows that qblaze is often orders-of-magnitude more efficient than prior sparse state vector simulators even on a single thread, and also that qblaze scales well to a large number of CPU cores.
Overall, our work enables testing quantum algorithms on input sizes that were previously out of reach.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 7f0da5fb-8939-4453-b4ff-cbc4e2cb4b65Builds on2
- Silq: a high-level quantum language with safe uncomputation and intuitive semanticsBenjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. VechevPLDI 2020 · 145 citations
- Weighted Context-Free-Language Ordered Binary Decision DiagramsMeghana Sistla, Swarat Chaudhuri, Thomas W. RepsOOPSLA 2024 · 7 citations
Related papers
- Q-GPU: A Recipe of Optimizations for Quantum Circuit Simulation Using GPUsYilun Zhao, Yanan Guo, Yuan Yao, Amanda Dumi et al.HPCA 2022 · 17 citations
- An Efficient Algorithm for Sparse Quantum State PreparationNiels Gleinig, Torsten HoeflerDAC 2021 · 43 citations
- Versatile Cross-platform Compilation Toolchain for Schrödinger-style Quantum Circuit SimulationYuncheng Lu, Shuang Liang, Hongxiang Fan, Ce Guo et al.DAC 2025
- Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit SimulationYuan-Hung Tsai, Jie-Hong R. Jiang, Chiao-Shan JhangDAC 2021 · 29 citations
- Eliminating Redundant Computation in Noisy Quantum Computing SimulationGushu Li, Yufei Ding, Yuan XieDAC 2020 · 12 citations
