Quantum algorithm

Template:Short description Template:Use American English Template:Use dmy dates In quantum computing, a quantum algorithm is an algorithm that runs on a realistic model of quantum computation, the most commonly used model being the quantum circuit model of computation.<ref>Template:Cite book</ref><ref>Template:Cite arXiv</ref> A classical (or non-quantum) algorithm is a finite sequence of instructions, or a step-by-step procedure for solving a problem, where each step or instruction can be performed on a classical computer. Similarly, a quantum algorithm is a step-by-step procedure, where each of the steps can be performed on a quantum computer. Although all classical algorithms can also be performed on a quantum computer,<ref>Template:Cite book</ref>Template:Rp the term quantum algorithm is generally reserved for algorithms that seem inherently quantum, or use some essential feature of quantum computation such as quantum superposition or quantum entanglement.

Problems that are undecidable using classical computers remain undecidable using quantum computers.<ref name=nielchuan>Template:Cite book</ref>Template:Rp What makes quantum algorithms interesting is that they might be able to solve some problems faster than classical algorithms because the quantum superposition and quantum entanglement that quantum algorithms exploit generally cannot be efficiently simulated on classical computers (see Quantum supremacy).

The best-known algorithms are Shor's algorithm for factoring and Grover's algorithm for searching an unstructured database or an unordered list. Shor's algorithm runs much (almost exponentially) faster than the most efficient known classical algorithm for factoring, the general number field sieve.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Grover's algorithm runs quadratically faster than the best possible classical algorithm for the same task,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> a linear search.

Overview

Quantum algorithms are usually described, in the commonly used circuit model of quantum computation, by a quantum circuit that acts on some input qubits and terminates with a measurement. A quantum circuit consists of simple quantum gates, each of which acts on some finite number of qubits. Quantum algorithms may also be stated in other models of quantum computation, such as the Hamiltonian oracle model.<ref name=Hamiltonian_NAND_Tree>Template:Cite journal</ref>

Quantum algorithms can be categorized by the main techniques involved in the algorithm. Some commonly used techniques/ideas in quantum algorithms include phase kick-back, phase estimation, the quantum Fourier transform, quantum walks, amplitude amplification and topological quantum field theory. Quantum algorithms may also be grouped by the type of problem solved; see, e.g., the survey on quantum algorithms for algebraic problems.<ref>Template:Cite journal</ref>

Algorithms based on the quantum Fourier transform

The quantum Fourier transform is the quantum analogue of the discrete Fourier transform, and is used in several quantum algorithms. The Hadamard transform is also an example of a quantum Fourier transform over an n-dimensional vector space over the field F₂. The quantum Fourier transform can be efficiently implemented on a quantum computer using only a polynomial number of quantum gates.Template:Citation needed

Deutsch–Jozsa algorithm

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

File:Deutsch-Jozsa-algorithm-quantum-circuit.png

Deutsch-Jozsa algorithm

The Deutsch–Jozsa algorithm solves a black-box problem that requires exponentially many queries to the black box for any deterministic classical computer, but can be done with a single query by a quantum computer. However, when comparing bounded-error classical and quantum algorithms, there is no speedup, since a classical probabilistic algorithm can solve the problem with a constant number of queries with small probability of error. The algorithm determines whether a function f is either constant (0 on all inputs or 1 on all inputs) or balanced (returns 1 for half of the input domain and 0 for the other half).

Bernstein–Vazirani algorithm

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

The Bernstein–Vazirani algorithm is the first quantum algorithm that solves a problem more efficiently than the best known classical algorithm. It was designed to create an oracle separation between BQP and BPP.

Simon's algorithm

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

Simon's algorithm solves a black-box problem exponentially faster than any classical algorithm, including bounded-error probabilistic algorithms. This algorithm, which achieves an exponential speedup over all classical algorithms that we consider efficient, was the motivation for Shor's algorithm for factoring.

Quantum phase estimation algorithm

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

The quantum phase estimation algorithm is used to determine the eigenphase of an eigenvector of a unitary gate, given a quantum state proportional to the eigenvector and access to the gate. The algorithm is frequently used as a subroutine in other algorithms.

Shor's algorithm

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

Shor's algorithm solves the discrete logarithm problem and the integer factorization problem in polynomial time,<ref> Template:Cite journal</ref> whereas the best known classical algorithms take super-polynomial time. It is unknown whether these problems are in P or NP-complete. It is also one of the few quantum algorithms that solves a non-black-box problem in polynomial time, where the best known classical algorithms run in super-polynomial time.

