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.

An Efficient Exact Quantum Algorithm for the Integer Square-free Decomposition Problem

Quadratic Sieve Factorization Quantum Algorithm and its Simulation

Optical experimental solution for the multiway number partitioning problem and its application to computing power scheduling

A Decomposition Method for the Hybrid Quantum-Classical Solution of the Number Partitioning Problem

Experimental Quantum Computing to Solve Systems of Linear Equations

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

Introduction to quantum algorithms

Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming

A tree-approach Pauli decomposition algorithm with application to quantum computing

Scalable Program Implementation and Simulation of the Large-Scale Quantum Algorithm: $1024\times 1024$ Quantum Linear Solver and Beyond

Distributed exact quantum algorithms for Deutsch-Jozsa problem

Optimizing the Optimizer: Decomposition Techniques for Quantum Annealing

Shallow Depth Factoring Based on Quantum Feasibility Labeling and Variational Quantum Search

Variational Quantum Eigensolver Approach to Prime Factorization on IBM's Noisy Intermediate Scale Quantum Computer

Quantum and Classical Combinatorial Optimizations Applied to Lattice-Based Factorization

FEqa: Finite Element Computations on Quantum Annealers

Quantum Algorithm for Optimization and Polynomial System Solving over Finite Field and Application to Cryptanalysis

The Algorithm for Solving Quantum Linear Systems of Equations With Coherent Superposition and Its Extended Applications

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm

Boolean Function Decomposition Based on Grover Algorithm and Its Simulation Using Quantum Language Quipper

Verifiably Exact Solution of the Electronic Schrödinger Equation on Quantum Devices