-
Arbitrary State Preparation via Quantum Walks
Authors:
Alvin Gonzales,
Rebekah Herrman,
Colin Campbell,
Igor Gaidai,
Ji Liu,
Teague Tomesh,
Zain H. Saleem
Abstract:
Continuous-time quantum walks (CTQWs) on dynamic graphs, referred to as dynamic CTQWs, are a recently introduced universal model of computation that offers a new paradigm in which to envision quantum algorithms. In this work we develop a map** from dynamic CTQWs to the gate model of computation in the form of an algorithm to convert arbitrary single edge walks and single self loop walks, which a…
▽ More
Continuous-time quantum walks (CTQWs) on dynamic graphs, referred to as dynamic CTQWs, are a recently introduced universal model of computation that offers a new paradigm in which to envision quantum algorithms. In this work we develop a map** from dynamic CTQWs to the gate model of computation in the form of an algorithm to convert arbitrary single edge walks and single self loop walks, which are the fundamental building blocks of dynamic CTQWs, to their circuit model counterparts. We use this map** to introduce an arbitrary quantum state preparation framework based on dynamic CTQWs. Our approach utilizes global information about the target state, relates state preparation to finding the optimal path in a graph, and leads to optimizations in the reduction of controls that are not as obvious in other approaches. Interestingly, classical optimization problems such as the minimal hitting set, minimum spanning tree, and shortest Hamiltonian path problems arise in our framework. We test our methods against uniformly controlled rotations methods, used by Qiskit, and find ours requires fewer CX gates when the target state has a polynomial number of non-zero amplitudes.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
An angle rounding parameter initialization technique for ma-QAOA
Authors:
Anthony Wilkie,
James Ostrowski,
Rebekah Herrman
Abstract:
The multi-angle quantum approximate optimization algorithm (ma-QAOA) is a recently introduced algorithm that gives at least the same approximation ratio as the quantum approximate optimization algorithm (QAOA) and, in most cases, gives a significantly higher approximation ratio than QAOA. One drawback to ma-QAOA is that it uses significantly more classical parameters than QAOA, so the classical op…
▽ More
The multi-angle quantum approximate optimization algorithm (ma-QAOA) is a recently introduced algorithm that gives at least the same approximation ratio as the quantum approximate optimization algorithm (QAOA) and, in most cases, gives a significantly higher approximation ratio than QAOA. One drawback to ma-QAOA is that it uses significantly more classical parameters than QAOA, so the classical optimization component more complex. In this paper, we motivate a new parameter initialization strategy in which angles are initially randomly set to multiples of $π/4$ between $-2π$ and $2π$ and this vector is used to seed one round of BFGS. We find that the parameter initialization strategy on four-vertex and eight-vertex data sets gives average approximation ratios of 0.931 and 0.894, respectively. This is comparable to the average approximation ratios of ma-QAOA where optimal parameters are found using BFGS with 1 random starting seed, which are 0.910 and 0.901 for the four-vertex and eight-vertex data sets.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Bootstrap percolation and $P_3$-hull number in direct products of graphs
Authors:
Boštjan Brešar,
Jaka Hedžet,
Rebekah Herrman
Abstract:
The $r$-neighbor bootstrap percolation is a graph infection process based on the update rule by which a vertex with $r$ infected neighbors becomes infected. We say that an initial set of infected vertices propagates if all vertices of a graph $G$ are eventually infected, and the minimum cardinality of such a set in $G$ is called the $r$-bootstrap percolation number, $m(G,r)$, of $G$. In this paper…
▽ More
The $r$-neighbor bootstrap percolation is a graph infection process based on the update rule by which a vertex with $r$ infected neighbors becomes infected. We say that an initial set of infected vertices propagates if all vertices of a graph $G$ are eventually infected, and the minimum cardinality of such a set in $G$ is called the $r$-bootstrap percolation number, $m(G,r)$, of $G$. In this paper, we study percolating sets in direct products of graphs. While in general graphs there is no non-trivial upper bound on $m(G\times H,r)$, we prove several upper bounds under the assumption $δ(G)\ge r$. We also characterize the connected graphs $G$ and $H$ with minimum degree $2$ that satisfy $m(G \times H, 2) = \frac{|V(G \times H)|}{2}$. In addition, we determine the exact values of $m(P_n \times P_m, 2)$, which are $m+n-1$ if $m$ and $n$ are of different parities, and $m+n$ otherwise.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
QAOA with random and subgraph phase operators
Authors:
Anthony Wilkie,
Igor Gaidai,
James Ostrowski,
Rebekah Herrman
Abstract:
The quantum approximate optimization algorithm (QAOA) is a promising quantum algorithm that can be used to approximately solve combinatorial optimization problems. The usual QAOA ansatz consists of an alternating application of the cost and mixer Hamiltonians. In this work, we study how using Hamiltonians other than the usual cost Hamiltonian, dubbed custom phase operators, can affect the performa…
▽ More
The quantum approximate optimization algorithm (QAOA) is a promising quantum algorithm that can be used to approximately solve combinatorial optimization problems. The usual QAOA ansatz consists of an alternating application of the cost and mixer Hamiltonians. In this work, we study how using Hamiltonians other than the usual cost Hamiltonian, dubbed custom phase operators, can affect the performance of QAOA. We derive an expected value formula for QAOA with custom phase operators at p = 1 and show numerically that some of these custom phase operators can achieve higher approximation ratio than the original algorithm implementation. Out of all the graphs tested, 0.036\% of the random custom phase operators, 75.9\% of the subgraph custom phase operators, 95.1\% of the triangle-removed custom phase operators, and 93.9\% of the maximal degree edge-removed custom phase operators have a higher approximation ratio than the original QAOA implementation. This finding opens up the question of whether better phase operators can be designed to further improve the performance of QAOA.
△ Less
Submitted 18 March, 2024; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Quantum Distance Approximation for Persistence Diagrams
Authors:
Bernardo Ameneyro,
Rebekah Herrman,
George Siopsis,
Vasileios Maroulas
Abstract:
Topological Data Analysis methods can be useful for classification and clustering tasks in many different fields as they can provide two dimensional persistence diagrams that summarize important information about the shape of potentially complex and high dimensional data sets. The space of persistence diagrams can be endowed with various metrics such as the Wasserstein distance which admit a stati…
▽ More
Topological Data Analysis methods can be useful for classification and clustering tasks in many different fields as they can provide two dimensional persistence diagrams that summarize important information about the shape of potentially complex and high dimensional data sets. The space of persistence diagrams can be endowed with various metrics such as the Wasserstein distance which admit a statistical structure and allow to use these summaries for machine learning algorithms. However, computing the distance between two persistence diagrams involves finding an optimal way to match the points of the two diagrams and may not always be an easy task for classical computers. In this work we explore the potential of quantum computers to estimate the distance between persistence diagrams, in particular we propose variational quantum algorithms for the Wasserstein distance as well as the $d^{c}_{p}$ distance. Our implementation is a weighted version of the Quantum Approximate Optimization Algorithm that relies on control clauses to encode the constraints of the optimization problem.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Performance Analysis of Multi-Angle QAOA for p > 1
Authors:
Igor Gaidai,
Rebekah Herrman
Abstract:
In this paper we consider the scalability of Multi-Angle QAOA with respect to the number of QAOA layers. We found that MA-QAOA is able to significantly reduce the depth of QAOA circuits, by a factor of up to 4 for the considered data sets. However, MA-QAOA is not optimal for minimization of the total QPU time. Different optimization initialization strategies are considered and compared for both QA…
▽ More
In this paper we consider the scalability of Multi-Angle QAOA with respect to the number of QAOA layers. We found that MA-QAOA is able to significantly reduce the depth of QAOA circuits, by a factor of up to 4 for the considered data sets. However, MA-QAOA is not optimal for minimization of the total QPU time. Different optimization initialization strategies are considered and compared for both QAOA and MA-QAOA. Among them, a new initialization strategy is suggested for MA-QAOA that is able to consistently and significantly outperform random initialization used in the previous studies.
△ Less
Submitted 21 December, 2023; v1 submitted 30 November, 2023;
originally announced December 2023.
-
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.
-
Extending Grundy domination to $k$-Grundy domination
Authors:
Rebekah Herrman,
Stephen G. Z. Smith
Abstract:
The Grundy domination number of a graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$ satisfying $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Recently, a generalization of this concept called $k$-Grundy domination was introduced. In $k$-Grundy domination, a vertex $v$ can be included in $S$ if it has a neighbor $u$ s…
▽ More
The Grundy domination number of a graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$ satisfying $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Recently, a generalization of this concept called $k$-Grundy domination was introduced. In $k$-Grundy domination, a vertex $v$ can be included in $S$ if it has a neighbor $u$ such that $u$ appears in the closed neighborhood of fewer than $k$ vertices of $S$. In this paper, we determine the $k$-Grundy domination number for some families of graphs, find degree-based bounds for the $k$-$L$-Grundy domination number, and define a relationship between the $k$-$Z$-Grundy domination number and the $k$-forcing number of a graph.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
A Proof of the Grundy domination strong product conjecture
Authors:
Rebekah Herrman,
Stephen G. Z. Smith
Abstract:
The Grundy domination number of a simple graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$, $v_i \in V$, that satisfies the property $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Here, $N(v) = \{u : uv \in E\}$ and $N[v] = N(v) \cup \{v\}$. In this note, we prove a recent conjecture about the Grundy domination numbe…
▽ More
The Grundy domination number of a simple graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$, $v_i \in V$, that satisfies the property $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Here, $N(v) = \{u : uv \in E\}$ and $N[v] = N(v) \cup \{v\}$. In this note, we prove a recent conjecture about the Grundy domination number of the strong product of two graphs. We then discuss how this result relates to the zero forcing number of the strong product of graphs.
△ Less
Submitted 12 January, 2023; v1 submitted 8 December, 2022;
originally announced December 2022.
-
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.
-
Multi-Angle QAOA Does Not Always Need All Its Angles
Authors:
Kaiyan Shi,
Rebekah Herrman,
Ruslan Shaydulin,
Shouvanik Chakrabarti,
Marco Pistoia,
Jeffrey Larson
Abstract:
Introducing additional tunable parameters to quantum circuits is a powerful way of improving performance without increasing hardware requirements. A recently introduced multiangle extension of the quantum approximate optimization algorithm (ma-QAOA) significantly improves the solution quality compared with QAOA by allowing the parameters for each term in the Hamiltonian to vary independently. Prio…
▽ More
Introducing additional tunable parameters to quantum circuits is a powerful way of improving performance without increasing hardware requirements. A recently introduced multiangle extension of the quantum approximate optimization algorithm (ma-QAOA) significantly improves the solution quality compared with QAOA by allowing the parameters for each term in the Hamiltonian to vary independently. Prior results suggest, however, considerable redundancy in parameters, the removal of which would reduce the cost of parameter optimization. In this work we show numerically the connection between the problem symmetries and the parameter redundancy by demonstrating that symmetries can be used to reduce the number of parameters used by ma-QAOA without decreasing the solution quality. We study Max-Cut on all 7,565 connected, non-isomorphic 8-node graphs with a nontrivial symmetry group and show numerically that in 67.4% of these graphs, symmetry can be used to reduce the number of parameters with no decrease in the objective, with the average ratio of parameters reduced by 28.1%. Moreover, we show that in 35.9% of the graphs this reduction can be achieved by simply using the largest symmetry. For the graphs where reducing the number of parameters leads to a decrease in the objective, the largest symmetry can be used to reduce the parameter count by 37.1% at the cost of only a 6.1% decrease in the objective. We demonstrate the central role of symmetries by showing that a random parameter reduction strategy leads to much worse performance.
△ Less
Submitted 7 April, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
Relating the multi-angle quantum approximate optimization algorithm and continuous-time quantum walks on dynamic graphs
Authors:
Rebekah Herrman
Abstract:
In this work, we show that ma-QAOA is equivalent to a restriction of continuous-time quantum walks on dynamic graphs. We then show it is universal for computation by finding the appropriate $B$ and $C$ operators and angles that implement the universal gate set consisting of the Hadamard, $π/8$ and Controlled-Not gates in the ma-QAOA framework. This result begins to bridge the gap between the conti…
▽ More
In this work, we show that ma-QAOA is equivalent to a restriction of continuous-time quantum walks on dynamic graphs. We then show it is universal for computation by finding the appropriate $B$ and $C$ operators and angles that implement the universal gate set consisting of the Hadamard, $π/8$ and Controlled-Not gates in the ma-QAOA framework. This result begins to bridge the gap between the continuous-time quantum walk model and gate model of quantum computation.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
Upper bound for the $(d-2)$-leaky forcing number of $Q_d$ and $\ell$-leaky forcing number of $GP(n,1)$
Authors:
Rebekah Herrman
Abstract:
Leaky-forcing is a recently introduced variant of zero-forcing that has been studied for families of graphs including paths, cycles, wheels, grids, and trees. In this paper, we extend previous results on the leaky forcing number of the d-dimensional hypercube, $Q_d$, to show that the $(d-2)$-leaky forcing number of $Q_d$ is at most $2^{d-1}$. We also examine a question about the relationship betwe…
▽ More
Leaky-forcing is a recently introduced variant of zero-forcing that has been studied for families of graphs including paths, cycles, wheels, grids, and trees. In this paper, we extend previous results on the leaky forcing number of the d-dimensional hypercube, $Q_d$, to show that the $(d-2)$-leaky forcing number of $Q_d$ is at most $2^{d-1}$. We also examine a question about the relationship between the size of a minimum $\ell$-leaky-forcing set and a minimum zero-forcing set for a graph $G$.
△ Less
Submitted 25 February, 2022;
originally announced February 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.
-
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.
-
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.
-
On the length of L-Grundy sequences
Authors:
Rebekah Herrman,
Stephen G. Z. Smith
Abstract:
An L- sequence of a graph $G $ is a sequence of distinct vertices $S = \{v_1, ... , v_k\}$ such that $N[v_i] \setminus \cup_{j=1}^{i-1} N(v_j) \neq \emptyset$. The length of the longest L-sequence is called the L-Grundy domination number, denoted $γ_{gr}^L(G)$. In this paper, we prove $γ_{gr}^L(G) \leq n(G) - δ(G) + 1$, which was conjectured by Bre{š}ar, Gologranc, Henning, and Kos. We also prove…
▽ More
An L- sequence of a graph $G $ is a sequence of distinct vertices $S = \{v_1, ... , v_k\}$ such that $N[v_i] \setminus \cup_{j=1}^{i-1} N(v_j) \neq \emptyset$. The length of the longest L-sequence is called the L-Grundy domination number, denoted $γ_{gr}^L(G)$. In this paper, we prove $γ_{gr}^L(G) \leq n(G) - δ(G) + 1$, which was conjectured by Bre{š}ar, Gologranc, Henning, and Kos. We also prove some early results about characteristics of $n$-vertex graphs such $γ_{gr}^L(G) = n$, as well as bounds on the change in L-Grundy number under graph operations.
△ Less
Submitted 27 August, 2021;
originally announced August 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.
-
Simplifying Continuous-Time Quantum Walks on Dynamic Graphs
Authors:
Rebekah Herrman,
Thomas G. Wong
Abstract:
A continuous-time quantum walk on a dynamic graph evolves by Schrödinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuti…
▽ More
A continuous-time quantum walk on a dynamic graph evolves by Schrödinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuting graphs, identical graphs, perfect state transfer, complementary graphs, isolated vertices, and uniform mixing on the hypercube. As examples, we simplify dynamic graphs, in some instances allowing single-qubit gates to be implemented in parallel.
△ Less
Submitted 3 January, 2022; v1 submitted 10 June, 2021;
originally announced June 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.
-
Capture times in the Bridge-burning Cops and Robbers game
Authors:
Rebekah Herrman,
Peter van Hintum,
Stephen G. Z. Smith
Abstract:
In this paper, we consider a variant of the cops and robbers game on a graph, introduced by Kinnersley and Peterson, in which every time the robber uses an edge, it is removed from the graph, known as bridge-burning cops and robbers. In particular, we study the maximum time it takes the cops to capture the robber.
In this paper, we consider a variant of the cops and robbers game on a graph, introduced by Kinnersley and Peterson, in which every time the robber uses an edge, it is removed from the graph, known as bridge-burning cops and robbers. In particular, we study the maximum time it takes the cops to capture the robber.
△ Less
Submitted 31 October, 2020;
originally announced November 2020.
-
Lower Bounds on Circuit Depth of the Quantum Approximate Optimization Algorithm
Authors:
James Ostrowski,
Rebekah Herrman,
Travis S. Humble,
George Siopsis
Abstract:
The quantum approximate optimization algorithm (QAOA) is a method of approximately solving combinatorial optimization problems. While QAOA is developed to solve a broad class of combinatorial optimization problems, it is not clear which classes of problems are best suited for it. One factor in demonstrating quantum advantage is the relationship between a problem instance and the circuit depth requ…
▽ More
The quantum approximate optimization algorithm (QAOA) is a method of approximately solving combinatorial optimization problems. While QAOA is developed to solve a broad class of combinatorial optimization problems, it is not clear which classes of problems are best suited for it. One factor in demonstrating quantum advantage is the relationship between a problem instance and the circuit depth required to implement the QAOA method. As errors in NISQ devices increases exponentially with circuit depth, identifying lower bounds on circuit depth can provide insights into when quantum advantage could be feasible. Here, we identify how the structure of problem instances can be used to identify lower bounds for circuit depth for each iteration of QAOA and examine the relationship between problem structure and the circuit depth for a variety of combinatorial optimization problems including MaxCut and MaxIndSet. Specifically, we show how to derive a graph, $G$, that describes a general combinatorial optimization problem and show that the depth of circuit is at least the chromatic index of $G$. By looking at the scaling of circuit depth, we argue that MaxCut, MaxIndSet, and some instances of Vertex Covering and Boolean satisifiability problems are suitable for QAOA approaches while Knapsack and Traveling Sales Person problems are not.
△ Less
Submitted 12 August, 2020; v1 submitted 4 August, 2020;
originally announced August 2020.
-
The Eternal Game Chromatic Number of Random Graphs
Authors:
Vojtěch Dvořák,
Rebekah Herrman,
Peter van Hintum
Abstract:
The eternal graph colouring problem, recently introduced by Klostermeyer and Mendoza, is a version of the graph colouring game, where two players take turns properly colouring a graph. In this note, we study the eternal game chromatic number of random graphs. We show that with high probability $χ_{g}^{\infty}(G_{n,p}) = (\frac{p}{2} + o(1))n$ for odd $n$, and also for even $n$ when…
▽ More
The eternal graph colouring problem, recently introduced by Klostermeyer and Mendoza, is a version of the graph colouring game, where two players take turns properly colouring a graph. In this note, we study the eternal game chromatic number of random graphs. We show that with high probability $χ_{g}^{\infty}(G_{n,p}) = (\frac{p}{2} + o(1))n$ for odd $n$, and also for even $n$ when $p=\frac{1}{k}$ for some $k \in \mathbb{N}$. The upper bound applies for even $n$ and any other value of $p$ as well, but we conjecture in this case this upper bound is not sharp. Finally, we answer a question posed by Klostermeyer and Mendoza.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
(t,r) broadcast domination in the infinite grid
Authors:
Rebekah Herrman,
Peter van Hintum
Abstract:
The $(t,r)$ broadcast domination number of a graph $G$, $γ_{t,r}(G)$, is a generalization of the domination number of a graph. $γ_{t,r}(G)$ is the minimal number of towers needed, placed on vertices of $G$, each transmitting a signal of strength $t$ which decays linearly, such that every vertex receives a total amount of at least $r$ signal. In this paper we prove a conjecture by Drews, Harris, an…
▽ More
The $(t,r)$ broadcast domination number of a graph $G$, $γ_{t,r}(G)$, is a generalization of the domination number of a graph. $γ_{t,r}(G)$ is the minimal number of towers needed, placed on vertices of $G$, each transmitting a signal of strength $t$ which decays linearly, such that every vertex receives a total amount of at least $r$ signal. In this paper we prove a conjecture by Drews, Harris, and Randolph about the minimal density of towers in $\mathbb{Z}^2$ that provide a $(t,3)$ domination broadcast for $t>17$ and explore generalizations. Additionally, we determine the $(t,r)$ broadcast domination number of powers of paths, $P_n^{(k)}$ and powers of cycles, $C_n^{(k)}$.
△ Less
Submitted 24 December, 2019;
originally announced December 2019.
-
Continuous-Time Quantum Walks on Dynamic Graphs
Authors:
Rebekah Herrman,
Travis Humble
Abstract:
Continuous-time quantum walks (CTQWs) on static graphs provide efficient methods for search and sampling as well as a model for universal quantum computation. We consider an extension of CTQWs to the case of dynamic graphs, in which an ordered sequence of graphs governs free evolution of the quantum walk. We then consider how perfect state transfer during the quantum walk can be used to design dyn…
▽ More
Continuous-time quantum walks (CTQWs) on static graphs provide efficient methods for search and sampling as well as a model for universal quantum computation. We consider an extension of CTQWs to the case of dynamic graphs, in which an ordered sequence of graphs governs free evolution of the quantum walk. We then consider how perfect state transfer during the quantum walk can be used to design dynamic graphs that implement a universal set of quantum logic gates. We give explicit examples for a complete logical basis, and we validate implementations using numerical simulations for quantum teleportation and addition circuits. Finally, we discuss the potential for realizing CTQWs on dynamic graphs using actively controlled quantum optical waveguides.
△ Less
Submitted 4 February, 2019;
originally announced February 2019.
-
Uniform Bounds for Non-negativity of the Diffusion Game
Authors:
Andrew Carlotti,
Rebekah Herrman
Abstract:
We study a variant of the chip-firing game called the diffusion game. In the diffusion game, we begin with some integer labelling of the vertices of a graph, interpreted as a number of chips on each vertex, and then for each subsequent step every vertex simultaneously fires a chip to each neighbour with fewer chips. In general, this could result in negative vertex labels. Long and Narayanan asked…
▽ More
We study a variant of the chip-firing game called the diffusion game. In the diffusion game, we begin with some integer labelling of the vertices of a graph, interpreted as a number of chips on each vertex, and then for each subsequent step every vertex simultaneously fires a chip to each neighbour with fewer chips. In general, this could result in negative vertex labels. Long and Narayanan asked whether there exists an $f(n)$ for each $n$, such that whenever we have a graph on $n$ vertices and an initial allocation with at least $f(n)$ chips on each vertex, then the number of chips on each vertex will remain non-negative. We answer their question in the affirmative, showing further that $f(n)=n-2$ is the best possible bound. We also consider the existence of a similar bound $g(d)$ for each $d$, where $d$ is the maximum degree of the graph.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.