Author

Sam Gutmann

43 papers · 1982–2025

1982peak 5 in 20022025

Frequent co-authors

Papers

showing 1–25 of 43 RSS

A Quantum Approximate Optimization Algorithm

Edward Farhi, Jeffrey Goldstone, Sam Gutmann

quant-ph · 14 Nov 2014 · cited 4,674× · arXiv ↗ · more like this ·

We introduce a quantum algorithm that produces approximate solutions for combinatorial optimization problems. The algorithm depends on a positive integer p and the quality of the approximation improves as p is increased. The quantum circuit that implements the algorithm consists of unitary gates whose locality is at most the locality of the objective function whose optimum is sought. The depth of the circuit grows linearly with p times (at worst) the number of constraints. If p is fixed, that is, independent of the input size, the algorithm makes use of efficient classical preprocessing. If p grows with the input size a different strategy is proposed. We study the algorithm as applied to MaxCut on regular graphs and analyze its performance on 2-regular and 3-regular graphs for fixed p. For p = 1, on 3-regular graphs the quantum algorithm always finds a cut that is at least 0.6924 times…

A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem

Edward Farhi, Jeffrey Goldstone, Sam Gutmann +3 more

quant-ph · 26 Apr 2001 · cited 1,952× · arXiv ↗ · more like this ·

A quantum system will stay near its instantaneous ground state if the Hamiltonian that governs its evolution varies slowly enough. This quantum adiabatic behavior is the basis of a new class of algorithms for quantum computing. We test one such algorithm by applying it to randomly generated, hard, instances of an NP-complete problem. For the small examples that we can simulate, the quantum adiabatic algorithm works well, and provides evidence that quantum computers (if large ones can be built) may be able to outperform ordinary computers on hard sets of instances of NP-complete problems.

Quantum Computation by Adiabatic Evolution

Edward Farhi, Jeffrey Goldstone, Sam Gutmann +1 more

quant-ph · 28 Jan 2000 · cited 1,858× · arXiv ↗ · more like this ·

We give a quantum algorithm for solving instances of the satisfiability problem, based on adiabatic evolution. The evolution of the quantum state is governed by a time-dependent Hamiltonian that interpolates between an initial Hamiltonian, whose ground state is easy to construct, and a final Hamiltonian, whose ground state encodes the satisfying assignment. To ensure that the system evolves to the desired final ground state, the evolution time must be big enough. The time required depends on the minimum energy difference between the two lowest states of the interpolating Hamiltonian. We are unable to estimate this gap in general. We give some special symmetric cases of the satisfiability problem where the symmetry allows us to estimate the gap and we show that, in these cases, our algorithm runs in polynomial time.

Quantum Computation and Decision Trees

Edward Farhi, Sam Gutmann

quant-ph · June 1997 · cited 1,104× · arXiv ↗ · more like this ·

Many interesting computational problems can be reformulated in terms of decision trees. A natural classical algorithm is to then run a random walk on the tree, starting at the root, to see if the tree contains a node n levels from the root. We devise a quantum mechanical algorithm that evolves a state, initially localized at the root, through the tree. We prove that if the classical strategy succeeds in reaching level n in time polynomial in n, then so does the quantum algorithm. Moreover, we find examples of trees for which the classical algorithm requires time exponential in n, but for which the quantum algorithm succeeds in polynomial time. The examples we have so far, however, could also be solved in polynomial time by different classical algorithms.

Exponential algorithmic speedup by quantum walk

Andrew M. Childs, Richard Cleve, Enrico Deotto +3 more

quant-ph · September 2002 · cited 963× · arXiv ↗ · more like this ·

We construct an oracular (i.e., black box) problem that can be solved exponentially faster on a quantum computer than on a classical computer. The quantum algorithm is based on a continuous time quantum walk, and thus employs a different technique from previous quantum algorithms based on quantum Fourier transforms. We show how to implement the quantum walk efficiently in our oracular setting. We then show how this quantum walk can be used to solve our problem by rapidly traversing a graph. Finally, we prove that no classical algorithm can solve this problem with high probability in subexponential time.

