Showing 1–24 of 24 results for author: Goldstone, J

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

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann, Leo Zhou

Abstract: 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-Kirkpatr… ▽ More 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 applied to the SK model. We produce a formula for the expected value of the energy, as a function of the $2p$ QAOA parameters, in the infinite size limit that can be evaluated on a computer with $O(16^p)$ complexity. We evaluate the formula up to $p=12$, and find that the QAOA at $p=11$ outperforms the standard semidefinite programming algorithm. Moreover, we show concentration: With probability tending to one as $n\to\infty$, measurements of the QAOA will produce strings whose energies concentrate at our calculated value. As an algorithm running on a quantum computer, there is no need to search for optimal parameters on an instance-by-instance basis since we can determine them in advance. What we have here is a new framework for analyzing the QAOA, and our techniques can be of broad interest for evaluating its performance on more general problems where classical algorithms may fail. △ Less

Submitted 1 July, 2022; v1 submitted 17 October, 2019; originally announced October 2019.

Comments: 32 pages, 2 figures, 2 tables. Improved presentation for journal version. Results and technical content unchanged since v2

Journal ref: Quantum 6, 759 (2022)

Quantum Algorithms for Fixed Qubit Architectures

Authors: E. Farhi, J. Goldstone, S. Gutmann, H. Neven

Abstract: Gate model quantum computers with too many qubits to be simulated by available classical computers are about to arrive. We present a strategy for programming these devices without error correction or compilation. This means that the number of logical qubits is the same as the number of qubits on the device. The hardware determines which pairs of qubits can be addressed by unitary operators. The go… ▽ More Gate model quantum computers with too many qubits to be simulated by available classical computers are about to arrive. We present a strategy for programming these devices without error correction or compilation. This means that the number of logical qubits is the same as the number of qubits on the device. The hardware determines which pairs of qubits can be addressed by unitary operators. The goal is to build quantum states that solve computational problems such as maximizing a combinatorial objective function or minimizing a Hamiltonian. These problems may not fit naturally on the physical layout of the qubits. Our algorithms use a sequence of parameterized unitaries that sit on the qubit layout to produce quantum states depending on those parameters. Measurements of the objective function (or Hamiltonian) guide the choice of new parameters with the goal of moving the objective function up (or lowering the energy). As an example we consider finding approximate solutions to MaxCut on 3-regular graphs whereas the hardware is physical qubits laid out on a rectangular grid. We prove that the lowest depth version of the Quantum Approximate Optimization Algorithm will achieve an approximation ratio of at least 0.5293 on all large enough instances which beats random guessing (0.5). We open up the algorithm to have different parameters for each single qubit $X$ rotation and for each $ZZ$ interaction associated with the nearest neighbor interactions on the grid. Small numerical experiments indicate that an enveloping classical algorithm can be used to find the parameters which sit on the grid to optimize an objective function with a different connectivity. We discuss strategies for finding good parameters but offer no evidence yet that the proposed approach can beat the best classical algorithms. Ultimately the strength of this approach will be determined by running on actual hardware. △ Less

Submitted 17 March, 2017; originally announced March 2017.

Comments: 20 pages, 6 figures

Report number: MIT-CTP/4893

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

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann

Abstract: 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 t… ▽ More 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. △ Less

Submitted 25 June, 2015; v1 submitted 18 December, 2014; originally announced December 2014.

Comments: This version contains a tighter analysis that leads to stronger results on the performance of the quantum algorithm

Report number: MIT-CTP/4628

A Quantum Approximate Optimization Algorithm

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann

Abstract: 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… ▽ More 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 the size of the optimal cut. △ Less

Submitted 14 November, 2014; originally announced November 2014.

Report number: MIT-CTP/4610

Unstructured Randomness, Small Gaps and Localization

Authors: Edward Farhi, Jeffrey Goldstone, David Gosset, Sam Gutmann, Peter Shor

