-
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words
Authors:
Pavol Kebis,
Florian Luca,
Joel Ouaknine,
Andrew Scoones,
James Worrell
Abstract:
We consider numbers of the form $S_β(\boldsymbol{u}):=\sum_{n=0}^\infty \frac{u_n}{β^n}$, where $\boldsymbol{u}=\langle u_n \rangle_{n=0}^\infty$ is an infinite word over a finite alphabet and $β\in \mathbb{C}$ satisfies $|β|>1$. Our main contribution is to present a combinatorial criterion on $\boldsymbol u$, called echoing, that implies that $S_β(\boldsymbol{u})$ is transcendental whenever $β$ i…
▽ More
We consider numbers of the form $S_β(\boldsymbol{u}):=\sum_{n=0}^\infty \frac{u_n}{β^n}$, where $\boldsymbol{u}=\langle u_n \rangle_{n=0}^\infty$ is an infinite word over a finite alphabet and $β\in \mathbb{C}$ satisfies $|β|>1$. Our main contribution is to present a combinatorial criterion on $\boldsymbol u$, called echoing, that implies that $S_β(\boldsymbol{u})$ is transcendental whenever $β$ is algebraic. We show that every Sturmian word is echoing, as is the Tribonacci word, a leading example of an Arnoux-Rauzy word. We furthermore characterise $\overline{\mathbb{Q}}$-linear independence of sets of the form $\left\{ 1, S_β(\boldsymbol{u}_1),\ldots,S_β(\boldsymbol{u}_k) \right\}$, where $\boldsymbol{u}_1,\ldots,\boldsymbol{u}_k$ are Sturmian words having the same slope. Finally, we give an application of the above linear independence criterion to the theory of dynamical systems, showing that for a contracted rotation on the unit circle with algebraic slope, its limit set is either finite or consists exclusively of transcendental elements other than its endpoints $0$ and $1$. This confirms a conjecture of Bugeaud, Kim, Laurent, and Nogueira.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Effective Results in The Metric Theory of Quantitative Diophantine Approximation
Authors:
Ying Wai Lee,
Andrew Scoones
Abstract:
Many results related to quantitative problems in the metric theory of Diophantine approximation are asymptotic, such as the number of rational solutions to certain inequalities grows with the same rate almost everywhere modulo an asymptotic error term. The error term incorporates an implicit constant that varies from one point to another. This means that applications of these results does not give…
▽ More
Many results related to quantitative problems in the metric theory of Diophantine approximation are asymptotic, such as the number of rational solutions to certain inequalities grows with the same rate almost everywhere modulo an asymptotic error term. The error term incorporates an implicit constant that varies from one point to another. This means that applications of these results does not give concrete bounds when applied to, say a finite sum, or when applied to counting the number of solutions up to a finite point for a given inequality. This paper addresses this problem and makes the tools and their results effective, by making the implicit constant explicit outside of an exceptional subset of Lebesgue measure at most $δ>0$, an arbitrarily small constant chosen in advance. We deduce from this the fully effective results for Schmidt's Theorem, quantitative Koukoulopoulos-Maynard Theorem and quantitative results on $M_{0}$-sets; we also provide effective results regarding statistics of normal numbers and strong law of large numbers.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
On the $abc$ Conjecture in Algebraic Number Fields
Authors:
Andrew Scoones
Abstract:
While currently the $abc$ conjecture and work towards it remains open or is disputed, at the same time much work has been done on weaker versions, as well as on its generalisation to number fields. Given integers satisfying $a+b=c$, Stewart and Yu were able to give an exponential bound for $\max(a,\,b,\,c)$ in terms of the radical over the integers, while Györy was able to give an exponential boun…
▽ More
While currently the $abc$ conjecture and work towards it remains open or is disputed, at the same time much work has been done on weaker versions, as well as on its generalisation to number fields. Given integers satisfying $a+b=c$, Stewart and Yu were able to give an exponential bound for $\max(a,\,b,\,c)$ in terms of the radical over the integers, while Györy was able to give an exponential bound in the algebraic number field case for the projective height $H_{K}(a,\,b,\,c)$ in terms of the radical for algebraic numbers. We generalise Stewart and Yu's method to give an improvement on Györy's bound for algebraic integers. Finally, we will give an application to the effective Skolem-Mahler-Lech problem. Of importance is to note that, given some conditions, we obtain a sub-exponential bound for $\log H_{L}(a,\,b,\,c)$. We use these results to give an improvement on a result by Lagarias and Soundararajan. At the final stages of preparation, we were made aware that a similar result to our main theorem has been obtained independently by Györy, using different methods.
△ Less
Submitted 14 January, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.