Sequences of evenly-distributed points in a product of intervals - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T02:06:32Z http://mathoverflow.net/feeds/question/37498 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/37498/sequences-of-evenly-distributed-points-in-a-product-of-intervals Sequences of evenly-distributed points in a product of intervals Robin Saunders 2010-09-02T13:51:01Z 2010-09-04T20:27:23Z <p>Let &phi; be the golden ratio, (1+&radic;5)/2. Taking the fractional parts of its integer multiples, we obtain a sequence of values in (0,1) which are in some sense "evenly distributed" in a way which is due to the continued fraction form of &phi;, making the constant "as difficult as possible" to approximate using rational values (otherwise, the values in the sequence would cluster around multiples of such rational approximations). If one takes the first n values, especially if n is a Fibonacci number, they will be very evenly spaced; in fact, if n is a Fibonacci number, then the difference between two consecutive values (after ordering) is always one of two adjacent powers of &phi;, in correspondence with the fact that the Fibonacci numbers themselves are roughly of the form &phi;<sup>k</sup>/&radic;5.</p> <p>Is there any related (or otherwise?) sequence of values in (0,1)<sup>d</sup>, where d > 1, which are similarly "evenly distributed"?</p> <p><b>Edit</b>: I've been a bit unclear about the way in which &phi; is "special", so I'll try to elucidate. My motivation was that, as drvitek says, &phi; has no "better-than-expected" rational convergents. So when n&phi; (mod 1) is plotted against n, not only is the entire set of residues uniformly distributed on (0,1) but also "locally" we have a roughly-uniform distribution on (0,1) × <b>N</b>. This property marks &phi; out as "special" compared with most irrational numbers. I'm afraid I'm not sure how to phrase it more precisely than that.</p> http://mathoverflow.net/questions/37498/sequences-of-evenly-distributed-points-in-a-product-of-intervals/37509#37509 Answer by Benoît Kloeckner for Sequences of evenly-distributed points in a product of intervals Benoît Kloeckner 2010-09-02T15:30:04Z 2010-09-02T15:30:04Z <p>It should be possible to do the same with a carefully chosen tuple of rationaly independent numbers $(\varphi_1,\ldots,\varphi_d)$, no ? But the precise equidistribution you want is not very clear to me.</p> <p>Note that the sequence that is conjectured to be the most evenly distributed on $(0,1)$ is the dyadic one : $1/2, 1/4, 3/4, 1/8, 5/8, 3/8, 7/8,\ldots$, see Kuipers &amp; Niederreiter <em>Uniform distribution of sequences</em> (which might discuss the higher-dimensional problem as well).</p> http://mathoverflow.net/questions/37498/sequences-of-evenly-distributed-points-in-a-product-of-intervals/37514#37514 Answer by drvitek for Sequences of evenly-distributed points in a product of intervals drvitek 2010-09-02T16:31:26Z 2010-09-02T16:48:13Z <p>One way to interpret this result is that it comes from the periodicity of the continued fraction expansion of $\phi = 1 + \frac{1}{1+\frac{1}{\cdots}}$ in the sense that it has no "better-than-expected" rational convergents, whereas for example with $\pi = (3;7,15,1,292,\cdots)$ we may stop at the 292 to get a good approximation (355/113 I believe).</p> <p>So one may look at numbers of the form $x_n = (n;n,n,n,\cdots)$, which satisfy $x_n^2 -nx_n - 1 = 0$, or $$x_n = \frac{n+\sqrt{n^2+4}}{2}.$$ So a few good sequences may be for example $\left\{nx_2\right\}$ where $x_2 = 1+\sqrt{2}$, the so-called "silver ratio", or the same for $x_3 = (3+\sqrt{13})/2.$</p> <p>EDIT: These are in some cases pretty good approximations; one way to measure the "well-distribution" of such a sequence is to take the fractional parts $\{\lfloor nx_n \rfloor: n = 1, \cdots, M\}$, sort them, compute the maximum difference between consecutive terms, and multiply this by $M$ to get some number in the range $[1,M)$. This can be accomplished in one line in Mathematica as follows:</p> <pre><code>WellDistribution[x_,M_]:= Max[Differences[Sort[Table[N[FractionalPart[x*m]], {m, 1, M}]]]]*M; </code></pre> <p>Some interesting things happen with this when we vary $n$; perhaps I'll make a new post out of it.</p> http://mathoverflow.net/questions/37498/sequences-of-evenly-distributed-points-in-a-product-of-intervals/37577#37577 Answer by Gerry Myerson for Sequences of evenly-distributed points in a product of intervals Gerry Myerson 2010-09-03T04:06:37Z 2010-09-03T04:06:37Z <p>How evenly a sequence is distributed is often measured by its $\it discrepancy$. Let $u(1),u(2),\dots$ be a sequence of numbers in $[0,1)$. We define the discrepancy $D(n)$ of the first $n$ terms of the sequence by $nD(n)=\sup\vert A(a;n)-na\vert$, where $A(a;n)$ counts the number of terms with $k\le n$ and $u(k)\lt a$, and the supremum is over all $a$ with $0\lt a\le1$. Technically, what I've just defined is the $\it star-discrepancy$, but the distinction need not detain us here. </p> <p>Sequences are known with $nD(n)=O(\log n)$. This is best possible, in the sense that there is an absolute constant $c$ such that for every sequence we have $nD(n)\gt c\log n$ for infinitely many $n$. </p> <p>Now for higher dimensions. Let $\bf x$ be a point in $I=[0,1]^d$. Let $B({\bf x})$ be the box (that is, parallelipiped aligned with the coordinate axes) with diagonally opposite corners at the origin and $\bf x$. Let $V({\bf x})$ be the volume of this box (so it's just the product of the components of $\bf x$). Given a sequence ${\bf u}(1),{\bf u}(2),\dots$ of points in $[0,1)^d$, define the discrepancy $D(n)$ of the first $n$ terms of the sequence by $nD(n)=\sup\vert A({\bf x};n)-nV({\bf x})\vert$, where $A({\bf x};n)$ counts the number of terms with $k\le n$ and ${\bf u}(k)$ in $B({\bf x})$, and the supremum is over all $\bf x$ in $I$. Various and sundry results are known about upper and lower bounds for $nD(n)$. As mentioned elsewhere, the Kuipers (which I have incorrectly given as Kuiper in some of the comments) and Niederreiter book is a good place to start. The website <a href="http://www-rocq.inria.fr/mathfi/Premia/free-version/doc/premia-doc/pdf_html/mc_quasi_doc/index.html" rel="nofollow">http://www-rocq.inria.fr/mathfi/Premia/free-version/doc/premia-doc/pdf_html/mc_quasi_doc/index.html</a> discusses some low discrepancy sequences. </p>