Abstract: We study the Hamiltonian associated with the quantum adiabatic algorithm with a random cost function. Because the cost function lacks structure we can prove results about the ground state. We find the ground state energy as the number of bits goes to infinity, show that the minimum gap goes to zero exponentially quickly, and we see a localization transition. We prove that there are no levels appro… ▽ More We study the Hamiltonian associated with the quantum adiabatic algorithm with a random cost function. Because the cost function lacks structure we can prove results about the ground state. We find the ground state energy as the number of bits goes to infinity, show that the minimum gap goes to zero exponentially quickly, and we see a localization transition. We prove that there are no levels approaching the ground state near the end of the evolution. We do not know which features of this model are shared by a quantum adiabatic algorithm applied to random instances of satisfiability since despite being random they do have bit structure. △ Less

Submitted 30 September, 2010; originally announced October 2010.

Report number: MIT-CTP/4181

Journal ref: Quantum Information & Computation, Volume 11 number 9&10, 2011, pages 840-854

Unfrustrated Qudit Chains and their Ground States

Authors: Ramis Movassagh, Edward Farhi, Jeffrey Goldstone, Daniel Nagaj, Tobias J. Osborne, Peter W. Shor

Abstract: We investigate chains of 'd' dimensional quantum spins (qudits) on a line with generic nearest neighbor interactions without translational invariance. We find the conditions under which these systems are not frustrated, i.e. when the ground states are also the common ground states of all the local terms in the Hamiltonians. The states of a quantum spin chain are naturally represented in the Matrix… ▽ More We investigate chains of 'd' dimensional quantum spins (qudits) on a line with generic nearest neighbor interactions without translational invariance. We find the conditions under which these systems are not frustrated, i.e. when the ground states are also the common ground states of all the local terms in the Hamiltonians. The states of a quantum spin chain are naturally represented in the Matrix Product States (MPS) framework. Using imaginary time evolution in the MPS ansatz, we numerically investigate the range of parameters in which we expect the ground states to be highly entangled and find them hard to approximate using our MPS method. △ Less

Submitted 28 June, 2011; v1 submitted 6 January, 2010; originally announced January 2010.

Comments: 5 pages, 5 figures. Typos corrected

Journal ref: Phys. Rev. A 82, 012318 (2010)

A Quantum Monte Carlo Method at Fixed Energy

Authors: Edward Farhi, Jeffrey Goldstone, David Gosset, Harvey B. Meyer

Abstract: In this paper we explore new ways to study the zero temperature limit of quantum statistical mechanics using Quantum Monte Carlo simulations. We develop a Quantum Monte Carlo method in which one fixes the ground state energy as a parameter. The Hamiltonians we consider are of the form $H=H_{0}+λV$ with ground state energy E. For fixed $H_{0}$ and V, one can view E as a function of $λ$ whereas we… ▽ More In this paper we explore new ways to study the zero temperature limit of quantum statistical mechanics using Quantum Monte Carlo simulations. We develop a Quantum Monte Carlo method in which one fixes the ground state energy as a parameter. The Hamiltonians we consider are of the form $H=H_{0}+λV$ with ground state energy E. For fixed $H_{0}$ and V, one can view E as a function of $λ$ whereas we view $λ$ as a function of E. We fix E and define a path integral Quantum Monte Carlo method in which a path makes no reference to the times (discrete or continuous) at which transitions occur between states. For fixed E we can determine $λ(E)$ and other ground state properties of H. △ Less

Submitted 21 December, 2009; originally announced December 2009.

Report number: CERN-PH-TH/2009-248 and MIT-CTP 4100

Journal ref: Computer Physics Communications, Volume 182, Issue 8, August 2011, Pages 1663-1673

Quantum Adiabatic Algorithms, Small Gaps, and Different Paths

Authors: Edward Farhi, Jeffrey Goldstone, David Gosset, Sam Gutmann, Harvey B. Meyer, Peter Shor

Abstract: 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) a… ▽ More 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 Monte Carlo algorithm in a novel way to numerically investigate the ground state as well as the first excited state of our system. Our arguments are supplemented by Quantum Monte Carlo data from simulations with up to 150 spins. △ Less

Submitted 4 June, 2010; v1 submitted 25 September, 2009; originally announced September 2009.

