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.

For given $\epsilon>0$ and $b\in \mathbb {R}^m$, we say that a real $m\times n$ matrix A is $\epsilon $-badly approximable for the target b if

$$ \begin{align*}\liminf_{q\in\mathbb{Z}^n, \|q\|\to\infty} \|q\|^n \langle Aq-b\rangle^m \geq \epsilon,\end{align*} $$

$\langle \cdot \rangle $

$\epsilon $

$\epsilon $

$\epsilon $

Multiples zeta values and alternating multiple zeta values in positive characteristic were introduced by Thakur and Harada as analogues of classical multiple zeta values of Euler and Euler sums. In this paper, we determine all linear relations between alternating multiple zeta values and settle the main goals of these theories. As a consequence, we completely establish Zagier–Hoffman’s conjectures in positive characteristic formulated by Todd and Thakur which predict the dimension and an explicit basis of the span of multiple zeta values of Thakur of fixed weight.

We study the multifractal properties of the uniform approximation exponent and asymptotic approximation exponent in continued fractions. As a corollary, we calculate the Hausdorff dimension of the uniform Diophantine set

$$ \begin{align*} {\mathcal{U}(\hat{\nu})}= &\ \{x\in[0,1)\colon \text{for all }N\gg1,\text{ there exists }n\in[1,N],\\&\ \ \text{ such that }|T^{n}(x)-y| < |I_{N}(y)|^{\hat{\nu}}\} \end{align*} $$

$y\in [0,1)$

We prove the convergence of moments of the number of directions of affine lattice vectors that fall into a small disc, under natural Diophantine conditions on the shift. Furthermore, we show that the pair correlation function is Poissonian for any irrational shift in dimension 3 and higher, including well-approximable vectors. Convergence in distribution was already proved in the work of Strömbergsson and the second author [The distribution of free path lengths in the periodic Lorentz gas and related lattice point problems. Ann. of Math. (2) 172 (2010), 1949–2033], and the principal step in the extension to convergence of moments is an escape of mass estimate for averages over embedded $\operatorname {SL}(d,\mathbb {R})$-horospheres in the space of affine lattices.

Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb {R}$. We also suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory.

The attractor conjecture for Calabi–Yau moduli spaces predicts the algebraicity of the moduli values of certain isolated points picked out by Hodge-theoretic conditions. Using tools from transcendence theory, we provide a family of counterexamples to the attractor conjecture in almost all odd dimensions conditional on a specific case of the Zilber–Pink conjecture in unlikely intersection theory; these Calabi–Yau manifolds were first studied by Dolgachev. We also give constructions of new families of Calabi–Yau varieties, analogous to the mirror quintic family, with all middle Hodge numbers equal to one, which would also give counterexamples to the attractor conjecture.

We show that there is a set $S \subseteq {\mathbb N}$ with lower density arbitrarily close to $1$ such that, for each sufficiently large real number $\alpha $, the inequality $|m\alpha -n| \geq 1$ holds for every pair $(m,n) \in S^2$. On the other hand, if $S \subseteq {\mathbb N}$ has density $1$, then, for each irrational $\alpha>0$ and any positive $\varepsilon $, there exist $m,n \in S$ for which $|m\alpha -n|<\varepsilon $.

The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

We discuss the p-adic Weierstrass zeta functions associated with elliptic curves defined over the field of algebraic numbers and linear relations for their values in the p-adic domain. These results are extensions of the p-adic analogues of results given by Wüstholz in the complex domain [see A. Baker and G. Wüstholz, Logarithmic Forms and Diophantine Geometry, New Mathematical Monographs, 9 (Cambridge University Press, Cambridge, 2007), Theorem 6.3] and also generalise a result of Bertrand to higher dimensions [‘Sous-groupes à un paramètre p-adique de variétés de groupe’, Invent. Math. 40(2) (1977), 171–193].

The Thue–Morse sequence $\{t(n)\}_{n\geqslant 0}$ is the indicator function of the parity of the number of ones in the binary expansion of nonnegative integers n, where $t(n)=1$ (resp. $=0$) if the binary expansion of n has an odd (resp. even) number of ones. In this paper, we generalize a recent result of E. Miyanohara by showing that, for a fixed Pisot or Salem number $\beta>\sqrt {\varphi }=1.272019\ldots $, the set of the numbers

$$\begin{align*}1,\quad \sum_{n\geqslant1}\frac{t(n)}{\beta^{n}},\quad \sum_{n\geqslant1}\frac{t(n^2)}{\beta^{n}},\quad \dots, \quad \sum_{n\geqslant1}\frac{t(n^k)}{\beta^{n}},\quad \dots \end{align*}$$

