Efficient Construction of Functional Representations for Quantum Algorithms
arXiv:2103.08281 · doi:10.1007/978-3-030-79837-6_14
Abstract
Due to the significant progress made in the implementation of quantum hardware, efficient methods and tools to design corresponding algorithms become increasingly important. Many of these tools rely on functional representations of certain building blocks or even entire quantum algorithms which, however, inherently exhibit an exponential complexity. Although several alternative representations have been proposed to cope with this complexity, the construction of those representations remains a bottleneck. In this work, we propose solutions for efficiently constructing representations of quantum functionality based on the idea of conducting as many operations as possible on as small as possible intermediate representations -- using Decision Diagrams as a representative functional description. Experimental evaluations show that applying these solutions allows to construct the desired representations several factors faster than with state-of-the-art methods. Moreover, if repeating structures (which frequently occur in quantum algorithms) are explicitly exploited, exponential improvements are possible -- allowing to construct the functionality of certain algorithms within seconds, whereas the state of the art fails to construct it in an entire day.
arXiv comment15 pages, 5 figures
References in corpus (15)
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Quantum Amplitude Amplification and Estimation
- Simulating quantum computation by contracting tensor networks
- Quantum measurements and the Abelian Stabilizer Problem
- ProjectQ: An Open Source Software Framework for Quantum Computing
- Quantum speedup of Monte Carlo methods
- Quantum computational finance: Monte Carlo pricing of financial derivatives
- QuEST and High Performance Simulation of Quantum Computers
- A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware
- Leveraging Secondary Storage to Simulate Deep 54-qubit Sycamore Circuits
- Tensor Networks in a Nutshell
- Intel Quantum Simulator: A cloud-ready high-performance simulator of quantum circuits
- How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing
- Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
- Quantum++: A modern C++ quantum computing library