Hidden subgroup problem

The abelian hidden subgroup problem is a generalization of many problems that can be solved by a quantum computer, such as Simon's problem, solving Pell's equation, testing the principal ideal of a ring R and factoring. There are efficient quantum algorithms known for the Abelian hidden subgroup problem.<ref>Template:Cite conference</ref> The more general hidden subgroup problem, where the group is not necessarily abelian, is a generalization of the previously mentioned problems, as well as graph isomorphism and certain lattice problems. Efficient quantum algorithms are known for certain non-abelian groups. However, no efficient algorithms are known for the symmetric group, which would give an efficient algorithm for graph isomorphism<ref>Template:Cite arXiv</ref> and the dihedral group, which would solve certain lattice problems.<ref>Template:Cite arXiv</ref>

Estimating Gauss sums

A Gauss sum is a type of exponential sum. The best known classical algorithm for estimating these sums takes exponential time. Since the discrete logarithm problem reduces to Gauss sum estimation, an efficient classical algorithm for estimating Gauss sums would imply an efficient classical algorithm for computing discrete logarithms, which is considered unlikely. However, quantum computers can estimate Gauss sums to polynomial precision in polynomial time.<ref> Template:Cite arXiv</ref>

Fourier fishing and Fourier checking

Consider an oracle consisting of n random Boolean functions mapping n-bit strings to a Boolean value, with the goal of finding n n-bit strings z₁,..., z_n such that for the Hadamard-Fourier transform, at least 3/4 of the strings satisfy

<math>| \tilde{f}(z_i)| \geqslant 1</math>

and at least 1/4 satisfy

<math>| \tilde{f}(z_i) | \geqslant 2.</math>

This can be done in bounded-error quantum polynomial time (BQP).<ref> Template:Cite arXiv</ref>

Algorithms based on amplitude amplification

Amplitude amplification is a technique that allows the amplification of a chosen subspace of a quantum state. Applications of amplitude amplification usually lead to quadratic speedups over the corresponding classical algorithms. It can be considered as a generalization of Grover's algorithm.Template:Citation needed

Grover's algorithm

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

Grover's algorithm searches an unstructured database (or an unordered list) with N entries for a marked entry, using only <math>O(\sqrt{N})</math> queries instead of the <math>O({N})</math> queries required classically.<ref> Template:Cite arXiv</ref> Classically, <math>O({N})</math> queries are required even allowing bounded-error probabilistic algorithms.

Theorists have considered a hypothetical generalization of a standard quantum computer that could access the histories of the hidden variables in Bohmian mechanics. (Such a computer is completely hypothetical and would not be a standard quantum computer, or even possible under the standard theory of quantum mechanics.) Such a hypothetical computer could implement a search of an N-item database in at most <math>O(\sqrt[3]{N})</math> steps. This is slightly faster than the <math>O(\sqrt{N})</math> steps taken by Grover's algorithm. However, neither search method would allow either model of quantum computer to solve NP-complete problems in polynomial time.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Quantum counting

Quantum counting solves a generalization of the search problem. It solves the problem of counting the number of marked entries in an unordered list, instead of just detecting whether one exists. Specifically, it counts the number of marked entries in an <math>N</math>-element list with an error of at most <math>\varepsilon</math> by making only <math>\Theta\left(\varepsilon^{-1} \sqrt{N/k}\right)</math> queries, where <math>k</math> is the number of marked elements in the list.<ref> Template:Cite book</ref><ref> Template:Cite book</ref> More precisely, the algorithm outputs an estimate <math>k'</math> for <math>k</math>, the number of marked entries, with accuracy <math>|k-k'| \leq \varepsilon k</math>.

Algorithms based on quantum walks

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

A quantum walk is the quantum analogue of a classical random walk. A classical random walk can be described by a probability distribution over some states, while a quantum walk can be described by a quantum superposition over states. Quantum walks are known to give exponential speedups for some black-box problems.<ref> Template:Cite conference</ref><ref> Template:Cite conference</ref> They also provide polynomial speedups for many problems. A framework for the creation of quantum walk algorithms exists and is a versatile tool.<ref name="Search_via_quantum_walk" />

Boson sampling problem

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

