TOPICS
Search

Equidistributed Sequence


A sequence of real numbers {x_n} is equidistributed on an interval [a,b] if the probability of finding x_n in any subinterval is proportional to the subinterval length. The points of an equidistributed sequence form a dense set on the interval [a,b].

EquidistributedFracLn

However, dense sets need not necessarily be equidistributed. For example, {frac(lnn)}_n, where frac(x) is the fractional part, is dense in [0,1] but not equidistributed, as illustrated above for n=1 to 5000 (left) and n=1 to 10^4 (right)

Hardy and Littlewood (1914) proved that the sequence {frac(x^n)}_n, of power fractional parts is equidistributed for almost all real numbers x>1 (i.e., the exceptional set has Lebesgue measure zero). Exceptional numbers include the positive integers, the silver ratio 1+sqrt(2) (Finch 2003), and the golden ratio phi.

EquidistributedFracsEquidistributedHistograms

The top set of above plots show the values of {frac(kx)}_(k=0)^(10) for x equal to e, the Euler-Mascheroni constant gamma, the golden ratio phi, and pi. Similarly, the bottom set of above plots show a histogram of the distribution of {frac(kx)}_(k=0)^(10000) for these constants. Note that while most settle down to a uniform-appearing distribution, pi curiously appears nonuniform after 10000 iterations. Steinhaus (1999) remarks that the highly uniform distribution of frac(nphi) has its roots in the form of the continued fraction for phi.

Now consider the number of empty intervals in the distribution of {frac(kx)}_(k=0)^n in the intervals bounded by the intervals determined by 0, 1/n, 2/n, ..., (n-1)/n, 1 for n=1, 2, ..., summarized below for the constants previously considered.

rSloane# empty intervals for n=1, 2, ...
eA0364120, 0, 0, 0, 1, 0, 0, 1, 1, 3, 1, 4, 4, 7, 5, ...
gammaA0461570, 0, 0, 1, 0, 0, 0, 1, 2, 2, 3, 0, 3, 5, 3, ...
phiA0364140, 0, 0, 0, 0, 0, 1, 0, 2, 0, 1, 1, 0, 2, 2, ...
piA0364160, 1, 1, 1, 1, 0, 0, 1, 2, 3, 4, 4, 5, 7, 7, ...

The values of n for which no bins are left blank are given in the following table.

rSloanen with no empty intervals
eA0364131, 2, 3, 4, 6, 7, 32, 35, 39, 71, 465, 536, 1001, ...
gammaA0461581, 2, 3, 5, 6, 7, 12, 19, 26, 97, 123, 149, 272, 395, ...
phiA0364151, 2, 3, 4, 5, 6, 8, 10, 13, 16, 21, 34, 55, 89, 144, ...
piA0364171, 6, 7, 106, 112, 113, 33102, 33215, ...

See also

Dense, Kronecker-Weyl Theorem, Normal Number, Power Fractional Parts, Pisot Number, Uniform Distribution, van der Corput's Theorem, Weyl's Criterion

Explore with Wolfram|Alpha

References

Hardy, G. H. and Littlewood, J. E. "Some Problems of Diophantine Approximation." Acta Math. 37, 193-239, 1914.Kuipers, L. and Niederreiter, H. Uniform Distribution of Sequences. New York: Wiley, 1974.Pólya, G. and Szegö, G. Problems and Theorems in Analysis I. New York: Springer-Verlag, p. 88, 1972.Sloane, N. J. A. Sequences A036412, A036413, A036414, A036415, A036416, A036417, A046157, and A046158 in "The On-Line Encyclopedia of Integer Sequences."Vardi, I. Computational Recreations in Mathematica. Reading, MA: Addison-Wesley, pp. 155-156, 1991.

Referenced on Wolfram|Alpha

Equidistributed Sequence

Cite this as:

Weisstein, Eric W. "Equidistributed Sequence." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/EquidistributedSequence.html

Subject classifications