Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916178174148608 |
|---|---|
| author | Peltomäki, Jarkko |
| author_facet | Peltomäki, Jarkko |
| contents | Regular episturmian words are episturmian words whose directive words have a regular and restricted form making them behave more like Sturmian words than general episturmian words. We present a method to evaluate the initial nonrepetitive complexity of regular episturmian words extending the work of Wojcik on Sturmian words. For this, we develop a theory of generalized Ostrowski numeration systems and show how to associate with each episturmian word a unique sequence of numbers written in this numeration system.
The description of the initial nonrepetitive complexity allows us to obtain novel results on the Diophantine exponents of regular episturmian words. We prove that the Diophantine exponent of a regular episturmian word is finite if and only if its directive word has bounded partial quotients. Moreover, we prove that the Diophantine exponent of a regular episturmian word is strictly greater than $2$ if the sequence of partial quotients is eventually at least $3$.
Given an infinite word $x$ over an integer alphabet, we may consider a real number $ξ_x$ having $x$ as a fractional part. The Diophantine exponent of $x$ is a lower bound for the irrationality exponent of $ξ_x$. Our results thus yield nontrivial lower bounds for the irrationality exponents of real numbers whose fractional parts are regular episturmian words. As a consequence, we identify a new uncountable class of transcendental numbers whose irrationality exponents are strictly greater than $2$. This class contains an uncountable subclass of Liouville numbers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2103_08351 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents Peltomäki, Jarkko Formal Languages and Automata Theory Number Theory 68R15, 11A63, 11J82 Regular episturmian words are episturmian words whose directive words have a regular and restricted form making them behave more like Sturmian words than general episturmian words. We present a method to evaluate the initial nonrepetitive complexity of regular episturmian words extending the work of Wojcik on Sturmian words. For this, we develop a theory of generalized Ostrowski numeration systems and show how to associate with each episturmian word a unique sequence of numbers written in this numeration system. The description of the initial nonrepetitive complexity allows us to obtain novel results on the Diophantine exponents of regular episturmian words. We prove that the Diophantine exponent of a regular episturmian word is finite if and only if its directive word has bounded partial quotients. Moreover, we prove that the Diophantine exponent of a regular episturmian word is strictly greater than $2$ if the sequence of partial quotients is eventually at least $3$. Given an infinite word $x$ over an integer alphabet, we may consider a real number $ξ_x$ having $x$ as a fractional part. The Diophantine exponent of $x$ is a lower bound for the irrationality exponent of $ξ_x$. Our results thus yield nontrivial lower bounds for the irrationality exponents of real numbers whose fractional parts are regular episturmian words. As a consequence, we identify a new uncountable class of transcendental numbers whose irrationality exponents are strictly greater than $2$. This class contains an uncountable subclass of Liouville numbers. |
| title | Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents |
| topic | Formal Languages and Automata Theory Number Theory 68R15, 11A63, 11J82 |
| url | https://arxiv.org/abs/2103.08351 |