The Boson Sampling Problem in an experimental configuration assumes<ref>Template:Cite journal</ref> an input of bosons (e.g., photons) of moderate number that are randomly scattered into a large number of output modes, constrained by a defined unitarity. When individual photons are used, the problem is isomorphic to a multi-photon quantum walk.<ref>Template:Cite journal</ref> The problem is then to produce a fair sample of the probability distribution of the output that depends on the input arrangement of bosons and the unitarity.<ref>Template:Cite journal</ref> Solving this problem with a classical computer algorithm requires computing the permanent of the unitary transform matrix, which may take a prohibitively long time or be outright impossible. In 2014, it was proposed<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> that existing technology and standard probabilistic methods of generating single-photon states could be used as an input into a suitable quantum computable linear optical network and that sampling of the output probability distribution would be demonstrably superior using quantum algorithms. In 2015, investigation predicted<ref>Template:Cite journal</ref> the sampling problem had similar complexity for inputs other than Fock-state photons and identified a transition in computational complexity from classically simulable to just as hard as the Boson Sampling Problem, depending on the size of coherent amplitude inputs.

Element distinctness problem

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

The element distinctness problem is the problem of determining whether all the elements of a list are distinct. Classically, <math>\Omega(N)</math> queries are required for a list of size <math>N</math>; however, it can be solved in <math>\Theta(N^{2/3})</math> queries on a quantum computer. The optimal algorithm was put forth by Andris Ambainis,<ref> Template:Cite journal</ref> and Yaoyun Shi first proved a tight lower bound when the size of the range is sufficiently large.<ref> Template:Cite conference</ref> Ambainis<ref> Template:Cite journal</ref> and Kutin<ref> Template:Cite journal</ref> independently (and via different proofs) extended that work to obtain the lower bound for all functions.

Triangle-finding problem

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

The triangle-finding problem is the problem of determining whether a given graph contains a triangle (a clique of size 3). The best-known lower bound for quantum algorithms is <math>\Omega(N)</math>, but the best algorithm known requires O(N^1.297) queries,<ref>Template:Cite arXiv</ref> an improvement over the previous best O(N^1.3) queries.<ref name=Search_via_quantum_walk> Template:Cite conference</ref><ref> Template:Cite journal</ref>

Formula evaluation

A formula is a tree with a gate at each internal node and an input bit at each leaf node. The problem is to evaluate the formula, which is the output of the root node, given oracle access to the input.

A well studied formula is the balanced binary tree with only NAND gates.<ref> {{#invoke:citation/CS1|citation |CitationClass=web }}</ref> This type of formula requires <math>\Theta(N^c)</math> queries using randomness,<ref> Template:Cite conference</ref> where <math>c = \log_2(1+\sqrt{33})/4 \approx 0.754</math>. With a quantum algorithm, however, it can be solved in <math>\Theta(N^{1/2})</math> queries. No better quantum algorithm for this case was known until one was found for the unconventional Hamiltonian oracle model.<ref name=Hamiltonian_NAND_Tree/> The same result for the standard setting soon followed.<ref> Template:Cite arXiv</ref>

Fast quantum algorithms for more complicated formulas are also known.<ref> Template:Cite conference</ref>

Group commutativity

The problem is to determine if a black-box group, given by k generators, is commutative. A black-box group is a group with an oracle function, which must be used to perform the group operations (multiplication, inversion, and comparison with identity). The interest in this context lies in the query complexity, which is the number of oracle calls needed to solve the problem. The deterministic and randomized query complexities are <math>\Theta(k^2)</math> and <math>\Theta(k)</math>, respectively.<ref> Template:Cite journal</ref> A quantum algorithm requires <math>\Omega(k^{2/3})</math> queries, while the best-known classical algorithm uses <math>O(k^{2/3} \log k)</math> queries.<ref> Template:Cite journal</ref>

BQP-complete problems

The complexity class BQP (bounded-error quantum polynomial time) is the set of decision problems solvable by a quantum computer in polynomial time with error probability of at most 1/3 for all instances.<ref name="Chuang2000">Michael Nielsen and Isaac Chuang (2000). Quantum Computation and Quantum Information. Cambridge: Cambridge University Press. Template:Isbn.</ref> It is the quantum analogue to the classical complexity class BPP.

A problem is BQP-complete if it is in BQP and any problem in BQP can be reduced to it in polynomial time. Informally, the class of BQP-complete problems are those that are as hard as the hardest problems in BQP and are themselves efficiently solvable by a quantum computer (with bounded error).

Computing knot invariants

Witten had shown that the Chern-Simons topological quantum field theory (TQFT) can be solved in terms of Jones polynomials. A quantum computer can simulate a TQFT, and thereby approximate the Jones polynomial,<ref> Template:Cite conference</ref> which as far as we know, is hard to compute classically in the worst-case scenario.Template:Citation needed

Quantum simulation

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}} The idea that quantum computers might be more powerful than classical computers originated in Richard Feynman's observation that classical computers seem to require exponential time to simulate many-particle quantum systems, yet quantum many-body systems are able to "solve themselves."<ref> Template:Cite journal</ref> Since then, the idea that quantum computers can simulate quantum physical processes exponentially faster than classical computers has been greatly fleshed out and elaborated. Efficient (i.e., polynomial-time) quantum algorithms have been developed for simulating both Bosonic and Fermionic systems,<ref> Template:Cite journal</ref> as well as the simulation of chemical reactions beyond the capabilities of current classical supercomputers using only a few hundred qubits.<ref> Template:Cite journal</ref> Quantum computers can also efficiently simulate topological quantum field theories.<ref> Template:Cite journal</ref> In addition to its intrinsic interest, this result has led to efficient quantum algorithms for estimating quantum topological invariants such as Jones<ref> Template:Cite journal</ref> and HOMFLY polynomials,<ref> Template:Cite journal</ref> and the Turaev-Viro invariant of three-dimensional manifolds.<ref> Template:Cite journal</ref>

