Where are the logs?

The commonly quoted error rates for QMC integration with an infinite low discrepancy sequence is with for extensible sequences and otherwise. Such rates hold uniformly over all dimensional integrands of Hardy-Krause variation one when using evaluation points. Implicit in those bounds is that for any sequence of QMC points, the integrand can be chosen to depend on . In this paper we show that rates with any can hold when is held fixed as . This is accomplished following a suggestion of Erich Novak to use some unpublished results of Trojan from the 1980s as given in the information based complexity monograph of Traub, Wasilkowski and Wo\'zniakowski. The proof is made by applying a technique of Roth with the theorem of Trojan. The proof is non constructive and we do not know of any integrand of bounded variation in the sense of Hardy and Krause for which the QMC error exceeds for infinitely many when using a digital sequence such as one of Sobol's. An empirical search when for integrands designed to exploit known weaknesses in certain point sets showed no evidence that is needed. An example with and up to might possibly require .
View on arXiv