Abstract:Many of the envisioned use-cases for quantum computers involve optimisation processes. While there are many algorithmic primitives to perform the required calculations, all eventually lead to quantum gates operating on quantum bits, with an order as determined by the structure of the objective function and the properties of target hardware. When the structure of the problem representation is not aligned with structure and boundary conditions of the executing hardware, various overheads degrading the computation may arise, possibly negating any possible quantum advantage. Therefore, automatic transformations of problem representations play an important role in quantum computing when descriptions (semi-)targeted at humans must be cast into forms that can be executed on quantum computers. Mathematically equivalent formulations are known to result in substantially different non-functional properties depending on hardware, algorithm and detail properties of the problem. Given the current state of noisy intermediate-scale quantum (NISQ) hardware, these effects are considerably more pronounced than in classical computing. Likewise, efficiency of the transformation itself is relevant because possible quantum advantage may easily be eradicated by the overhead of transforming between representations. In this paper, we consider a specific class of higher-level representations, i.e. polynomial unconstrained binary optimisation problems, and devise novel automatic transformation mechanisms into widely used quadratic unconstrained binary optimisation problems that substantially improve efficiency and versatility over the state of the art. We also identify what influence factors of lower-level details can be abstracted away in the transformation process, and which details must be made available to higher-level abstractions.

Efficient Quantum Transforms

Efficient Quantum Algorithm for All Quantum Wavelet Transforms

Highly-efficient quantum Fourier transformations for some nonabelian groups

Highly-efficient quantum Fourier transformations for certain non-Abelian groups

Quantum eigenvalue processing

Non-Linear Transformations of Quantum Amplitudes: Exponential Improvement, Generalization, and Applications

Fast Laplace transforms on quantum computers

A Practical Quantum Algorithm for the Schur Transform

Generalized Quantum Singular Value Transformation

Efficient quantum circuits for dense and non-unitary operators

The Quantum Esscher Transform

Quantum Optical Version of Classical Optical Transformations and Beyond

Unitary Complexity and the Uhlmann Transformation Problem

Efficient Verification of Quantum Gates with Local Operations

It's Quick to be Square: Fast Quadratisation for Quantum Toolchains

Quantum Speed Limits for Implementation of Unitary Transformations

Quantum Networks for Elementary Arithmetic Operations.

Computations in quantum tensor networks

Quantum factoring, discrete logarithms and the hidden subgroup problem