Showing 1–50 of 84 results for author: Bugeaud, Y

On the difference between squares and integral $S$-units

Authors: Yann Bugeaud

Abstract: Let $q_1, \ldots , q_t$ be distinct prime numbers. Let $a_1, \ldots , a_t$ be nonnegative integers and $x$ a positive integer. We establish an effective lower bound for the greatest prime divisor of $|x^2 - q_1^{a_1} \ldots q_t^{a_t}|$, which tends to infinity with the maximum of $x$, $a_1, \ldots , a_t$. Let $q_1, \ldots , q_t$ be distinct prime numbers. Let $a_1, \ldots , a_t$ be nonnegative integers and $x$ a positive integer. We establish an effective lower bound for the greatest prime divisor of $|x^2 - q_1^{a_1} \ldots q_t^{a_t}|$, which tends to infinity with the maximum of $x$, $a_1, \ldots , a_t$. △ Less

Submitted 23 April, 2025; v1 submitted 27 March, 2025; originally announced March 2025.

Comments: 11 pages, to appear in Portugaliae Mathematica

MSC Class: 11D61; 11J86

Effective approximation to complex algebraic numbers by quadratic numbers

Authors: Prajeet Bajpai, Yann Bugeaud

Abstract: We establish an effective improvement on the Liouville inequality for approximation to complex non-real algebraic numbers by quadratic complex algebraic numbers. We establish an effective improvement on the Liouville inequality for approximation to complex non-real algebraic numbers by quadratic complex algebraic numbers. △ Less

Submitted 14 November, 2024; originally announced November 2024.

Comments: To appear in the Canadian Mathematical Bulletin

MSC Class: 11J68; 11J86

Journal ref: Can. Math. Bull. 68 (2025) 262-269

Explicit bounds for the solutions of superelliptic equations over number fields

Authors: Attila Bérczes, Yann Bugeaud, Kálmán Győry, Jorge Mello, Alina Ostafe, Min Sha

Abstract: Let $f$ be a polynomial with coefficients in the ring $O_S$ of $S$-integers of a number field $K$, $b$ a non-zero $S$-integer, and $m$ an integer $\ge 2$. We consider the equation $( \star )$: $f(x) = b y^m$ in $x,y \in O_S$. Under the well-known LeVeque condition, we give fully explicit upper bounds in terms of $K, S, f, m$ and the $S$-norm of $b$ for the heights of the solutions $x$ of the equat… ▽ More Let $f$ be a polynomial with coefficients in the ring $O_S$ of $S$-integers of a number field $K$, $b$ a non-zero $S$-integer, and $m$ an integer $\ge 2$. We consider the equation $( \star )$: $f(x) = b y^m$ in $x,y \in O_S$. Under the well-known LeVeque condition, we give fully explicit upper bounds in terms of $K, S, f, m$ and the $S$-norm of $b$ for the heights of the solutions $x$ of the equation $( \star)$. Further, we give an explicit bound $C$ in terms of $K, S, f$ and the $S$-norm of $b$ such that if $m > C$ the equation $(\star)$ has only solutions with $y = 0$ or a root of unity. Our results are more detailed versions of work of Trelina, Brindza, Shorey and Tijdeman, Voutier and Bugeaud, and extend earlier results of Bérczes, Evertse, and Győry to polynomials with multiple roots. In contrast with the previous results, our bounds depend on the $S$-norm of $b$ instead of its height. △ Less

Submitted 14 October, 2023; originally announced October 2023.

Comments: 37 pages

Metrical properties of Hurwitz Continued Fractions

Authors: Yann Bugeaud, Gerardo Gonzalez Robert, Mumtaz Hussain

Abstract: We develop the geometry of Hurwitz continued fractions, a major tool in understanding the approximation properties of complex numbers by ratios of Gaussian integers. Based on a thorough study of the geometric properties of Hurwitz continued fractions, among other things, we determine that the space of valid sequences is not a closed set of sequences. Additionally, we establish a comprehensive metr… ▽ More We develop the geometry of Hurwitz continued fractions, a major tool in understanding the approximation properties of complex numbers by ratios of Gaussian integers. Based on a thorough study of the geometric properties of Hurwitz continued fractions, among other things, we determine that the space of valid sequences is not a closed set of sequences. Additionally, we establish a comprehensive metrical theory for Hurwitz continued fractions.%, paralleling the classical theory for regular continued fractions in real numbers. Let $Φ:\mathbb{N}\to \mathbb{R}_{>0}$ be any function. For any complex number $z$ and $n\in\mathbb{N}$, let $a_n(z)$ denote the $n$th partial quotient in the Hurwitz continued fraction of $z$. One of the main results of this paper is the computation of the Hausdorff dimension of the set \[E(Φ) := \left\{ z\in \mathbb C: |a_n(z)|\geq Φ(n) \text{ for infinitely many }n\in\mathbb{N} \right\}. \] This study is a complex analog of a well-known result of Wang and Wu [Adv. Math. 218 (2008), no. 5, 1319--1339]. △ Less

Submitted 19 February, 2025; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 78 pages, 12 figures. We have fixed many typos and rewrote some fragments section for clarity. Section 3 was added, and the proof of Theorem 1.5 was shortened

Apollonius circles and the number of irreducible factors of polynomials

Authors: Anca Iuliana Bonciocat, Nicolae Ciprian Bonciocat, Yann Bugeaud, Mihai Cipu, Maurice Mignotte

Abstract: We provide upper bounds for the sum of the multiplicities of the non-constant irreducible factors that appear in the canonical decomposition of a polynomial $f(X)\in\mathbb{Z}[X]$, in case all the roots of $f$ lie inside an Apollonius circle associated to two points on the real axis with integer abscissae $a$ and $b$, with ratio of the distances to these points depending on the admissible divisors… ▽ More We provide upper bounds for the sum of the multiplicities of the non-constant irreducible factors that appear in the canonical decomposition of a polynomial $f(X)\in\mathbb{Z}[X]$, in case all the roots of $f$ lie inside an Apollonius circle associated to two points on the real axis with integer abscissae $a$ and $b$, with ratio of the distances to these points depending on the admissible divisors of $f(a)$ and $f(b)$. In particular, we obtain such upper bounds for the case where $f(a)$ and $f(b)$ have few prime factors, and $f$ is an Eneström-Kakeya polynomial, or a Littlewood polynomial, or has a large leading coefficient. Similar results are also obtained for multivariate polynomials over arbitrary fields, in a non-Archimedean setting. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: 20 pages, 1 figure. arXiv admin note: text overlap with arXiv:2103.15479

MSC Class: 11R09; 11C08

Effective Approximation to Complex Algebraic Numbers by Algebraic Numbers of Bounded Degree

Authors: Prajeet Bajpai, Yann Bugeaud

Abstract: We establish the first effective improvements on the Liouville inequality for approximation to complex non-real algebraic numbers by complex algebraic numbers of degree at most 4. We establish the first effective improvements on the Liouville inequality for approximation to complex non-real algebraic numbers by complex algebraic numbers of degree at most 4. △ Less

Submitted 14 November, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

Comments: Updated with corrections, in particular to the statement and proof of Thm 2.4. Presentation of proofs is also considerably improved following referee feedback. Final version, appears in Trans. AMS

MSC Class: 11J68 (Primary) 11D57; 11J86 (Secondary)

Some arithmetical properties of convergents to algebraic numbers

Authors: Yann Bugeaud, Khoa D. Nguyen

