arXiv subjects
Publications and source records attributed to Boris Adamczewski.
We prove congruence relations modulo cyclotomic polynomials for multisums of $q$-factorial ratios, therefore generalizing many well-known $p$-Lucas congruences. Such congruences connect various classical generating series to their $q$-analogs. Using this, we prove a propagation phenomenon: when these generating series are algebraically independent, this is also the case for their $q$-analogs.
This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function $f(z)$ in ${\bf k}\{z\}$, where ${\bf k}$ denotes a number field, and an algebraic number $α$ in the domain of holomorphy of $f$, the number $f(α)$ is either transcendental or belongs to ${\bf k}(α)$. We describe here an effective procedure to decide if such a number is transcendental or not. More generally, given several Mahler functions $f_1(z),\cdots,f_r(z)$ and an algebraic number $α$ in the domain of holomorphy of these functions, we show how to effectively determine a basis of the vector space of $\overline{\mathbb Q}$-linear relations between $f_1(α),\cdots,f_r(α)$.
This paper is concerned with Mahler's method. We study in detail the structure of linear relations between values of Mahler functions at algebraic points. In particular, given a field ${\bf k}$, a Mahler function $f(z)\in{\bf k}\{z\}$, and an algebraic number $α$, $0<\vert α\vert <1$, that is not a pole for $f$, we show that one can always determined whether the number $f(α)$ is transcendental or not. In the latter case, we obtain that $f(α)$ belong to the number fields ${\bf k}(α)$. We also consider some consequences of such results to a classical number theoretical problem: the study of sequences of digits of algebraic numbers in an integer (or, more generally, algebraic) base. Our results are based on a theorem of Philippon [31] that we refine. We also simplify his proof.
Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in K[[z]]$ satisfies both a $k$- and a $l$-Mahler type functional equation if and only if it is a rational function.
In this survey, we present five different proofs for the transcendence of Kempner's number, defined by the infinite series $\sum_{n=0}^{\infty} \frac{1}{2^{2^n}}$. We take the opportunity to mention some interesting ideas and methods that are used for proving deeper results. We outline proofs for some of these results and also point out references where the reader can find all the details.
We prove a quantitative version of a result of Furstenberg and Deligne stating that the the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain that for every prime $p$ the reduction modulo $p$ of the diagonal of a multivariate algebraic power series $f$ with integer coefficients is an algebraic power series of degree at most $p^{A}$ and height at most $A^2p^{A+1}$, where $A$ is an effective constant that only depends on the number of variables, the degree of $f$ and the height of $f$. This answers a question raised by Deligne.
Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$. We prove a generalization of both Derksen's recent analogue of the Skolem-Mahler-Lech theorem in positive characteristic and a classical theorem of Christol, by showing that the set of indices $(n_1,...,n_d)\in \mathbb{N}^d$ for which the coefficient of $t_1^{n_1}...t_d^{n_d}$ in $f(t_1,...,t_d)$ is zero is a $p$-automatic set. Applying this result to multivariate rational functions leads to interesting effective results concerning some Diophantine equations related to $S$-unit equations and more generally to the Mordell--Lang Theorem over fields of positive characteristic.
We derive a lower bound for the subword complexity of the base-$b$ expansion ($b\geq 2$) of all real numbers whose irrationality exponent is equal to 2. This provides a generalization of a theorem due to Ferenczi and Mauduit. As a consequence, we obtain the first lower bound for the subword complexity of the number $e$ and of some other transcendental exponential periods.
We study real numbers $β$ with the curious property that the $β$-expansion of all sufficiently small positive rational numbers is purely periodic. It is known that such real numbers have to be Pisot numbers which are units of the number field they generate. We complete known results due to Akiyama to characterize algebraic numbers of degree 3 that enjoy this property. This extends results previously obtained in the case of degree 2 by Schmidt, Hama and Imahashi. Let $γ(β)$ denote the supremum of the real numbers $c$ in $(0,1)$ such that all positive rational numbers less than $c$ have a purely periodic $β$-expansion. We prove that $γ(β)$ is irrational for a class of cubic Pisot units that contains the smallest Pisot number $η$. This result is motivated by the observation of Akiyama and Scheicher that $γ(η)=0.666 666 666 086 ...$ is surprisingly close to 2/3.
We study some diophantine properties of automatic real numbers and we present a method to derive irrationality measures for such numbers. As a consequence, we prove that the $b$-adic expansion of a Liouville number cannot be generated by a finite automaton, a conjecture due to Shallit.
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.
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.
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.
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.
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.
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.
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.