Comments: The original version considered a unique satisfying assignment and one problematic low lying state. The revision argues that the algorithm with path change will succeed when there are polynomially many low lying states

Report number: MIT-CTP 4076, CERN-PH-TH-2009/175

Journal ref: Quantum Information & Computation, Volume 11 number 3&4, 2011, pages 181-214

The Quantum Transverse Field Ising Model on an Infinite Tree from Matrix Product States

Authors: Daniel Nagaj, Edward Farhi, Jeffrey Goldstone, Peter Shor, Igor Sylvester

Abstract: We give a generalization to an infinite tree geometry of Vidal's infinite time-evolving block decimation (iTEBD) algorithm for simulating an infinite line of quantum spins. We numerically investigate the quantum Ising model in a transverse field on the Bethe lattice using the Matrix Product State ansatz. We observe a second order phase transition, with certain key differences from the transverse… ▽ More We give a generalization to an infinite tree geometry of Vidal's infinite time-evolving block decimation (iTEBD) algorithm for simulating an infinite line of quantum spins. We numerically investigate the quantum Ising model in a transverse field on the Bethe lattice using the Matrix Product State ansatz. We observe a second order phase transition, with certain key differences from the transverse field Ising model on an infinite spin chain. We also investigate a transverse field Ising model with a specific longitudinal field. When the transverse field is turned off, this model has a highly degenerate ground state as opposed to the pure Ising model whose ground state is only doubly degenerate. △ Less

Submitted 11 December, 2007; originally announced December 2007.

Comments: 28 pages, 23 figures, PDFlatex

Journal ref: Phys. Rev. B 77, 214431 (2008)

A Quantum Algorithm for the Hamiltonian NAND Tree

Authors: E. Farhi, J. Goldstone, S. Gutmann

Abstract: 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 run time proportional to sqrt N. We also show a lower bound of sqrt N for the NAND tree problem in the Hamiltonian oracle model. 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 run time proportional to sqrt N. We also show a lower bound of sqrt N for the NAND tree problem in the Hamiltonian oracle model. △ Less

Submitted 22 February, 2007; v1 submitted 14 February, 2007; originally announced February 2007.

Comments: 16 pages, 15 figures, v2 with run time improved to sqrt N by slight sharpening of estimates in section 3

Report number: MIT-CTP-3813

How to Make the Quantum Adiabatic Algorithm Fail

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann, Daniel Nagaj

Abstract: 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… ▽ More 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. △ Less

Submitted 19 December, 2005; originally announced December 2005.

Comments: 12 pages, 2 figures

Journal ref: International Journal of Quantum Information, Vol. 6, No. 3 (2008), 503-516

Spatial search and the Dirac equation

Authors: Andrew M. Childs, Jeffrey Goldstone

Abstract: We consider the problem of searching a d-dimensional lattice of N sites for a single marked location. We present a Hamiltonian that solves this problem in time of order sqrt(N) for d>2 and of order sqrt(N) log(N) in the critical dimension d=2. This improves upon the performance of our previous quantum walk search algorithm (which has a critical dimension of d=4), and matches the performance of a… ▽ More We consider the problem of searching a d-dimensional lattice of N sites for a single marked location. We present a Hamiltonian that solves this problem in time of order sqrt(N) for d>2 and of order sqrt(N) log(N) in the critical dimension d=2. This improves upon the performance of our previous quantum walk search algorithm (which has a critical dimension of d=4), and matches the performance of a corresponding discrete-time quantum walk algorithm. The improvement uses a lattice version of the Dirac Hamiltonian, and thus requires the introduction of spin (or coin) degrees of freedom. △ Less

Submitted 20 May, 2004; originally announced May 2004.

Comments: 5 pages, 1 figure

Report number: MIT-CTP #3495

Journal ref: Phys. Rev. A 70, 042312 (2004)

Spatial search by quantum walk

Authors: Andrew M. Childs, Jeffrey Goldstone

