Abstract
The rapid development of quantum computing (QC) in the NISQ era urgently demands a low-level benchmark suite and insightful evaluation metrics for characterizing the properties of prototype NISQ devices, the efficiency of QC programming compilers, schedulers and assemblers, and the capability of quantum system simulators in a classical computer. In this work, we fill this gap by proposing a low-level, easy-to-use benchmark suite called QASMBench based on the OpenQASM assembly representation. It consolidates commonly used quantum routines and kernels from a variety of domains including chemistry, simulation, linear algebra, searching, optimization, arithmetic, machine learning, fault tolerance, cryptography, and so on, trading-off between generality and usability. To analyze these kernels in terms of NISQ device execution, in addition to circuit width and depth, we propose four circuit metrics including gate density, retention lifespan, measurement density, and entanglement variance, to extract more insights about the execution efficiency, the susceptibility to NISQ error, and the potential gain from machine-specific optimizations. Applications in QASMBench can be launched and verified on several NISQ platforms, including IBM-Q, Rigetti, IonQ and Quantinuum. For evaluation, we measure the execution fidelity of a subset of QASMBench applications on 12 IBM-Q machines through density matrix state tomography, comprising 25K circuit evaluations. We also compare the fidelity of executions among the IBM-Q machines, the IonQ QPU and the Rigetti Aspen M-1 system. QASMBench is released at: http://github.com/pnnl/QASMBench.
- [1] [n.d.]. Quantum programming language converter.Google Scholar
- [2] [n.d.]. Quantum programming language converter.Google Scholar
- [3] . 2018. Quantum algorithm implementations for beginners. arXiv e-prints (2018), arXiv–1804.Google Scholar
- [4] . 2001. Quantum walks on graphs. In Proceedings of the Thirty-third Annual ACM Symposium on Theory of Computing. 50–59.Google ScholarDigital Library
- [5] . 2005. A functional quantum programming language. In 20th Annual IEEE Symposium on Logic in Computer Science (LICS’05). IEEE, 249–258.Google Scholar
- [6] . 2019. https://github.com/AgentANAKIN/.Google Scholar
- [7] . 2019. Quantum supremacy using a programmable superconducting processor. Nature 574, 7779 (2019), 505–510.Google ScholarCross Ref
- [8] . 2012. Photonic quantum simulators. Nature Physics 8, 4 (2012), 285–291.Google ScholarCross Ref
- [9] . 2015. Classical and quantum algorithms for the Boolean satisfiability problem. arXiv preprint arXiv:1510.02682 (2015).Google Scholar
- [10] . 2019. A generative modeling approach for benchmarking and training shallow quantum circuits. npj Quantum Information 5, 1 (2019), 1–9.Google Scholar
- [11] . 1980. The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines. Journal of Statistical Physics 22, 5 (1980), 563–591.Google ScholarCross Ref
- [12] . 2020. Quantum cryptography: Public key distribution and coin tossing. arXiv preprint arXiv:2003.06557 (2020).Google Scholar
- [13] . 1997. Quantum complexity theory. SIAM Journal on Computing 26, 5 (1997), 1411–1473.Google ScholarDigital Library
- [14] . 2007. Efficient quantum algorithms for simulating sparse Hamiltonians. Communications in Mathematical Physics 270, 2 (2007), 359–371.Google ScholarCross Ref
- [15] . 2017. Quantum machine learning. Nature 549, 7671 (2017), 195–202.Google ScholarCross Ref
- [16] . 2017. Quantum Examples QASM. https://github.com/BramDo/quantum_examples_qasm.Google Scholar
- [17] . 2005. Security of two quantum cryptography protocols using the same four qubit states. Physical Review A 72, 3 (2005), 032301.Google Scholar
- [18] . 2020. TensorFlow quantum: A software framework for quantum machine learning. arXiv preprint arXiv:2003.02989 (2020).Google Scholar
- [19] . 2008. Quantum Ising Phases and Transitions in Transverse Ising Models. Vol. 41. Springer Science & Business Media.Google Scholar
- [20] . 2018. Toward a MILP modeling framework for distribution system restoration. IEEE Transactions on Power Systems 34, 3 (2018), 1749–1760.Google Scholar
- [21] . 2018. Quantum computing is getting real: Architecture, PL, and OS roles in closing the gap between quantum algorithms and machines. In Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems. 285–285.Google Scholar
- [22] . 2018. Learning the quantum algorithm for state overlap. New Journal of Physics 20, 11 (2018), 113022.Google Scholar
- [23] . 1995. Quantum computations with cold trapped ions. Physical Review Letters 74, 20 (1995), 4091.Google ScholarCross Ref
- [24] . 2013. Preconditioned quantum linear system algorithm. Physical Review Letters 110, 25 (2013), 250504.Google ScholarCross Ref
- [25] . 2008. Superconducting quantum bits. Nature 453, 7198 (2008), 1031–1042.Google ScholarCross Ref
- [26] . 2002. An approximate Fourier transform useful in quantum factoring. arXiv preprint quant-ph/0201067 (2002).Google Scholar
- [27] . 2019. Challenges and opportunities of near-term quantum computing systems. arXiv preprint arXiv:1910.02894 (2019).Google Scholar
- [28] . 2019. Validating quantum computers using randomized model circuits. Physical Review A 100, 3 (2019), 032328.Google ScholarCross Ref
- [29] . 2017. Open quantum assembly language. arXiv preprint arXiv:1707.03429 (2017). Repo: https://github.com/Qiskit/openqasm.Google Scholar
- [30] . 2015. Quantum learning robust against noise. Physical Review A 92, 1 (2015), 012327.Google ScholarCross Ref
- [31] . 2004. A new quantum ripple-carry addition circuit. arXiv preprint quant-ph/0410184 (2004).Google Scholar
- [32] . 2019. A case for multi-programming quantum computers. In Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture. 291–303.Google ScholarDigital Library
- [33] . 1992. Rapid solution of problems by quantum computation. Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 439, 1907 (1992), 553–558.Google ScholarCross Ref
- [34] . 2000. The physical implementation of quantum computation. Fortschritte der Physik: Progress of Physics 48, 9–11 (2000), 771–783.Google ScholarCross Ref
- [35] . 2007. Arbitrary accuracy iterative quantum phase estimation algorithm using a single ancillary qubit: A two-qubit benchmark. Physical Review A 76, 3 (2007), 030306.Google Scholar
- [36] . 2020. Random circuit block-encoded matrix and a proposal of quantum LINPACK benchmark. arXiv preprint arXiv:2006.04010 (2020).Google Scholar
- [37] . 2018. Cloud quantum computing of an atomic nucleus. Physical Review Letters 120, 21 (2018), 210501.Google Scholar
- [38] . 2000. Three qubits can be entangled in two inequivalent ways. Physical Review A 62, 6 (2000), 062314.Google ScholarCross Ref
- [39] . 2014. A quantum approximate optimization algorithm. arXiv preprint arXiv:1411.4028 (2014).Google Scholar
- [40] . 1998. Quantum computation and decision trees. Physical Review A 58, 2 (1998), 915.Google ScholarCross Ref
- [41] . 2016. A quantum teleportation experiment for undergraduate students. arXiv preprint arXiv:1607.02398 (2016).Google Scholar
- [42] . 1999. Simulating physics with computers. Int. J. Theor. Phys. 21, 6/7 (1999).Google Scholar
- [43] . 2020. Open-Source Quantum Software Projects. https://github.com/qosf/awesome-quantum-software.Google Scholar
- [44] . 2002. Quantum memory for photons: Dark-state polaritons. Physical Review A 65, 2 (2002), 022314.Google Scholar
- [45] . 2012. Surface codes: Towards practical large-scale quantum computation. Physical Review A 86, 3 (2012), 032324.Google ScholarCross Ref
- [46] . 2017. An experimental microarchitecture for a superconducting quantum processor. In Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture. 813–825.Google ScholarDigital Library
- [47] . 2010. Two-particle quantum walks applied to the graph isomorphism problem. Physical Review A 81, 5 (2010), 052313.Google ScholarCross Ref
- [48] . 2014. Quantum simulation. Reviews of Modern Physics 86, 1 (2014), 153.Google ScholarCross Ref
- [49] . 2002. Quantum cryptography. Reviews of Modern Physics 74, 1 (2002), 145.Google ScholarCross Ref
- [50] . 2021. Cloud based QC with Amazon Braket. Digitale Welt 5, 2 (2021), 14–17.Google Scholar
- [51] . [n.d.]. https://github.com/quantumlib/Cirq.Google Scholar
- [52] . 1989. Going beyond Bell’s theorem. In Bell’s Theorem, Quantum Theory and Conceptions of the Universe. Springer, 69–72.Google Scholar
- [53] . 2019. Is the trotterized UCCSD ansatz chemically well-defined? Journal of Chemical Theory and Computation (2019).Google Scholar
- [54] . 1996. A fast quantum mechanical algorithm for database search. In Proceedings of the Twenty-eighth Annual ACM Symposium on Theory of Computing. 212–219.Google ScholarDigital Library
- [55] . 1998. Quantum computers can search rapidly by using almost any transformation. Physical Review Letters 80, 19 (1998), 4329.Google ScholarCross Ref
- [56] . 2021. Distributed quantum computing with QMPI. In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. 1–13.Google ScholarDigital Library
- [57] . 2009. Quantum algorithm for linear systems of equations. Physical Review Letters 103, 15 (2009), 150502.Google ScholarCross Ref
- [58] . 2020. Identification of networking quantum teleportation on 14-qubit IBM universal quantum computer. Scientific Reports 10, 1 (2020), 1–12.Google Scholar
- [59] . [n.d.]. IBM Quantum Experience. https://quantum-computing.ibm.com/.Google Scholar
- [60] . [n.d.]. Qiskit: Elements for building a quantum future. https://github.com/Qiskit/qiskit.Google Scholar
- [61] . [n.d.]. Best Practices for Using IonQ Hardware. https://ionq.com/best-practices.Google Scholar
- [62] . [n.d.]. QAOAPython: The Quantum Approximate Optimization Algorithm implemented on Cirq, ProjectQ, and Qiskit. https://github.com/jtiosue/QAOAPython.Google Scholar
- [63] . 2010. Quantum counterfeit coin problems. In International Symposium on Algorithms and Computation. Springer, 85–96.Google Scholar
- [64] . 2012. Quantum counterfeit coin problems. Theoretical Computer Science 456 (2012), 51–64.Google ScholarDigital Library
- [65] . 2014. ScaffCC: A framework for compilation and analysis of quantum computing programs. In Proceedings of the 11th ACM Conference on Computing Frontiers. 1–10. Repo: https://github.com/epiqc/ScaffCC.Google ScholarDigital Library
- [66] . 2019. Variational quantum algorithms for discovering Hamiltonian spectra. Physical Review A 99, 6 (2019), 062304.Google Scholar
- [67] . [n.d.]. Quantum Algorithm Zoo. https://quantumalgorithmzoo.org/.Google Scholar
- [68] . 2017. Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature 549, 7671 (2017), 242–246.Google ScholarCross Ref
- [69] . 2019. Implementation of SWAP test for two unknown states in photons via cross-Kerr nonlinearities under decoherence effect. Scientific Reports 9, 1 (2019), 1–14.Google Scholar
- [70] . 2016. Quantum recommendation systems. arXiv preprint arXiv:1603.08675 (2016).Google Scholar
- [71] . 2008. The quantum internet. Nature 453, 7198 (2008), 1023–1030.Google ScholarCross Ref
- [72] . 2016. Tunable two-dimensional arrays of single Rydberg atoms for realizing quantum Ising models. Nature 534, 7609 (2016), 667–670.Google Scholar
- [73] . 2019. Overview and comparison of gate level quantum software platforms. Quantum 3 (2019), 130.Google ScholarCross Ref
- [74] . 2004. LLVM: A compilation framework for lifelong program analysis & transformation. In International Symposium on Code Generation and Optimization, 2004. CGO 2004. IEEE, 75–86.Google ScholarCross Ref
- [75] . 2003. Quantum dynamics of single trapped ions. Reviews of Modern Physics 75, 1 (2003), 281.Google ScholarCross Ref
- [76] . 2005. Creation of a six-atom ‘Schrödinger cat’state. Nature 438, 7068 (2005), 639–642.Google Scholar
- [77] . 2021. SV-Sim: Scalable PGAS-based state vector simulation of quantum circuits. In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. 1–14.Google Scholar
- [78] . 2020. Density matrix quantum circuit simulation via the BSP machine on modern GPU clusters. In SC20: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 1–15.Google ScholarDigital Library
- [79] . 2019. Tackling the qubit mapping problem for NISQ-era quantum devices. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 1001–1014.Google ScholarDigital Library
- [80] . 2020. Towards efficient superconducting quantum processor architecture design. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 1031–1045.Google ScholarDigital Library
- [81] . 1996. Universal quantum simulators. Science (1996), 1073–1078.Google ScholarCross Ref
- [82] . 2021. Application-oriented performance benchmarks for quantum computing. arXiv preprint arXiv:2110.03137 (2021).Google Scholar
- [83] . 2011. Scalable and robust randomized benchmarking of quantum processes. Physical Review Letters 106, 18 (2011), 180504.Google ScholarCross Ref
- [84] . 2012. Characterizing quantum gates via randomized benchmarking. Physical Review A 85, 4 (2012), 042311.Google Scholar
- [85] . 2016. A CMOS silicon spin qubit. Nature Communications 7, 1 (2016), 1–6.Google Scholar
- [86] . 2018. A language and hardware independent approach to quantum–classical computing. SoftwareX 7 (2018), 245–254.Google ScholarCross Ref
- [87] . 2020. OpenFermion: The electronic structure package for quantum computers. Quantum Science and Technology (2020). Repo: https://github.com/quantumlib/OpenFermion-Cirq.Google Scholar
- [88] . 2016. The theory of variational hybrid quantum-classical algorithms. New Journal of Physics 18, 2 (2016), 023023.Google ScholarCross Ref
- [89] . [n.d.]. Quantum_Walks: Qiskit code to simulate quantum walks on graphs with up to 4 nodes. https://github.com/raffmiceli/Quantum_Walks.Google Scholar
- [90] . 2017. Benchmarking gate-based quantum computers. Computer Physics Communications 220 (2017), 44–55.Google ScholarCross Ref
- [91] . [n.d.]. Azure Honeywell provider. https://docs.microsoft.com/en-us/azure/quantum/provider-honeywell.Google Scholar
- [92] . [n.d.]. Azure Quantum. https://azure.microsoft.com/en-us/services/quantum/.Google Scholar
- [93] . 2016. Quantum algorithms: An overview. npj Quantum Information 2, 1 (2016), 1–8.Google Scholar
- [94] . 2010. From quantum multiplexing to high-performance quantum networking. Nature Photonics 4, 11 (2010), 792.Google Scholar
- [95] . 2019. Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 1015–1029.Google ScholarDigital Library
- [96] . 2019. Full-stack, real-system quantum computer studies: Architectural comparisons and design insights. In Proceedings of the 46th International Symposium on Computer Architecture. 527–540.Google ScholarDigital Library
- [97] . 2020. Software mitigation of crosstalk on noisy intermediate-scale quantum computers. arXiv preprint arXiv:2001.02826 (2020).Google Scholar
- [98] . 2002. Quantum computation and quantum information.Google Scholar
- [99] . 2009. Photonic quantum technologies. Nature Photonics 3, 12 (2009), 687.Google ScholarCross Ref
- [100] . 2012. Google in a quantum network. Scientific Reports 2 (2012), 444.Google ScholarCross Ref
- [101] . 2018. Noise-tolerant parity learning with one quantum bit. Physical Review A 97, 3 (2018), 032327.Google Scholar
- [102] . 2016. A quantum Fredkin gate. Science Advances 2, 3 (2016), e1501531.Google Scholar
- [103] . 2020. Experimental evaluation of NISQ quantum computers: Error measurement, characterization, and implications. In 2020 SC20: International Conference for High Performance Computing, Networking, Storage and Analysis (SC). IEEE Computer Society, 636–650.Google ScholarCross Ref
- [104] . 2012. A single-atom electron spin qubit in silicon. Nature 489, 7417 (2012), 541–545.Google ScholarCross Ref
- [105] . 2018. Quantum computing in the NISQ era and beyond. Quantum 2 (2018), 79.Google ScholarCross Ref
- [106] . 2019. Direct randomized benchmarking for multiqubit devices. Physical Review Letters 123, 3 (2019), 030503.Google Scholar
- [107] . 2020. List of QC simulators. https://www.quantiki.org/wiki/list-qc-simulators.Google Scholar
- [108] . 2021. Adaptive quantum state tomography with neural networks. npj Quantum Information 7, 1 (2021), 1–7.Google Scholar
- [109] . 2018. Quantum computational finance: Monte Carlo pricing of financial derivatives. Physical Review A 98, 2 (2018), 022321.Google Scholar
- [110] . [n.d.]. Native gates for Rigetti QPUs. https://pyquil-docs.rigetti.com/en/v2.7.0/apidocs/gates.html.Google Scholar
- [111] . 2012. Superconducting qubit in a waveguide cavity with a coherence time approaching 0.1 ms. Physical Review B 86, 10 (2012), 100506.Google Scholar
- [112] . 2017. Code in QASM for quantum circuits and algorithms. https://github.com/sampaio96/Quantum-Computing.Google Scholar
- [113] . 2015. An introduction to quantum machine learning. Contemporary Physics 56, 2 (2015), 172–185.Google ScholarCross Ref
- [114] . 2019. Optimized compilation of aggregated instructions for realistic quantum computers. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 1031–1044.Google ScholarDigital Library
- [115] . 1994. Algorithms for quantum computation: Discrete logarithms and factoring. In Proceedings 35th Annual Symposium on Foundations of Computer Science. IEEE, 124–134.Google ScholarDigital Library
- [116] . 1999. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Review 41, 2 (1999), 303–332.Google ScholarDigital Library
- [117] . 1997. On the power of quantum computation. SIAM Journal on Computing 26, 5 (1997), 1474–1483.Google ScholarDigital Library
- [118] . 2019. A quantum computational compiler and design tool for technology-specific targets. In Proceedings of the 46th International Symposium on Computer Architecture. 579–588.Google ScholarDigital Library
- [119] . 2018. ProjectQ: An open source software framework for quantum computing. Quantum 2 (2018), 49.Google ScholarCross Ref
- [120] . 2022. EQC: Ensembled quantum computing for variational quantum algorithms. In Proceedings of the 49th Annual International Symposium on Computer Architecture. 59–71.Google Scholar
- [121] . 2022. QuClassi: A hybrid deep neural network architecture based on quantum state fidelity. Proceedings of Machine Learning and Systems 4 (2022), 251–264.Google Scholar
- [122] . 2020. QuGAN: A generative adversarial network through quantum states. arXiv preprint arXiv:2010.09036 (2020).Google Scholar
- [123] . 2016. A quantum annealing approach for Boolean satisfiability problem. In 2016 53rd ACM/EDAC/IEEE Design Automation Conference (DAC). IEEE, 1–6.Google Scholar
- [124] . 2019. Ensemble of diverse mappings: Improving reliability of quantum computers by orchestrating dissimilar mistakes. In Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture. 253–265.Google ScholarDigital Library
- [125] . 2019. Mitigating measurement errors in quantum computers by exploiting state-dependent bias. In Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture. 279–290.Google ScholarDigital Library
- [126] . 2019. Not all qubits are created equal: A case for variability-aware policies for NISQ-era quantum computers. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 987–999.Google ScholarDigital Library
- [127] . 1980. Reversible computing. In International Colloquium on Automata, Languages, and Programming. Springer, 632–644.Google Scholar
- [128] . 2022. SupermarQ: A scalable quantum benchmark suite. arXiv preprint arXiv:2202.11045 (2022).Google Scholar
- [129] . 1996. Quantum networks for elementary arithmetic operations. Physical Review A 54, 1 (1996), 147.Google ScholarCross Ref
- [130] . 2012. Quantum walks: A comprehensive review. Quantum Information Processing 11, 5 (2012), 1015–1106.Google ScholarDigital Library
- [131] . 1994. Experimental bell-state analysis. EPL (Europhysics Letters) 25, 8 (1994), 559.Google Scholar
- [132] . 2011. Simulation of electronic structure Hamiltonians using quantum computers. Molecular Physics 109, 5 (2011), 735–750.Google ScholarCross Ref
- [133] . 2011. Swift: A language for distributed parallel scripting. Parallel Comput. 37, 9 (2011), 633–652.Google ScholarDigital Library
- [134] . 2019. Quantum risk analysis. npj Quantum Information 5, 1 (2019), 1–8.Google Scholar
- [135] . 2020. A Bayesian approach for characterizing and mitigating gate and measurement errors. arXiv preprint arXiv:2010.09188 (2020).Google Scholar
- [136] . 2018. Quantum approximate optimization algorithm: Performance, mechanism, and implementation on near-term devices. arXiv preprint arXiv:1812.01041 (2018).Google Scholar
Index Terms
- QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation
Recommendations
Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices
ASPLOS '19: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating SystemsDue to little considerations in the hardware constraints, e.g., limited connections between physical qubits to enable two-qubit gates, most quantum algorithms cannot be directly executed on the Noisy Intermediate-Scale Quantum (NISQ) devices. ...
An Algebraic Quantum Circuit Compression Algorithm for Hamiltonian Simulation
Quantum computing is a promising technology that harnesses the peculiarities of quantum mechanics to deliver computational speedups for some problems that are intractable to solve on a classical computer. Current generation noisy intermediate-scale quantum (...
Comments