# Low-discrepancy sequence

﻿
Low-discrepancy sequence

In mathematics, a low-discrepancy sequence is a sequence with the property that for all values of "N", its subsequence "x"1, ..., "x""N" has a low discrepancy.

Roughly speaking, the discrepancy of a sequence is low if the number of points in the sequence falling into an arbitrary set "B" is close to proportional to the measure of "B", as would happen on average (but not for particular samples) in the case of a uniform distribution. Specific definitions of discrepancy differ regarding the choice of "B" (hyperspheres, hypercubes, etc.) and how the discrepancy for every B is computed (usually normalized) and combined (usually by taking the worst value).

Low-discrepancy sequences are also called quasi-random or sub-random sequences, due to their common use as a replacement of uniformly distributed random numbers.The "quasi" modifier is used to denote more clearly that the values of a low-discrepancy sequence are neither random nor pseudorandom, but such sequences share some properties of random variables and in certain applications such as the quasi-Monte Carlo method their lower discrepancy is an important advantage.

At least three methods of numerical integration can be phrased as follows.Given a set "x"1, ..., "x""N" in the interval [0,1] , approximate the integral of a function "f" as the average of the function evaluated at those points:

:$int_0^1 f\left(u\right),du approx frac\left\{1\right\}\left\{N\right\},sum_\left\{i=1\right\}^N f\left(x_i\right).$

If the points are chosen as "x""i" = "i"/"N", this is the "rectangle rule".If the points are chosen to be randomly (or pseudorandomly) distributed, this is the "Monte Carlo method".If the points are chosen as elements of a low-discrepancy sequence, this is the "quasi-Monte Carlo method".A remarkable result, the Koksma-Hlawka inequality, shows that the error of such a method can be bounded by the product of two terms, one of which depends only on "f", and another which is the discrepancy of the set "x"1, ..., "x""N".The Koksma-Hlawka inequality is stated below.

It is convenient to construct the set "x"1, ..., "x""N" in such a way that if a set with "N"+1 elements is constructed, the previous "N" elements need not be recomputed.The rectangle rule uses points set which have low discrepancy, but in general the elements must be recomputed if "N" is increased. Elements need not be recomputed in the Monte Carlo method if "N" is increased,but the point sets do not have minimal discrepancy.By using low-discrepancy sequences, the quasi-Monte Carlo method has the desirable features of the other two methods.

Definition of discrepancy

The "discrepancy" of a sequence ("x""i") is defined, using Niederreiter's notation, as

:$D_N\left(P\right) = sup_\left\{Bin J\right\} left| frac\left\{A\left(B;P\right)\right\}\left\{N\right\} - lambda_s\left(B\right) ight|$

where "P" is the set "x"1, ..., "x""N",&lambda;"s" is the "s"-dimensional Lebesgue measure,"A"("B";"P") is the number of points in "P" that fall into "B",and "J" is the set of "s"-dimensional intervals or boxes of the form

:$prod_\left\{i=1\right\}^s \left[a_i, b_i\right) = \left\{ mathbf\left\{x\right\} in mathbf\left\{R\right\}^s : a_i le x_i < b_i \right\} ,$

where $0 le a_i < b_i le 1$.

The "star-discrepancy" "D"*"N"("P") is defined similarly, except that the supremum is taken over the set "J"* of intervals of the form

:$prod_\left\{i=1\right\}^s \left[0, u_i\right)$

where "u""i" is in the half-open interval [0, 1).

The two are related by

:$D_N le D^*_N le 2^s D_N . ,$

Graphical examples

The points plotted below are the first 100, 1000, and 10000 elements in a sequence of the Sobol' type.For comparison, 10000 elements of a sequence of pseudorandom points are also shown.

The low-discrepancy sequence was generated by TOMS algorithm 659,described by P. Bratley and B.L. Fox in "ACM Transactions on Mathematical Software", vol. 14, no. 1, pp 88--100.An implementation of the algorithm in Fortran may be downloaded from Netlib, URL: http://www.netlib.org/toms/659

The Koksma-Hlawka inequality

