Just Like the Real Thing: Fast Weak Simulation of Quantum Computation
Stefan Hillmich, Igor L. Markov, Robert Wille
Abstract
Quantum computers promise significant speedups in solving problems intractable for conventional computers but, despite recent progress, remain limited in scaling and availability. Therefore, quantum software and hardware development heavily rely on simulation that runs on conventional computers. Most such approaches perform strong simulation in that they explicitly compute amplitudes of quantum states. However, such information is not directly observable from a physical quantum computer because quantum measurements produce random samples from probability distributions defined by those amplitudes. In this work, we focus on weak simulation that aims to produce outputs which are statistically indistinguishable from those of error-free quantum computers. We develop algorithms for weak simulation based on quantum state representation in terms of decision diagrams. We compare them to using state-vector arrays and binary search on prefix sums to perform sampling. Empirical validation shows, for the first time, that this enables mimicking of physical quantum computers of significant scale.
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.
Related papers
- The Power of Simulation for Equivalence Checking in Quantum ComputingLukas Burgholzer, Robert WilleDAC 2020 · 25 citations
- Massively Parallel Approximate Simulation of Hard Quantum CircuitsIgor L. Markov, Aneeqa Fatima, Sergei V. Isakov, Sergio BoixoDAC 2020 · 15 citations
- Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verificationChun-Yu Wei, Yuan-Hung Tsai, Chiao-Shan Jhang, Jie-Hong R. JiangDAC 2022 · 28 citations
- Logical abstractions for noisy variational Quantum algorithm simulationYipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck et al.ASPLOS 2021 · 16 citations
- BQSim: GPU-accelerated Batch Quantum Circuit Simulation using Decision DiagramShui Jiang, Yi-Hua Chung, Chih-Chun Chang, Tsung-Yi Ho et al.ASPLOS 2025 · 9 citations