An example of the difference between quantum and classical random walks

Andrew M. Childs, Edward Farhi, Sam Gutmann

quant-ph · 6 Mar 2001 · cited 434× · arXiv ↗ · more like this ·

In this note, we discuss a general definition of quantum random walks on graphs and illustrate with a simple graph the possibility of very different behavior between a classical random walk and its quantum analogue. In this graph, propagation between a particular pair of nodes is exponentially faster in the quantum case.

Analog analogue of a digital quantum computation

Edward Farhi, Sam Gutmann

Artificial Intelligence · Physical Review A · April 1998 · cited 401× · DOI ↗ · more like this ·

We solve a problem, which while not fitting into the usual paradigm, can be viewed as a quantum computation. Suppose we are given a quantum system with a Hamiltonian of the form $E|w〉〈w|$ where $|w〉$ is an unknown (normalized) state. The problem is to produce $|w〉$ by adding a Hamiltonian (independent of $|w〉)$ and evolving the system. If $|w〉$ is chosen uniformly at random we can (with high probability) produce $|w〉$ in a time proportional to ${N}^{1/2}/E$. If $|w〉$ is instead chosen from a fixed, known orthonormal basis we can also produce $|w〉$ in a time proportional to ${N}^{1/2}/E$ and we show that this time is optimally short. This restricted problem is an analog analogue to Grover's algorithm, a computation on a conventional (!) quantum computer that locates a marked item from an unsorted list of $N$ items in a number of steps proportional to ${N}^{1/2}$.

An Analog Analogue of a Digital Quantum Computation

Edward Farhi, Sam Gutmann

quant-ph · 6 Dec 1996 · cited 357× · arXiv ↗ · more like this ·

We solve a problem, which while not fitting into the usual paradigm, can be viewed as a quantum computation. Suppose we are given a quantum system described by an N dimensional Hilbert space with a Hamiltonian of the form $E |w >< w|$ where $| w>$ is an unknown (normalized) state. We show how to discover $| w >$ by adding a Hamiltonian (independent of $| w >$) and evolving for a time proportional to $N^{1/2}/E$. We show that this time is optimally short. This process is an analog analogue to Grover's algorithm, a computation on a conventional (!) quantum computer which locates a marked item from an unsorted list of N items in a number of steps proportional to $N^{1/2}$.

The Quantum Approximate Optimization Algorithm and the Sherrington-Kirkpatrick Model at Infinite Size

Edward Farhi, Jeffrey Goldstone, Sam Gutmann +1 more

quant-ph · October 2019 · cited 322× · arXiv ↗ · more like this ·

The Quantum Approximate Optimization Algorithm (QAOA) is a general-purpose algorithm for combinatorial optimization problems whose performance can only improve with the number of layers $p$. While QAOA holds promise as an algorithm that can be run on near-term quantum computers, its computational power has not been fully explored. In this work, we study the QAOA applied to the Sherrington-Kirkpatrick (SK) model, which can be understood as energy minimization of $n$ spins with all-to-all random signed couplings. There is a recent classical algorithm by Montanari that, assuming a widely believed conjecture, can efficiently find an approximate solution for a typical instance of the SK model to within $(1-ε)$ times the ground state energy. We hope to match its performance with the QAOA. Our main result is a novel technique that allows us to evaluate the typical-instance energy of the QAOA…

W2120560473

Edward Farhi, Jeffrey Goldstone, Sam Gutmann

Artificial Intelligence · Theory of Computing · 2008 · cited 287× · DOI ↗ · more like this ·

We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a running time proportional to N. We also show a lower bound of ( N) for the NAND tree problem in the Hamiltonian oracle model.

A Quantum Approximate Optimization Algorithm Applied to a Bounded Occurrence Constraint Problem

Edward Farhi, Jeffrey Goldstone, Sam Gutmann

quant-ph · December 2014 · cited 252× · arXiv ↗ · more like this ·