Abstract: Let $ξ$ be an irrational algebraic real number and $(p_k / q_k)_{k \ge 1}$ denote the sequence of its convergents. Let $(u_n)_{n \geq 1}$ be a non-degenerate linear recurrence sequence of integers, which is not a polynomial sequence. We show that if the intersection of the sequences $(q_k)_{k \ge 1}$ and $(u_n)_{n \geq 1}$ is infinite, then $ξ$ is a quadratic number. We also discuss several arithm… ▽ More Let $ξ$ be an irrational algebraic real number and $(p_k / q_k)_{k \ge 1}$ denote the sequence of its convergents. Let $(u_n)_{n \geq 1}$ be a non-degenerate linear recurrence sequence of integers, which is not a polynomial sequence. We show that if the intersection of the sequences $(q_k)_{k \ge 1}$ and $(u_n)_{n \geq 1}$ is infinite, then $ξ$ is a quadratic number. We also discuss several arithmetical properties of the sequence $(q_k)_{k \ge 1}$. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Journal ref: Pacific J. Math. 326 (2023) 17-36

$B'$

Authors: Yann Bugeaud

Abstract: Let $n \ge 2$ be an integer and $α_1, \ldots, α_n$ be non-zero algebraic numbers. Let $b_1, \ldots , b_n$ be integers with $b_n \not= 0$, and set $B = \max\{3, |b_1|, \ldots , |b_n|\}$. For $j =1, \ldots, n$, set $h^* (α_j) = \max\{h(α_j), 1\}$, where $h$ denotes the (logarithmic) Weil height. Assume that the quantity $Λ= b_1 \log α_1 + \cdots + b_n \log α_n$ is nonzero. A typical lower bound of… ▽ More Let $n \ge 2$ be an integer and $α_1, \ldots, α_n$ be non-zero algebraic numbers. Let $b_1, \ldots , b_n$ be integers with $b_n \not= 0$, and set $B = \max\{3, |b_1|, \ldots , |b_n|\}$. For $j =1, \ldots, n$, set $h^* (α_j) = \max\{h(α_j), 1\}$, where $h$ denotes the (logarithmic) Weil height. Assume that the quantity $Λ= b_1 \log α_1 + \cdots + b_n \log α_n$ is nonzero. A typical lower bound of $\log |Λ|$ given by Baker's theory of linear forms in logarithms takes the shape $$ \log |Λ| \ge - c(n, D) \, h^* (α_1) \cdots h^* (α_n) \log B, $$ where $c(n,D)$ is positive, effectively computable and depends only on $n$ and on the degree $D$ of the field generated by $α_1, \ldots , α_n$. However, in certain special cases and in particular when $|b_n| = 1$, this bound can be improved to $$ \log |Λ| - c(n, D) \, h^* (α_1) \cdots h^* (α_n) \log \frac{B}{h^* (α_n)}. $$ The term $B / h^* (α_n)$ in place of $B$ originates in works of Feldman and Baker and is a key tool for improving, in an effective way, the upper bound for the irrationality exponent of a real algebraic number of degree at least $3$ given by Liouville's theorem. We survey various applications of this refinement to exponents of approximation evaluated at algebraic numbers, to the $S$-part of some integer sequences, and to Diophantine equations. We conclude with some new results on arithmetical properties of convergents to real numbers. △ Less

Submitted 1 September, 2022; originally announced September 2022.

Comments: 28 pages, Comments welcome!

MSC Class: 11J86; 11J04; 11D59; 11D61

Transcendence and continued fraction expansion of values of Hecke-Mahler series

Authors: Yann Bugeaud, Michel Laurent

Abstract: Let $θ$ and $ρ$ be real numbers with $0 \le θ, ρ< 1$ and $θ$ irrational. We show that the Hecke-Mahler series $$ F_{θ, ρ} (z_1, z_2) = \sum_{k_1 \ge 1} \, \sum_{k_2 = 1}^{\lfloor k_1 θ+ ρ\rfloor} \, z_1^{k_1} z_2^{k_2}, $$ where $\lfloor \cdot \rfloor$ denotes the integer part function, takes transcendental values at any algebraic point $(β, α)$ with $0 < |β|, |βα^θ| < 1$. This extends earlier res… ▽ More Let $θ$ and $ρ$ be real numbers with $0 \le θ, ρ< 1$ and $θ$ irrational. We show that the Hecke-Mahler series $$ F_{θ, ρ} (z_1, z_2) = \sum_{k_1 \ge 1} \, \sum_{k_2 = 1}^{\lfloor k_1 θ+ ρ\rfloor} \, z_1^{k_1} z_2^{k_2}, $$ where $\lfloor \cdot \rfloor$ denotes the integer part function, takes transcendental values at any algebraic point $(β, α)$ with $0 < |β|, |βα^θ| < 1$. This extends earlier results of Mahler (1929) and Loxton and van der Poorten (1977), who settled the case $ρ=0$. Furthermore, for positive integers $b$ and $a$, with $b \ge 2$ and $a$ congruent to $1$ modulo $b-1$, we give the continued fraction expansion of the number $$ {(b-1)^2\over b} F_{θ, ρ} \left({1\over b}, {1\over a}\right)+{\lfloor θ+ρ\rfloor(b-1)\over b^2a}, $$ from which we derive a formula giving the irrationality exponent of $F_{θ, ρ} (1/b, 1/a)$. △ Less

Submitted 24 March, 2022; originally announced March 2022.

Comments: 29 pages

MSC Class: 11J04; 11J70; 11J81

The Thue-Morse continued fractions in characteristic $2$ are algebraic

Authors: Yann Bugeaud, Guo-Niu Han

Abstract: Let $a, b$ be distinct, non-constant polynomials in ${\mathbb F}_2 [z]$. Let $ξ_{a, b}$ be the power series in ${\mathbb F}_2((z^{-1}))$ whose sequence of partial quotients is the Thue-Morse sequence over $\{a, b\}$. We establish that $ξ_{a,b}$ is algebraic of degree $4$. Let $a, b$ be distinct, non-constant polynomials in ${\mathbb F}_2 [z]$. Let $ξ_{a, b}$ be the power series in ${\mathbb F}_2((z^{-1}))$ whose sequence of partial quotients is the Thue-Morse sequence over $\{a, b\}$. We establish that $ξ_{a,b}$ is algebraic of degree $4$. △ Less

Submitted 4 March, 2022; originally announced March 2022.

Comments: 21 pages

MSC Class: 11J70; 11A55; 11J61; 11T55

On the conjugates of Christoffel words

Authors: Y. Bugeaud, C. Reutenauer

Abstract: We introduce a parametrization of the conjugates of Christoffel words based on the integer Ostrowski numeration system. We use it to give a precise description of the borders (prefixes which are also suffixes) of the conjugates of Christoffel words and to revisit the notion of Sturmian graph introduced by Epifanio et al. We introduce a parametrization of the conjugates of Christoffel words based on the integer Ostrowski numeration system. We use it to give a precise description of the borders (prefixes which are also suffixes) of the conjugates of Christoffel words and to revisit the notion of Sturmian graph introduced by Epifanio et al. △ Less

Submitted 17 March, 2023; v1 submitted 11 February, 2022; originally announced February 2022.

Comments: 33 pages

MSC Class: 68R15

On the rational approximation to $p$-adic Thue--Morse numbers

Authors: Yann Bugeaud

