Say I want to approximate the integral
based on evaluations of function
. I could use plain old Monte Carlo:
whose RMSE (root mean square error) is .
Can I do better? That is, can I design an alternative estimator/algorithm, which performs evaluations and returns a random output, with a RMSE that converges quicker?
Surprisingly (to me at least), the answer to this question has been known for a long time. If I am ready to focus on functions , Bakhvalov (1959) showed that the best rate I can hope for is
. That is, there exist algorithms that achieve this rate, and algorithms achieving a better rate simply do not exist.
Ok, but how can I actually design such an algorithm? The proof of Bakhvalov contains a simple recipe. Say I am able to construct a good approximation of
, based on
evaluations; assume the approximation error is
,
. Then I could compute the following estimator, based on a second batch of
evaluations:
and it is easy to check that this new estimator (based on evaluations) is unbiased, that its variance is
, and therefore its RMSE is
.
So there is strong connection between stochastic quadrature and function approximation. In fact, the best rate you can achieve for the latter is , which explains why the best rate you can get for the former is
.
You can now better understand the “without QMC” in the title. QMC is about using points that are “better” than random points. But here I’m using IID points, and the improved rate comes from the fact I use a better approximation of .
Here is a simple example of a good function approximation. Take , and
that is, split into
intervals
, and approximate
inside a given interval by its value at the centre of the interval. You can check that the approximation error is
provided
is
. So you get a simple recipe to obtain the optimal rate when
and
.
Is it possible to generalise this type of construction to any and any
? The answer is in our recent paper with Mathieu Gerber, which you can find here. You may also want to read Novak (2016), which is a very good entry on stochastic quadrature, and in particular gives a more detailed (and more rigorous!) overview of Bakhvalov’s and related results.
Also, please remind me not to try to type latex in wordpress ever again, it feels like this:







