Efficient Construction of Functional Representations for Quantum Algorithms

03/15/2021
by   Lukas Burgholzer, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/17/2022

Efficient Deterministic Preparation of Quantum States Using Decision Diagrams

Loading classical data into quantum registers is one of the most importa...
research
07/28/2023

QbC: Quantum Correctness by Construction

Thanks to the rapid progress and growing complexity of quantum algorithm...
research
12/13/2021

Verified Compilation of Quantum Oracles

Quantum algorithms often apply classical operations, such as arithmetic ...
research
11/14/2018

Faster manipulation of large quantum circuits using wire label reference diagrams

Large scale quantum computing is highly anticipated, and quantum circuit...
research
12/22/2021

Parametrized Complexity of Quantum Inspired Algorithms

Motivated by recent progress in quantum technologies and in particular q...
research
09/14/2021

Formal Methods for Quantum Programs: A Survey

While recent progress in quantum hardware open the door for significant ...

Please sign up or login with your details

Forgot password? Click here to reset