An equidistributed sequence is a sequence of real numbers
on an interval
with
for which the fraction of the first
terms lying in any subinterval
tends to
as
,
where
. The points
of an equidistributed sequence form a dense set on the
interval
.
However, dense sets need not necessarily be equidistributed. For example, , where
is the fractional part,
is dense in
but not equidistributed, as illustrated above for
to 5000 (left) and
to
(right).
Hardy and Littlewood (1914) proved that the sequence , of power
fractional parts is equidistributed for almost all real
numbers
(i.e., the exceptional set has Lebesgue measure zero). Exceptional numbers include the positive
integers, the silver ratio
(Finch 2003), and the golden
ratio
.
The top set of above plots show the values of for
equal to e, the Euler-Mascheroni
constant
, the golden ratio
, and pi. Similarly, the bottom
set of above plots show a histogram of the distribution
of
for these constants. Note that while most settle down
to a uniform-appearing distribution,
curiously appears nonuniform after
iterations. Steinhaus (1999)
remarks that the highly uniform distribution of
has its roots in the form of the continued
fraction for
.
Now consider the number of empty intervals in the distribution of
among the
intervals bounded by 0,
,
,
...,
, 1 for
,
2, ..., summarized below for the constants previously
considered.
| Sloane | # empty intervals
for | |
| A036412 | 0, 0, 0, 0, 1, 0, 0, 1, 1, 3, 1, 4, 4, 7, 5, ... | |
| A046157 | 0, 0, 0, 1, 0, 0, 0, 1, 2, 2, 3, 0, 3, 5, 3, ... | |
| A036414 | 0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 1, 1, 0, 2, 2, ... | |
| A036416 | 0, 1, 1, 1, 1, 0, 0, 1, 2, 3, 4, 4, 5, 7, 7, ... |
The values of
for which no bins are left blank are given in the following table.
| Sloane | ||
| A036413 | 1, 2, 3, 4, 6, 7, 32, 35, 39, 71, 465, 536, 1001, ... | |
| A046158 | 1, 2, 3, 5, 6, 7, 12, 19, 26, 97, 123, 149, 272, 395, ... | |
| A036415 | 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 21, 34, 55, 89, 144, ... | |
| A036417 | 1, 6, 7, 106, 112, 113, 33102, 33215, ... |
Kakutani partitions provide a related construction in which one sample point in the interior of each interval gives a sequence of finite point sets with asymptotically correct relative frequencies, rather than successive initial segments of one ordered sequence (Smilansky 2020).