Results 1  10
of
30
Search via quantum walk
 LOGIC PROGRAMMING, PROC. OF THE 1994 INT. SYMP
, 2007
"... We propose a new method for designing quantum search algorithms for finding a “marked ” element in the state space of a classical Markov chain. The algorithm is based on a quantum walk à la Szegedy [24] that is defined in terms of the Markov chain. The main new idea is to apply quantum phase estimat ..."
Abstract

Cited by 56 (8 self)
 Add to MetaCart
(Show Context)
We propose a new method for designing quantum search algorithms for finding a “marked ” element in the state space of a classical Markov chain. The algorithm is based on a quantum walk à la Szegedy [24] that is defined in terms of the Markov chain. The main new idea is to apply quantum phase estimation to the quantum walk in order to implement an approximate reflection operator. This operator is then used in an amplitude amplification scheme. As a result we considerably expand the scope of the previous approaches of Ambainis [6] and Szegedy [24]. Our algorithm combines the benefits of these approaches in terms of being able to find marked elements, incurring the smaller cost of the two, and being applicable to a larger class of Markov chain. In addition, it is conceptually simple, avoids several technical difficulties in the previous analyses, and leads to improvements in various aspects of several algorithms based on quantum walk.
Quantum walk based search algorithms
 In Proceedings of the 5th Conference on Theory and Applications of Models of Computation
, 2008
"... Abstract. In this survey paper we give an intuitive treatment of the discrete time quantization of classical Markov chains. Grover search and the quantum walk based search algorithms of Ambainis, Szegedy and Magniez et al. will be stated as quantum analogues of classical search procedures. We presen ..."
Abstract

Cited by 37 (1 self)
 Add to MetaCart
(Show Context)
Abstract. In this survey paper we give an intuitive treatment of the discrete time quantization of classical Markov chains. Grover search and the quantum walk based search algorithms of Ambainis, Szegedy and Magniez et al. will be stated as quantum analogues of classical search procedures. We present a rather detailed description of a somewhat simplified version of the MNRS algorithm. Finally, in the query complexity model, we show how quantum walks can be applied to the following
Quantum walks: a comprehensive review
, 2012
"... Quantum walks, the quantum mechanical counterpart of classical random walks, is an advanced tool for building quantum algorithms that has been recently shown to constitute a universal model of quantum computation. Quantum walks is now a solid field of research of quantum computation full of exciting ..."
Abstract

Cited by 24 (0 self)
 Add to MetaCart
Quantum walks, the quantum mechanical counterpart of classical random walks, is an advanced tool for building quantum algorithms that has been recently shown to constitute a universal model of quantum computation. Quantum walks is now a solid field of research of quantum computation full of exciting open problems for physicists, computer scientists and engineers. In this paper we review theoretical advances on the foundations of both discrete and continuoustime quantum walks, together with the role that randomness plays in quantum walks, the connections between the mathematical models of coined discrete quantum walks and continuous quantum walks, the quantumness of quantum walks, a summary of papers published on discrete quantum walks and entanglement as well as a succinct review of experimental proposals and realizations of discretetime quantum walks. Furthermore, we have reviewed several algorithms based on both discrete and continuoustime quantum walks as well as a most important result: the computational universality of both continuous and discretetime quantum walks.
A new quantum lower bound method, with an application to strong direct product theorem for quantum search
, 2005
"... We give a new version of the adversary method for proving lower bounds on quantum query algorithms. The new method is based on analyzing the eigenspace structure of the problem at hand. We use it to prove a new and optimal strong direct product theorem for 2sided error quantum algorithms computing ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
(Show Context)
We give a new version of the adversary method for proving lower bounds on quantum query algorithms. The new method is based on analyzing the eigenspace structure of the problem at hand. We use it to prove a new and optimal strong direct product theorem for 2sided error quantum algorithms computing k independent instances of a symmetric Boolean function: if the algorithm uses significantly less than k times the number of queries needed for one instance of the function, then its success probability is exponentially small in k. We also use the polynomial method to prove a direct product theorem for 1sided error algorithms for k threshold functions with a stronger bound on the success probability. Finally, we present a quantum algorithm for evaluating solutions to systems of linear inequalities, and use our direct product theorems to show that the timespace tradeoff of this algorithm is close to optimal. Categories and Subject Descriptors F.1.2 [Computation by Abstract Devices]: Modes of Computation; F.1.3 [Computation by Abstract Devices]: Complexity Measures and Classes—Relations among complexity
Quantum algorithms for algebraic problems
, 2008
"... Quantum computers can execute algorithms that dramatically outperform classical computation. As the bestknown example, Shor discovered an efficient quantum algorithm for factoring integers, whereas factoring appears to be difficult for classical computers. Understanding what other computational pro ..."
Abstract