We apply our recent Quantum Approximate Optimization Algorithm to the combinatorial problem of bounded occurrence Max E3LIN2. The input is a set of linear equations each of which contains exactly three boolean variables and each equation says that the sum of the variables mod 2 is 0 or is 1. Every variable is in no more than D equations. A random string will satisfy 1/2 of the equations. We show that the level one QAOA will efficiently produce a string that satisfies $\left(\frac{1}{2} + \frac{1}{101 D^{1/2}\, l n\, D}\right)$ times the number of equations. A recent classical algorithm achieved $\left(\frac{1}{2} + \frac{constant}{D^{1/2}}\right)$. We also show that in the typical case the quantum computer will output a string that satisfies $\left(\frac{1}{2}+ \frac{1}{2\sqrt{3e}\, D^{1/2}}\right)$ times the number of equations.

For Fixed Control Parameters the Quantum Approximate Optimization Algorithm's Objective Function Value Concentrates for Typical Instances

Fernando G. S. L. Brandao, Michael Broughton, Edward Farhi +2 more

quant-ph · 11 Dec 2018 · cited 239× · arXiv ↗ · more like this ·

The Quantum Approximate Optimization Algorithm, QAOA, uses a shallow depth quantum circuit to produce a parameter dependent state. For a given combinatorial optimization problem instance, the quantum expectation of the associated cost function is the parameter dependent objective function of the QAOA. We demonstrate that if the parameters are fixed and the instance comes from a reasonable distribution then the objective function value is concentrated in the sense that typical instances have (nearly) the same value of the objective function. This applies not just for optimal parameters as the whole landscape is instance independent. We can prove this is true for low depth quantum circuits for instances of MaxCut on large 3-regular graphs. Our results generalize beyond this example. We support the arguments with numerical examples that show remarkable concentration. For higher depth…

The Quantum Approximate Optimization Algorithm Needs to See the Whole Graph: A Typical Case

Edward Farhi, David Gamarnik, Sam Gutmann

quant-ph · 20 Apr 2020 · cited 175× · arXiv ↗ · more like this ·

The Quantum Approximate Optimization Algorithm can naturally be applied to combinatorial search problems on graphs. The quantum circuit has p applications of a unitary operator that respects the locality of the graph. On a graph with bounded degree, with p small enough, measurements of distant qubits in the state output by the QAOA give uncorrelated results. We focus on finding big independent sets in random graphs with dn/2 edges keeping d fixed and n large. Using the Overlap Gap Property of almost optimal independent sets in random graphs, and the locality of the QAOA, we are able to show that if p is less than a d-dependent constant times log n, the QAOA cannot do better than finding an independent set of size .854 times the optimal for d large. Because the logarithm is slowly growing, even at one million qubits we can only show that the algorithm is blocked if p is in single digits.…

Cyclic Computation, A Computationally Efficient Minimalist Syntax

John Frampton, Sam Gutmann

Artificial Intelligence · Syntax · April 1999 · cited 171× · DOI ↗ · more like this ·

We construct a completely cyclic Minimalist theory of syntactic derivations. A derivation consists of a sequence of cycles. Each cycle starts with the introduction of a new head and merger of the head's selected arguments, followed by satisfaction (via checking) of the head's removable features. The theory includes no acyclic devices such as lexical arrays or comparison of derivations. Satisfaction of features is accompanied by full category movement whenever it is not blocked by morphology or constraints barring multiple specifiers. The Minimal Link Condition is viewed computationally and is naturally incorporated into Satisfy. Our precise notion of checking involves sets of features interacting in the same checking relation, and yields an account of successive cyclic movement, the distribution of expletives, EPP, and quirky case phenomena. The paper can be read as empirical evidence…

Exponential algorithmic speedup by a quantum walk

Andrew M. Childs, Richard Cleve, E. Deotto +3 more

Artificial Intelligence · 2003 · cited 141× · DOI ↗ · more like this ·

