BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Yann Bugeaud

Yann Bugeaud contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.DSmath.COmath.CAmath.PR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
33works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

33 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;, 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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{\&#34;ı}ve height of $ξ$ and its norm, respectively. This extends an earlier result of de Mathan and Teulié that deals with the case $d=1$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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, &#34;simple&#34;, then $α$ is either quadratic or transcendental. The term &#34;simple&#34; 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.

0 citations0 reviewsNo code linkedOpen access