An important and usual sort of search problems is to find all marked states from an unsorted database with a large number of states. Grover's original quantum search algorithm is for finding single marked state with ...
详细信息
An important and usual sort of search problems is to find all marked states from an unsorted database with a large number of states. Grover's original quantum search algorithm is for finding single marked state with uncertainty, and it has been generalized to the case of multiple marked states, as well as been modified to find single marked state with certainty. However, the querycomplexity for finding all multiple marked states has not been addressed. We use a generalized Long's algorithm with high precision to solve such a problem. We calculate the approximate querycomplexity, which increases with the number of marked states and with the precision that we demand. In the end we introduce an algorithm for the problem on a "duality computer" and show its advantage over other algorithms.
This paper considers the quantum query complexity of almost all functions in the set of -variable Boolean functions with on-set size , where the on-set size is the number of inputs on which the function is true. The m...
详细信息
This paper considers the quantum query complexity of almost all functions in the set of -variable Boolean functions with on-set size , where the on-set size is the number of inputs on which the function is true. The main result is that, for all functions in except its polynomially small fraction, the quantum query complexity is Theta (logM/c+log N- log log M + root N) for a constant . This is quite different from the quantum query complexity of the hardest function in F-N,F-M : Theta (root N logM/c+log N- log log M + root N) . In contrast, almost all functions in have the same randomized querycomplexity as the hardest one, up to a constant factor.
We study the quantum query complexity of minor-closed graph properties, which include such problems as determining whether an n-vertex graph is planar, is a forest, or does not contain a path of a given length. We sho...
详细信息
We study the quantum query complexity of minor-closed graph properties, which include such problems as determining whether an n-vertex graph is planar, is a forest, or does not contain a path of a given length. We 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)). To establish this, we prove an adversary lower bound using a detailed analysis of the structure of minor-closed properties with respect to forbidden topological minors and forbidden subgraphs. On the other hand, we show that minor-closed properties (and more generally, sparse graph properties) that can be characterized by finitely many forbidden subgraphs can be solved strictly faster, in o(n(3/2)) queries. Our algorithms are a novel application of the quantum walk search framework and give improved upper bounds for several subgraph-finding problems.
Let H be a (non-empty) graph on n vertices, possibly containing isolated vertices. Let f( H) (G) = 1 iff the input graph G on n vertices contains H as a (not necessarily induced) subgraph. Let alpha(H )denote the card...
详细信息
ISBN:
(纸本)9783959770019
Let H be a (non-empty) graph on n vertices, possibly containing isolated vertices. Let f( H) (G) = 1 iff the input graph G on n vertices contains H as a (not necessarily induced) subgraph. Let alpha(H )denote the cardinality of a maximum independent set of H. In this paper we show: Q(f(H)) = Omega(root alpha(H) . n), where Q(f (H)) denotes the quantum query complexity of f (H). As a consequence we obtain lower bounds for Q(f (H)) in terms of several other parameters of H such as the average degree, minimum vertex cover, chromatic number, and the critical probability. We also use the above bound to show that Q(f (H)) = Omega(n(3/4)) for any H, improving on the previously best known bound of Omega(n(2/3)) [16]. Until very recently, it was believed that the quantum query complexity is at least square root of the randomized one. Our Omega(n(3/4)) bound for Q(f (H)) matches the square root of the current best known bound for the randomized querycomplexity of f (H), which is Omega(n(3/2)) due to Groger. Interestingly, the randomized bound of Omega(alpha(H) . n) for f( H) still remains open. We also study the Subgraph Homomorphism Problem, denoted by f ([H]), and show that Q(f([H])) = Omega(n). Finally we extend our results to the 3-uniform hypergraphs. In particular, we show an Omega(n(4/5)) bound for quantum query complexity of the Subgraph Isomorphism, improving on the previously known Omega(n(3/4)) bound. For the Subgraph Homomorphism, we obtain an Omega(n(3/2)) bound for the same.
State conversion generalizes querycomplexity to the problem of converting between two input-dependent quantum states by making queries to the input. We characterize the complexity of this problem by introducing a nat...
详细信息
ISBN:
(纸本)9780769545714
State conversion generalizes querycomplexity to the problem of converting between two input-dependent quantum states by making queries to the input. We characterize the complexity of this problem by introducing a natural information-theoretic norm that extends the Schur product operator norm. The complexity of converting between two systems of states is given by the distance between them, as measured by this norm. In the special case of function evaluation, the norm is closely related to the general adversary bound, a semi-definite program that lower-bounds the number of input queries needed by a quantum algorithm to evaluate a function. We thus obtain that the general adversary bound characterizes the quantum query complexity of any function whatsoever. This generalizes and simplifies the proof of the same result in the case of boolean input and output. Also in the case of function evaluation, we show that our norm satisfies a remarkable composition property, implying that the quantum query complexity of the composition of two functions is at most the product of the query complexities of the functions, up to a constant. Finally, our result implies that discrete and continuous-time query models are equivalent in the bounded-error setting, even for the general state-conversion problem.
Inspired by the Elitzur-Vaidman bomb testing problem (1993), we introduce a new querycomplexity model, which we call bomb querycomplexity, B(f). We investigate its relationship with the usual quantumquery complexit...
详细信息
Inspired by the Elitzur-Vaidman bomb testing problem (1993), we introduce a new querycomplexity model, which we call bomb querycomplexity, B(f). We investigate its relationship with the usual quantum query complexity Q(f), and show that B(f) = Theta(Q(f)(2)). This result gives a new method to derive upper bounds on quantum query complexity: we give a method of finding bomb query algorithms from classical algorithms, which then provide non-constructive upper bounds on Q(f) = Theta(root B(f)). Subsequently, we were able to give explicit quantum algorithms matching our new bounds. We apply this method to the single-source shortest paths problem on unweighted graphs, obtaining an algorithm with O(n(1.5)) quantum query complexity, improving the best known algorithm of O(n(1.5)logn) (Durr et al. 2006, Furrow 2008). Applying this method to the maximum bipartite matching problem gives an algorithm with O(n(1.75)) quantum query complexity, improving the best known (trivial) O(n(2)) upper bound.
The degree of a polynomial representing (or approximating) a function f is a lower bound for the quantum query complexity of f. This observation has been a source of many lower bounds on quantum algorithms. It has bee...
详细信息
The degree of a polynomial representing (or approximating) a function f is a lower bound for the quantum query complexity of f. This observation has been a source of many lower bounds on quantum algorithms. It has been an open problem whether this lower bound is tight. We exhibit a function with polynomial degree M and quantum query complexity Omega(M-1.321...). This is the first superlinear separation between polynomial degree and quantum query complexity. The lower bound is shown by a generalized version of the quantum adversary method. (c) 2005 Elsevier Inc. All rights reserved.
We introduce a complexity measure r for the class F of read-once formulas over the basis {AND, OR, NOT, XOR, MUX} and show that for any Boolean formula F in the class F, r(F) is a lower bound on the quantumquery comp...
详细信息
We introduce a complexity measure r for the class F of read-once formulas over the basis {AND, OR, NOT, XOR, MUX} and show that for any Boolean formula F in the class F, r(F) is a lower bound on the quantum query complexity of the Boolean function that F represents. We also show that for any Boolean function f represented by a formula in F, the deterministic querycomplexity of f is only quadratically larger than the quantum query complexity of f. Thus, the paper gives further evidence for the conjecture that there is an only quadratic gap for all functions.
The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been determined asymptotically for all fix...
详细信息
The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been determined asymptotically for all fixed da parts per thousand yen5, but the lower dimensional cases present special difficulties, and considerable gaps exist in our knowledge. In the present paper we present near-optimal lower bounds, showing that the quantum query complexity for the 2-dimensional grid [n](2) is Omega(n (1/2-delta) ), and that for the 3-dimensional grid [n](3) is Omega(n (1-delta) ), for any fixed delta > 0. A general lower bound approach for this problem, initiated by Aaronson (based on Ambainis' adversary method for quantum lower bounds), uses random walks with low collision probabilities. This approach encounters obstacles in deriving tight lower bounds in low dimensions due to the lack of degrees of freedom in such spaces. We solve this problem by the novel construction and analysis of random walks with non-uniform step lengths. The proof employs in a nontrivial way sophisticated results of Sarkozy and Szemer,di, Bose and Chowla, and Halasz from combinatorial number theory, as well as less familiar probability tools like Esseen's Inequality.
The querycomplexity of the following numerical problem is studied in the quantum model of computation: consider a general elliptic partial differential equation of order 2m in a smooth, bounded domain Q subset of R(d...
详细信息
The querycomplexity of the following numerical problem is studied in the quantum model of computation: consider a general elliptic partial differential equation of order 2m in a smooth, bounded domain Q subset of R(d) with smooth coefficients and homogeneous boundary conditions. We seek to approximate the solution on a smooth submanifold M subset of Q of dimension 0 <= d(1) <= d. With the right-hand side belonging to C(r)(Q), and the error being measured in the Loo (M) norm, we prove that the nth minimal quantum error is (up to logarithmic factors) of order n(-min((r+2m)/d1.r/d+ 1)). For comparison, in the classical deterministic setting the nth minimal error is known to be of order n(-r/d), for all d(1), while in the classical randomized setting it is (up to logarithmic factors) n(-min((r+2m)/dt,r/d+ 1/2)). (C) 2006 Elsevier Inc. All rights reserved.
暂无评论