We construct a black box graph traversal problem that can be solved exponentially faster on a quantum computer than on a classical computer. The quantum algorithm is based on a continuous time quantum walk, and thus employs a different technique from previous quantum algorithms based on quantum Fourier transforms. We show how to implement the quantum walk efficiently in our black box setting. We then show how this quantum walk solves our problem by rapidly traversing a graph. Finally, we prove that no classical algorithm can solve the problem in subexponential time.

Quantum Adiabatic Evolution Algorithms versus Simulated Annealing

Edward Farhi, Jeffrey Goldstone, Sam Gutmann

quant-ph · 8 Jan 2002 · cited 138× · arXiv ↗ · more like this ·

We explain why quantum adiabatic evolution and simulated annealing perform similarly in certain examples of searching for the minimum of a cost function of n bits. In these examples each bit is treated symmetrically so the cost function depends only on the Hamming weight of the n bits. We also give two examples, closely related to these, where the similarity breaks down in that the quantum adiabatic algorithm succeeds in polynomial time whereas simulated annealing requires exponential time.

The Quantum Approximate Optimization Algorithm Needs to See the Whole Graph: Worst Case Examples

Edward Farhi, David Gamarnik, Sam Gutmann

quant-ph · 18 May 2020 · cited 108× · arXiv ↗ · more like this ·

The Quantum Approximate Optimization Algorithm can be applied to search problems on graphs with a cost function that is a sum of terms corresponding to the edges. When conjugating an edge term, the QAOA unitary at depth p produces an operator that depends only on the subgraph consisting of edges that are at most p away from the edge in question. On random d-regular graphs, with d fixed and with p a small constant time log n, these neighborhoods are almost all trees and so the performance of the QAOA is determined only by how it acts on an edge in the middle of tree. Both bipartite random d-regular graphs and general random d-regular graphs locally are trees so the QAOA's performance is the same on these two ensembles. Using this we can show that the QAOA with $(d-1)^{2p} < n^A$ for any $A<1$, can only achieve an approximation ratio of 1/2 for Max-Cut on bipartite random d-regular graphs…

Quantum Adiabatic Evolution Algorithms with Different Paths

Edward Farhi, Jeffrey Goldstone, Sam Gutmann

quant-ph · 21 Aug 2002 · cited 107× · arXiv ↗ · more like this ·

In quantum adiabatic evolution algorithms, the quantum computer follows the ground state of a slowly varying Hamiltonian. The ground state of the initial Hamiltonian is easy to construct; the ground state of the final Hamiltonian encodes the solution of the computational problem. These algorithms have generally been studied in the case where the "straight line" path from initial to final Hamiltonian is taken. But there is no reason not to try paths involving terms that are not linear combinations of the initial and final Hamiltonians. We give several proposals for randomly generating new paths. Using one of these proposals, we convert an algorithmic failure into a success.

Finding cliques by quantum adiabatic evolution

Andrew M. Childs, Edward Farhi, Jeffrey Goldstone +1 more

quant-ph · 19 Dec 2000 · cited 106× · arXiv ↗ · more like this ·

Quantum adiabatic evolution provides a general technique for the solution of combinatorial search problems on quantum computers. We present the results of a numerical study of a particular application of quantum adiabatic evolution, the problem of finding the largest clique in a random graph. An n-vertex random graph has each edge included with probability 1/2, and a clique is a completely connected subgraph. There is no known classical algorithm that finds the largest clique in a random graph with high probability and runs in a time polynomial in n. For the small graphs we are able to investigate (n <= 18), the quantum algorithm appears to require only a quadratic run time.

Quantum Adiabatic Algorithms, Small Gaps, and Different Paths

Edward Farhi, Jeffrey Goldstone, David Gosset +3 more

quant-ph · September 2009 · cited 90× · arXiv ↗ · more like this ·

