Optimal Summation and Integration by Deterministic, Randomized, and Quantum Algorithms

We survey old and new results about optimal algorithms for summation of finite sequences and for integration of functions from Holder or Sobolev spaces. First we discuss optimal deterministic and randomized algorithms. Then we add a new aspect, which has not been covered before on conferences about (quasi-) Monte Carlo methods: quantum computation. We give a short introduction into this setting and present recent results of the authors on optimal quantum algorithms for summation and integration. We discuss comparisons between the three settings. The most interesting case for Monte Carlo and quantum integration is that of moderate smoothness k and large dimension d which, in fact, occurs in a number of important applied problems. In that case the deterministic exponent is negligible, so the n -1/2 Monte Carlo and the n -1 quantum speedup essentially yield the entire convergence rate. We observe that

[1]  Erich Novak,et al.  On the Power of Adaption , 1996, J. Complex..

[2]  I. Chuang,et al.  Quantum Computation and Quantum Information: Introduction to the Tenth Anniversary Edition , 2010 .

[3]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[4]  Stefan Heinrich Quantum Summation with an Application to Integration , 2002, J. Complex..

[5]  P. Shor INTRODUCTION TO QUANTUM ALGORITHMS , 2000, quant-ph/0005003.

[6]  Jozef Gruska,et al.  Quantum Computing , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[7]  Lov K. Grover A framework for fast quantum mechanical algorithms , 1997, STOC '98.

[8]  Artur Ekert,et al.  Basic Concepts in Quantum Computation (量子情報理論とその応用論文小特集) , 1998 .

[9]  Henryk Wozniakowski,et al.  Information-based complexity , 1987, Nature.

[10]  Erich Novak Quantum Complexity of Integration , 2001, J. Complex..

[11]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[12]  Peter Mathé,et al.  The Optimal Error of Monte Carlo Integration , 1995, J. Complex..

[13]  H. Woxniakowski Information-Based Complexity , 1988 .

[14]  Lov K. Grover Quantum Mechanics Helps in Searching for a Needle in a Haystack , 1997, quant-ph/9706033.

[15]  Arthur O. Pittenger,et al.  An Introduction to Quantum Computing Algorithms , 2000 .

[16]  Felix Wu,et al.  The quantum query complexity of approximating the median and related statistics , 1998, STOC '99.

[17]  N. S. Bakhvalov,et al.  On the optimality of linear methods for operator approximation in convex classes of functions , 1971 .

[18]  Lov K. Grover Quantum Computers Can Search Rapidly by Using Almost Any Transformation , 1998 .

[19]  G. Brassard,et al.  Quantum Amplitude Amplification and Estimation , 2000, quant-ph/0005055.

[20]  E. Novak Deterministic and Stochastic Error Bounds in Numerical Analysis , 1988 .