Results 1  10
of
39
Quantum summation with an application to integration
, 2001
"... We study summation of sequences and integration in the quantum model of computation. We develop quantum algorithms for computing the mean of sequences which satisfy a psummability ( condition and for d integration of functions from Lebesgue spaces Lp [0, 1] ) and analyze their convergence rates. We ..."
Abstract

Cited by 46 (11 self)
 Add to MetaCart
We study summation of sequences and integration in the quantum model of computation. We develop quantum algorithms for computing the mean of sequences which satisfy a psummability ( condition and for d integration of functions from Lebesgue spaces Lp [0, 1] ) and analyze their convergence rates. We also prove lower bounds which show that the proposed algorithms are, in many cases, optimal within the setting of quantum computing. This extends recent results of Brassard, Høyer, Mosca, and Tapp (2000) on computing the mean for bounded sequences and complements results of Novak (2001) on integration of functions from Hölder classes.
Tractability of approximation for weighted Korobov spaces on classical and quantum computers
 Found. of Comput. Math
"... We study the approximation problem (or problem of optimal recovery in the L2norm) for weighted Korobov spaces with smoothness parameter α. The weights γj of the Korobov spaces moderate the behavior of periodic functions with respect to successive variables. The nonnegative smoothness parameter α me ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
We study the approximation problem (or problem of optimal recovery in the L2norm) for weighted Korobov spaces with smoothness parameter α. The weights γj of the Korobov spaces moderate the behavior of periodic functions with respect to successive variables. The nonnegative smoothness parameter α measures the decay of Fourier coefficients. For α = 0, the Korobov space is the L2 space, whereas for positive α, the Korobov space is a space of periodic functions with some smoothness and the approximation problem corresponds to a compact operator. The periodic functions are defined on [0,1] d and our main interest is when the dimension d varies and may be large. We consider algorithms using two different classes of information. The first class Λ all consists of arbitrary linear functionals. The second class Λ std consists of only function values and this class is more realistic in practical computations. We want to know when the approximation problem is tractable. Tractability means that there exists an algorithm whose error is at most ε and whose information cost is bounded by a polynomial in the dimension d and in ε −1. Strong tractability means that
Quantum approximation I. Embeddings of finite dimensional Lp spaces
 J. COMPLEXITY
, 2003
"... We study approximation of embeddings between finite dimensional Lp spaces in the quantum model of computation. For the quantum query complexity of this problem matching (up to logarithmic factors) upper and lower bounds are obtained. The results show that for certain regions of the parameter domain ..."
Abstract

Cited by 17 (6 self)
 Add to MetaCart
(Show Context)
We study approximation of embeddings between finite dimensional Lp spaces in the quantum model of computation. For the quantum query complexity of this problem matching (up to logarithmic factors) upper and lower bounds are obtained. The results show that for certain regions of the parameter domain quantum computation can essentially improve the rate of convergence of classical deterministic or randomized approximation, while there are other regions where the best possible rates coincide for all three settings. These results serve as a crucial building block for analyzing approximation in function spaces in a subsequent paper [11].
Fast Quantum Algorithms for Handling Probabilistic, Interval, and Fuzzy Uncertainty
, 2003
"... We show how quantum computing can speed up computations related to processing probabilistic, interval, and fuzzy uncertainty. ..."
Abstract

Cited by 14 (11 self)
 Add to MetaCart
(Show Context)
We show how quantum computing can speed up computations related to processing probabilistic, interval, and fuzzy uncertainty.
Quantum integration in Sobolev classes
, 2001
"... We study high dimensional integration in the quantum model of computation. We develop quantum algorithms for integration of functions from Sobolev classes W r p ([0, 1]d) and analyze their convergence rates. We also prove lower bounds which show that the proposed algorithms are, in many cases, optim ..."
Abstract

Cited by 13 (10 self)
 Add to MetaCart
We study high dimensional integration in the quantum model of computation. We develop quantum algorithms for integration of functions from Sobolev classes W r p ([0, 1]d) and analyze their convergence rates. We also prove lower bounds which show that the proposed algorithms are, in many cases, optimal within the setting of quantum computing. This extends recent results of Novak on integration of functions from Hölder classes.
Classical and quantum complexity of the sturm–liouville eigenvalue problem
 Quantum Information Processing