We construct a set of instances of 3SAT which are not solved efficiently using the simplest quantum adiabatic algorithm. These instances are obtained by picking random clauses all consistent with two disparate planted solutions and then penalizing one of them with a single additional clause. We argue that by randomly modifying the beginning Hamiltonian, one obtains (with substantial probability) an adiabatic path that removes this difficulty. This suggests that the quantum adiabatic algorithm should in general be run on each instance with many different random paths leading to the problem Hamiltonian. We do not know whether this trick will help for a random instance of 3SAT (as opposed to an instance from the particular set we consider), especially if the instance has an exponential number of disparate assignments that violate few clauses. We use a continuous imaginary time Quantum…

Functional integral for a free particle in a box

Michel Carreau, Edward Farhi, Sam Gutmann

Statistics and Probability · Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D. Particles and fields · 15 Aug 1990 · cited 86× · DOI ↗ · more like this ·

A free nonrelativistic particle moving in a one-dimensional box can be described by any of a four-parameter family of self-adjoint Hamiltonians each of which guarantees that probability does not leave the box. Included are cases where the particle striking one wall may reappear at the other. We construct a four-parameter family of Brownian functional integrals which include paths that jump from wall to wall. Their analytic continuation in time results in the same quantum Green's functions as those which arise directly from the Hamiltonians.

Quantum search by measurement

Andrew M. Childs, Enrico Deotto, Edward Farhi +3 more

quant-ph · 3 Apr 2002 · cited 77× · arXiv ↗ · more like this ·

We propose a quantum algorithm for solving combinatorial search problems that uses only a sequence of measurements. The algorithm is similar in spirit to quantum computation by adiabatic evolution, in that the goal is to remain in the ground state of a time-varying Hamiltonian. Indeed, we show that the running times of the two algorithms are closely related. We also show how to achieve the quadratic speedup for Grover's unstructured search problem with only two measurements. Finally, we discuss some similarities and differences between the adiabatic and measurement algorithms.

How to Make the Quantum Adiabatic Algorithm Fail

Edward Farhi, Jeffrey Goldstone, Sam Gutmann +1 more

quant-ph · 19 Dec 2005 · cited 76× · arXiv ↗ · more like this ·

The quantum adiabatic algorithm is a Hamiltonian based quantum algorithm designed to find the minimum of a classical cost function whose domain has size N. We show that poor choices for the Hamiltonian can guarantee that the algorithm will not find the minimum if the run time grows more slowly than square root of N. These poor choices are nonlocal and wash out any structure in the cost function to be minimized and the best that can be hoped for is Grover speedup. These failures tell us what not to do when designing quantum adiabatic algorithms.

THE FUNCTIONAL INTEGRAL ON THE HALF-LINE

Edward Farhi, Sam Gutmann

Mathematical Physics · International Journal of Modern Physics A · 10 Aug 1990 · cited 60× · DOI ↗ · more like this ·

A quantum Hamiltonian, defined on the half-line, will typically not lead to unitary time evolution unless the domain of the Hamiltonian is carefully specified. Different choices of the domain result in different Green’s functions. For a wide class of non-relativistic Hamiltonians we show how to define the functional integral on the half-line in a way which matches the various Green’s functions. To do so we analytically continue, in time, functional integrals constructed with real measures that give weight to paths on the half-line according to how much time they spend near the origin.

A Numerical Study of the Performance of a Quantum Adiabatic Evolution Algorithm for Satisfiability

Edward Farhi, Jeffrey Goldstone, Sam Gutmann

quant-ph · 19 Jul 2000 · cited 57× · arXiv ↗ · more like this ·

Quantum computation by adiabatic evolution, as described in quant-ph/0001106, will solve satisfiability problems if the running time is long enough. In certain special cases (that are classically easy) we know that the quantum algorithm requires a running time that grows as a polynomial in the number of bits. In this paper we present numerical results on randomly generated instances of an NP-complete problem and of a problem that can be solved classically in polynomial time. We simulate a quantum computer (of up to 16 qubits) by integrating the Schrodinger equation on a conventional computer. For both problems considered, for the set of instances studied, the required running time appears to grow slowly as a function of the number of bits.