Abstract

The theory of equidistribution is about hundred years old, and has been developed primarily by number theorists and theoretical computer scientists. A motivated uninitiated peer could encounter difficulties perusing the literature, due to various synonyms and polysemes used by different schools. One purpose of this note is to provide a short introduction for probabilists. We proceed by recalling a perspective originating in a work of the second author from 2002. Using it, various new examples of completely uniformly distributed $\mathsf{mod}~1$ sequences, in the “metric” (meaning almost sure stochastic) sense, can be easily exhibited. In particular, we point out natural generalizations of the original $p$-multiply equidistributed sequence $k^{p}\,t\ \mathsf{mod}~1$, $k\geq1$ (where $p\in\mathbb{N}$ and $t\in[0,1]$), due to Hermann Weyl in 1916. In passing, we also derive a Weyl-like criterion for weakly completely equidistributed (also known as WCUD) sequences, of substantial recent interest in MCMC simulations. The translation from number theory to probability language brings into focus a version of the strong law of large numbers for weakly correlated complex-valued random variables, the study of which was initiated by Weyl in the aforementioned manuscript, followed up by Davenport, Erdős and LeVeque in 1963, and greatly extended by Russell Lyons in 1988. In this context, an application to $\infty$-distributed Koksma’s numbers $t^{k}\ \mathsf{mod}~1$, $k\geq1$ (where $t\in[1,a]$ for some $a>1$), and an important generalization by Niederreiter and Tichy from 1985 are discussed. The paper contains negligible amount of new mathematics in the strict sense, but its perspective and open questions included in the end could be of considerable interest to probabilists and statisticians, as well as certain computer scientists and number theorists.

Highlights

  • A probability and number theory enthusiast will likely recall in this context the famous Erdos-Kac central limit theorem [EK] (see [Du], Ch. 2 (4.9)), or the celebrated monograph by Kac [Ka1]

  • Holewijn [Ho1, Ho2] made analogous connection (and in [Ho2] even applied the strong law of large numbers (SLLN) criterion of [DELV] to the sequence of rescaled Weyl’s sums (2.4)), but only under nice probabilistic assumptions, which are not satisfied in any of the examples discussed in the present survey

  • It is easy to see that the steps in law of large numbers (LLN).(a)-LLN.(d) could be applied to show simple equidistribution in [0, 1] of (1.1), whenever xk(t) := akt, k ≥ 1 andk is a sequence of distinct integers, yielding an alternative derivation of [KN] I, Theorem 4.1

Read more

Summary

Introduction

This is certainly neither the first nor the last time that equidistribution is viewed using a “probabilistic lense”. The completely uniformly distributed (sometimes followed by mod 1) and ∞-distributed in the abstract, the keywords, and the references (see for example any of [Ho1, Ho2, DT, Kn1, Kn2, Kr5, KN, NT1, Lac, Lo, Le2, TO, OT, SP]) mean the same as completely equidistributed. (i) always write the uniform law when referring to the distribution of a uniform random variable, and (ii) almost exclusively write equidistributed (to mean equidistributed, uniformly distributed, uniformly distributed mod 1 or · -distributed), usually preceded by one of the following attributes: d-multiply or completely. Throughout this note, a sequence of measurable (typically continuous) functions (xk)k≥1, where xk : G → Rd will define a sequence of points βk ∈ D as follows: βk ≡ β(t) := xk(t) mod 1, t ∈ G,. For each A box in D, and almost every t ∈ G

Notes on the literature
One-dimensional examples
Multiple equidistribution with examples
A lesson from the linear case
Equivalent formulations of complete equidistribution
The Weyl variant of the SLLN and generalizations
Extensions to the non-linear setting
Koksma’s numbers have even stronger properties
Concluding remarks with open problems
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call