Abstract: Let $p$ be a prime number and $ξ$ an irrational $p$-adic number. Its multiplicative irrationality exponent ${μ^{\times}} (ξ)$ is the supremum of the real numbers ${μ^{\times}}$ for which the inequality $$ |b ξ- a|_{p} \leq | a b |^{- {μ^{\times}} / 2} $$ has infinitely many solutions in nonzero integers $a, b$. We show that ${μ^{\times}} (ξ)$ can be expressed in terms of a new exponent of approxim… ▽ More Let $p$ be a prime number and $ξ$ an irrational $p$-adic number. Its multiplicative irrationality exponent ${μ^{\times}} (ξ)$ is the supremum of the real numbers ${μ^{\times}}$ for which the inequality $$ |b ξ- a|_{p} \leq | a b |^{- {μ^{\times}} / 2} $$ has infinitely many solutions in nonzero integers $a, b$. We show that ${μ^{\times}} (ξ)$ can be expressed in terms of a new exponent of approximation attached to a sequence of rational numbers defined in terms of $ξ$. We establish that ${μ^{\times}} ({{ξ_{{\bf t}, p}}}) = 3$, where ${{ξ_{{\bf t}, p}}}$ is the $p$-adic number $1 - p - p^2 + p^3 - p^4 + \ldots$, whose sequence of digits is given by the Thue--Morse sequence over $\{-1, 1\}$. △ Less

Submitted 5 October, 2021; originally announced October 2021.

MSC Class: 11J61; 11J04

On the rational approximation to Thue--Morse rational numbers

Authors: Yann Bugeaud, Guo-Niu Han

Abstract: Let $b \ge 2$ and $\ell \ge 1$ be integers. We establish that there is an absolute real number $K$ such that all the partial quotients of the rational number $$ \prod_{h = 0}^\ell \, (1 - b^{-2^h}), $$ of denominator $b^{2^{\ell+1} - 1}$, do not exceed $\exp(K (\log b)^2 \sqrt{\ell} 2^{\ell/2})$. Let $b \ge 2$ and $\ell \ge 1$ be integers. We establish that there is an absolute real number $K$ such that all the partial quotients of the rational number $$ \prod_{h = 0}^\ell \, (1 - b^{-2^h}), $$ of denominator $b^{2^{\ell+1} - 1}$, do not exceed $\exp(K (\log b)^2 \sqrt{\ell} 2^{\ell/2})$. △ Less

Submitted 30 August, 2021; originally announced August 2021.

MSC Class: 11J04; 11J70

Multiplicative dependence of rational values modulo approximate finitely generated groups

Authors: Attila Bérczes, Yann Bugeaud, Kálmán Győry, Jorge Mello, Alina Ostafe, Min Sha

Abstract: In this paper, we establish some finiteness results about the multiplicative dependence of rational values modulo sets which are `close' (with respect to the Weil height) to division groups of finitely generated multiplicative groups of a number field $K$. For example, we show that under some conditions on rational functions $f_1, \ldots, f_n\in K(X)$, there are only finitely many elements… ▽ More In this paper, we establish some finiteness results about the multiplicative dependence of rational values modulo sets which are `close' (with respect to the Weil height) to division groups of finitely generated multiplicative groups of a number field $K$. For example, we show that under some conditions on rational functions $f_1, \ldots, f_n\in K(X)$, there are only finitely many elements $α\in K$ such that $f_1(α),\ldots,f_n(α)$ are multiplicatively dependent modulo such sets. △ Less

Submitted 21 October, 2023; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 20 pages

Report number: MPIM-Bonn-2020

Journal ref: Math. Proc. Camb. Phil. Soc. 177 (2024) 149-165

Switched server systems whose parameters are normal numbers in base 4

Authors: Andre do Amaral Antunes, Yann Bugeaud, Benito Pires

Abstract: Switched server systems are mathematical models of manufacturing, traffic and queueing systems. Recently, it was proved in (Eur. J. Appl. Math. 31(4) (2020), pp. 682-708) that there exist switched server systems with $3$ buffers (tanks), a server, filling rates $ρ_1=ρ_2=ρ_3=\frac13$ and parameters $d_1, d_2, d_3>0$ whose global attractor is a fractal set. In this article, we prove that if $x_1$ in… ▽ More Switched server systems are mathematical models of manufacturing, traffic and queueing systems. Recently, it was proved in (Eur. J. Appl. Math. 31(4) (2020), pp. 682-708) that there exist switched server systems with $3$ buffers (tanks), a server, filling rates $ρ_1=ρ_2=ρ_3=\frac13$ and parameters $d_1, d_2, d_3>0$ whose global attractor is a fractal set. In this article, we prove that if $x_1$ in $(0,\frac13)$, $x_2$ in $(\frac13,\frac23)$ and $x_3$ in $(\frac23,1)$ are rational numbers or normal numbers in base $4$ (or more generally, rich numbers to base $4$) and $(d_1,d_2,d_3)$ is the vector with positive entries satisfying $$d_1=\frac{1}{3x_1}-1,\quad d_2=\frac{2-3x_2}{3x_2-1}, \quad d_3=\frac{3-3x_3}{3x_3-2},$$ then the corresponding switched server has no fractal attractor. More precisely, the Poincaré map of the system has a finite global attractor. The approach we use is to study the topological dynamics of a family of piecewise $λ$-affine contractions that includes the Poincaré map of the switched server system as a particular case. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: 12 pages, 2 figures

Classical and uniform exponents of multiplicative $p$-adic approximation

Authors: Yann Bugeaud, Johannes Schleischitz

