5,147 research outputs found
Efficient discrete-time simulations of continuous-time quantum query algorithms
The continuous-time query model is a variant of the discrete query model in
which queries can be interleaved with known operations (called "driving
operations") continuously in time. Interesting algorithms have been discovered
in this model, such as an algorithm for evaluating nand trees more efficiently
than any classical algorithm. Subsequent work has shown that there also exists
an efficient algorithm for nand trees in the discrete query model; however,
there is no efficient conversion known for continuous-time query algorithms for
arbitrary problems.
We show that any quantum algorithm in the continuous-time query model whose
total query time is T can be simulated by a quantum algorithm in the discrete
query model that makes O[T log(T) / log(log(T))] queries. This is the first
upper bound that is independent of the driving operations (i.e., it holds even
if the norm of the driving Hamiltonian is very large). A corollary is that any
lower bound of T queries for a problem in the discrete-time query model
immediately carries over to a lower bound of \Omega[T log(log(T))/log (T)] in
the continuous-time query model.Comment: 12 pages, 6 fig
Gate-efficient discrete simulations of continuous-time quantum query algorithms
We show how to efficiently simulate continuous-time quantum query algorithms
that run in time T in a manner that preserves the query complexity (within a
polylogarithmic factor) while also incurring a small overhead cost in the total
number of gates between queries. By small overhead, we mean T within a factor
that is polylogarithmic in terms of T and a cost measure that reflects the cost
of computing the driving Hamiltonian. This permits any continuous-time quantum
algorithm based on an efficiently computable driving Hamiltonian to be
converted into a gate-efficient algorithm with similar running time.Comment: 28 pages, 2 figure
On the relationship between continuous- and discrete-time quantum walk
Quantum walk is one of the main tools for quantum algorithms. Defined by
analogy to classical random walk, a quantum walk is a time-homogeneous quantum
process on a graph. Both random and quantum walks can be defined either in
continuous or discrete time. But whereas a continuous-time random walk can be
obtained as the limit of a sequence of discrete-time random walks, the two
types of quantum walk appear fundamentally different, owing to the need for
extra degrees of freedom in the discrete-time case.
In this article, I describe a precise correspondence between continuous- and
discrete-time quantum walks on arbitrary graphs. Using this correspondence, I
show that continuous-time quantum walk can be obtained as an appropriate limit
of discrete-time quantum walks. The correspondence also leads to a new
technique for simulating Hamiltonian dynamics, giving efficient simulations
even in cases where the Hamiltonian is not sparse. The complexity of the
simulation is linear in the total evolution time, an improvement over
simulations based on high-order approximations of the Lie product formula. As
applications, I describe a continuous-time quantum walk algorithm for element
distinctness and show how to optimally simulate continuous-time query
algorithms of a certain form in the conventional quantum query model. Finally,
I discuss limitations of the method for simulating Hamiltonians with negative
matrix elements, and present two problems that motivate attempting to
circumvent these limitations.Comment: 22 pages. v2: improved presentation, new section on Hamiltonian
oracles; v3: published version, with improved analysis of phase estimatio
Exponential improvement in precision for simulating sparse Hamiltonians
We provide a quantum algorithm for simulating the dynamics of sparse
Hamiltonians with complexity sublogarithmic in the inverse error, an
exponential improvement over previous methods. Specifically, we show that a
-sparse Hamiltonian acting on qubits can be simulated for time
with precision using queries and
additional 2-qubit gates, where . Unlike previous
approaches based on product formulas, the query complexity is independent of
the number of qubits acted on, and for time-varying Hamiltonians, the gate
complexity is logarithmic in the norm of the derivative of the Hamiltonian. Our
algorithm is based on a significantly improved simulation of the continuous-
and fractional-query models using discrete quantum queries, showing that the
former models are not much more powerful than the discrete model even for very
small error. We also simplify the analysis of this conversion, avoiding the
need for a complex fault correction procedure. Our simplification relies on a
new form of "oblivious amplitude amplification" that can be applied even though
the reflection about the input state is unavailable. Finally, we prove new
lower bounds showing that our algorithms are optimal as a function of the
error.Comment: v1: 27 pages; Subsumes and improves upon results in arXiv:1308.5424.
v2: 28 pages, minor change
Efficient Algorithms for Universal Quantum Simulation
A universal quantum simulator would enable efficient simulation of quantum
dynamics by implementing quantum-simulation algorithms on a quantum computer.
Specifically the quantum simulator would efficiently generate qubit-string
states that closely approximate physical states obtained from a broad class of
dynamical evolutions. I provide an overview of theoretical research into
universal quantum simulators and the strategies for minimizing computational
space and time costs. Applications to simulating many-body quantum simulation
and solving linear equations are discussed
- …