-
Promise of Graph Sparsification and Decomposition for Noise Reduction in QAOA: Analysis for Trapped-Ion Compilations
Authors:
Jai Moondra,
Philip C. Lotshaw,
Greg Mohler,
Swati Gupta
Abstract:
We develop new approximate compilation schemes that significantly reduce the expense of compiling the Quantum Approximate Optimization Algorithm (QAOA) for solving the Max-Cut problem. Our main focus is on compilation with trapped-ion simulators using Pauli-$X$ operations and all-to-all Ising Hamiltonian $H_\text{Ising}$ evolution generated by Molmer-Sorensen or optical dipole force interactions,…
▽ More
We develop new approximate compilation schemes that significantly reduce the expense of compiling the Quantum Approximate Optimization Algorithm (QAOA) for solving the Max-Cut problem. Our main focus is on compilation with trapped-ion simulators using Pauli-$X$ operations and all-to-all Ising Hamiltonian $H_\text{Ising}$ evolution generated by Molmer-Sorensen or optical dipole force interactions, though some of our results also apply to standard gate-based compilations. Our results are based on principles of graph sparsification and decomposition; the former reduces the number of edges in a graph while maintaining its cut structure, while the latter breaks a weighted graph into a small number of unweighted graphs. Though these techniques have been used as heuristics in various hybrid quantum algorithms, there have been no guarantees on their performance, to the best of our knowledge. This work provides the first provable guarantees using sparsification and decomposition to improve quantum noise resilience and reduce quantum circuit complexity.
For quantum hardware that uses edge-by-edge QAOA compilations, sparsification leads to a direct reduction in circuit complexity. For trapped-ion quantum simulators implementing all-to-all $H_\text{Ising}$ pulses, we show that for a $(1-ε)$ factor loss in the Max-Cut approximation ($ε>0)$, our compilations improve the (worst-case) number of $H_\text{Ising}$ pulses from $O(n^2)$ to $O(n\log(n/ε))$ and the (worst-case) number of Pauli-$X$ bit flips from $O(n^2)$ to $O\left(\frac{n\log(n/ε)}{ε^2}\right)$ for $n$-node graphs. We demonstrate significant reductions in noise are obtained in our new compilation approaches using theory and numerical calculations for trapped-ion hardware. We anticipate these approximate compilation techniques will be useful tools in a variety of future quantum computing experiments.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Performant near-term quantum combinatorial optimization
Authors:
Titus D. Morris,
Phillip C. Lotshaw
Abstract:
We present a variational quantum algorithm for solving combinatorial optimization problems with linear-depth circuits. Our algorithm uses an ansatz composed of Hamiltonian generators designed to control each term in the target combinatorial function, along with parameter updates following a modified version of quantum imaginary time evolution. We evaluate this ansatz in numerical simulations that…
▽ More
We present a variational quantum algorithm for solving combinatorial optimization problems with linear-depth circuits. Our algorithm uses an ansatz composed of Hamiltonian generators designed to control each term in the target combinatorial function, along with parameter updates following a modified version of quantum imaginary time evolution. We evaluate this ansatz in numerical simulations that target solutions to the MAXCUT problem. The state evolution is shown to closely mimic imaginary time evolution, and its optimal-solution convergence is further improved using adaptive transformations of the classical Hamiltonian spectrum, while resources are minimized by pruning optimized gates that are close to the identity. With these innovations, the algorithm consistently converges to optimal solutions, with interesting highly-entangled dynamics along the way. This performant and resource-minimal approach is a promising candidate for potential quantum computational advantages on near-term quantum computing hardware.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
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.
-
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.
-
On Quantum Entropy and Excess Entropy Production in a System-Environment Pure State
Authors:
Phillip C. Lotshaw,
Michael E. Kellman
Abstract:
We explore a recently introduced quantum thermodynamic entropy $S^Q_{univ}$ of a pure state of a composite system-environment computational "universe" with a simple system $\mathcal{S}$ coupled to a constant temperature bath $\mathcal{E}$. The principal focus is "excess entropy production" in which the quantum entropy change is greater than expected from the classical entropy-free energy relations…
▽ More
We explore a recently introduced quantum thermodynamic entropy $S^Q_{univ}$ of a pure state of a composite system-environment computational "universe" with a simple system $\mathcal{S}$ coupled to a constant temperature bath $\mathcal{E}$. The principal focus is "excess entropy production" in which the quantum entropy change is greater than expected from the classical entropy-free energy relationship. We analyze this in terms of quantum spreading of time dependent states, and its interplay with the idea of a microcanonical shell. The entropy takes a basis-dependent Shannon information definition. We argue for the zero-order $\mathcal{SE}$ energy basis as the unique choice that gives classical thermodynamic relations in the limit of weak coupling and high density of states, including an exact division into system and environment components. Entropy production takes place due to two kinds of processes. The first is classical "ergodization" that fills the full density of states within the microcanonical shell. The second is excess entropy production related to quantum spreading or "quantum ergodization" of the wavepacket that effectively increases the width of the energy shell. Lorentzian superpositions with finite microcanonical shell width lead to classical results as the limiting case, with no excess entropy. We then consider a single $\mathcal{SE}$ zero-order initial state, as the examplar of extreme excess entropy production. Systematic formal results are obtained for a unified treatment of excess entropy production for time-dependent Lorentzian superpositions, and verified computationally. It is speculated that the idea of free energy might be extended to a notion of "available energy" corresponding to the excess entropy production. A unified perspective on quantum thermodynamic entropy is thereby attained from the classical limit to extreme quantum conditions.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Modelling noise in global Molmer-Sorensen interactions applied to quantum approximate optimization
Authors:
Phillip C. Lotshaw,
Kevin D. Battles,
Bryan Gard,
Gilles Buchs,
Travis S. Humble,
Creston D. Herold
Abstract:
Many-qubit Mølmer-Sørensen (MS) interactions applied to trapped ions offer unique capabilities for quantum information processing, with applications including quantum simulation and the quantum approximate optimization algorithm (QAOA). Here, we develop a physical model to describe many-qubit MS interactions under four sources of experimental noise: vibrational mode frequency fluctuations, laser p…
▽ More
Many-qubit Mølmer-Sørensen (MS) interactions applied to trapped ions offer unique capabilities for quantum information processing, with applications including quantum simulation and the quantum approximate optimization algorithm (QAOA). Here, we develop a physical model to describe many-qubit MS interactions under four sources of experimental noise: vibrational mode frequency fluctuations, laser power fluctuations, thermal initial vibrational states, and state preparation and measurement errors. The model parameterizes these errors from simple experimental measurements, without free parameters. We validate the model in comparison with experiments that implement sequences of MS interactions on two $^{171}$Yb$^+$ ions. The model shows reasonable agreement after several MS interactions as quantified by the reduced chi-squared statistic $χ^2_\mathrm{red} \approx 2$. As an application we examine MaxCut QAOA experiments on three and six ions. The experimental performance is quantified by approximation ratios that are $91\%$ and $83\%$ of the optimal theoretical values. Our model predicts $0.93^{+0.03}_{-0.02}$ and $0.95^{+0.04}_{-0.03}$, respectively, with disagreement in the latter value attributable to secondary noise sources beyond those considered in our analysis. With realistic experimental improvements to reduce measurement error and radial trap frequency variations the model achieves approximation ratios that are 99$\%$ of the optimal. Incorporating these improvements into future experiments is expected to reveal new aspects of noise for future modeling and experimental improvements.
△ Less
Submitted 7 November, 2023; v1 submitted 31 October, 2022;
originally announced November 2022.
-
Simulations of Frustrated Ising Hamiltonians with Quantum Approximate Optimization
Authors:
Phillip C. Lotshaw,
Han**g Xu,
Bilal Khalid,
Gilles Buchs,
Travis S. Humble,
Arnab Banerjee
Abstract:
Novel magnetic materials are important for future technological advances. Theoretical and numerical calculations of ground state properties are essential in understanding these materials, however, computational complexity limits conventional methods for studying these states. Here we investigate an alternative approach to preparing materials ground states using the quantum approximate optimization…
▽ More
Novel magnetic materials are important for future technological advances. Theoretical and numerical calculations of ground state properties are essential in understanding these materials, however, computational complexity limits conventional methods for studying these states. Here we investigate an alternative approach to preparing materials ground states using the quantum approximate optimization algorithm (QAOA) on near-term quantum computers. We study classical Ising spin models on unit cells of square, Shastry-Sutherland, and triangular lattices, with varying field amplitudes and couplings in the material Hamiltonian. We find relationships between the theoretical QAOA success probability and the structure of the ground state, indicating that only a modest number of measurements ($\lesssim100$) are needed to find the ground state of our nine-spin Hamiltonians, even for parameters leading to frustrated magnetism. We further demonstrate the approach in calculations on a trapped-ion quantum computer and succeed in recovering each ground state of the Shastry-Sutherland unit cell with probabilities close to ideal theoretical values. The results demonstrate the viability of QAOA for materials ground state preparation in the frustrated Ising limit, giving important first steps towards larger sizes and more complex Hamiltonians where quantum computational advantage may prove essential in develo** a systematic understanding of novel materials.
△ Less
Submitted 7 November, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
Solving MaxCut with Quantum Imaginary Time Evolution
Authors:
Rizwanul Alam,
George Siopsis,
Rebekah Herrman,
James Ostrowski,
Phillip Lotshaw,
Travis Humble
Abstract:
We introduce a method to solve the MaxCut problem efficiently based on quantum imaginary time evolution (QITE). We employ a linear Ansatz for unitary updates and an initial state involving no entanglement, as well as an imaginary-time-dependent Hamiltonian interpolating between a given graph and a subgraph with two edges excised. We apply the method to thousands of randomly selected graphs with up…
▽ More
We introduce a method to solve the MaxCut problem efficiently based on quantum imaginary time evolution (QITE). We employ a linear Ansatz for unitary updates and an initial state involving no entanglement, as well as an imaginary-time-dependent Hamiltonian interpolating between a given graph and a subgraph with two edges excised. We apply the method to thousands of randomly selected graphs with up to fifty vertices. We show that our algorithm exhibits a 93% and above performance converging to the maximum solution of the MaxCut problem for all considered graphs. Our results compare favorably with the performance of classical algorithms, such as the greedy and Goemans-Williamson algorithms. We also discuss the overlap of the final state of the QITE algorithm with the ground state as a performance metric, which is a quantum feature not shared by other classical algorithms. This metric can be improved by introducing higher-order Ansaetze and entangled initial states.
△ Less
Submitted 28 February, 2023; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Parameter Transfer for Quantum Approximate Optimization of Weighted MaxCut
Authors:
Ruslan Shaydulin,
Phillip C. Lotshaw,
Jeffrey Larson,
James Ostrowski,
Travis S. Humble
Abstract:
Finding high-quality parameters is a central obstacle to using the quantum approximate optimization algorithm (QAOA). Previous work partially addresses this issue for QAOA on unweighted MaxCut problems by leveraging similarities in the objective landscape among different problem instances. However, we show that the more general weighted MaxCut problem has significantly modified objective landscape…
▽ More
Finding high-quality parameters is a central obstacle to using the quantum approximate optimization algorithm (QAOA). Previous work partially addresses this issue for QAOA on unweighted MaxCut problems by leveraging similarities in the objective landscape among different problem instances. However, we show that the more general weighted MaxCut problem has significantly modified objective landscapes, with a proliferation of poor local optima. Our main contribution is a simple rescaling scheme that overcomes these deleterious effects of weights. We show that for a given QAOA depth, a single "typical" vector of QAOA parameters can be successfully transferred to weighted MaxCut instances. This transfer leads to a median decrease in the approximation ratio of only 2.0 percentage points relative to a considerably more expensive direct optimization on a dataset of 34,701 instances with up to 20 nodes and multiple weight distributions. This decrease can be reduced to 1.2 percentage points at the cost of only 10 additional QAOA circuit evaluations with parameters sampled from a pretrained metadistribution, or the transferred parameters can be used as a starting point for a single local optimization run to obtain approximation ratios equivalent to those achieved by exhaustive optimization in $96.35\%$ of our cases.
△ Less
Submitted 10 February, 2023; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Scaling Quantum Approximate Optimization on Near-term Hardware
Authors:
Phillip C. Lotshaw,
Thien Nguyen,
Anthony Santana,
Alexander McCaskey,
Rebekah Herrman,
James Ostrowski,
George Siopsis,
Travis S. Humble
Abstract:
The quantum approximate optimization algorithm (QAOA) is an approach for near-term quantum computers to potentially demonstrate computational advantage in solving combinatorial optimization problems. However, the viability of the QAOA depends on how its performance and resource requirements scale with problem size and complexity for realistic hardware implementations. Here, we quantify scaling of…
▽ More
The quantum approximate optimization algorithm (QAOA) is an approach for near-term quantum computers to potentially demonstrate computational advantage in solving combinatorial optimization problems. However, the viability of the QAOA depends on how its performance and resource requirements scale with problem size and complexity for realistic hardware implementations. Here, we quantify scaling of the expected resource requirements by synthesizing optimized circuits for hardware architectures with varying levels of connectivity. Assuming noisy gate operations, we estimate the number of measurements needed to sample the output of the idealized QAOA circuit with high probability. We show the number of measurements, and hence total time to solution, grows exponentially in problem size and problem graph degree as well as depth of the QAOA ansatz, gate infidelities, and inverse hardware graph degree. These problems may be alleviated by increasing hardware connectivity or by recently proposed modifications to the QAOA that achieve higher performance with fewer circuit layers.
△ Less
Submitted 6 January, 2022;
originally announced January 2022.
-
Numerical Simulations of Noisy Quantum Circuits for Computational Chemistry
Authors:
Jerimiah Wright,
Meenambika Gowrishankar,
Daniel Claudino,
Phillip C. Lotshaw,
Thien Nguyen,
Alexander J. McCaskey,
Travis S. Humble
Abstract:
The opportunities afforded by near-term quantum computers to calculate the ground-state properties of small molecules depend on the structure of the computational ansatz as well as the errors induced by device noise. Here we investigate the behavior of these noisy quantum circuits using numerical simulations to estimate the accuracy and fidelity of the prepared quantum states relative to the groun…
▽ More
The opportunities afforded by near-term quantum computers to calculate the ground-state properties of small molecules depend on the structure of the computational ansatz as well as the errors induced by device noise. Here we investigate the behavior of these noisy quantum circuits using numerical simulations to estimate the accuracy and fidelity of the prepared quantum states relative to the ground truth obtained by conventional means. We implement several different types of ansatz circuits derived from unitary coupled cluster theory for the purposes of estimating the ground-state energy of Sodium Hydride using the variational quantum eigensolver algorithm. We show how relative error in the energy and the fidelity scale with the levels of gate-based noise, the inter-molecular configuration, the ansatz circuit depth, and the parameter optimization methods.
△ Less
Submitted 5 May, 2022; v1 submitted 31 December, 2021;
originally announced December 2021.
-
QAOAKit: A Toolkit for Reproducible Study, Application, and Verification of the QAOA
Authors:
Ruslan Shaydulin,
Kunal Marwaha,
Jonathan Wurtz,
Phillip C. Lotshaw
Abstract:
Understanding the best known parameters, performance, and systematic behavior of the Quantum Approximate Optimization Algorithm (QAOA) remain open research questions, even as the algorithm gains popularity. We introduce QAOAKit, a Python toolkit for the QAOA built for exploratory research. QAOAKit is a unified repository of preoptimized QAOA parameters and circuit generators for common quantum sim…
▽ More
Understanding the best known parameters, performance, and systematic behavior of the Quantum Approximate Optimization Algorithm (QAOA) remain open research questions, even as the algorithm gains popularity. We introduce QAOAKit, a Python toolkit for the QAOA built for exploratory research. QAOAKit is a unified repository of preoptimized QAOA parameters and circuit generators for common quantum simulation frameworks. We combine, standardize, and cross-validate previously known parameters for the MaxCut problem, and incorporate this into QAOAKit. We also build conversion tools to use these parameters as inputs in several quantum simulation frameworks that can be used to reproduce, compare, and extend known results from various sources in the literature. We describe QAOAKit and provide examples of how it can be used to reproduce research results and tackle open problems in quantum optimization.
△ Less
Submitted 3 November, 2021; v1 submitted 11 October, 2021;
originally announced October 2021.
-
Multi-angle Quantum Approximate Optimization Algorithm
Authors:
Rebekah Herrman,
Phillip C. Lotshaw,
James Ostrowski,
Travis S. Humble,
George Siopsis
Abstract:
The quantum approximate optimization algorithm (QAOA) generates an approximate solution to combinatorial optimization problems using a variational ansatz circuit defined by parameterized layers of quantum evolution. In theory, the approximation improves with increasing ansatz depth but gate noise and circuit complexity undermine performance in practice. Here, we introduce a multi-angle ansatz for…
▽ More
The quantum approximate optimization algorithm (QAOA) generates an approximate solution to combinatorial optimization problems using a variational ansatz circuit defined by parameterized layers of quantum evolution. In theory, the approximation improves with increasing ansatz depth but gate noise and circuit complexity undermine performance in practice. Here, we introduce a multi-angle ansatz for QAOA that reduces circuit depth and improves the approximation ratio by increasing the number of classical parameters. Even though the number of parameters increases, our results indicate that good parameters can be found in polynomial time. This new ansatz gives a 33\% increase in the approximation ratio for an infinite family of MaxCut instances over QAOA. The optimal performance is lower bounded by the conventional ansatz, and we present empirical results for graphs on eight vertices that one layer of the multi-angle anstaz is comparable to three layers of the traditional ansatz on MaxCut problems. Similarly, multi-angle QAOA yields a higher approximation ratio than QAOA at the same depth on a collection of MaxCut instances on fifty and one-hundred vertex graphs. Many of the optimized parameters are found to be zero, so their associated gates can be removed from the circuit, further decreasing the circuit depth. These results indicate that multi-angle QAOA requires shallower circuits to solve problems than QAOA, making it more viable for near-term intermediate-scale quantum devices.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Quantifying the Impact of Precision Errors on Quantum Approximate Optimization Algorithms
Authors:
Gregory Quiroz,
Paraj Titum,
Phillip Lotshaw,
Pavel Lougovski,
Kevin Schultz,
Eugene Dumitrescu,
Itay Hen
Abstract:
The quantum approximate optimization algorithm (QAOA) is a hybrid quantum-classical algorithm that seeks to achieve approximate solutions to optimization problems by iteratively alternating between intervals of controlled quantum evolution. Here, we examine the effect of analog precision errors on QAOA performance both from the perspective of algorithmic training and canonical state- and observabl…
▽ More
The quantum approximate optimization algorithm (QAOA) is a hybrid quantum-classical algorithm that seeks to achieve approximate solutions to optimization problems by iteratively alternating between intervals of controlled quantum evolution. Here, we examine the effect of analog precision errors on QAOA performance both from the perspective of algorithmic training and canonical state- and observable-dependent QAOA-relevant metrics. Leveraging cumulant expansions, we recast the faulty QAOA as a control problem in which precision errors are expressed as multiplicative control noise and derive bounds on the performance of QAOA. We show using both analytical techniques and numerical simulations that errors in the analog implementation of QAOA circuits hinder its performance as an optimization algorithm. In particular, we find that any fixed precision implementation of QAOA will be subject to an exponential degradation in performance dependent upon the number of optimal QAOA layers and magnitude of the precision error. Despite this significant reduction, we show that it is possible to mitigate precision errors in QAOA via digitization of the variational parameters, therefore at the cost of increasing circuit depth. We illustrate our results via numerical simulations and analytic and empirical error bounds as a comparison. While focused on precision errors, our approach naturally lends itself to more general noise scenarios and the calculation of error bounds on QAOA performance and broader classes of variational quantum algorithms.
△ Less
Submitted 9 November, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Globally optimizing QAOA circuit depth for constrained optimization problems
Authors:
Rebekah Herrman,
Lorna Treffert,
James Ostrowski,
Phillip C. Lotshaw,
Travis S. Humble,
George Siopsis
Abstract:
We develop a global variable substitution method that reduces $n$-variable monomials in combinatorial optimization problems to equivalent instances with monomials in fewer variables. We apply this technique to $3$-SAT and analyze the optimal quantum circuit depth needed to solve the reduced problem using the quantum approximate optimization algorithm. For benchmark $3$-SAT problems, we find that t…
▽ More
We develop a global variable substitution method that reduces $n$-variable monomials in combinatorial optimization problems to equivalent instances with monomials in fewer variables. We apply this technique to $3$-SAT and analyze the optimal quantum circuit depth needed to solve the reduced problem using the quantum approximate optimization algorithm. For benchmark $3$-SAT problems, we find that the upper bound of the circuit depth is smaller when the problem is formulated as a product and uses the substitution method to decompose gates than when the problem is written in the linear formulation, which requires no decomposition.
△ Less
Submitted 6 August, 2021;
originally announced August 2021.
-
Asymmetric temperature equilibration with heat flow from cold to hot in a quantum thermodynamic system
Authors:
Phillip C. Lotshaw,
Michael E. Kellman
Abstract:
A model computational quantum thermodynamic network is constructed with two variable temperature baths coupled by a linker system, with an asymmetry in the coupling of the linker to the two baths. It is found in computational simulations that the baths come to "thermal equilibrium" at different bath energies and temperatures. In a sense, heat is observed to flow from cold to hot. A description is…
▽ More
A model computational quantum thermodynamic network is constructed with two variable temperature baths coupled by a linker system, with an asymmetry in the coupling of the linker to the two baths. It is found in computational simulations that the baths come to "thermal equilibrium" at different bath energies and temperatures. In a sense, heat is observed to flow from cold to hot. A description is given in which a recently defined quantum entropy $S^Q_{univ}$ for a pure state "universe" continues to increase after passing through the classical equilibrium point of equal temperatures, reaching a maximum at the asymmetric equilibrium. Thus, a second law account $ΔS^Q_{univ} \ge 0$ holds for the asymmetric quantum process. In contrast, a von Neumann entropy description fails to uphold the entropy law, with a maximum near when the two temperatures are equal, then a decrease $ΔS^{vN} < 0$ on the way to the asymmetric equilibrium.
△ Less
Submitted 15 September, 2021; v1 submitted 15 June, 2021;
originally announced June 2021.
-
QuaSiMo: A Composable Library to Program Hybrid Workflows for Quantum Simulation
Authors:
Thien Nguyen,
Lindsay Bassman,
Phillip C. Lotshaw,
Dmitry Lyakh,
Alexander McCaskey,
Vicente Leyton-Ortega,
Raphael Pooser,
Wael Elwasif,
Travis S. Humble,
Wibe A. de Jong
Abstract:
We present a composable design scheme for the development of hybrid quantum/classical algorithms and workflows for applications of quantum simulation. Our object-oriented approach is based on constructing an expressive set of common data structures and methods that enable programming of a broad variety of complex hybrid quantum simulation applications. The abstract core of our scheme is distilled…
▽ More
We present a composable design scheme for the development of hybrid quantum/classical algorithms and workflows for applications of quantum simulation. Our object-oriented approach is based on constructing an expressive set of common data structures and methods that enable programming of a broad variety of complex hybrid quantum simulation applications. The abstract core of our scheme is distilled from the analysis of the current quantum simulation algorithms. Subsequently, it allows a synthesis of new hybrid algorithms and workflows via the extension, specialization, and dynamic customization of the abstract core classes defined by our design. We implement our design scheme using the hardware-agnostic programming language QCOR into the QuaSiMo library. To validate our implementation, we test and show its utility on commercial quantum processors from IBM and Rigetti, running some prototypical quantum simulations.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
Empirical performance bounds for quantum approximate optimization
Authors:
Phillip C. Lotshaw,
Travis S. Humble,
Rebekah Herrman,
James Ostrowski,
George Siopsis
Abstract:
The quantum approximate optimization algorithm (QAOA) is a variational method for noisy, intermediate-scale quantum computers to solve combinatorial optimization problems. Quantifying performance bounds with respect to specific problem instances provides insight into when QAOA may be viable for solving real-world applications. Here, we solve every instance of MaxCut on non-isomorphic unweighted gr…
▽ More
The quantum approximate optimization algorithm (QAOA) is a variational method for noisy, intermediate-scale quantum computers to solve combinatorial optimization problems. Quantifying performance bounds with respect to specific problem instances provides insight into when QAOA may be viable for solving real-world applications. Here, we solve every instance of MaxCut on non-isomorphic unweighted graphs with nine or fewer vertices by numerically simulating the pure-state dynamics of QAOA. Testing up to three layers of QAOA depth, we find that distributions of the approximation ratio narrow with increasing depth while the probability of recovering the maximum cut generally broadens. We find QAOA exceeds the Goemans-Williamson approximation ratio bound for most graphs. We also identify consistent patterns within the ensemble of optimized variational circuit parameters that offer highly efficient heuristics for solving MaxCut with QAOA. The resulting data set is presented as a benchmark for establishing empirical bounds on QAOA performance that may be used to test on-going experimental realizations.
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Impact of Graph Structures for QAOA on MaxCut
Authors:
Rebekah Herrman,
Lorna Treffert,
James Ostrowski,
Phillip C. Lotshaw,
Travis S. Humble,
George Siopsis
Abstract:
The quantum approximate optimization algorithm (QAOA) is a promising method of solving combinatorial optimization problems using quantum computing. QAOA on the MaxCut problem has been studied extensively on specific families of graphs, however, little is known about the algorithm on arbitrary graphs. We evaluate the performance of QAOA at depths at most three on the MaxCut problem for all connecte…
▽ More
The quantum approximate optimization algorithm (QAOA) is a promising method of solving combinatorial optimization problems using quantum computing. QAOA on the MaxCut problem has been studied extensively on specific families of graphs, however, little is known about the algorithm on arbitrary graphs. We evaluate the performance of QAOA at depths at most three on the MaxCut problem for all connected non-isomorphic graphs with at most eight vertices and analyze how graph structure affects QAOA performance. Some of the strongest predictors of QAOA success are the existence of odd-cycles and the amount of symmetry in the graph. The data generated from these studies are shared in a publicly-accessible database to serve as a benchmark for QAOA calculations and experiments. Knowing the relationship between structure and performance can allow us to identify classes of combinatorial problems that are likely to exhibit a quantum advantage.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Simulating quantum thermodynamics of a finite system and bath with variable temperature
Authors:
Phillip C. Lotshaw,
Michael E. Kellman
Abstract:
We construct a finite bath with variable temperature for quantum thermodynamic simulations in which heat flows between a system $\mathcal{S}$ and the bath environment $\mathcal{E}$ in time evolution of an initial $\mathcal{SE}$ pure state. The bath consists of harmonic oscillators that are not necessarily identical. Baths of various numbers of oscillators are considered; a bath with five oscillato…
▽ More
We construct a finite bath with variable temperature for quantum thermodynamic simulations in which heat flows between a system $\mathcal{S}$ and the bath environment $\mathcal{E}$ in time evolution of an initial $\mathcal{SE}$ pure state. The bath consists of harmonic oscillators that are not necessarily identical. Baths of various numbers of oscillators are considered; a bath with five oscillators is used in the simulations. The bath has a temperature-like level distribution. This leads to definition of a system-environment microcanonical temperature $T_\mathcal{SE}(t)$ which varies with time. The quantum state evolves toward an equilibrium state which is thermal-like, but there is significant deviation from the ordinary energy-temperature relation that holds for an infinite quantum bath, e.g. an infinite system of identical oscillators. There are also deviations from the Einstein quantum heat capacity. The temperature of the finite bath is systematically greater for a given energy than the infinite bath temperature, and asymptotically approaches the latter as the number of oscillators increases. It is suggested that realizations of these finite-size effects may be attained in computational and experimental dynamics of small molecules.
△ Less
Submitted 17 September, 2019; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Quantum Thermodynamics, Entropy of the Universe, Free Energy, and the Second Law
Authors:
George L. Barnes,
Phillip C. Lotshaw,
Michael E. Kellman
Abstract:
We take the view that the standard von Neumann definition, in which the entropy $S^{vN}$ of a pure state is zero, is in evident conflict with the statement of the second law that the entropy of the universe $S_{univ}$ increases in spontaneous processes, $ ΔS_{univ} > 0$. Here we seek an alternative entropy of the universe $S_{univ}$ that is in accord with the second law, in a spirit not dissimilar…
▽ More
We take the view that the standard von Neumann definition, in which the entropy $S^{vN}$ of a pure state is zero, is in evident conflict with the statement of the second law that the entropy of the universe $S_{univ}$ increases in spontaneous processes, $ ΔS_{univ} > 0$. Here we seek an alternative entropy of the universe $S_{univ}$ that is in accord with the second law, in a spirit not dissimilar to von Neumann himself in lesser-known work. We perform simulations of time dependent dynamics for a previously developed \cite{polyadbath} model quantum system becoming entangled with a quantum environment. We test the new definition of the entropy of the system-environment "universe" against the standard thermodynamic relation $ ΔF_{sys} = - T ΔS_{univ} $, calculating system properties using the reduced density matrix and standard von Neumann entropy. Good agreement is obtained, showing the compatibility of an entropy for a pure state of a universe with the statement of the second law and the concept of free energy. Interesting deviation from microcanonical behavior within the zero order energy shell is observed in a context of effectively microcanonical behavior within the much larger total basis of the time dependent universe.
△ Less
Submitted 23 October, 2018; v1 submitted 19 November, 2015;
originally announced November 2015.