Abstract: Let $p$ be a prime number and $ξ$ an irrational $p$-adic number. Its irrationality exponent $μ(ξ)$ is the supremum of the real numbers $μ$ for which the system of inequalities $$ 0 < \max\{|x|, |y|\} \le X, \quad |y ξ- x|_{p} \leq X^{-\hmu} $$ has a solution in integers $x, y$ for arbitrarily large real number $X$. Its multiplicative irrationality exponent $\tmu (ξ)$ (resp., uniform multiplicative… ▽ More Let $p$ be a prime number and $ξ$ an irrational $p$-adic number. Its irrationality exponent $μ(ξ)$ is the supremum of the real numbers $μ$ for which the system of inequalities $$ 0 < \max\{|x|, |y|\} \le X, \quad |y ξ- x|_{p} \leq X^{-\hmu} $$ has a solution in integers $x, y$ for arbitrarily large real number $X$. Its multiplicative irrationality exponent $\tmu (ξ)$ (resp., uniform multiplicative irrationality exponent $\htmu (ξ)$) is the supremum of the real numbers $\hmu$ for which the system of inequalities $$ 0 < |x y|^{1/2} \le X, \quad |y ξ- x|_{p} \leq X^{-\hmu} $$ has a solution in integers $x, y$ for arbitrarily large (resp., for every sufficiently large) real number $X$. It is not difficult to show that $μ(ξ) \le \tmu(ξ) \le 2 μ(ξ)$ and $\htmu (ξ) \le 4$. We establish that the ratio between the multiplicative irrationality exponent $\tmu$ and the irrationality exponent $μ$ can take any given value in $[1, 2]$. Furthermore, we prove that $\htmu (ξ) \le (5 + \sqrt{5})/2$ for every $p$-adic number $ξ$. △ Less

Submitted 25 May, 2021; originally announced May 2021.

Comments: 24 pages

MSC Class: 11J61; 11J04

Journal ref: Publ. Mat. 68 (2024), 3-26

Combinatorial structure of Sturmian words and continued fraction expansions of Sturmian numbers

Authors: Yann Bugeaud, Michel Laurent

Abstract: Let $θ= [0; a_1, a_2, \dots]$ be the continued fraction expansion of an irrational real number $θ\in (0, 1)$. It is well-known that the characteristic Sturmian word of slope $θ$ is the limit of a sequence of finite words $(M_k)_{k \ge 0}$, with $M_k$ of length $q_k$ (the denominator of the $k$-th convergent to $θ$) being a suitable concatenation of $a_k$ copies of $M_{k-1}$ and one copy of… ▽ More Let $θ= [0; a_1, a_2, \dots]$ be the continued fraction expansion of an irrational real number $θ\in (0, 1)$. It is well-known that the characteristic Sturmian word of slope $θ$ is the limit of a sequence of finite words $(M_k)_{k \ge 0}$, with $M_k$ of length $q_k$ (the denominator of the $k$-th convergent to $θ$) being a suitable concatenation of $a_k$ copies of $M_{k-1}$ and one copy of $M_{k-2}$. Our first result extends this to any Sturmian word. Let $b \ge 2$ be an integer. Our second result gives the continued fraction expansion of any real number $ξ$ whose $b$-ary expansion is a Sturmian word ${\bf s}$ over the alphabet $\{0, b-1\}$. This extends a classical result of Böhmer who considered only the case where ${\bf s}$ is characteristic. As a consequence, we obtain a formula for the irrationality exponent of $ξ$ in terms of the slope and the intercept of ${\bf s}$. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 44 pages

MSC Class: 11J70; 11J82; 68R15

Apollonius circles and irreducibility criteria for polynomials

Authors: Anca Iuliana Bonciocat, Nicolae Ciprian Bonciocat, Yann Bugeaud, Mihai Cipu

Abstract: We prove the irreducibility of integer polynomials $f(X)$ whose roots lie inside an Apollonius circle associated to two points on the real axis with integer abscisae $a$ and $b$, with ratio of the distances to these points depending on the canonical decomposition of $f(a)$ and $f(b)$. In particular, we obtain irreducibility criteria for the case where $f(a)$ and $f(b)$ have few prime factors, and… ▽ More We prove the irreducibility of integer polynomials $f(X)$ whose roots lie inside an Apollonius circle associated to two points on the real axis with integer abscisae $a$ and $b$, with ratio of the distances to these points depending on the canonical decomposition of $f(a)$ and $f(b)$. In particular, we obtain irreducibility criteria for the case where $f(a)$ and $f(b)$ have few prime factors, and $f$ is either an Eneström-Kakeya polynomial, or has a large leading coefficient. Analogous results are also provided for multivariate polynomials over arbitrary fields, in a non-Archimedean setting. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Comments: 21 pages, 1 figure

MSC Class: 11R09 (Primary); 11C08 (Secondary)

Fractional parts of powers of real algebraic numbers

Authors: Yann Bugeaud

Abstract: Let $α$ be a real number greater than $1$. We establish an effective lower bound for the distance between an integral power of $α$ and its nearest integer. Let $α$ be a real number greater than $1$. We establish an effective lower bound for the distance between an integral power of $α$ and its nearest integer. △ Less

Submitted 22 January, 2021; originally announced January 2021.

Comments: 8 pages; comments welcome

MSC Class: 11J68; 11J86; 11R06

On simultaneous rational approximation to a $p$-adic number and its integral powers, II

Authors: Dzmitry Badziahin, Yann Bugeaud, Johannes Schleischitz

Abstract: Let $p$ be a prime number. For a positive integer $n$ and a real number $ξ$, let $λ_n (ξ)$ denote the supremum of the real numbers $λ$ for which there are infinitely many integer tuples $(x_0, x_1, \ldots , x_n)$ such that $| x_0 ξ- x_1|_p, \ldots , | x_0 ξ^n - x_n|_p$ are all less than $X^{-λ- 1}$, where $X$ is the maximum of $|x_0|, |x_1|, \ldots , |x_n|$. We establish new results on the Hausdor… ▽ More Let $p$ be a prime number. For a positive integer $n$ and a real number $ξ$, let $λ_n (ξ)$ denote the supremum of the real numbers $λ$ for which there are infinitely many integer tuples $(x_0, x_1, \ldots , x_n)$ such that $| x_0 ξ- x_1|_p, \ldots , | x_0 ξ^n - x_n|_p$ are all less than $X^{-λ- 1}$, where $X$ is the maximum of $|x_0|, |x_1|, \ldots , |x_n|$. We establish new results on the Hausdorff dimension of the set of real numbers $ξ$ for which $λ_n (ξ)$ is equal to (or greater than or equal to) a given value. △ Less

Submitted 25 March, 2021; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1906.05508

MSC Class: 11J13

Journal ref: Proc. Edinb. Math. Soc. 64, no. 2 (2021), 317-337

Mahler's and Koksma's classifications in fields of power series

Authors: Jason Bell, Yann Bugeaud

Abstract: Let $q$ a prime power and ${\mathbb F}_q$ the finite field of $q$ elements. We study the analogues of Mahler's and Koksma's classifications of complex numbers for power series in ${\mathbb F}_q((T^{-1}))$. Among other results, we establish that both classifications coincide, thereby answering a question of Ooto. Let $q$ a prime power and ${\mathbb F}_q$ the finite field of $q$ elements. We study the analogues of Mahler's and Koksma's classifications of complex numbers for power series in ${\mathbb F}_q((T^{-1}))$. Among other results, we establish that both classifications coincide, thereby answering a question of Ooto. △ Less

Submitted 21 July, 2020; originally announced July 2020.

MSC Class: 11J61; 11J04; 11J81

On the Lévy constants of Sturmian continued fractions

Authors: Yann Bugeaud, Dong Han Kim, Seul Bee Lee

Abstract: The Lévy constant of an irrational real number is defined by the exponential growth rate of the sequence of denominators of the principal convergents in its continued fraction expansion. Any quadratic irrational has an ultimately periodic continued fraction expansion and it is well-known that this implies the existence of a Lévy constant. Let $a, b$ be distinct positive integers. If the sequence o… ▽ More The Lévy constant of an irrational real number is defined by the exponential growth rate of the sequence of denominators of the principal convergents in its continued fraction expansion. Any quadratic irrational has an ultimately periodic continued fraction expansion and it is well-known that this implies the existence of a Lévy constant. Let $a, b$ be distinct positive integers. If the sequence of partial quotients of an irrational real number is a Sturmian sequence over $\{a, b\}$, then it has a Lévy constant, which depends only on $a$, $b$, and the slope of the Sturmian sequence, but not on its intercept. We show that the set of Lévy constants of irrational real numbers whose sequence of partial quotients is periodic or Sturmian is equal to the whole interval $[\log ((1+\sqrt 5)/2 ), + \infty)$. △ Less

Submitted 19 September, 2021; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: 21 pages

MSC Class: 11A55; 68R15

Journal ref: Pacific J. Math. 315 (2021) 1-25

On the Diophantine nature of the elements of Cantor sets arising in the dynamics of contracted rotations

Authors: Yann Bugeaud, Dong Han Kim, Michel Laurent, Arnaldo Nogueira

Abstract: We prove that these Cantor sets are made up of transcendental numbers, apart from their endpoints $0$ and $1$, under some arithmetical assumptions on the data. To that purpose, we establish a criterion of linear independence over the field of algebraic numbers for the three numbers $1$, a characteristic Sturmian number, and an arbitrary Sturmian number with the same slope. We prove that these Cantor sets are made up of transcendental numbers, apart from their endpoints $0$ and $1$, under some arithmetical assumptions on the data. To that purpose, we establish a criterion of linear independence over the field of algebraic numbers for the three numbers $1$, a characteristic Sturmian number, and an arbitrary Sturmian number with the same slope. △ Less

Submitted 2 January, 2020; originally announced January 2020.

MSC Class: 11J91; 37E05

On the Zeckendorf representation of smooth numbers

Authors: Yann Bugeaud

Abstract: Among other results, we establish, in a quantitative form, that any sufficiently large integer cannot simultaneously be divisible only by very small primes and have very few digits in its Zeckendorf representation. Among other results, we establish, in a quantitative form, that any sufficiently large integer cannot simultaneously be divisible only by very small primes and have very few digits in its Zeckendorf representation. △ Less

Submitted 9 September, 2019; originally announced September 2019.

Comments: 13 pages, comments welcome

MSC Class: 11A63; 11J86; 11N25

Inhomogeneous Diophantine approximation over fields of formal power series

Authors: Yann Bugeaud, L. Singhal, Zhenliang Zhang

Abstract: We prove a sharp analogue of Minkowski's inhomogeneous approximation theorem over fields of power series $\mathbb{F}_q((T^{-1}))$. Furthermore, we study the approximation to a given point $\underline{y}$ in $\mathbb{F}_q((T^{-1}))^2$ by the $SL_2(\mathbb{F}_q[T])$-orbit of a given point $\underline{x}$ in $\mathbb{F}_q((T^{-1}))^2$. We prove a sharp analogue of Minkowski's inhomogeneous approximation theorem over fields of power series $\mathbb{F}_q((T^{-1}))$. Furthermore, we study the approximation to a given point $\underline{y}$ in $\mathbb{F}_q((T^{-1}))^2$ by the $SL_2(\mathbb{F}_q[T])$-orbit of a given point $\underline{x}$ in $\mathbb{F}_q((T^{-1}))^2$. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Comments: 22 pages

MSC Class: 11J20; 11J61; 11J70

Journal ref: Math. Scand., 126(3):451-478, 2020

Effective simultaneous rational approximation to pairs of real quadratic numbers

Authors: Yann Bugeaud

Abstract: Let $ξ, ζ$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $τ$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q ξ\|, \|q ζ\| \} > q^{-1 + τ}, $$ where $\| \cdot \|$ denotes the distance to the nearest integer. Let $ξ, ζ$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $τ$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q ξ\|, \|q ζ\| \} > q^{-1 + τ}, $$ where $\| \cdot \|$ denotes the distance to the nearest integer. △ Less

