Quantum Annealing Applied to De-Conflicting Optimal Trajectories for Air Traffic Management

We present the mapping of a class of simplified air traffic management (ATM) problems (strategic conflict resolution) to quadratic unconstrained boolean optimization (QUBO) problems. The mapping is performed through an original representation of the conflict-resolution problem in terms of a conflict graph, where nodes of the graph represent flights and edges represent a potential conflict between flights. The representation allows a natural decomposition of a real world instance related to wind-optimal trajectories over the Atlantic ocean into smaller subproblems, that can be discretized and are amenable to be programmed in quantum annealers. In the study, we tested the new programming techniques and we benchmark the hardness of the instances using both classical solvers and the D-Wave 2X and D-Wave 2000Q quantum chip. The preliminary results show that for reasonable modeling choices the most challenging subproblems which are programmable in the current devices are solved to optimality with 99% of probability within a second of annealing time.Comment: Paper accepted for publication on: IEEE Transactions on Intelligent Transportation System

Approximate Approximation on a Quantum Annealer

Many problems of industrial interest are NP-complete, and quickly exhaust resources of computational devices with increasing input sizes. Quantum annealers (QA) are physical devices that aim at this class of problems by exploiting quantum mechanical properties of nature. However, they compete with efficient heuristics and probabilistic or randomised algorithms on classical machines that allow for finding approximate solutions to large NP-complete problems. While first implementations of QA have become commercially available, their practical benefits are far from fully explored. To the best of our knowledge, approximation techniques have not yet received substantial attention. In this paper, we explore how problems' approximate versions of varying degree can be systematically constructed for quantum annealer programs, and how this influences result quality or the handling of larger problem instances on given set of qubits. We illustrate various approximation techniques on both, simulations and real QA hardware, on different seminal problems, and interpret the results to contribute towards a better understanding of the real-world power and limitations of current-state and future quantum computing.Comment: Proceedings of the 17th ACM International Conference on Computing Frontiers (CF 2020

Benchmarks and Controls for Optimization with Quantum Annealing

Quantum annealing (QA) is a metaheuristic specialized for solving optimization problems which uses principles of adiabatic quantum computing, namely the adiabatic theorem. Some devices implement QA using quantum mechanical phenomena. These QA devices do not perfectly adhere to the adiabatic theorem because they are subject to thermal and magnetic noise. Thus, QA devices return statistical solutions with some probability of success where this probability is affected by the level of noise of the system. As these devices improve, it is believed that they will become less noisy and more accurate. However, some tuning strategies may further improve that probability of finding the correct solution and reduce the effects of noise on solution outcome. In this dissertation, these tuning strategies are explored in depth to determine the effect of preprocessing, annealing, and post-processing controls on performance. In particular, these tuning strategies were applied to a real-world NP (nondeterministic polynomial time)-hard optimization problem and portfolio optimization. Although the performance improved very little from tuning the spin reversal transforms, anneal time, and embedding, the results revealed that reverse annealing controls improved the probability of success by an order of magnitude over forward annealing alone. The chain strength experiments revealed that increasing the strength of the intra-chain coupling improves the probability of success until the intra-chain coupling strengths begin to overpower the inter-chain couplings. By taking a closer look at each physical qubit in the embedded chains, the probability for each qubit to be faulty was visualized and was used to develop a post-processing strategy that outperformed the standard, which chooses a logical qubit value from a broken chain. The results of these findings provide a guide for researchers to find the optimal set of controls for their unique real-world optimization problem to determine whether QA provides some benefit over classical computing, lay the groundwork for developing new tuning strategies that could further improve performance, and characterize the current hardware for benchmarking future generations of QA hardware