BZPEER

preprint2022arXiv

$B'$

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.

preprint2022arXiv

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

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$ .

preprint2022arXiv

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

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)$ .

preprint2021arXiv

Fractional parts of powers of real algebraic numbers

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.

preprint2020arXiv

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

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.

preprint2020arXiv

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

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.

preprint2019arXiv

Inhomogeneous Diophantine approximation over fields of formal power series

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$ .

preprint2016arXiv

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

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$ .

preprint2016arXiv

On the digital representation of integers with bounded prime factors

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$ .

preprint2016arXiv

On the expansions of real numbers in two integer bases

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.

preprint2016arXiv

On the expansions of real numbers in two multiplicative dependent bases

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.

preprint2016arXiv

On uniform approximation to real numbers

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.

preprint2015arXiv

Diophantine approximation of Mahler numbers

Suppose that $F(x)\in\mathbb{Z}[[x]]$ is a Mahler function and that $1/b$ is in the radius of convergence of $F(x)$ . In this paper, we consider the approximation of $F(1/b)$ by algebraic numbers. In particular, we prove that $F(1/b)$ cannot be a Liouville number. If $F(x)$ is also regular, we show that $F(1/b)$ is either rational or transcendental, and in the latter case that $F(1/b)$ is an $S$ -number or a $T$ -number.

preprint2015arXiv

Exponents of Diophantine approximation

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

preprint2015arXiv

Hankel determinants, Padé approximations, and irrationality exponents

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.

preprint2015arXiv

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

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.

preprint2015arXiv

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

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.

preprint2014arXiv

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

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.

preprint2014arXiv

The Irrationality Exponents of Computable Numbers

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.

preprint2014arXiv

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

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.

preprint2013arXiv

Metric Diophantine approximation on the middle-third Cantor set

Let $μ\geq 2$ be a real number and let $\Mcal(μ)$ denote the set of real numbers approximable at order at least $μ$ by rational numbers. More than eighty years ago, Jarní k and, independently, Besicovitch established that the Hausdorff dimension of $\Mcal(μ)$ is equal to $2/μ$ . We investigate the size of the intersection of $\Mcal(μ)$ with Ahlfors regular compact subsets of the interval $[0, 1]$ . In particular, we propose a conjecture for the exact value of the dimension of $\Mcal(μ)$ intersected with the middle-third Cantor set and give several results supporting this conjecture. We especially show that the conjecture holds for a natural probabilistic model that is intended to mimic the distribution of the rationals. The core of our study relies heavily on dimension estimates concerning the set of points lying in an Ahlfors regular set and approximated at a given rate by a system of random points.

preprint2013arXiv

On Simply Normal Numbers to Different Bases

Let s be an integer greater than or equal to 2. A real number is simply normal to base s if in its base-s expansion every digit 0, 1, ..., s-1 occurs with the same frequency 1/s. Let X be the set of positive integers that are not perfect powers, hence X is the set {2,3, 5,6,7,10,11,...} . Let M be a function from X to sets of positive integers such that, for each s in X, if m is in M(s) then each divisor of m is in M(s) and if M(s) is infinite then it is equal to the set of all positive integers. These conditions on M are necessary for there to be a real number which is simply normal to exactly the bases s^m such that s is in X and m is in M(s). We show these conditions are also sufficient and further establish that the set of real numbers that satisfy them has full Hausdorff dimension. This extends a result of W. M. Schmidt (1961/1962) on normal numbers to different bases.

preprint2013arXiv

Root separation for reducible integer polynomials

We construct parametric families of (monic) reducible polynomials having two roots very close to each other.

preprint2012arXiv

Automatic continued fractions are transcendental or quadratic

We establish new combinatorial transcendence criteria for continued fraction expansions. Let $α= [0; a_1, a_2,...]$ be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients $(a_{\ell})_{\ell \ge 1}$ of $α$ cannot be generated by a finite automaton, and that the complexity function of $(a_{\ell})_{\ell \ge 1}$ cannot increase too slowly.

preprint2011arXiv

Root separation for irreducible integer polynomials

We establish new results on root separation of integer, irreducible polynomials of degree at least four. These improve earlier bounds of Bugeaud and Mignotte (for even degree) and of Beresnevich, Bernik, and Goetze (for odd degree).

preprint2010arXiv

Metric considerations concerning the mixed Littlewood Conjecture