Submitted 24 July, 2019; originally announced July 2019.

Comments: 9 pages

MSC Class: 11J13; 11D09; 11J86

Journal ref: Moscow J. Comb. Number Th. 9 (2020) 353-360

Absolute root separation

Authors: Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejković, Bruno Salvy

Abstract: The absolute separation of a polynomial is the minimum nonzero difference between the absolute values of its roots. In the case of polynomials with integer coefficients, it can be bounded from below in terms of the degree and the height (the maximum absolute value of the coefficients) of the polynomial. We improve the known bounds for this problem and related ones. Then we report on extensive expe… ▽ More The absolute separation of a polynomial is the minimum nonzero difference between the absolute values of its roots. In the case of polynomials with integer coefficients, it can be bounded from below in terms of the degree and the height (the maximum absolute value of the coefficients) of the polynomial. We improve the known bounds for this problem and related ones. Then we report on extensive experiments in low degrees, suggesting that the current bounds are still very pessimistic. △ Less

Submitted 29 November, 2019; v1 submitted 2 July, 2019; originally announced July 2019.

Journal ref: Experimental Mathematics 31 (2022), 806-813

On simultaneous rational approximation to a real number and its integral powers, II

Authors: Dmitry Badziahin, Yann Bugeaud

Abstract: For a positive integer $n$ and a real number $ξ$, let $λ_n (ξ)$ denote the supremum of the real numbers $λ$ for which there are arbitrarily large positive integers $q$ such that $|| q ξ||, || q ξ^2 ||, \ldots , ||q ξ^n||$ are all less than $q^{-λ}$. Here, $|| \cdot ||$ denotes the distance to the nearest integer. We establish new results on the Hausdorff dimension of the set of real numbers $ξ$ su… ▽ More For a positive integer $n$ and a real number $ξ$, let $λ_n (ξ)$ denote the supremum of the real numbers $λ$ for which there are arbitrarily large positive integers $q$ such that $|| q ξ||, || q ξ^2 ||, \ldots , ||q ξ^n||$ are all less than $q^{-λ}$. Here, $|| \cdot ||$ denotes the distance to the nearest integer. We establish new results on the Hausdorff dimension of the set of real numbers $ξ$ such that $λ_n (ξ)$ is equal (or greater than or equal) to a given value. △ Less

Submitted 13 June, 2019; originally announced June 2019.

Comments: 17 pages

MSC Class: 11J13

On homogeneous and inhomogeneous Diophantine approximation over the fields of formal power series

Authors: Yann Bugeaud, Zhenliang Zhang

Abstract: We prove over fields of power series the analogues of several Diophantine approximation results obtained over the field of real numbers. In particular we establish the power series analogue of Kronecker's theorem for matrices, together with a quantitative form of it, which can also be seen as a transference inequality between uniform approximation and inhomogeneous approximation. Special attention… ▽ More We prove over fields of power series the analogues of several Diophantine approximation results obtained over the field of real numbers. In particular we establish the power series analogue of Kronecker's theorem for matrices, together with a quantitative form of it, which can also be seen as a transference inequality between uniform approximation and inhomogeneous approximation. Special attention is devoted to the one dimensional case. Namely, we give a necessary and sufficient condition on an irrational power series $α$ which ensures that, for some positive $\eps$, the set $$ \liminf_{Q \in \mathbb{F}_q[z], \,\, °Q \to \infty} \| Q \| \cdot |\langle Q α- θ\rangle| \geq \eps $$ has full Hausdorff dimension. △ Less

Submitted 1 July, 2019; v1 submitted 24 February, 2019; originally announced February 2019.

Comments: 28 pages

MSC Class: 11K55; 11J04; 28A80

Journal ref: Pacific J. Math. 302 (2019) 453-480

Hausdorff dimension in inhomogeneous Diophantine approximation

Authors: Yann Bugeaud, Dong Han Kim, Seonhee Lim, Michał Rams

Abstract: Let $α$ be an irrational real number. We show that the set of $ε$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (α) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| qα-x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $ε$ if and only if $α$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ o… ▽ More Let $α$ be an irrational real number. We show that the set of $ε$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (α) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| qα-x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $ε$ if and only if $α$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ of the logarithms of the partial quotients $a_i$ of $α$ going to infinity with $k$. We also consider one-sided approximation, obtain a stronger result when $a_i$ tends to infinity, and establish a partial result in higher dimensions. △ Less

Submitted 26 May, 2018; originally announced May 2018.

Comments: 16 pages

MSC Class: Primary 11K60; Secondary 28A80; 37E10

Nonarchimedean quadratic Lagrange spectra and continued fractions in power series fields

Authors: Yann Bugeaud

Abstract: Let ${\bf F}_q$ be a finite field of order a positive power $q$ of a prime number. We study the nonarchimedean quadratic Lagrange spectrum defined by Parkkonen and Paulin by considering the approximation by elements of the orbit of a given quadratic power series in ${\bf F}_q((Y^{-1}))$, for the action by homographies and anti-homographies of ${\rm PGL}_2({\bf F}_q[Y])$ on… ▽ More Let ${\bf F}_q$ be a finite field of order a positive power $q$ of a prime number. We study the nonarchimedean quadratic Lagrange spectrum defined by Parkkonen and Paulin by considering the approximation by elements of the orbit of a given quadratic power series in ${\bf F}_q((Y^{-1}))$, for the action by homographies and anti-homographies of ${\rm PGL}_2({\bf F}_q[Y])$ on ${\bf F}_q((Y^{-1})) \cup \{\infty\}$. While their approach used geometric methods of group actions on Bruhat--Tits trees, ours is based on the theory of continued fractions in power series fields. △ Less

