-
Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms
Authors:
Moises Ponce,
Rebekah Herrman,
Phillip C. Lotshaw,
Sarah Powers,
George Siopsis,
Travis Humble,
James Ostrowski
Abstract:
The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the red…
▽ More
The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the reduced graph. The algorithm requires a subroutine that can be classical or quantum--in this work, we implement the algorithm twice on each graph. One implementation uses the classical solver Gurobi in the subroutine and the other uses QAOA. We solve these reduced problems with QAOA. On average, the reduced problems require only approximately 1/10 of the number of vertices than the original MaxCut instances. Furthermore, the average approximation ratio of the original MaxCut problems is 0.75, while the approximation ratios of the decomposed graphs are on average of 0.96 for both Gurobi and QAOA. With this decomposition, we are able to measure optimal solutions for ten 100-vertex graphs by running single-layer QAOA circuits on the Quantinuum trapped-ion quantum computer H1-1, sampling each circuit only 500 times. This approach is best suited for sparse, particularly $k$-regular graphs, as $k$-regular graphs on $n$ vertices can be decomposed into a graph with at most $\frac{nk}{k+1}$ vertices in polynomial time. Further reductions can be obtained with a potential trade-off in computational time. While this paper applies the decomposition method to the MaxCut problem, it can be applied to more general classes of combinatorial optimization problems.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Testing a discrete model for quantum spin with two sequential Stern-Gerlach detectors and photon Fock states
Authors:
Sam Powers,
Guangpeng Xu,
Herbert Fotso,
Tim Thomay,
Dejan Stojkovic
Abstract:
Despite its unparalleled success, quantum mechanics (QM) is an incomplete theory of nature. Longstanding concerns regarding its mathematical foundations and physical interpretation persist, a full century beyond its conception. Limited by these issues, efforts to move beyond QM have struggled to gain traction within the broader physics community. One approach to progress in this direction, which i…
▽ More
Despite its unparalleled success, quantum mechanics (QM) is an incomplete theory of nature. Longstanding concerns regarding its mathematical foundations and physical interpretation persist, a full century beyond its conception. Limited by these issues, efforts to move beyond QM have struggled to gain traction within the broader physics community. One approach to progress in this direction, which is deeply rooted in the tradition of physics, is the development of new models for physical systems otherwise treated by QM. One such model is presented here, which concerns the interaction of a spin system with sequences of two Stern-Gerlach detectors that may be independently rotated. Rather than employing the traditional formalism of QM, the proposed model is supported by tools from discrete mathematics, such as finite groups, set theory, and combinatorics. Equipped with this novel toolkit, an analog of Wigner's d-matrix formula is derived and shown to deviate slightly from QM. With these results, the proposed model is extended to an optical system involving photon number states passing through a beam splitter. Leveraging recent advancements in high precision experiments on these systems, we then propose a means of testing the new model using a tabletop experiment. Hence, the proposed model not only makes clear testable predictions, but also provides valuable insight into the essential principles of quantum theory.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Approximate Boltzmann Distributions in Quantum Approximate Optimization
Authors:
Phillip C. Lotshaw,
George Siopsis,
James Ostrowski,
Rebekah Herrman,
Rizwanul Alam,
Sarah Powers,
Travis S. Humble
Abstract:
Approaches to compute or estimate the output probability distributions from the quantum approximate optimization algorithm (QAOA) are needed to assess the likelihood it will obtain a quantum computational advantage. We analyze output from QAOA circuits solving 7,200 random MaxCut instances, with $n=14-23$ qubits and depth parameter $p \leq 12$, and find that the average basis state probabilities f…
▽ More
Approaches to compute or estimate the output probability distributions from the quantum approximate optimization algorithm (QAOA) are needed to assess the likelihood it will obtain a quantum computational advantage. We analyze output from QAOA circuits solving 7,200 random MaxCut instances, with $n=14-23$ qubits and depth parameter $p \leq 12$, and find that the average basis state probabilities follow approximate Boltzmann distributions: The average probabilities scale exponentially with their energy (cut value), with a peak at the optimal solution. We describe the rate of exponential scaling or "effective temperature" in terms of a series with a leading order term $T \sim C_\mathrm{min}/n\sqrt{p}$, with $C_\mathrm{min}$ the optimal solution energy. Using this scaling we generate approximate output distributions with up to 38 qubits and find these give accurate accounts of important performance metrics in cases we can simulate exactly.
△ Less
Submitted 7 November, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
An alternative formalism for modeling spin
Authors:
Sam Powers,
Dejan Stojkovic
Abstract:
We present an alternative formalism for modeling spin. The ontological elements of this formalism are base-2 sequences of length $n$. The machinery necessary to model physics is then developed by considering correlations between base-2 sequences. Upon choosing a reference base-2 sequence, a relational system of numbers can be defined, which we interpret as quantum numbers. Based on the properties…
▽ More
We present an alternative formalism for modeling spin. The ontological elements of this formalism are base-2 sequences of length $n$. The machinery necessary to model physics is then developed by considering correlations between base-2 sequences. Upon choosing a reference base-2 sequence, a relational system of numbers can be defined, which we interpret as quantum numbers. Based on the properties of these relational quantum numbers, the selection rules governing interacting spin systems are derived from first principles. A tool for calculating the associated probabilities, which are the squared Clebsch-Gordan coefficients in quantum mechanics, is also presented. The resulting model offers a vivid information theoretic picture of spin and interacting spin systems. Importantly, this model is developed without making any assumptions about the nature of space-time, which presents an interesting opportunity to study emergent space-time models.
△ Less
Submitted 11 August, 2022; v1 submitted 24 October, 2021;
originally announced October 2021.
-
XACC: A System-Level Software Infrastructure for Heterogeneous Quantum-Classical Computing
Authors:
Alexander J. McCaskey,
Dmitry I. Lyakh,
Eugene F. Dumitrescu,
Sarah S. Powers,
Travis S. Humble
Abstract:
Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and become more widely available, lower-level, system software infrastructures will be needed to enable tighter, co-processor programming and access models. Here we…
▽ More
Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and become more widely available, lower-level, system software infrastructures will be needed to enable tighter, co-processor programming and access models. Here we present XACC, a system-level software infrastructure for quantum-classical computing that promotes a service-oriented architecture to expose interfaces for core quantum programming, compilation, and execution tasks. We detail XACC's interfaces, their interactions, and its implementation as a hardware-agnostic framework for both near-term and future quantum-classical architectures. We provide concrete examples demonstrating the utility of this framework with paradigmatic tasks. Our approach lays the foundation for the development of compilers, associated runtimes, and low-level system tools tightly integrating quantum and classical workflows.
△ Less
Submitted 6 November, 2019;
originally announced November 2019.
-
QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation
Authors:
Tiffany M. Mintz,
Alexander J. Mccaskey,
Eugene F. Dumitrescu,
Shirley V. Moore,
Sarah Powers,
Pavel Lougovski
Abstract:
Quantum computing is an emerging computational paradigm that leverages the laws of quantum mechanics to perform elementary logic operations. Existing programming models for quantum computing were designed with fault-tolerant hardware in mind, envisioning standalone applications. However, near-term quantum computers are susceptible to noise which limits their standalone utility. To better leverage…
▽ More
Quantum computing is an emerging computational paradigm that leverages the laws of quantum mechanics to perform elementary logic operations. Existing programming models for quantum computing were designed with fault-tolerant hardware in mind, envisioning standalone applications. However, near-term quantum computers are susceptible to noise which limits their standalone utility. To better leverage limited computational strengths of noisy quantum devices, hybrid algorithms have been suggested whereby quantum computers are used in tandem with their classical counterparts in a heterogeneous fashion. This {\it modus operandi} calls out for a programming model and a high-level programming language that natively and seamlessly supports heterogeneous quantum-classical hardware architectures in a single-source-code paradigm. Motivated by the lack of such a model, we introduce a language extension specification, called QCOR, that enables single-source quantum-classical programming. Programs written using the QCOR library and directives based language extensions can be compiled to produce functional hybrid binary executables. After defining the QCOR's programming model, memory model, and execution model, we discuss how QCOR enables variational, iterative, and feed forward quantum computing. QCOR approaches quantum-classical computation in a hardware-agnostic heterogeneous fashion and strives to build on best practices of high performance computing (HPC). The high level of abstraction in the developed language is intended to accelerate the adoption of quantum computing by researchers familiar with classical HPC.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.