skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Quantum algorithms for the ordered search problem via semidefinite programming

Abstract

One of the most basic computational problems is the task of finding a desired item in an ordered list of N items. While the best classical algorithm for this problem uses log{sub 2} N queries to the list, a quantum computer can solve the problem using a constant factor fewer queries. However, the precise value of this constant is unknown. By characterizing a class of quantum query algorithms for the ordered search problem in terms of a semidefinite program, we find quantum algorithms for small instances of the ordered search problem. Extending these algorithms to arbitrarily large instances using recursion, we show that there is an exact quantum ordered search algorithm using 4 log{sub 605} N{approx_equal}0.433 log{sub 2} N queries, which improves upon the previously best known exact algorithm.

Authors:
 [1];  [2];  [3]
  1. Institute for Quantum Information, California Institute of Technology, Pasadena, California 91125 (United States)
  2. Center for Advanced Studies, Department of Physics and Astronomy, University of New Mexico, Albuquerque, New Mexico 87131 (United States)
  3. Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139 (United States)
Publication Date:
OSTI Identifier:
20982281
Resource Type:
Journal Article
Resource Relation:
Journal Name: Physical Review. A; Journal Volume: 75; Journal Issue: 3; Other Information: DOI: 10.1103/PhysRevA.75.032335; (c) 2007 The American Physical Society; Country of input: International Atomic Energy Agency (IAEA)
Country of Publication:
United States
Language:
English
Subject:
71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS; ALGORITHMS; PROGRAMMING; QUANTUM COMPUTERS; QUANTUM INFORMATION; QUANTUM MECHANICS

Citation Formats

Childs, Andrew M., Landahl, Andrew J., and Parrilo, Pablo A. Quantum algorithms for the ordered search problem via semidefinite programming. United States: N. p., 2007. Web. doi:10.1103/PHYSREVA.75.032335.
Childs, Andrew M., Landahl, Andrew J., & Parrilo, Pablo A. Quantum algorithms for the ordered search problem via semidefinite programming. United States. doi:10.1103/PHYSREVA.75.032335.
Childs, Andrew M., Landahl, Andrew J., and Parrilo, Pablo A. 2007. "Quantum algorithms for the ordered search problem via semidefinite programming". United States. doi:10.1103/PHYSREVA.75.032335.
@article{osti_20982281,
title = {Quantum algorithms for the ordered search problem via semidefinite programming},
author = {Childs, Andrew M. and Landahl, Andrew J. and Parrilo, Pablo A.},
abstractNote = {One of the most basic computational problems is the task of finding a desired item in an ordered list of N items. While the best classical algorithm for this problem uses log{sub 2} N queries to the list, a quantum computer can solve the problem using a constant factor fewer queries. However, the precise value of this constant is unknown. By characterizing a class of quantum query algorithms for the ordered search problem in terms of a semidefinite program, we find quantum algorithms for small instances of the ordered search problem. Extending these algorithms to arbitrarily large instances using recursion, we show that there is an exact quantum ordered search algorithm using 4 log{sub 605} N{approx_equal}0.433 log{sub 2} N queries, which improves upon the previously best known exact algorithm.},
doi = {10.1103/PHYSREVA.75.032335},
journal = {Physical Review. A},
number = 3,
volume = 75,
place = {United States},
year = 2007,
month = 3
}
  • We express the optimization of entanglement witnesses for arbitrary bipartite states in terms of a class of convex optimization problems known as robust semidefinite programs (RSDPs). We propose, using well known properties of RSDPs, several sufficient tests for separability of mixed states. Our results are then generalized to multipartite density operators.
  • In this paper, we propose a sequence of tests which give a definitive test for checking 2xM separability. The test is definitive in the sense that each test corresponds to checking membership in a cone, and that the closure of the union of all these cones consists exactly of all 2xM separable states. Membership in each single cone may be checked via semidefinite programming, and is thus a tractable problem. This sequential test comes about by considering the dual problem, the characterization of all positive maps acting C{sup 2x2}{yields}C{sup MxM}. The latter in turn is solved by characterizing all positivemore » quadratic matrix polynomials in a complex variable.« less
  • In this paper, we consider a simplified error-correcting problem: for a fixed encoding process, to find a cascade connected quantum channel such that the worst fidelity between the input and the output becomes maximum. With the use of the one-to-one parametrization of quantum channels, a procedure finding a suboptimal error-correcting channel based on a semidefinite programming is proposed. The effectiveness of our method is verified by an example of the bit-flip channel decoding.
  • We present a density matrix approach for computing global solutions of restricted open-shell Hartree-Fock theory, based on semidefinite programming (SDP), that gives upper and lower bounds on the Hartree-Fock energy of quantum systems. While wave function approaches to Hartree-Fock theory yield an upper bound to the Hartree-Fock energy, we derive a semidefinite relaxation of Hartree-Fock theory that yields a rigorous lower bound on the Hartree-Fock energy. We also develop an upper-bound algorithm in which Hartree-Fock theory is cast as a SDP with a nonconvex constraint on the rank of the matrix variable. Equality of the upper- and lower-bound energies guaranteesmore » that the computed solution is the globally optimal solution of Hartree-Fock theory. The work extends a previously presented method for closed-shell systems [S. Veeraraghavan and D. A. Mazziotti, Phys. Rev. A 89, 010502–R (2014)]. For strongly correlated systems the SDP approach provides an alternative to the locally optimized Hartree-Fock energies and densities with a certificate of global optimality. Applications are made to the potential energy curves of C{sub 2}, CN, Cr {sub 2}, and NO {sub 2}.« less
  • No abstract prepared.