Submitted 10 April, 2018; originally announced April 2018.

Comments: 18 pages

MSC Class: 11J06; 11J61; 11J70; 11R11

Metrical results on the distribution of fractional parts of powers of real numbers

Authors: Yann Bugeaud, Lingmin Liao, Michal Rams

Abstract: Denote by {$\times$} the fractional part. We establish several new metrical results on the distribution properties of the sequence ({x n }) n$\ge$1. Many of them are presented in a more general framework, in which the sequence of functions (x $\rightarrow$ x n) n$\ge$1 is replaced by a sequence (fn) n$\ge$1 , under some growth and regularity conditions on the functions fn. Denote by {$\times$} the fractional part. We establish several new metrical results on the distribution properties of the sequence ({x n }) n$\ge$1. Many of them are presented in a more general framework, in which the sequence of functions (x $\rightarrow$ x n) n$\ge$1 is replaced by a sequence (fn) n$\ge$1 , under some growth and regularity conditions on the functions fn. △ Less

Submitted 10 October, 2017; originally announced October 2017.

S-parts of values of univariate polynomials, binary forms and decomposable forms at integral points

Authors: Yann Bugeaud, Jan-Hendrik Evertse, Kálmán Győry

Abstract: Let $S$ be a finite set of primes. The $S$-part $[m]_S$ of a non-zero integer $m$ is the largest positive divisor of $m$ that is composed of primes from $S$. In 2013, Gross and Vincent proved that if $f(X)$ is a polynomial with integer coefficients and with at least two roots in the complex numbers, then for every integer $x$ at which $f(x)$ is non-zero, we have (*) $[f(x)]_S\leq c\cdot |f(x)|^d$,… ▽ More Let $S$ be a finite set of primes. The $S$-part $[m]_S$ of a non-zero integer $m$ is the largest positive divisor of $m$ that is composed of primes from $S$. In 2013, Gross and Vincent proved that if $f(X)$ is a polynomial with integer coefficients and with at least two roots in the complex numbers, then for every integer $x$ at which $f(x)$ is non-zero, we have (*) $[f(x)]_S\leq c\cdot |f(x)|^d$, where $c$ and $d$ are effectively computable and $d<1$. Their proof uses Baker-type estimates for linear forms in complex logarithms of algebraic numbers. As an easy application of the $p$-adic Thue-Siegel-Roth theorem we show that if $f(X)$ has degree $n\geq 2$ and no multiple roots, then an inequality such as (*) holds for all $d>1/n$, provided we do not require effectivity of $c$. Further, we show that such an inequality does not hold anymore with $d=1/n$ and sufficiently small $c$. In addition we prove a density result, giving for every $ε>0$ an asymptotic estimate with the right order of magnitude for the number of integers $x$ with absolute value at most $B$ such that $f(x)$ has $S$-part at least $|f(x)|^ε$. The result of Gross and Vincent, as well as the other results mentioned above, are generalized to values of binary forms and decomposable forms at integral points. Our main tools are Baker type estimates for linear forms in complex and $p$-adic logarithms, the $p$-adic Subspace Theorem of Schmidt and Schlickewei, and a recent general lattice point counting result of Barroero and Widmer. △ Less

Submitted 28 August, 2017; originally announced August 2017.

Comments: 42 pages

MSC Class: 11D45; 11D57; 11D59; 11J86; 11J87

Journal ref: Acta Arith. 184 (2018) 151-185 (special volume dedicated to the 75-th birthday of Robert Tijdeman)

On the digital representation of smooth numbers

Authors: Yann Bugeaud, Hajime Kaneko

Abstract: Let $b \ge 2$ be an integer. Among other results, we establish, in a quantitative form, that any sufficiently large integer which is not a multiple of $b$ cannot have simultaneously only few distinct prime factors and only few nonzero digits in its representation in base $b$. Let $b \ge 2$ be an integer. Among other results, we establish, in a quantitative form, that any sufficiently large integer which is not a multiple of $b$ cannot have simultaneously only few distinct prime factors and only few nonzero digits in its representation in base $b$. △ Less

Submitted 3 April, 2017; originally announced April 2017.

Comments: 10 pages

MSC Class: 11A63; 11J86

$S$-parts of terms of integer linear recurrence sequences

Authors: Yann Bugeaud, Jan-Hendrik Evertse

Abstract: Let $S = \{q_1, \ldots , q_s\}$ be a finite, non-empty set of distinct prime numbers. For a non-zero integer $m$, write $m = q_1^{r_1} \ldots q_s^{r_s} M$, where $r_1, \ldots , r_s$ are non-negative integers and $M$ is an integer relatively prime to $q_1 \ldots q_s$. We define the $S$-part $[m]_S$ of $m$ by $[m]_S := q_1^{r_1} \ldots q_s^{r_s}$. Let $(u_n)_{n \ge 0}$ be a linear recurrence sequenc… ▽ More Let $S = \{q_1, \ldots , q_s\}$ be a finite, non-empty set of distinct prime numbers. For a non-zero integer $m$, write $m = q_1^{r_1} \ldots q_s^{r_s} M$, where $r_1, \ldots , r_s$ are non-negative integers and $M$ is an integer relatively prime to $q_1 \ldots q_s$. We define the $S$-part $[m]_S$ of $m$ by $[m]_S := q_1^{r_1} \ldots q_s^{r_s}$. Let $(u_n)_{n \ge 0}$ be a linear recurrence sequence of integers. Under certain necessary conditions, we establish that for every $\varepsilon > 0$, there exists an integer $n_0$ such that $[u_n]_S\leq |u_n|^{\varepsilon}$ holds for $n > n_0$. Our proof is ineffective in the sense that it does not give an explicit value for $n_0$. Under various assumptions on $(u_n)_{n \ge 0}$, we also give effective, but weaker, upper bounds for $[u_n]_S$ of the form $|u_n|^{1 -c}$, where $c$ is positive and depends only on $(u_n)_{n \ge 0}$ and $S$. △ Less

Submitted 2 November, 2016; originally announced November 2016.

MSC Class: 11B37; 11J86; 11J87

Hausdorff dimension and uniform exponents in dimension two

Authors: Yann Bugeaud, Yitwah Cheung, Nicolas Chevallier

