Beatty ratios, algorithms related to Sturmian sequences and uniform distribution theory

This dissertation is divided into three main sections. The main result of Section 1 is that, for $a,b>1$, irrational, the quantity $\log (a/b)$ is ``not too far'' from the series of fractional parts $ \sum<sub>n=1</sub><sup>\infty</sup>\frac{a \{a<sup>-1</sup> (n+1)\}-b\{b<sup>-1</sup>(n+1)\}}{n(n+1)} \text{,}$ i.e, the absolute value of the difference of these two quantities is less than one plus a ``small'' constant $k(a,b)$. In order to prove this result, we first study properties of ratios of elements of Beatty sequences and their connection with Sturmian sequences. If we write $a_n=\lfloor n a \rfloor$ for $a$ a real number and $n \in \N$, then we are concerned with ratios of the form $r_a(n,k):=\frac{ a_n+k}{a_n} $ \noindent as well as their reciprocals. These types of quotients have various properties. For example, the $i^{th}$ element of a Sturmian sequence with slope $s:=s(a,b)$ can be defined by a difference of ratios $R(i):=r_{a}(i,1)-r_{b}(i,1)$ for some irrational numbers $a$, $b$, i.e, $R(i)$ is positive or negative depending on whether or not $i$ is an integer in the Sturmian sequence with slope $s. We also study partial sums of the form \begin{equation} \label{thabs1} \sum_{n\leq x} \frac{ a_n+k}{a_n} \end{equation} and find asymptotics for them. Next, we consider the series \begin{equation*} \sum_n=1^\infty \left(\frac{ a_n+k}{a_n}-\frac{ b_n+k}{b_n}\right) \end{equation*} \noindent and show that it satisfies an identity involving \log a$ and $\log b$ for the case when $a$ and $b$ are irrationals. This identity bears a superficial resemblance to a discrete analogue of Frullani's integral. The main result of the section is deduced as a corollary from this identity. The identity is proved by using Sturmian sequences to write the sum \eqref{thabs1} over the positive integers, finding asymptotics for partial sums of elements of the Beatty sequences, and using summation by parts techniques together with some combinatorial arguments. In the second portion of this thesis we present a Minimum Excluded with Skipping (MES) algorithm that generalizes minimum excluded type algorithms. This algorithm has one sequence as input and another sequence as output. We study this algorithm in connection with Beatty, nonhomogeneous Sturmian, and other (not necessarily quasilinear) types of sequences. A complete characterization of this algorithm is presented in the case of an Beatty sequence. The proofs of these theorems use Diophantine approximation, continued fractions and various number theoretic and combinatorial arguments. The third portion of this thesis deals with a topic related to a theorem that begun as a conjecture of Steinhaus. This well known Three Gap Theorem states that there are at most three gap sizes in the sequence of fractional parts $\{\alpha n\}_{n<N}$. The main discovery of this section is that if we average over a short interval $[\gamma,\gamma+\eta]$, the distribution becomes continuous. Moreover, this continuous distribution is universal in the sense that it is the same for any $\gamma$ and any interval around $\gamma$. Under these circumstances one would expect that the above averaging process would introduce enough randomness in the sequence so that the limiting distribution would be Poissonian. However, we will prove that, surprisingly, this is not the case.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Mathematics

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2012

Author dc:creator

• Polanco Encarnacion, Geremias

Contributors dc:contributor

• Stolarsky, Kenneth B.
• Berndt, Bruce C.
• Hildebrand, A.J.
• Zaharescu, Alexandru

• Beatty Sequence
• Sturmian Sequence
• characteristic Sequence
• Frullani's integral
• Steinhaus Theorem
• Three Gap Theorem
• Kloosterman Sums
• Farey Fractions

Statement dc:rights

• Copyright 2012 Geremias Polanco Encarnacion

Language dc:language

en

Handle dc:identifier

http://hdl.handle.net/2142/34298

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/34298