Abstract: Grover's quantum search algorithm provides a way to speed up combinatorial search, but is not directly applicable to searching a physical database. Nevertheless, Aaronson and Ambainis showed that a database of N items laid out in d spatial dimensions can be searched in time of order sqrt(N) for d>2, and in time of order sqrt(N) poly(log N) for d=2. We consider an alternative search algorithm bas… ▽ More Grover's quantum search algorithm provides a way to speed up combinatorial search, but is not directly applicable to searching a physical database. Nevertheless, Aaronson and Ambainis showed that a database of N items laid out in d spatial dimensions can be searched in time of order sqrt(N) for d>2, and in time of order sqrt(N) poly(log N) for d=2. We consider an alternative search algorithm based on a continuous time quantum walk on a graph. The case of the complete graph gives the continuous time search algorithm of Farhi and Gutmann, and other previously known results can be used to show that sqrt(N) speedup can also be achieved on the hypercube. We show that full sqrt(N) speedup can be achieved on a d-dimensional periodic lattice for d>4. In d=4, the quantum walk search algorithm takes time of order sqrt(N) poly(log N), and in d<4, the algorithm does not provide substantial speedup. △ Less

Submitted 25 August, 2004; v1 submitted 6 June, 2003; originally announced June 2003.

Comments: v2: 12 pages, 4 figures; published version, with improved arguments for the cases where the algorithm fails

Report number: MIT-CTP #3384

Journal ref: Phys. Rev. A 70, 022314 (2004)

Quantum Adiabatic Evolution Algorithms with Different Paths

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann

Abstract: 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 Hamilto… ▽ More 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. △ Less

Submitted 21 August, 2002; originally announced August 2002.

Comments: 9 pp., 2 eps figures, using LaTeX and BoxedEPS macros; email correspondence to [email protected]

Report number: MIT-CTP-3297

Quantum search by measurement

Authors: Andrew M. Childs, Enrico Deotto, Edward Farhi, Jeffrey Goldstone, Sam Gutmann, Andrew J. Landahl

Abstract: 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 quadr… ▽ More 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. △ Less

Submitted 3 April, 2002; originally announced April 2002.

Comments: 8 pages, 2 figures

Report number: MIT-CTP #3260

Journal ref: Phys. Rev. A 66, 032314 (2002)

Quantum Adiabatic Evolution Algorithms versus Simulated Annealing

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann

Abstract: 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 adiab… ▽ More 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. △ Less

Submitted 8 January, 2002; originally announced January 2002.

Comments: 16pp., 10 EPS figures, using BoxedEPS macros and LaTeX. Email correspondence to E. Farhi <[email protected]>

Report number: MIT-CTP-3228

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

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann, Joshua Lapan, Andrew Lundgren, Daniel Preda

Abstract: 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 adiab… ▽ More 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. △ Less

Submitted 26 April, 2001; originally announced April 2001.

Comments: 15 pages, 6 figures, email correspondence to [email protected] ; a shorter version of this article appeared in the April 20, 2001 issue of Science; see http://www.sciencemag.org/cgi/content/full/292/5516/472

Report number: MIT-CTP-3035

Finding cliques by quantum adiabatic evolution

Authors: Andrew M. Childs, Edward Farhi, Jeffrey Goldstone, Sam Gutmann

Abstract: 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 conne… ▽ More 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. △ Less

Submitted 19 December, 2000; originally announced December 2000.

Comments: 11 pages, 4 EPS figures, REVTeX

Report number: MIT-CTP #3067

Journal ref: Quantum Information and Computation 2, 181 (2002)

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

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann

Abstract: 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-com… ▽ More 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. △ Less

Submitted 19 July, 2000; originally announced July 2000.

Comments: 15 pages, 8 figures, LaTeX with BoxedEPS macros; email to [email protected]

Report number: MIT-CTP # 3006

Quantum Computation by Adiabatic Evolution

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann, Michael Sipser

Abstract: 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 t… ▽ More 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. △ Less

Submitted 28 January, 2000; originally announced January 2000.

Comments: 24 pages, 12 figures, LaTeX, amssymb,amsmath, BoxedEPS packages; email to [email protected]

Report number: MIT-CTP-2936

Invariant Quantum Algorithms for Insertion into an Ordered List