Abstract: In this paper we prove the Hausdorff dimension of the set of (nondegenerate) singular two-dimensional vectors with uniform exponent $μ$ $\in$ (1/2, 1) is 2(1 -- $μ$) when $μ$ $\ge$ $\sqrt$ 2/2, whereas for $μ$ \textless{} $\sqrt$ 2/2 it is greater than 2(1 -- $μ$) and at most (3 -- 2$μ$)(1 -- $μ$)/(1 + $μ$ + $μ$ 2). We also establish that this dimension tends to 4/3 (which is the dimension of the… ▽ More In this paper we prove the Hausdorff dimension of the set of (nondegenerate) singular two-dimensional vectors with uniform exponent $μ$ $\in$ (1/2, 1) is 2(1 -- $μ$) when $μ$ $\ge$ $\sqrt$ 2/2, whereas for $μ$ \textless{} $\sqrt$ 2/2 it is greater than 2(1 -- $μ$) and at most (3 -- 2$μ$)(1 -- $μ$)/(1 + $μ$ + $μ$ 2). We also establish that this dimension tends to 4/3 (which is the dimension of the set of singular two-dimensional vectors) when $μ$ tends to 1/2. These results improve upon previous estimates of R. Baker, joint work of the first author with M. Laurent, and unpublished work of M. Laurent. We also prove a lower bound on the packing dimension that is strictly greater than the Hausdorff dimension for $μ$ $\ge$ 0.565. .. . △ Less

Submitted 20 October, 2016; originally announced October 2016.

Journal ref: Math. Proc. Camb. Phil. Soc. 167 (2019) 249-284

On the digital representation of integers with bounded prime factors

Authors: Yann Bugeaud

Abstract: Let $b \ge 2$ be an integer. Not much is known on the representation in base $b$ of prime numbers or of numbers whose prime factors belong to a given, finite set. Among other results, we establish that any sufficiently large integer which is not a multiple of $b$ and has only small (in a suitable sense) prime factors has at least four nonzero digits in its representation in base $b$. Let $b \ge 2$ be an integer. Not much is known on the representation in base $b$ of prime numbers or of numbers whose prime factors belong to a given, finite set. Among other results, we establish that any sufficiently large integer which is not a multiple of $b$ and has only small (in a suitable sense) prime factors has at least four nonzero digits in its representation in base $b$. △ Less

Submitted 26 September, 2016; originally announced September 2016.

MSC Class: 11A63; 11J86; 11J87

On the expansions of real numbers in two multiplicative dependent bases

Authors: Yann Bugeaud, Dong Han Kim

Abstract: Let $r \ge 2$ and $s \ge 2$ be multiplicatively dependent integers. We establish a lower bound for the sum of the block complexities of the $r$-ary expansion and of the $s$-ary expansion of an irrational real number, viewed as infinite words on $\{0, 1, \ldots , r-1\}$ and $\{0, 1, \ldots , s-1\}$, and we show that this bound is best possible. Let $r \ge 2$ and $s \ge 2$ be multiplicatively dependent integers. We establish a lower bound for the sum of the block complexities of the $r$-ary expansion and of the $s$-ary expansion of an irrational real number, viewed as infinite words on $\{0, 1, \ldots , r-1\}$ and $\{0, 1, \ldots , s-1\}$, and we show that this bound is best possible. △ Less

Submitted 21 September, 2016; originally announced September 2016.

Comments: 15pages. arXiv admin note: substantial text overlap with arXiv:1512.06935

MSC Class: 11A63; 68R15

Absolute real root separation

Authors: Yann Bugeaud, Andrej Dujella, Tomislav Pejkovic, Bruno Salvy

Abstract: While the separation (the minimal nonzero distance) between roots of a polynomial is a classical topic, its absolute counterpart (the minimal nonzero distance between their absolute values) does not seem to have been studied much. We present the general context and give tight bounds for the case of real roots. While the separation (the minimal nonzero distance) between roots of a polynomial is a classical topic, its absolute counterpart (the minimal nonzero distance between their absolute values) does not seem to have been studied much. We present the general context and give tight bounds for the case of real roots. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Journal ref: American Mathematical Monthly, vol. 124, no. 10, pp. 930-936, dec. 2017

Effective irrationality measures for real and $p$-adic roots of rational numbers close to $1$, with an application to parametric families of Thue-Mahler equations

Authors: Yann Bugeaud

Abstract: We show how the theory of linear forms in two logarithms allows one to get effective irrationality measures for $n$-th roots of rational numbers ${a \over b}$, when $a$ is very close to $b$. We give a $p$-adic analogue of this result under the assumption that $a$ is $p$-adically very close to $b$, that is, that a large power of $p$ divides $a-b$. As an application, we solve completely certain fami… ▽ More We show how the theory of linear forms in two logarithms allows one to get effective irrationality measures for $n$-th roots of rational numbers ${a \over b}$, when $a$ is very close to $b$. We give a $p$-adic analogue of this result under the assumption that $a$ is $p$-adically very close to $b$, that is, that a large power of $p$ divides $a-b$. As an application, we solve completely certain families of Thue-Mahler equations. Our results illustrate, admittedly in a very special situation, the strength of the known estimates for linear forms in logarithms. △ Less

Submitted 17 February, 2016; originally announced February 2016.

Comments: 12 pages, comments welcome!

MSC Class: 11J86; 11J61; 11J68; 11D61

On the expansions of real numbers in two integer bases

Authors: Yann Bugeaud, Dong Han Kim

Abstract: Let $r$ and $s$ be multiplicatively independent positive integers. We establish that the $r$-ary expansion and the $s$-ary expansion of an irrational real number, viewed as infinite words on $\{0, 1, \ldots , r-1\}$ and $\{0, 1, \ldots , s-1\}$, respectively, cannot have simultaneously a low block complexity. In particular, they cannot be both Sturmian words. Let $r$ and $s$ be multiplicatively independent positive integers. We establish that the $r$-ary expansion and the $s$-ary expansion of an irrational real number, viewed as infinite words on $\{0, 1, \ldots , r-1\}$ and $\{0, 1, \ldots , s-1\}$, respectively, cannot have simultaneously a low block complexity. In particular, they cannot be both Sturmian words. △ Less

Submitted 12 December, 2016; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: 11 pages, to appear at Annales de l'Institut Fourier

MSC Class: 11A63 (primary); 68R15 (secondary)

On uniform approximation to real numbers

Authors: Yann Bugeaud, Johannes Schleischitz

Abstract: Let $n \ge 2$ be an integer and $ξ$ a transcendental real number. We establish several new relations between the values at $ξ$ of the exponents of Diophantine approximation $w_n, w_{n}^{\ast}, \hat{w}_{n}$, and $\hat{w}_{n}^{\ast}$. Combining our results with recent estimates by Schmidt and Summerer allows us to refine the inequality $\hat{w}_{n}(ξ) \le 2n-1$ proved by Davenport and Schmidt in 196… ▽ More Let $n \ge 2$ be an integer and $ξ$ a transcendental real number. We establish several new relations between the values at $ξ$ of the exponents of Diophantine approximation $w_n, w_{n}^{\ast}, \hat{w}_{n}$, and $\hat{w}_{n}^{\ast}$. Combining our results with recent estimates by Schmidt and Summerer allows us to refine the inequality $\hat{w}_{n}(ξ) \le 2n-1$ proved by Davenport and Schmidt in 1969. △ Less

Submitted 11 May, 2016; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: 15 pages. Former version of Theorems 2.2, 2.4 improved

MSC Class: 11J04; 11J13; 11J82

Journal ref: Acta Arith. 175 (2016), no. 3, 255-268

On the $b$-ary expansions of $\log (1 + \frac{1}{a})$ and ${\mathrm e}$

Authors: Yann Bugeaud, Dong Han Kim

Abstract: Let $b \ge 2$ be an integer and $ξ$ an irrational real number. We prove that, if the irrationality exponent of $ξ$ is equal to $2$ or slightly greater than $2$, then the $b$-ary expansion of $ξ$ cannot be `too simple', in a suitable sense. Our result applies, among other classical numbers, to badly approximable numbers, non-zero rational powers of ${\mathrm e}$, and $\log (1 + \frac{1}{a})$, provi… ▽ More Let $b \ge 2$ be an integer and $ξ$ an irrational real number. We prove that, if the irrationality exponent of $ξ$ is equal to $2$ or slightly greater than $2$, then the $b$-ary expansion of $ξ$ cannot be `too simple', in a suitable sense. Our result applies, among other classical numbers, to badly approximable numbers, non-zero rational powers of ${\mathrm e}$, and $\log (1 + \frac{1}{a})$, provided that the integer $a$ is sufficiently large. It establishes an unexpected connection between the irrationality exponent of a real number and its $b$-ary expansion. △ Less

Submitted 1 October, 2015; originally announced October 2015.

Comments: 17 pages

MSC Class: 11A63; 11J82; 68R15

A new complexity function, repetitions in Sturmian words, and irrationality exponents of Sturmian numbers

Authors: Yann Bugeaud, Dong Han Kim

Abstract: We introduce and study a new complexity function in combinatorics on words, which takes into account the smallest second occurrence time of a factor of an infinite word. We characterize the eventually periodic words and the Sturmian words by means of this function. Then, we establish a new result on repetitions in Sturmian words and show that it is best possible. Let $b \ge 2$ be an integer. We de… ▽ More We introduce and study a new complexity function in combinatorics on words, which takes into account the smallest second occurrence time of a factor of an infinite word. We characterize the eventually periodic words and the Sturmian words by means of this function. Then, we establish a new result on repetitions in Sturmian words and show that it is best possible. Let $b \ge 2$ be an integer. We deduce a lower bound for the irrationality exponent of real numbers whose sequence of $b$-ary digits is a Sturmian sequence over $\{0,1,\ldots, b-1\}$ and we prove that this lower bound is best possible. As an application, we derive some information on the $b$-ary expansion of $\log(1+\frac{1}{a})$,for any integer $a \ge 34$. △ Less

Submitted 23 August, 2017; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 38 pages

MSC Class: 68R15; 11A63; 11J82

Hankel determinants, Padé approximations, and irrationality exponents

Authors: Yann Bugeaud, Guo-Niu Han, Zhi-Ying Wen, Jia-Yan Yao

Abstract: The irrationality exponent of an irrational number $ξ$, which measures the approximation rate of $ξ$ by rationals, is in general extremely difficult to compute explicitly, unless we know the continued fraction expansion of $ξ$. Results obtained so far are rather fragmentary, and often treated case by case. In this work, we shall unify all the known results on the subject by showing that the irrati… ▽ More The irrationality exponent of an irrational number $ξ$, which measures the approximation rate of $ξ$ by rationals, is in general extremely difficult to compute explicitly, unless we know the continued fraction expansion of $ξ$. Results obtained so far are rather fragmentary, and often treated case by case. In this work, we shall unify all the known results on the subject by showing that the irrationality exponents of large classes of automatic numbers and Mahler numbers (which are transcendental) are exactly equal to $2$. Our classes contain the Thue--Morse--Mahler numbers, the sum of the reciprocals of the Fermat numbers, the regular paperfolding numbers, which have been previously considered respectively by Bugeaud, Coons, and Guo, Wu and Wen, but also new classes such as the Stern numbers and so on. Among other ingredients, our proofs use results on Hankel determinants obtained recently by Han. △ Less

Submitted 1 September, 2015; v1 submitted 10 March, 2015; originally announced March 2015.

Comments: International Mathematics Research Notices 2015

MSC Class: 05A10; 05A15; 11B50; 11B85; 11J72; 11J82

Exponents of Diophantine approximation

Authors: Yann Bugeaud

Abstract: We survey classical and recent results on exponents of Diophantine approximation. We give only a few proofs and highlight several open problems. We survey classical and recent results on exponents of Diophantine approximation. We give only a few proofs and highlight several open problems. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 37 pages, comments are welcome!

MSC Class: 11J13

The Irrationality Exponents of Computable Numbers

Authors: Verónica Becher, Yann Bugeaud, Theodore A. Slaman

Abstract: We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers whose irrationality exponent is not computable. We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers whose irrationality exponent is not computable. △ Less

Submitted 3 October, 2014; originally announced October 2014.

A combinatorial proof of the non-vanishing of Hankel determinants of the Thue--Morse sequence

Authors: Yann Bugeaud, Guo-Niu Han

Abstract: In 1998, Allouche, Peyrière, Wen and Wen established that the Hankel determinants associated with the Thue--Morse sequence on $\{-1, 1\}$ are always nonzero. Their proof depends on a set of sixteen recurrence relations. We present an alternative, purely combinatorial proof of the same result. We also re-prove a recent result of Coons on the non-vanishing of the Hankel determinants associated to tw… ▽ More In 1998, Allouche, Peyrière, Wen and Wen established that the Hankel determinants associated with the Thue--Morse sequence on $\{-1, 1\}$ are always nonzero. Their proof depends on a set of sixteen recurrence relations. We present an alternative, purely combinatorial proof of the same result. We also re-prove a recent result of Coons on the non-vanishing of the Hankel determinants associated to two other classical integer sequences. △ Less

Submitted 6 June, 2014; originally announced June 2014.

MSC Class: 05A05; 11J82

On the complexity of a putative counterexample to the $p$-adic Littlewood conjecture

Authors: Dmitry Badziahin, Yann Bugeaud, Manfred Einsiedler, Dmitry Kleinbock

Abstract: Let $|| \cdot ||$ denote the distance to the nearest integer and, for a prime number $p$, let $| \cdot |_p$ denote the $p$-adic absolute value. In 2004, de Mathan and Teulié asked whether $\inf_{q \ge 1} \, q \cdot || q α|| \cdot | q |_p = 0$ holds for every badly approximable real number $α$ and every prime number $p$. Among other results, we establish that, if the complexity of the sequence of p… ▽ More Let $|| \cdot ||$ denote the distance to the nearest integer and, for a prime number $p$, let $| \cdot |_p$ denote the $p$-adic absolute value. In 2004, de Mathan and Teulié asked whether $\inf_{q \ge 1} \, q \cdot || q α|| \cdot | q |_p = 0$ holds for every badly approximable real number $α$ and every prime number $p$. Among other results, we establish that, if the complexity of the sequence of partial quotients of a real number $α$ grows too rapidly or too slowly, then their conjecture is true for the pair $(α, p)$ with $p$ an arbitrary prime. △ Less

Submitted 22 January, 2015; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: 19 pages; a revised version

MSC Class: 11J04; 11J61; 11J83; 37A35; 37A45; 37D40

Journal ref: Compositio Mathematica 151 (2015) 1647-1662

Uniform Diophantine approximation related to $b$-ary and $β$-expansions

Authors: Yann Bugeaud, Lingmin Liao

Abstract: Let $b\geq 2$ be an integer and $\hv$ a real number. Among other results, we compute the Hausdorff dimension of the set of real numbers $ξ$ with the property that, for every sufficiently large integer $N$, there exists an integer $n$ such that $1 \le n \le N$ and the distance between $b^n ξ$ and its nearest integer is at most equal to $b^{-\hv N}$. We further solve the same question when replacing… ▽ More Let $b\geq 2$ be an integer and $\hv$ a real number. Among other results, we compute the Hausdorff dimension of the set of real numbers $ξ$ with the property that, for every sufficiently large integer $N$, there exists an integer $n$ such that $1 \le n \le N$ and the distance between $b^n ξ$ and its nearest integer is at most equal to $b^{-\hv N}$. We further solve the same question when replacing $b^nξ$ by $T^n_βξ$, where $T_β$ denotes the classical $β$-transformation. △ Less

Submitted 4 June, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 25 pages

Journal ref: Ergod. Th. Dynam. Sys. 36 (2014) 1-22