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)$

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 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 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.

Let $\psi $ be a decreasing function. We prove zero-infinity Hausdorff measure criteria for the set of dual $\psi $-approximable points and for the set of inhomogeneous multiplicative $\psi $-approximable points on nondegenerate planar curves. Our results extend theorems of Huang [‘Hausdorff theory of dual approximation on planar curves’, J. reine angew. Math. 740 (2018), 63–76] and Beresnevich and Velani [‘A note on three problems in metric Diophantine approximation’, in: Recent Trends in Ergodic Theory and Dynamical Systems, Contemporary Mathematics, 631 (American Mathematical Society, Providence, RI, 2015), 211–229] from s-Hausdorff measure, where $s\in \mathbb R$, to the more general g-Hausdorff measure, where g is a suitable class of dimension functions.

Let $\psi : \mathbb {N} \to [0,1/2]$ be given. The Duffin–Schaeffer conjecture, recently resolved by Koukoulopoulos and Maynard, asserts that for almost all reals $\alpha$ there are infinitely many coprime solutions $(p,q)$ to the inequality $|\alpha - p/q| < \psi (q)/q$, provided that the series $\sum _{q=1}^\infty \varphi (q) \psi (q) / q$ is divergent. In the present paper, we establish a quantitative version of this result, by showing that for almost all $\alpha$ the number of coprime solutions $(p,q)$, subject to $q \leq Q$, is of asymptotic order $\sum _{q=1}^Q 2 \varphi (q) \psi (q) / q$. The proof relies on the method of GCD graphs as invented by Koukoulopoulos and Maynard, together with a refined overlap estimate from sieve theory, and number-theoretic input on the ‘anatomy of integers’. The key phenomenon is that the system of approximation sets exhibits ‘asymptotic independence on average’ as the total mass of the set system increases.

The aim of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to p-adic numbers. Firstly, we establish complete analogues of Khintchine’s theorem, the Duffin–Schaeffer theorem and the Jarník–Besicovitch theorem for ‘weighted’ simultaneous Diophantine approximation in the p-adic case. Secondly, we obtain a lower bound for the Hausdorff dimension of weighted simultaneously approximable points lying on p-adic manifolds. This is valid for very general classes of curves and manifolds and have natural constraints on the exponents of approximation. The key tools we use in our proofs are the Mass Transference Principle, including its recent extension due to Wang and Wu in 2019, and a Zero-One law for weighted p-adic approximations established in this paper.

We consider the set of elements in a translation of the middle-third Cantor set which can be well approximated by algebraic numbers of bounded degree. A doubling dimensional result is given, which enables one to conclude an upper bound on the dimension of the set in question for a generic translation.

Dirichlet’s theorem, including the uniform setting and asymptotic setting, is one of the most fundamental results in Diophantine approximation. The improvement of the asymptotic setting leads to the well-approximable set (in words of continued fractions)

$$ \begin{align*} \mathcal{K}(\Phi):=\{x:a_{n+1}(x)\ge\Phi(q_{n}(x))\ \textrm{for infinitely many }n\in \mathbb{N}\}; \end{align*} $$

$$ \begin{align*} \mathcal{G}(\Phi):=\{x:a_{n}(x)a_{n+1}(x)\ge\Phi(q_{n}(x))\ \textrm{for infinitely many }n\in \mathbb{N}\}. \end{align*} $$

$\Phi _{1},\Phi _{2}:[1,+\infty )\rightarrow \mathbb {R}^{+}$

$\mathcal {G}(\Phi _{1})\!\setminus\! \mathcal {K}(\Phi _{2})$

$\mathcal {G}(\Phi )$

$\mathcal {K}(\Phi )$

$\Phi $

$\mathcal {G}(\Phi _{1})\!\setminus\! \mathcal {K}(\Phi _{2})$

$\Phi _1$

We consider the two-dimensional shrinking target problem in beta dynamical systems (for general $\beta>1$ ) with general errors of approximation. Let $f, g$ be two positive continuous functions. For any $x_0,y_0\in [0,1]$ , define the shrinking target set

$$ \begin{align*}E(T_\beta, f,g):=\left\{(x,y)\in [0,1]^2: \begin{array}{@{}ll@{}} \lvert T_{\beta}^{n}x-x_{0}\rvert <e^{-S_nf(x)}\\[1ex] \lvert T_{\beta}^{n}y-y_{0}\rvert < e^{-S_ng(y)} \end{array} \ {\text{for infinitely many}} \ n\in \mathbb N \right\}, \end{align*} $$

where $S_nf(x)=\sum _{j=0}^{n-1}f(T_\beta ^jx)$ is the Birkhoff sum. We calculate the Hausdorff dimension of this set and prove that it is the solution to some pressure function. This represents the first result of this kind for the higher-dimensional beta dynamical systems.

Given an infinite subset $\mathcal{A} \subseteq\mathbb{N}$ , let A denote its smallest N elements. There is a rich and growing literature on the question of whether for typical $\alpha\in[0,1]$ , the pair correlations of the set $\alpha A (\textrm{mod}\ 1)\subset [0,1]$ are asymptotically Poissonian as N increases. We define an inhomogeneous generalisation of the concept of pair correlation, and we consider the corresponding doubly metric question. Many of the results from the usual setting carry over to this new setting. Moreover, the double metricity allows us to establish some new results whose singly metric analogues are missing from the literature.

An effective estimate for the measure of the set of real numbers for which the inequality |P(x)|<Q-w for $w > {3 \over 2}n + 1$ has a solution in integral polynomials P of degree n and of height H(P) at most $Q \in {\rm{\mathbb N}}$ is obtained.

