2,577 research outputs found
Quantum speedup of classical mixing processes
Most approximation algorithms for #P-complete problems (e.g., evaluating the
permanent of a matrix or the volume of a polytope) work by reduction to the
problem of approximate sampling from a distribution over a large set
. This problem is solved using the {\em Markov chain Monte Carlo} method: a
sparse, reversible Markov chain on with stationary distribution
is run to near equilibrium. The running time of this random walk algorithm, the
so-called {\em mixing time} of , is as shown
by Aldous, where is the spectral gap of and is the minimum
value of . A natural question is whether a speedup of this classical
method to , the diameter of the graph
underlying , is possible using {\em quantum walks}.
We provide evidence for this possibility using quantum walks that {\em
decohere} under repeated randomized measurements. We show: (a) decoherent
quantum walks always mix, just like their classical counterparts, (b) the
mixing time is a robust quantity, essentially invariant under any smooth form
of decoherence, and (c) the mixing time of the decoherent quantum walk on a
periodic lattice is , which is indeed
and is asymptotically no worse than the
diameter of (the obvious lower bound) up to at most a logarithmic
factor.Comment: 13 pages; v2 revised several part
Search via Quantum Walk
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 \'a la Szegedy (2004) 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 (2004) and
Szegedy (2004). 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 chains. In addition, it
is conceptually simple and avoids some technical difficulties in the previous
analyses of several algorithms based on quantum walk.Comment: 21 pages. Various modifications and improvements, especially in
Section
Quantum walks can find a marked element on any graph
We solve an open problem by constructing quantum walks that not only detect
but also find marked vertices in a graph. In the case when the marked set
consists of a single vertex, the number of steps of the quantum walk is
quadratically smaller than the classical hitting time of any
reversible random walk on the graph. In the case of multiple marked
elements, the number of steps is given in terms of a related quantity
which we call extended hitting time.
Our approach is new, simpler and more general than previous ones. We
introduce a notion of interpolation between the random walk and the
absorbing walk , whose marked states are absorbing. Then our quantum walk
is simply the quantum analogue of this interpolation. Contrary to previous
approaches, our results remain valid when the random walk is not
state-transitive. We also provide algorithms in the cases when only
approximations or bounds on parameters (the probability of picking a
marked vertex from the stationary distribution) and are
known.Comment: 50 page
Threshold Regression for Survival Analysis: Modeling Event Times by a Stochastic Process Reaching a Boundary
Many researchers have investigated first hitting times as models for survival
data. First hitting times arise naturally in many types of stochastic
processes, ranging from Wiener processes to Markov chains. In a survival
context, the state of the underlying process represents the strength of an item
or the health of an individual. The item fails or the individual experiences a
clinical endpoint when the process reaches an adverse threshold state for the
first time. The time scale can be calendar time or some other operational
measure of degradation or disease progression. In many applications, the
process is latent (i.e., unobservable). Threshold regression refers to
first-hitting-time models with regression structures that accommodate covariate
data. The parameters of the process, threshold state and time scale may depend
on the covariates. This paper reviews aspects of this topic and discusses
fruitful avenues for future research.Comment: Published at http://dx.doi.org/10.1214/088342306000000330 in the
Statistical Science (http://www.imstat.org/sts/) by the Institute of
Mathematical Statistics (http://www.imstat.org
Quantum walks: a comprehensive review
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, mathematicians and engineers.
In this paper we review theoretical advances on the foundations of both
discrete- and continuous-time 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 discrete-time quantum walks. Furthermore, we have reviewed
several algorithms based on both discrete- and continuous-time quantum walks as
well as a most important result: the computational universality of both
continuous- and discrete- time quantum walks.Comment: Paper accepted for publication in Quantum Information Processing
Journa
- …