Solving a linear system of equations

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

In 2009, Aram Harrow, Avinatan Hassidim, and Seth Lloyd, formulated a quantum algorithm for solving linear systems. The algorithm estimates the result of a scalar measurement on the solution vector to a given linear system of equations.<ref name="Quantum algorithm for solving linear systems of equations by Harrow et al.">Template:Cite journal</ref>

Provided that the linear system is sparse and has a low condition number <math>\kappa</math>, and that the user is interested in the result of a scalar measurement on the solution vector (instead of the values of the solution vector itself), then the algorithm has a runtime of <math>O(\log(N)\kappa^2)</math>, where <math>N</math> is the number of variables in the linear system. This offers an exponential speedup over the fastest classical algorithm, which runs in <math>O(N\kappa)</math> (or <math>O(N\sqrt{\kappa})</math> for positive semidefinite matrices).

Hybrid quantum/classical algorithms

Hybrid Quantum/Classical Algorithms combine quantum state preparation and measurement with classical optimization.<ref>Template:Cite journal</ref> These algorithms generally aim to determine the ground-state eigenvector and eigenvalue of a Hermitian operator.

QAOA

The quantum approximate optimization algorithm takes inspiration from quantum annealing, performing a discretized approximation of quantum annealing using a quantum circuit. It can be used to solve problems in graph theory.<ref>Template:Cite arXiv</ref> The algorithm makes use of classical optimization of quantum operations to maximize an "objective function."

Variational quantum eigensolver

The variational quantum eigensolver (VQE) algorithm applies classical optimization to minimize the energy expectation value of an ansatz state to find the ground state of a Hermitian operator, such as a molecule's Hamiltonian.<ref>Template:Cite journal</ref> It can also be extended to find excited energies of molecular Hamiltonians.<ref>Template:Cite journal</ref>

Contracted quantum eigensolver

The contracted quantum eigensolver (CQE) algorithm minimizes the residual of a contraction (or projection) of the Schrödinger equation onto the space of two (or more) electrons to find the ground- or excited-state energy and two-electron reduced density matrix of a molecule.<ref>Template:Cite journal</ref> It is based on classical methods for solving energies and two-electron reduced density matrices directly from the anti-Hermitian contracted Schrödinger equation.<ref>Template:Cite journal</ref>

See also

• Quantum machine learning
• Quantum optimization algorithms
• Quantum sort
• Primality test

External links

• The Quantum Algorithm Zoo: A comprehensive list of quantum algorithms that provide a speedup over the fastest known classical algorithms.
• Andrew Childs' lecture notes on quantum algorithms
• The Quantum search algorithm - brute force Template:Webarchive.

Surveys

• Template:Cite arXiv
• Template:Cite book
• Template:Cite journal