Let \[||x||\] denote the distance from \[x \in \mathbb{R}\] to the nearest integer. In this paper, we prove a new existence and density result for matrices \[A \in {\mathbb{R}^{m \times n}}\] satisfying the inequality

\[\mathop {\lim \inf }\limits_{|q{|_\infty } \to + \infty } \prod\limits_{j = 1}^n {\max } \{ 1,|{q_j}|\} \log {\left( {\prod\limits_{j = 1}^n {\max } \{ 1,|{q_j}|\} } \right)^{m + n - 1}}\prod\limits_{i = 1}^m {{A_i}q} > 0,\]

where q ranges in \[{\mathbb{Z}^n}\] and Ai denote the rows of the matrix A. This result extends previous work of Moshchevitin both to arbitrary dimension and to the inhomogeneous setting. The estimates needed to apply Moshchevitin’s method to the case m > 2 are not currently available. We therefore develop a substantially different method, based on Cantor-like set constructions of Badziahin and Velani. Matrices with the above property also appear to have very small sums of reciprocals of fractional parts. This fact helps us to shed light on a question raised by Lê and Vaaler on such sums, thereby proving some new estimates in higher dimension.

In this article we aim to investigate the Hausdorff dimension of the set of points $x \in [0,1)$ such that for any $r\in \mathbb {N}$ ,

$$ \begin{align*} a_{n+1}(x)a_{n+2}(x)\cdots a_{n+r}(x)\geq e^{\tau(x)(h(x)+\cdots+h(T^{n-1}(x)))} \end{align*} $$

$n\in \mathbb {N}$

$\tau $

$a_{n}(x)$

$r,\tau (x)$

$h(x)$

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [Logarithm laws for flows on homogeneous spaces. Invent. Math.138(3) (1999), 451–494] resolving Sprindžuk’s conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. Selecta Math.10 (2004), 479–523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson–Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW’s sufficient conditions for extremality. In the first of this series of papers [Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures. Selecta Math.24(3) (2018), 2165–2206], we introduce and develop a systematic account of two classes of measures, which we call quasi-decaying and weakly quasi-decaying. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ‘inherited exponent of irrationality’ version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson–Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying.

For an irrational number $x\in [0,1)$, let $x=[a_{1}(x),a_{2}(x),\ldots ]$ be its continued fraction expansion with partial quotients $\{a_{n}(x):n\geq 1\}$. Given $\unicode[STIX]{x1D6E9}\in \mathbb{N}$, for $n\geq 1$, the $n$th longest block function of $x$ with respect to $\unicode[STIX]{x1D6E9}$ is defined by $L_{n}(x,\unicode[STIX]{x1D6E9})=\max \{k\geq 1:a_{j+1}(x)=\cdots =a_{j+k}(x)=\unicode[STIX]{x1D6E9}~\text{for some}~j~\text{with}~0\leq j\leq n-k\}$, which represents the length of the longest consecutive sequence whose elements are all $\unicode[STIX]{x1D6E9}$ from the first $n$ partial quotients of $x$. We consider the growth rate of $L_{n}(x,\unicode[STIX]{x1D6E9})$ as $n\rightarrow \infty$ and calculate the Hausdorff dimensions of the level sets and exceptional sets arising from the longest block function.

Gallagher’s theorem is a sharpening and extension of the Littlewood conjecture that holds for almost all tuples of real numbers. We provide a fibre refinement, solving a problem posed by Beresnevich, Haynes and Velani in 2015. Hitherto, this was only known on the plane, as previous approaches relied heavily on the theory of continued fractions. Using reduced successive minima in lieu of continued fractions, we develop the structural theory of Bohr sets of arbitrary rank, in the context of diophantine approximation. In addition, we generalise the theory and result to the inhomogeneous setting. To deal with this inhomogeneity, we employ diophantine transference inequalities in lieu of the three distance theorem.

Let $\unicode[STIX]{x1D6F9}:[1,\infty )\rightarrow \mathbb{R}_{+}$ be a non-decreasing function, $a_{n}(x)$ the $n$th partial quotient of $x$ and $q_{n}(x)$ the denominator of the $n$th convergent. The set of $\unicode[STIX]{x1D6F9}$-Dirichlet non-improvable numbers,

$$\begin{eqnarray}G(\unicode[STIX]{x1D6F9}):=\{x\in [0,1):a_{n}(x)a_{n+1}(x)>\unicode[STIX]{x1D6F9}(q_{n}(x))\text{ for infinitely many }n\in \mathbb{N}\},\end{eqnarray}$$

$1/q^{2}\unicode[STIX]{x1D6F9}(q)$

${\mathcal{K}}(\unicode[STIX]{x1D6F9})$

${\mathcal{K}}(3\unicode[STIX]{x1D6F9})\subset G(\unicode[STIX]{x1D6F9})$

$s$

$s\in (0,1)$

$G(\unicode[STIX]{x1D6F9})\setminus {\mathcal{K}}(3\unicode[STIX]{x1D6F9})$

${\mathcal{K}}(\unicode[STIX]{x1D6F9})$

$G(\unicode[STIX]{x1D6F9})$

In this paper, we provide two new extensions to a lemma of Bernik (1983). Applications are also discussed.

We exhibit the first explicit examples of Salem sets in ℚp of every dimension 0 < α < 1 by showing that certain sets of well-approximable p-adic numbers are Salem sets. We construct measures supported on these sets that satisfy essentially optimal Fourier decay and upper regularity conditions, and we observe that these conditions imply that the measures satisfy strong Fourier restriction inequalities. We also partially generalize our results to higher dimensions. Our results extend theorems of Kaufman, Papadimitropoulos, and Hambrook from the real to the p-adic setting.