Authors: Edward Farhi, Jeffrey Goldstone, Sam Gutmann, Michael Sipser

Abstract: We consider the problem of inserting one item into a list of N-1 ordered items. We previously showed that no quantum algorithm could solve this problem in fewer than log N/(2 log log N) queries, for N large. We transform the problem into a "translationally invariant" problem and restrict attention to invariant algorithms. We construct the "greedy" invariant algorithm and show numerically that it… ▽ More We consider the problem of inserting one item into a list of N-1 ordered items. We previously showed that no quantum algorithm could solve this problem in fewer than log N/(2 log log N) queries, for N large. We transform the problem into a "translationally invariant" problem and restrict attention to invariant algorithms. We construct the "greedy" invariant algorithm and show numerically that it outperforms the best classical algorithm for various N. We also find invariant algorithms that succeed exactly in fewer queries than is classically possible, and iterating one of them shows that the insertion problem can be solved in fewer than 0.53 log N quantum queries for large N (where log N is the classical lower bound). We don't know whether a o(log N) algorithm exists. △ Less

Submitted 19 January, 1999; originally announced January 1999.

Comments: 19 pages, LaTeX, amssymb,amsmath packages; email to [email protected]

Report number: MIT-CTP-2815

How many functions can be distinguished with k quantum queries?

Authors: E. Farhi, J. Goldstone, S. Gutmann, M. Sipser

Abstract: Suppose an oracle is known to hold one of a given set of D two-valued functions. To successfully identify which function the oracle holds with k classical queries, it must be the case that D is at most 2^k. In this paper we derive a bound for how many functions can be distinguished with k quantum queries. Suppose an oracle is known to hold one of a given set of D two-valued functions. To successfully identify which function the oracle holds with k classical queries, it must be the case that D is at most 2^k. In this paper we derive a bound for how many functions can be distinguished with k quantum queries. △ Less

Submitted 9 March, 1999; v1 submitted 7 January, 1999; originally announced January 1999.

Comments: 5 pages. Lower bound on sorting n items improved to (1-epsilon)n quantum queries. Minor changes to text and corrections to references

Report number: MIT-CTP-2814

A Limit on the Speed of Quantum Computation for Insertion into an Ordered List

Authors: E. Farhi, J. Goldstone, S. Gutmann, M. Sipser

Abstract: We consider the problem of inserting a new item into an ordered list of N-1 items. The length of an algorithm is measured by the number of comparisons it makes between the new item and items already on the list. Classically, determining the insertion point requires log N comparisons. We show that, for N large, no quantum algorithm can reduce the number of comparisons below log N/(2 loglog N). We consider the problem of inserting a new item into an ordered list of N-1 items. The length of an algorithm is measured by the number of comparisons it makes between the new item and items already on the list. Classically, determining the insertion point requires log N comparisons. We show that, for N large, no quantum algorithm can reduce the number of comparisons below log N/(2 loglog N). △ Less

Submitted 18 December, 1998; originally announced December 1998.

Comments: 5 pages

Report number: MIT-CTP-2811

A Limit on the Speed of Quantum Computation in Determining Parity

Authors: E. Farhi, J. Goldstone, S. Gutmann, M. Sipser

Abstract: Consider a function f which is defined on the integers from 1 to N and takes the values -1 and +1. The parity of f is the product over all x from 1 to N of f(x). With no further information about f, to classically determine the parity of f requires N calls of the function f. We show that any quantum algorithm capable of determining the parity of f contains at least N/2 applications of the unitar… ▽ More Consider a function f which is defined on the integers from 1 to N and takes the values -1 and +1. The parity of f is the product over all x from 1 to N of f(x). With no further information about f, to classically determine the parity of f requires N calls of the function f. We show that any quantum algorithm capable of determining the parity of f contains at least N/2 applications of the unitary operator which evaluates f. Thus for this problem, quantum computers cannot outperform classical computers. △ Less

Submitted 8 October, 1998; v1 submitted 16 February, 1998; originally announced February 1998.

Comments: 9 pages, latex

Report number: MIT-CTP-2716

Journal ref: Phys.Rev.Lett.81:5442-5444,1998