Cited by 24 (2 self)
 Add to MetaCart
Quantum computers can execute algorithms that dramatically outperform classical computation. As the bestknown example, Shor discovered an efficient quantum algorithm for factoring integers, whereas factoring appears to be difficult for classical computers. Understanding what other computational problems can be solved significantly faster using quantum algorithms is one of the major challenges in the theory of quantum
Finding is as easy as detecting for quantum walks
, 2010
"... We solve an open problem by constructing quantum walks that not only detect but also find marked vertices in a graph. The number of steps of the quantum walk is quadratically smaller than the classical hitting time of any reversible random walk P on the graph. Our approach is new, simpler and more g ..."
Abstract

Cited by 12 (2 self)
 Add to MetaCart
We solve an open problem by constructing quantum walks that not only detect but also find marked vertices in a graph. The number of steps of the quantum walk is quadratically smaller than the classical hitting time of any reversible random walk P on the graph. Our approach is new, simpler and more general than previous ones. We introduce a notion of interpolation between the walk P and the absorbing walk P ′ , whose marked states are absorbing. Then our quantum walk is simply the quantum analogue of the interpolation. Contrary to previous approaches, our results remain valid when the random walk P is not statetransitive, and in the presence of multiple marked vertices. As a consequence we make a progress on an open problem related to the spatial search on the 2Dgrid.
QUANTUM SEARCH WITH VARIABLE TIMES
, 2008
"... Since Grover’s seminal work, quantum search has been studied in great detail. In the usual search problem, we have a collection of n items x1,..., xn and we would like to find i: xi = 1. We consider a new variant of this problem in which evaluating xi for different i may take a different number of ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
(Show Context)
Since Grover’s seminal work, quantum search has been studied in great detail. In the usual search problem, we have a collection of n items x1,..., xn and we would like to find i: xi = 1. We consider a new variant of this problem in which evaluating xi for different i may take a different number of time steps. Let ti be the number of time steps required to evaluate xi. If the numbers ti are known in advance, we give an algorithm that solves the problem in O ( p t 2 1 + t2 2 +... + t2 n) steps. This is optimal, as we also show a matching lower bound. The case, when ti are not known in advance, can be solved with a polylogarithmic overhead. We also give an application of our new search algorithm to computing readonce functions.
Nested Quantum Walks with Quantum Data Structures
"... We develop a new framework that extends the quantum walk framework of Magniez, Nayak, Roland, and Santha, by utilizing the idea of quantum data structures to construct an efficient method of nesting quantum walks. Surprisingly, only classical data structures were considered before for searching via ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
We develop a new framework that extends the quantum walk framework of Magniez, Nayak, Roland, and Santha, by utilizing the idea of quantum data structures to construct an efficient method of nesting quantum walks. Surprisingly, only classical data structures were considered before for searching via quantum walks. The recently proposed learning graph framework of Belovs has yielded improved upper bounds for several problems, including triangle finding and more general subgraph detection. We exhibit the power of our framework by giving a simple explicit constructions that reproduce both the O(n 35/27) and O(n 9/7) learning graph upper bounds (up to logarithmic factors) for triangle finding, and discuss how other known upper bounds in the original learning graph framework can be converted to algorithms in our framework. We hope that the ease of use of this framework will lead to the discovery of new upper bounds.