Abstract
Fix an integer s. Let \(f:[0,1)^s \rightarrow {\mathbb {R}}\) be an integrable function. Let \({\mathscr {P}}\subset [0, 1]^s\) be a finite point set. Quasi-Monte Carlo integration of f by \({\mathscr {P}}\) is the average value of f over \({\mathscr {P}}\) that approximates the integration of f over the s-dimensional cube. Koksma–Hlawka inequality tells that, by a smart choice of \({\mathscr {P}}\), one may expect that the error decreases roughly \(O(N^{-1}(\log N)^s)\). For any \(\alpha \ge 1\), J. Dick gave a construction of point sets such that for \(\alpha \)-smooth f, convergence rate \(O(N^{-\alpha }(\log N)^{s\alpha })\) is assured. As a coarse version of his theory, M-Saito-Matoba introduced Walsh figure of Merit (WAFOM), which gives the convergence rate \(O(N^{-C\log N/s})\). WAFOM is efficiently computable. By a brute-force search of low WAFOM point sets, we observe a convergence rate of order \(N^{-\alpha }\) with \(\alpha >1\), for several test integrands for \(s=4\) and 8.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See Sect. 2.3 for a definition of digital nets; there we use the italic P instead of \({\mathscr {P}}\) for a digital net, to stress that actually P is a subspace of a discrete space, while \({\mathscr {P}}\) is in a continuous space \(I^s\).
- 2.
If f has Lipschitz constant C, namely, satisfies \(f(x-y)<C|x-y|\), then the error is bounded by \(C\sqrt{s}2^{-n}\) [16, Lemma 2.1].
- 3.
The perpendicular space is called “the dual space” in most literatures on QMC and coding theory. However, in pure algebra, the dual space to a vector space V over a field k means \(V^*:=\mathrm {Hom}_k(V,k)\), which is defined without using inner product. In this paper, we use the term “perpendicular” going against the tradition in this area.
References
Bardeaux, J., Dick, J., Leobacher, G., Nuyens, D., Pillichshammer, F.: Efficient calculation of the worst-case error and (fast) component-by-component construction of higher order polynomial lattice rules. Numer. Algorithm. 59, 403–431 (2012)
Dick, J.: Walsh spaces containing smooth functions and quasi-monte carlo rules of arbitrary high order. SIAM J. Numer. Anal. 46, 1519–1553 (2008)
Dick, J.: The decay of the walsh coefficients of smooth functions. Bull. Austral. Math. Soc. 80, 430–453 (2009)
Dick, J.: On quasi-Monte Carlo rules achieving higher order convergence. In: Monte Carlo and Quasi-Monte Carlo Methods 2008, pp. 73–96. Springer, Berlin (2009)
Dick, J., Kritzer, P., Pillichshammer, F., Schmid, W.: On the existence of higher order polynomial lattices based on a generalized figure of merit. J. Complex 23, 581–593 (2007)
Dick, J., Matsumoto, M.: On the fast computation of the weight enumerator polynomial and the \(t\) value of digital nets over finite abelian groups. SIAM J. Discret. Math. 27, 1335–1359 (2013)
Dick, J., Pillichshammer, F.: Digital Nets and Sequences. Discrepancy Theory and Quasi-Monte Carlo Integration. Cambridge University Press, Cambridge (2010)
Genz, A.: A package for testing multiple integration subroutines. In: Numerical Integration: Recent Developments, Software and Applications, pp. 337–340. Springer, Berlin (1987)
Goda, T., Ohori, R., Suzuki, K., Yoshiki, T.: The mean square quasi-Monte Carlo error for digitally shifted digital nets. In: Cools, R., Nuyens, D. (eds.) Monte Carlo and Quasi-Monte Carlo Methods 2014, vol. 163, pp. 331–350. Springer, Heidelberg (2016)
Harase, S.: Quasi-Monte Carlo point sets with small t-values and WAFOM. Appl. Math. Comput. 254, 318–326 (2015)
Harase, S., Ohori, R.: A search for extensible low-WAFOM point sets. arXiv:1309.7828
Hellekalek, P.: On the assessment of random and quasi-random point sets. In: Random and Quasi-Random Point Sets, pp. 49–108. Springer, Berlin (1998)
Joe, S., Kuo, F.: Constructing Sobol\(^{\prime }\) sequences with better two-dimensional projections. SIAM J. Sci. Comput. 30, 2635–2654 (2008). http://web.maths.unsw.edu.au/~fkuo/sobol/new-joe-kuo-6.21201
Kakei, S.: Development in Discrete Integrable Systems - Ultra-discretization, Quantization. RIMS, Kyoto (2001)
Matsumoto, M., Nishimura, T.: Mersenne twister: a 623-dimensionally equidistributed uniform pseudorandom number generator. ACM Trans. Model.Comput. Simul. 8(1), 3–30 (1998). http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html
Matsumoto, M., Saito, M., Matoba, K.: A computable figure of merit for quasi-Monte Carlo point sets. Math. Comput. 83, 1233–1250 (2014)
Matsumoto, M., Yoshiki, T.: Existence of higher order convergent quasi-Monte Carlo rules via Walsh figure of merit. In: Monte Carlo and Quasi-Monte Carlo Methods 2012, pp. 569–579. Springer, Berlin (2013)
Mori, S.: A fast QMC computation by low-WAFOM point sets. In preparation
Niederreiter, H.: Random Number Generation and Quasi-Monte Carlo Methods. CBMS-NSF, Philadelphia (1992)
Niederreiter, H., Pirsic, G.: Duality for digital nets and its applications. Acta Arith. 97, 173–182 (2001)
Niederreiter, H., Xing, C.P.: Low-discrepancy sequences and global function fields with many rational places. Finite Fieldsr Appl. 2, 241–273 (1996)
Novak, E., Ritter, K.: High-dimensional integration of smooth functions over cubes. Numer. Math. 75, 79–97 (1996)
Nuyens, D.: The magic point shop of qmc point generators and generating vectors. http://people.cs.kuleuven.be/~dirk.nuyens/qmc-generators/. Home page
Ohori, R.: Efficient quasi-monte carlo integration by adjusting the derivation-sensitivity parameter of walsh figure of merit. Master’s Thesis (2015)
Ohori, R., Yoshiki, T.: Walsh figure of merit is efficiently approximable. In preparation
Owen, A.B.: Randomly permuted \((t,m,s)\)-nets and \((t, s)\)-sequences. In: Monte Carlo and Quasi-Monte Carlo Methods 1994, pp. 299–317. Springer, Berlin (1995)
Pirsic, G.: A software implementation of niederreiter-xing sequences. In: Monte Carlo and quasi-Monte Carlo methods, 2000 (Hong Kong), pp. 434–445 (2002)
Suzuki, K.: An explicit construction of point sets with large minimum Dick weight. J. Complex. 30, 347–354 (2014)
Suzuki, K.: WAFOM on abelian groups for quasi-Monte Carlo point sets. Hiroshima Math. J. 45, 341–364 (2015)
Yoshiki, T.: Bounds on walsh coefficients by dyadic difference and a new Koksma-Hlawka type inequality for quasi-Monte Carlo integration. arXiv:1504.03175
Yoshiki, T.: A lower bound on WAFOM. Hiroshima Math. J. 44, 261–266 (2014)
Acknowledgments
The authors are deeply indebted to Josef Dick, who patiently and generously informed us of beautiful researches in this area, and to Harald Niederreiter for leading us to this research. They thank for the indispensable helps by the members of Komaba-Applied-Algebra Seminar (KAPALS): Takashi Goda, Shin Harase, Shinsuke Mori, Syoiti Ninomiya, Mutsuo Saito, Kosuke Suzuki, and Takehito Yoshiki. We are thankful to the referees, who informed of numerous improvements on the manuscript. The first author is partially supported by JST CREST, JSPS/MEXT Grant-in-Aid for Scientific Research No.21654017, No.23244002, No.24654019, and No.15K13460. The second author is partially supported by the Program for Leading Graduate Schools, MEXT, Japan.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Matsumoto, M., Ohori, R. (2016). Walsh Figure of Merit for Digital Nets: An Easy Measure for Higher Order Convergent QMC. In: Cools, R., Nuyens, D. (eds) Monte Carlo and Quasi-Monte Carlo Methods. Springer Proceedings in Mathematics & Statistics, vol 163. Springer, Cham. https://doi.org/10.1007/978-3-319-33507-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-33507-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33505-6
Online ISBN: 978-3-319-33507-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)