The main goal of this note is to develop a metrical theory of Diophantine approximation within the framework of the de Mathan-Teulie Conjecture, also known as the `Mixed Littlewood Conjecture'. Let p be a prime. A consequence of our main result is that, for almost every real number α, \liminf_{n\rar\infty}n(\log n)^2|n|_p\|nα\|=0.

preprint2010arXiv

On fractional parts of powers of real numbers close to 1

We prove that there exist arbitrarily small positive real numbers $ε$ such that every integral power $(1 + \vepsilon)^n$ is at a distance greater than $2^{-17} ε|\log \vepsilon|^{-1}$ to the set of rational integers. This is sharp up to the factor $2^{-17} |\log ε|^{-1}$ . We also establish that the set of real numbers $α> 1$ such that the sequence of fractional parts $(\{α^n\})_{n \ge 1}$ is not dense modulo 1 has full Hausdorff dimension.

preprint2010arXiv

Transcendence with Rosen continued fractions

We give the first transcendence results for the Rosen continued fractions. Introduced over half a century ago, these fractions expand real numbers in terms of certain algebraic numbers.

preprint2009arXiv

On a mixed problem in Diophantine approximation

Let $d$ be a positive integer. Let $p$ be a prime number. Let $α$ be a real algebraic number of degree $d+1$ . We establish that there exist a positive constant $c$ and infinitely many algebraic numbers $ξ$ of degree $d$ such that $|α- ξ| \cdot \min\{|\Norm(ξ)|_p,1\} < c H(ξ)^{-d-1} (\log 3 H(ξ))^{-1/d}$. Here, $H(ξ)$ and $\Norm(ξ)$ denote the na{\"ı}ve height of $ξ$ and its norm, respectively. This extends an earlier result of de Mathan and Teulié that deals with the case $d=1$ .

preprint2005arXiv

Continued fractions and transcendental numbers

It is widely believed that the continued fraction expansion of every irrational algebraic number $α$ either is eventually periodic (and we know that this is the case if and only if $α$ is a quadratic irrational), or it contains arbitrarily large partial quotients. Apparently, this question was first considered by Khintchine. A preliminary step towards its resolution consists in providing explicit examples of transcendental continued fractions. The main purpose of the present work is to present new families of transcendental continued fractions with bounded partial quotients. Our results are derived thanks to new combinatorial transcendence criteria recently obtained by Adamczewski and Bugeaud.

preprint2005arXiv

On the complexity of algebraic number I. Expansions in integer bases

Let $b \ge 2$ be an integer. We prove that the $b$ -adic expansion of every irrational algebraic number cannot have low complexity. Furthermore, we establish that irrational morphic numbers are transcendental, for a wide class of morphisms. In particular, irrational automatic numbers are transcendental. Our main tool is a new, combinatorial transcendence criterion.

preprint2005arXiv

On the complexity of algebraic numbers II. Continued fractions

The continued fraction expansion of an irrational number $α$ is eventually periodic if and only if $α$ is a quadratic irrationality. However, very little is known regarding the size of the partial quotients of algebraic real numbers of degree at least three. Because of some numerical evidence and a belief that these numbers behave like most numbers in this respect, it is often conjectured that their partial quotients form an unbounded sequence. More modestly, we may expect that if the sequence of partial quotients of an irrational number $α$ is, in some sense, "simple", then $α$ is either quadratic or transcendental. The term "simple" can of course lead to many interpretations. It may denote real numbers whose continued fraction expansion has some regularity, or can be produced by a simple algorithm (by a simple Turing machine, for example), or arises from a simple dynamical system... The aim of this paper is to present in a unified way several new results on these different approaches of the notion of simplicity/complexity for the continued fraction expansion of algebraic real numbers of degree at least three.

preprint2005arXiv

On the Littlewood conjecture in fields of power series

Let $\k$ be an arbitrary field. For any fixed badly approximable power series $Θ$ in $\k((X^{-1}))$, we give an explicit construction of continuum many badly approximable power series $Φ$ for which the pair $(Θ, Φ)$ satisfies the Littlewood conjecture. We further discuss the Littlewood conjecture for pairs of algebraic power series.

preprint2005arXiv

On the Littlewood conjecture in simultaneous Diophantine approximation

For any given real number $α$ with bounded partial quotients, we construct explicitly continuum many real numbers $β$ with bounded partial quotients for which the pair $(α, β)$ satisfies a strong form of the Littlewood conjecture. Our proof is elementary and rests on the basic theory of continued fractions.

preprint2005arXiv

On the Maillet--Baker continued fractions

We use the Schmidt Subspace Theorem to establish the transcendence of a class of quasi-periodic continued fractions. This improves earlier works of Maillet and of A. Baker. We also improve an old result of Davenport and Roth on the rate of increase of the denominators of the convergents to any real algebraic number.

preprint2005arXiv

Palindromic continued fractions

In the present work, we investigate real numbers whose sequence of partial quotients enjoys some combinatorial properties involving the notion of palindrome. We provide three new transendence criteria, that apply to a broad class of continued fraction expansions, including expansions with unbounded partial quotients. Their proofs heavily depend on the Schmidt Subspace Theorem.

Yann Bugeaud

Research overview

Is this your work?

36 publications

B′B'B′

The Thue-Morse continued fractions in characteristic 222 are algebraic

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

Fractional parts of powers of real algebraic numbers

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

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

Inhomogeneous Diophantine approximation over fields of formal power series

SSS-parts of terms of integer linear recurrence sequences

On the digital representation of integers with bounded prime factors

On the expansions of real numbers in two integer bases

On the expansions of real numbers in two multiplicative dependent bases

On uniform approximation to real numbers

Diophantine approximation of Mahler numbers

Exponents of Diophantine approximation

Hankel determinants, Padé approximations, and irrationality exponents

On the bbb-ary expansions of log⁡(1+1a)\log (1 + \frac{1}{a})log(1+a1​) and e{\mathrm e}e

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

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

The Irrationality Exponents of Computable Numbers

Uniform Diophantine approximation related to bbb-ary and βββ-expansions

Metric Diophantine approximation on the middle-third Cantor set

On Simply Normal Numbers to Different Bases

Root separation for reducible integer polynomials

Automatic continued fractions are transcendental or quadratic

Root separation for irreducible integer polynomials

Metric considerations concerning the mixed Littlewood Conjecture

On fractional parts of powers of real numbers close to 1

Transcendence with Rosen continued fractions

On a mixed problem in Diophantine approximation

Continued fractions and transcendental numbers

On the complexity of algebraic number I. Expansions in integer bases

On the complexity of algebraic numbers II. Continued fractions

On the Littlewood conjecture in fields of power series

On the Littlewood conjecture in simultaneous Diophantine approximation

On the Maillet--Baker continued fractions

Palindromic continued fractions

See the researcher in context

Building this map preview

$B'$

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

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

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

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

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