2,991 research outputs found
An optimal quantum algorithm for the oracle identification problem
In the oracle identification problem, we are given oracle access to an
unknown N-bit string x promised to belong to a known set C of size M and our
task is to identify x. We present a quantum algorithm for the problem that is
optimal in its dependence on N and M. Our algorithm considerably simplifies and
improves the previous best algorithm due to Ambainis et al. Our algorithm also
has applications in quantum learning theory, where it improves the complexity
of exact learning with membership queries, resolving a conjecture of Hunziker
et al.
The algorithm is based on ideas from classical learning theory and a new
composition theorem for solutions of the filtered -norm semidefinite
program, which characterizes quantum query complexity. Our composition theorem
is quite general and allows us to compose quantum algorithms with
input-dependent query complexities without incurring a logarithmic overhead for
error reduction. As an application of the composition theorem, we remove all
log factors from the best known quantum algorithm for Boolean matrix
multiplication.Comment: 16 pages; v2: minor change
Efficient algorithms in quantum query complexity
In this thesis we provide new upper and lower bounds on the quantum query complexity of a diverse set of problems. Specifically, we study quantum algorithms for Hamiltonian simulation, matrix multiplication, oracle identification, and graph-property recognition.
For the Hamiltonian simulation problem, we provide a quantum algorithm with query complexity sublogarithmic in the inverse error, an exponential improvement over previous methods. Our algorithm is based on a new quantum algorithm for implementing unitary matrices that can be written as linear combinations of efficiently implementable unitary gates. This algorithm uses a new form of ``oblivious amplitude amplification'' that can be applied even though the reflection about the input state is unavailable.
In the oracle identification problem, we are given oracle access to an unknown N-bit string x promised to belong to a known set of size M, and our task is to identify x. We present the first quantum algorithm for the problem that is optimal in its dependence on N and M. Our algorithm is based on ideas from classical learning theory and a new composition theorem for solutions of the filtered gamma_2-norm semidefinite program.
We then study the quantum query complexity of matrix multiplication and related problems over rings, semirings, and the Boolean semiring in particular. Our main result is an output-sensitive algorithm for Boolean matrix multiplication that multiplies two n x n Boolean matrices with query complexity O(n sqrt{l}), where l is the sparsity of the output matrix. The algorithm is based on a reduction to the graph collision problem and a new algorithm for graph collision.
Finally, we study the quantum query complexity of minor-closed graph properties and show that most minor-closed properties---those that cannot be characterized by a finite set of forbidden subgraphs---have quantum query complexity Theta(n^{3/2}) and those that do have such a characterization can be solved strictly faster, with o(n^{3/2}) queries. Our lower bound is based on a detailed analysis of the structure of minor-closed properties with respect to forbidden topological minors and forbidden subgraphs. Our algorithms are a novel application of the quantum walk search framework and give improved upper bounds for several subgraph-finding problems
Exact Quantum Search by Parallel Unitary Discrimination Schemes
We study the unsorted database search problem with items from the
viewpoint of unitary discrimination. Instead of considering the famous
Grover's the bounded-error algorithm for the original problem, we
seek for the results about the exact algorithms, i.e. the ones succeed with
certainty. Under the standard oracle model , we demonstrate a tight lower bound of the number of queries
for any parallel scheme with unentangled input states. With the assistance of
entanglement, we obtain a general lower bound . We provide
concrete examples to illustrate our results. In particular, we show that the
case of N=6 can be solved exactly with only two queries by using a bipartite
entangled input state. Our results indicate that in the standard oracle model
the complexity of exact quantum search with one unique solution can be strictly
less than that of the calculation of OR function.Comment: 8 pages (revtex4), 6 figures. Revised version with some typo error
corrections and some clearer statement. Accepted by Phys.Rev.A .Comments are
welcome
- …