We establish explicit constructions of Mahler’s p-adic $U_{m}$-numbers by using Ruban p-adic continued fraction expansions of algebraic irrational p-adic numbers of degree m.

Let $\Omega =\mathbb {Z}\omega _1+\mathbb {Z}\omega _2$ be a lattice in $\mathbb {C}$ with invariants $g_2,g_3$ and $\sigma _{\Omega }(z)$ the associated Weierstrass $\sigma $-function. Let $\eta _1$ and $\eta _2$ be the quasi-periods associated to $\omega _1$ and $\omega _2$, respectively. Assuming $\eta _2/\eta _1$ is a nonzero real number, we give an upper bound for the number of algebraic points on the graph of $\sigma _{\Omega }(z)$ of bounded degrees and bounded absolute Weil heights in some unbounded region of $\mathbb {C}$ in the following three cases: (i) $\omega _1$ and $\omega _2$ algebraic; (ii) $g_2$ and $g_3$ algebraic; (iii) the algebraic points are far from the lattice points.

In the field of formal power series over a finite field, we prove a result which enables us to construct explicit examples of $U_{m}$ -numbers by using continued fraction expansions of algebraic formal power series of degree $m>1$ .

We give a new hypergeometric construction of rational approximations to ζ(4), which absorbs the earlier one from 2003 based on Bailey's 9F8 hypergeometric integrals. With the novel ingredients we are able to gain better control of the arithmetic and produce a record irrationality measure for ζ(4).

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.

In the field $\mathbb{K}$ of formal power series over a finite field $K$, we consider some lacunary power series with algebraic coefficients in a finite extension of $K(x)$. We show that the values of these series at nonzero algebraic arguments in $\mathbb{K}$ are $U$-numbers.

In 1984, K. Mahler asked how well elements in the Cantor middle third set can be approximated by rational numbers from that set and by rational numbers outside of that set. We consider more general missing digit sets $C$ and construct numbers in $C$ that are arbitrarily well approximable by rationals in $C$, but badly approximable by rationals outside of $C$. More precisely, we construct them so that all but finitely many of their convergents lie in $C$.

The approximation constant ${\it\lambda}_{k}({\it\zeta})$ is defined as the supremum of ${\it\eta}\in \mathbb{R}$ such that the estimate $\max _{1\leqslant j\leqslant k}\Vert {\it\zeta}^{j}x\Vert \leqslant x^{-{\it\eta}}$ has infinitely many integer solutions $x$. Here $\Vert .\Vert$ denotes the distance to the closest integer. We establish a connection on the joint spectrum $({\it\lambda}_{1}({\it\zeta}),{\it\lambda}_{2}({\it\zeta}),\ldots )$, which will lead to various improvements of known results on the individual spectrum of the approximation constants ${\it\lambda}_{k}({\it\zeta})$ as well. In particular, for given $k\geqslant 1$ and ${\it\lambda}\geqslant 1$, we construct ${\it\zeta}$ in the Cantor set with ${\it\lambda}_{k}({\it\zeta})={\it\lambda}$. Moreover, we establish an estimate for the uniform approximation constants $\widehat{{\it\lambda}}_{k}({\it\zeta})$, which enables us to determine classical approximation constants for Liouville numbers.

We establish measures of non-quadraticity and transcendence measures for real numbers whose sequence of partial quotients has sublinear block complexity. The main new ingredient is an improvement of Liouville’s inequality giving a lower bound for the distance between two distinct quadratic real numbers. Furthermore, we discuss the gap between Mahler’s exponent w2 and Koksma’s exponent w*2.