"... We study the approximation of the smallest eigenvalue of a SturmLiouville problem in the classical and quantum settings. We consider a univariate SturmLiouville eigenvalue problem with a nonnegative function q from the class C 2 ([0, 1]) and study the minimal number n(ε) of function evaluations or ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
(Show Context)
We study the approximation of the smallest eigenvalue of a SturmLiouville problem in the classical and quantum settings. We consider a univariate SturmLiouville eigenvalue problem with a nonnegative function q from the class C 2 ([0, 1]) and study the minimal number n(ε) of function evaluations or queries that are necessary to compute an εapproximation of the smallest eigenvalue. We prove that n(ε) = Θ(ε−1/2) in the (deterministic) worst case setting, and n(ε) = Θ(ε−2/5) in the randomized setting. The quantum setting offers a polynomial speedup with bit queries and an exponential speedup with power queries. Bit queries are similar to the oracle calls used in Grover’s algorithm appropriately extended to real valued functions. Power queries are used for a number of problems including phase estimation. They are obtained by considering the propagator of the discretized system at a number of different time moments. They allow us to use powers of the unitary matrix exp ( 1 2iM), where M is an n × n matrix obtained from the standard discretization of the SturmLiouville differential operator.
From Monte Carlo to Quantum Computation
 PROCEEDINGS OF THE 3RD IMACS SEMINAR ON MONTE CARLO METHODS MCM2001, SALZBURG, SPECIAL ISSUE OF MATHEMATICS AND COMPUTERS IN SIMULATION
, 2003
"... Quantum computing was so far mainly concerned with discrete problems. Recently, E. Novak and the author studied quantum algorithms for high dimensional integration and dealt with the question, which advantages quantum computing can bring over classical deterministic or randomized methods for this ty ..."
Abstract

Cited by 11 (3 self)
 Add to MetaCart
Quantum computing was so far mainly concerned with discrete problems. Recently, E. Novak and the author studied quantum algorithms for high dimensional integration and dealt with the question, which advantages quantum computing can bring over classical deterministic or randomized methods for this type of problem. In this
Fast Quantum Algorithms for Handling Probabilistic and Interval Uncertainty
, 2003
"... this paper, we show how the use of quantum computing can speed up some computations related to interval and probabilistic uncertainty. We end the paper with speculations on whether (and how) "hypothetic" physical devices can compute NPhard problems faster than in exponential time ..."
Abstract

Cited by 9 (8 self)
 Add to MetaCart
this paper, we show how the use of quantum computing can speed up some computations related to interval and probabilistic uncertainty. We end the paper with speculations on whether (and how) "hypothetic" physical devices can compute NPhard problems faster than in exponential time
Sharp Error Bounds on Quantum Boolean Summation in Various Settings
, 2003
"... We study the quantum summation (QS) algorithm of Brassard, Høyer, Mosca and Tapp, see [1], that approximates the arithmetic mean of a Boolean function defined on N elements. We improve error bounds presented in [1] in the worstprobabilistic setting, and present new error bounds in the averageproba ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
(Show Context)
We study the quantum summation (QS) algorithm of Brassard, Høyer, Mosca and Tapp, see [1], that approximates the arithmetic mean of a Boolean function defined on N elements. We improve error bounds presented in [1] in the worstprobabilistic setting, and present new error bounds in the averageprobabilistic setting. In particular, in the worstprobabilistic setting, we prove that the error of the QS algorithm using M −1 quantum queries is 3 4πM −1 with probability 8 π2, which improves the error bound πM −1 +π 2 M −2 of [1]. We also present error bounds with probabilities p ∈ ( 1 8 π 2], and show that they are sharp for large M and NM −1.
2006): The quantum query complexity of elliptic PDE
"... The complexity 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 ⊂ R d with smooth coefficients and homogeneous boundary conditions. We seek to approximate the solutio ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
(Show Context)
The complexity 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 ⊂ R d with smooth coefficients and homogeneous boundary conditions. We seek to approximate the solution on a smooth submanifold M ⊆ Q of dimension 0 ≤ d1 ≤ d. With the right hand side belonging to C r (Q), and the error being measured in the L∞(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 d1, while in the classical randomized setting it is (up to logarithmic factors) n −min((r+2m)/d1, r/d+1/2). 1