We establish an effective improvement on the Liouville inequality for approximation to complex nonreal algebraic numbers by quadratic complex algebraic numbers.

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 $\alpha \in K$ such that $f_1(\alpha),\ldots,f_n(\alpha)$ are multiplicatively dependent modulo such sets.

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 $p$ be a prime number. For a positive integer $n$ and a real number $\xi$, let $\lambda _n (\xi )$ denote the supremum of the real numbers $\lambda$ for which there are infinitely many integer tuples $(x_0, x_1, \ldots , x_n)$ such that $| x_0 \xi - x_1|_p, \ldots , | x_0 \xi ^{n} - x_n|_p$ are all less than $X^{-\lambda - 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 $\xi$ for which $\lambda _n (\xi )$ is equal to (or greater than or equal to) a given value.

We carry Sprindžuk’s classification of the complex numbers to the field $\mathbb{Q}_{p}$ of $p$-adic numbers. We establish several estimates for the $p$-adic distance between $p$-adic roots of integer polynomials, which we apply to show that almost all $p$-adic numbers, with respect to the Haar measure, are $p$-adic $\tilde{S}$-numbers of order 1.

We establish several new metrical results on the distribution properties of the sequence ({xn})n≥1, where {·} denotes the fractional part. Many of them are presented in a more general framework, in which the sequence of functions (x ↦ xn)n≥1 is replaced by a sequence (fn)n≥1, under some growth and regularity conditions on the functions fn.

We give transcendence measures for $p$-adic numbers $\unicode[STIX]{x1D709}$, having good rational (respectively, integer) approximations, that force them to be either $p$-adic $S$-numbers or $p$-adic $T$-numbers.

In this paper we prove that the Hausdorff dimension of the set of (nondegenerate) singular two-dimensional vectors with uniform exponent μ in (1/2, 1) is equal to 2(1 − μ) for μ ⩾ $\sqrt2/2$, whereas for μ < $\sqrt2/2$ it is greater than 2(1 − μ) and at most equal to (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. Moreover, we prove a lower bound for the packing dimension, which appears to be strictly greater than the Hausdorff dimension for μ ⩾ 0.565. . . .

Let b ⩾ 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 simultaneously be divisible only by very small primes and have very few nonzero digits in its representation in base b.

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}}\cdots 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}\cdots q_{s}$. We define the $S$-part $[m]_{S}$ of $m$ by $[m]_{S}:=q_{1}^{r_{1}}\cdots q_{s}^{r_{s}}$. Let $(u_{n})_{n\geqslant 0}$ be a linear recurrence sequence of integers. Under certain necessary conditions, we establish that for every $\unicode[STIX]{x1D700}>0$, there exists an integer $n_{0}$ such that $[u_{n}]_{S}\leqslant |u_{n}|^{\unicode[STIX]{x1D700}}$ 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\geqslant 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\geqslant 0}$ and $S$.

Let $r\geq 2$ and $s\geq 2$ be multiplicatively dependent integers. We establish a lower bound for the sum of the block complexities of 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\}$, and we show that this bound is best possible.

We show how the theory of linear forms in two logarithms allows one to get very good effective irrationality measures for nth roots of rational numbers a/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.

Let $\Vert \cdot \Vert$ denote the distance to the nearest integer and, for a prime number $p$, let $|\cdot |_{p}$ denote the $p$-adic absolute value. Over a decade ago, de Mathan and Teulié [Problèmes diophantiens simultanés, Monatsh. Math. 143 (2004), 229–245] asked whether $\inf _{q\geqslant 1}$$q\cdot \Vert q{\it\alpha}\Vert \cdot |q|_{p}=0$ holds for every badly approximable real number ${\it\alpha}$ and every prime number $p$. Among other results, we establish that, if the complexity of the sequence of partial quotients of a real number ${\it\alpha}$ grows too rapidly or too slowly, then their conjecture is true for the pair $({\it\alpha},p)$ with $p$ an arbitrary prime.

Let $b\geq 2$ be an integer and $\hat{v}$ a real number. Among other results, we compute the Hausdorff dimension of the set of real numbers ${\it\xi}$ with the property that, for every sufficiently large integer $N$, there exists an integer $n$ such that $1\leq n\leq N$ and the distance between $b^{n}{\it\xi}$ and its nearest integer is at most equal to $b^{-\hat{v}N}$. We further solve the same question when replacing $b^{n}{\it\xi}$ by $T_{{\it\beta}}^{n}{\it\xi}$, where $T_{{\it\beta}}$ denotes the classical ${\it\beta}$-transformation.

We solve the equation ${x}^{a} + {x}^{b} + 1= {y}^{q} $ in positive integers $x, y, a, b$ and $q$ with $a\gt b$ and $q\geq 2$ coprime to $\phi (x)$. This requires a combination of a variety of techniques from effective Diophantine approximation, including lower bounds for linear forms in complex and $p$-adic logarithms, the hypergeometric method of Thue and Siegel applied $p$-adically, local methods, and the algorithmic resolution of Thue equations.

We prove that if q ≥ 5 is an integer, then every qth power of an integer contains at least 5 nonzero digits in its binary expansion. This is a particular instance of one of a collection of rather more general results, whose proofs follow from a combination of refined lower bounds for linear forms in Archimedean and non-Archimedean logarithms with various local arguments.