Let "s" be the "s"-dimensional unit cube, "s" = [0, 1] &times; ... &times; [0, 1] .Let "f" have bounded variation "V(f)" on "s" in the sense of Hardy and Krause.Then for any "x"1, ..., "x""N" in "I""s" = [0, 1) &times; ... &times; [0, 1),:

The Koksma-Hlawka inequality is sharp in the following sense:

For any point set "x"1,...,"x"N in "I"s and any

:$epsilon>0$,

there is a function "f" with bounded variation and "V(f)=1" such that

:

Therefore, the quality of a numerical integration rule depends only on the discrepancy D*N("x"1,...,"x"N).

The formula of Hlawka-Zaremba

Let $D=\left\{1,2,ldots,d\right\}$. For $emptyset eq usubseteq D$ wewrite:$dx_u:=prod_\left\{jin u\right\} dx_j$and denote by $\left(x_u,1\right)$ the point obtained from $x$ by replacing thecoordinates not in $u$ by $1$.Then:

The $L^2$ version of the Koksma-Hlawka inequality

Applying the Cauchy-Schwarz inequality for integrals and sumsto the Hlawka-Zaremba identity, we obtainan $L^2$ version of the Koksma-Hlawka inequality::where:$\left\{ m disc\right\}_\left\{d\right\}\left(\left\{t_i\right\}\right)=left\left(sum_\left\{emptyset eq usubseteq D\right\}int_\left\{ \left[0,1\right] ^\left\{|u|\left\{ m disc\right\}\left(x_u,1\right)^2 dx_u ight\right)^\left\{1/2\right\}$and:$|f|_\left\{d\right\}=left\left(sum_\left\{usubseteq D\right\}int_\left\{ \left[0,1\right] ^\left\{|u|left|frac\left\{partial^\left\{|u|\left\{partial x_u\right\}f\left(x_u,1\right) ight|^2 dx_u ight\right)^\left\{1/2\right\}.$

The Erds-Turan-Koksma inequality

It is computationally hard to find the exact value of the discrepancy of large point sets. The Erds-Turán-Koksma inequality provides an upper bound.

Let "x"1,...,"x"N be points in "I"s and "H" be an arbitrary positive integer. Then

:$D_\left\{N\right\}^\left\{*\right\}\left(x_1,ldots,x_N\right)leqleft\left(frac\left\{3\right\}\left\{2\right\} ight\right)^sleft\left(frac\left\{2\right\}\left\{H+1\right\}+sum_\left\{0<|h|_\left\{infty\right\}leq H\right\}frac\left\{1\right\}\left\{r\left(h\right)\right\}left$
frac{1}{N}sum_{n=1}^{N} e^{2pi ilangle h,x_n angle} ight
ight)

where

:

The main conjectures

Conjecture 1. There is a constant "c"s depending only on "s", such that

:$D_\left\{N\right\}^\left\{*\right\}\left(x_1,ldots,x_N\right)geq c_sfrac\left\{\left(ln N\right)^\left\{s-1\left\{N\right\}$

for any finite point set "x"1,...,"x"N.

Conjecture 2. There is a constant "c"'s depending only on "s", such that

:$D_\left\{N\right\}^\left\{*\right\}\left(x_1,ldots,x_N\right)geq c\text{'}_sfrac\left\{\left(ln N\right)^\left\{s\left\{N\right\}$

for any infinite sequence "x"1,"x"2,"x"3,....

These conjectures are equivalent. They have been proved for "s" &le; 2 by W. M. Schmidt. In higher dimensions, the corresponding problem is still open. The best-known lower bounds are due to K. F. Roth.

The best-known sequences

Constructions of sequences are known (due to Faure, Halton, Hammersley, Sobol', Niederreiter and van der Corput) such that

:$D_\left\{N\right\}^\left\{*\right\}\left(x_1,ldots,x_N\right)leq Cfrac\left\{\left(ln N\right)^\left\{s\left\{N\right\}.$

where "C" is a certain constant, depending on the sequence. After Conjecture 2, these sequences are believed to have the best possible order of convergence. See also: Halton sequences.

Lower bounds

Let "s" = 1. Then

:$D_N^*\left(x_1,ldots,x_N\right)geqfrac\left\{1\right\}\left\{2N\right\}$

for any finite point set "x"1, ..., "x""N".

Let "s" = 2. W. M. Schmidt proved that for any finite point set "x"1, ..., "x""N",

:$D_N^*\left(x_1,ldots,x_N\right)geq Cfrac\left\{log N\right\}\left\{N\right\}$

where

:$C=max_\left\{ageq3\right\}frac\left\{1\right\}\left\{16\right\}frac\left\{a-2\right\}\left\{alog a\right\}=0.02333...$

For arbitrary dimensions "s" > 1, K.F. Roth proved that

:$D_N^*\left(x_1,ldots,x_N\right)geqfrac\left\{1\right\}\left\{2^\left\{4sfrac\left\{1\right\}\left\{\left(\left(s-1\right)log2\right)^frac\left\{s-1\right\}\left\{2frac\left\{log^\left\{frac\left\{s-1\right\}\left\{2N\right\}\left\{N\right\}$

for any finite point set "x"1, ..., "x""N".This bound is the best known for "s" > 3.

Applications

References

*
* Harald Niederreiter. "Random Number Generation and Quasi-Monte Carlo Methods." Society for Industrial and Applied Mathematics, 1992. ISBN 0-89871-295-5
* Michael Drmota and Robert F. Tichy, "Sequences, discrepancies and applications", Lecture Notes in Math., 1651, Springer, Berlin, 1997, ISBN 3-540-62606-9
* William H. Press, Brian P. Flannery, Saul A. Teukolsky, William T. Vetterling. "Numerical Recipes in C". Cambridge, UK: Cambridge University Press, second edition 1992. ISBN 0-521-43108-5 "(see Section 7.7 for a less technical discussion of low-discrepancy sequences)"
* "Quasi-Monte Carlo Simulations", http://www.puc-rio.br/marco.ind/quasi_mc.html

* [http://www.acm.org/calgo/contents/ Collected Algorithms of the ACM] "(See algorithms 647, 659, and 738.)"

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Constructions of low-discrepancy sequences — There are some standard constructions of low discrepancy sequences. Contents 1 The van der Corput sequence 2 The Halton sequence 3 The Hammersley set 4 References …   Wikipedia

• Discrepancy function — A discrepancy function is a mathematical function which describes how closely a structural model conforms to observed data. Larger values of the discrepancy function indicate a poor fit of the model to data. In general, the parameter estimates… …   Wikipedia

• Equidistributed sequence — In mathematics, a bounded sequence {s1, s2, s3, …} of real numbers is said to be equidistributed, or uniformly distributed, if the proportion of terms falling in a subinterval is proportional to the length of that interval. Such sequences are… …   Wikipedia

• Van der Corput sequence — A van der Corput sequence is a low discrepancy sequence over the unit interval first published in 1935 by the Dutch mathematician J. G. van der Corput. It is constructed by reversing the base n representation of the sequence of natural numbers (1 …   Wikipedia

• Halton sequence — In statistics, Halton sequences are sequences used to generate points in space for numerical methods such as Monte Carlo simulations. Although these sequences are deterministic they are of low discrepancy, that is, appear to be random for many… …   Wikipedia

• Monte Carlo methods in finance — Monte Carlo methods are used in finance and mathematical finance to value and analyze (complex) instruments, portfolios and investments by simulating the various sources of uncertainty affecting their value, and then determining their average… …   Wikipedia

• List of number theory topics — This is a list of number theory topics, by Wikipedia page. See also List of recreational number theory topics Topics in cryptography Contents 1 Factors 2 Fractions 3 Modular arithmetic …   Wikipedia

• Quasi-Monte Carlo method — In numerical analysis, a quasi Monte Carlo method is a method for the computation of an integral (or some other problem) that is based on low discrepancy sequences. This is in contrast to a regular Monte Carlo method, which is based on sequences… …   Wikipedia

• List of numerical analysis topics — This is a list of numerical analysis topics, by Wikipedia page. Contents 1 General 2 Error 3 Elementary and special functions 4 Numerical linear algebra …   Wikipedia

• Quasi-Monte Carlo methods in finance — High dimensional integrals in hundreds or thousands of variables occur commonly in finance. These integrals have to be computed numerically to within a threshold epsilon. If the integral is of dimension d then in the worst case, where one has a… …   Wikipedia