For each real number $\xi$, let $\widehat{{{\lambda }_{2}}}\left( \xi \right)$ denote the supremum of all real numbers $\text{ }\!\!\lambda\!\!\text{ }$ such that, for each sufficiently large $X$ , the inequalities $\left| {{x}_{0}} \right|\,\le \,X,\,\left| {{x}_{0}}\xi \,-\,{{x}_{1}} \right|\,\le \,{{X}^{-\lambda \text{ }}}$ and $\left| {{x}_{0}}{{\xi }^{2}}\,-\,{{x}_{2}} \right|\,\le \,{{X}^{-\lambda \text{ }}}$ admit a solution in integers ${{x}_{0}},\,{{x}_{1}}$ and ${{x}_{2}}$ not all zero, and let $\widehat{{{\omega }_{2}}}\left( \xi \right)$ denote the supremum of all real numbers $\omega $ such that, for each sufficiently large $X$, the dual inequalities $\left| {{x}_{0}}\,+\,{{x}_{1}}\xi \,+\,{{x}_{2}}{{\xi }^{2}} \right|\,\le \,{{X}^{-\omega }}$, $\left| {{x}_{1}} \right|\,\le \,X$ and $\left| {{x}_{2}} \right|\,\le \,X$ admit a solution in integers ${{x}_{0}},\,{{x}_{1}}$ and ${{x}_{2}}$ not all zero. Answering a question of Y. Bugeaud and M. Laurent, we show that the exponents $\widehat{{{\lambda }_{2}}}\left( \xi \right)$ where $\xi$ ranges through all real numbers with $[\mathbb{Q}(\xi )\,:\mathbb{Q}]\,>\,2$ form a dense subset of the interval $\left[ 1/2,\,\left( \sqrt{5}\,-\,1 \right)/2 \right]$ while, for the same values of $\xi$, the dual exponents $\widehat{{{\omega }_{2}}}\left( \xi \right)$ form a dense subset of $\left[ 2,\,\left( \sqrt{5}\,+\,3 \right)/2 \right]$. Part of the proof rests on a result of V. Jarník showing that $\widehat{{{\lambda }_{2}}}\left( \xi \right)=1-{{\hat{\omega }}_{2}}{{\left( \xi \right)}^{-1}}$ for any real number $\xi$ with $[\mathbb{Q}(\xi )\,:\mathbb{Q}]\,>\,2$.

We show that for a given base $b$ and a proper subset $E\subset\{0,\dots,b-1\}$, $\#E\ltb-1$, the set of numbers $x\in[0,1]$ that have no digits from $E$ in their expansion to base $b$ consists almost exclusively of $S^*$-numbers of type at most $\min\{2,\log b/\log(b-\#E)\}$. We also give upper bounds on the Hausdorff dimension of some exceptional sets.

We explicitly solve a collection of binomial Thue equations with unknown degree and unknown $S$-unit coefficients, for a number of sets $S$ of small cardinality. Equivalently, we characterize integers $x$ such that the polynomial $x^2+x$ assumes perfect power values, modulo $S$-units. These results are proved through a combination of techniques, including Frey curves and associated modular forms, lower bounds for linear forms in logarithms, the hypergeometric method of Thue and Siegel, local methods, and computational approaches to Thue equations of low degree. Along the way, we derive some new results on Fermat-type ternary equations, combining classical cyclotomy with Frey curve techniques.

We obtain lower estimates for the absolute values of linear forms of the values of generalized Heine series at non-zero points of an imaginary quadratic field $\mathbb{I}$, in particular of the values of $q$-exponential function. These estimates depend on the individual coefficients, not only on the maximum of their absolute values. The proof uses a variant of classical Siegel's method applied to a system of functional Poincaré-type equations and the connection between the solutions of these functional equations and the generalized Heine series.

Several new multiple-integral representations are proved for well-poised hypergeometric series and integrals. The results yield, in particular, transformations of the multiple integrals that cannot be achieved by evident changes of variable. All this generalizes some classical results of Whipple and Bailey in analysis and, on the other hand, certain analytic constructions with known connection to irrationality proofs for values of Riemann's zeta function at positive integers.

The purpose of this paper is to show the limitations of the conjectures of algebraic approximation. For this, we construct points of ${{\mathbf{C}}^{m}}$ which do not admit good algebraic approximations of bounded degree and height, when the bounds on the degree and the height are taken from specific sequences. The coordinates of these points are Liouville numbers.

In this paper, we derive a number of explicit lower bounds for rational approximation to certain cubic irrationalities, proving, for example, that for any non-zero integers p and q. A number of these irrationality measures improve known results, including those for . Some Diophantine consequences are briefly discussed.

The aim of this note is to give a sharp lower bound for rational approximations to ζ(2) = π2/6 by using a specific Beukers' integral. Indeed, we will show that π2 has an irrationality measure less than 6.3489, which improves the earlier result 7.325 announced by D. V. Chudnovsky and G. V. Chudnovsky.