Equidistributed Sequence

DOWNLOAD Mathematica Notebook

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, ...

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.