$\mathbb {Q}(\beta )$

$\varphi :=(1+\sqrt {5})/2$

$k\geqslant 1$

$a_1,a_2,\ldots ,a_k\in \mathbb {Q}(\beta )$

$a_1t(n)+a_2t(n^2)+\cdots +a_kt(n^k)\}_{n\geqslant 1}$

We show that for every finite set of prime numbers $S$, there are at most finitely many singular moduli that are $S$-units. The key new ingredient is that for every prime number $p$, singular moduli are $p$-adically disperse. We prove analogous results for the Weber modular functions, the $\lambda$-invariants and the McKay–Thompson series associated with the elements of the monster group. Finally, we also obtain that a modular function that specializes to infinitely many algebraic units at quadratic imaginary numbers must be a weak modular unit.

On the assumption of the Riemann hypothesis and a spacing hypothesis for the nontrivial zeros $1/2+i\gamma$ of the Riemann zeta function, we show that the sequence

\begin{equation*}\Gamma_{[a, b]} =\Bigg\{ \gamma : \gamma>0 \quad \mbox{and} \quad \frac{ \log\big(| \zeta^{(m_{\gamma })} (\frac12+ i{\gamma }) | / (\!\log{{\gamma }} )^{m_{\gamma }}\big)}{\sqrt{\frac12\log\log {\gamma }}} \in [a, b] \Bigg\},\end{equation*}

${\gamma }$

$a<b$

$m_\gamma$

$1/2+i{\gamma }$

${\gamma }$

$\gamma (\!\log T)/2\pi$

${\gamma }\in \Gamma_{[a, b]}$

$0<{\gamma }\leq T$

We study the Diophantine transference principle over function fields. By adapting the approach of Beresnevich and Velani [‘An inhomogeneous transference principle and Diophantine approximation’, Proc. Lond. Math. Soc. (3) 101 (2010), 821–851] to function fields, we extend many results from homogeneous to inhomogeneous Diophantine approximation. This also yields the inhomogeneous Baker–Sprindžuk conjecture over function fields and upper bounds for the general nonextremal scenario.

We study bracket words, which are a far-reaching generalization of Sturmian words, along Hardy field sequences, which are a far-reaching generalization of Piatetski-Shapiro sequences $\lfloor n^c \rfloor $. We show that sequences thus obtained are deterministic (that is, they have subexponential subword complexity) and satisfy Sarnak’s conjecture.

We establish the linear independence of values of the q-analogue of the exponential function and its derivatives at specified algebraic arguments, when q is a Pisot–Vijayaraghavan number. We also deduce similar results for cognate functions, such as the Tschakaloff function and certain generalised q-series.

We prove that any subset of $\overline {\mathbb {Q}}^m$ (closed under complex conjugation and which contains the origin) is the exceptional set of uncountably many transcendental entire functions over $\mathbb {C}^m$ with rational coefficients. This result solves a several variables version of a question posed by Mahler for transcendental entire functions [Lectures on Transcendental Numbers, Lecture Notes in Mathematics, 546 (Springer-Verlag, Berlin, 1976)].

In this paper, we study multiple zeta values (abbreviated as MZV’s) over function fields in positive characteristic. Our main result is to prove Thakur’s basis conjecture, which plays the analogue of Hoffman’s basis conjecture for real MZV’s. As a consequence, we derive Todd’s dimension conjecture, which is the analogue of Zagier’s dimension conjecture for classical real MZV’s.

Let $l\in \mathbb {N}_{\ge 1}$ and $\alpha : \mathbb {Z}^l\rightarrow \text {Aut}(\mathscr {N})$ be an action of $\mathbb {Z}^l$ by automorphisms on a compact nilmanifold $\mathscr{N}$. We assume the action of every $\alpha (z)$ is ergodic for $z\in \mathbb {Z}^l\smallsetminus \{0\}$ and show that $\alpha $ satisfies exponential n-mixing for any integer $n\geq 2$. This extends the results of Gorodnik and Spatzier [Mixing properties of commuting nilmanifold automorphisms. Acta Math. 215 (2015), 127–159].

In 2007 Chang and Yu determined all the algebraic relations among Goss’s zeta values for $A=\mathbb F_q[\theta ]$, also known as the Carlitz zeta values. Goss raised the problem of determining all algebraic relations among Goss’s zeta values at positive integers for a general base ring A, but very little is known. In this paper, we develop a general method, and we determine all algebraic relations among Goss’s zeta values for the base ring A which is the coordinate ring of an elliptic curve defined over $\mathbb F_q$. To our knowledge, this is the first work tackling Goss’s problem when the base ring has class number strictly greater than 1.