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.

We generalize current known distribution results on Shanks–Rényi prime number races to the case where arbitrarily many residue classes are involved. Our method handles both the classical case that goes back to Chebyshev and function field analogues developed in the recent years. More precisely, let $\unicode[STIX]{x1D70B}(x;q,a)$ be the number of primes up to $x$ that are congruent to $a$ modulo $q$. For a fixed integer $q$ and distinct invertible congruence classes $a_{0},a_{1},\ldots ,a_{D}$, assuming the generalized Riemann Hypothesis and a weak version of the linear independence hypothesis, we show that the set of real $x$ for which the inequalities $\unicode[STIX]{x1D70B}(x;q,a_{0})>\unicode[STIX]{x1D70B}(x;q,a_{1})>\cdots >\unicode[STIX]{x1D70B}(x;q,a_{D})$ are simultaneously satisfied admits a logarithmic density.

We determine the order of magnitude of $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, and $0\leqslant q\leqslant 1$. In the Steinhaus case, this is equivalent to determining the order of $\lim _{T\rightarrow \infty }\frac{1}{T}\int _{0}^{T}|\sum _{n\leqslant x}n^{-it}|^{2q}\,dt$.

In particular, we find that $\mathbb{E}|\sum _{n\leqslant x}f(n)|\asymp \sqrt{x}/(\log \log x)^{1/4}$. This proves a conjecture of Helson that one should have better than squareroot cancellation in the first moment and disproves counter-conjectures of various other authors. We deduce some consequences for the distribution and large deviations of $\sum _{n\leqslant x}f(n)$.

The proofs develop a connection between $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$ and the $q$th moment of a critical, approximately Gaussian, multiplicative chaos and then establish the required estimates for that. We include some general introductory discussion about critical multiplicative chaos to help readers unfamiliar with that area.

Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$-transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\mapsto \unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. Let $f:[0,1]\rightarrow [0,1]$ and $g:[0,1]\rightarrow [0,1]$ be two Lipschitz functions. The main result of the paper is the determination of the Hausdorff dimension of the set

$$\begin{eqnarray}W(f,g,\unicode[STIX]{x1D70F}_{1},\unicode[STIX]{x1D70F}_{2})=\big\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-f(x)|<\unicode[STIX]{x1D6FD}^{-n\unicode[STIX]{x1D70F}_{1}(x)},|T_{\unicode[STIX]{x1D6FD}}^{n}y-g(y)|<\unicode[STIX]{x1D6FD}^{-n\unicode[STIX]{x1D70F}_{2}(y)}~\text{for infinitely many}~n\in \mathbb{N}\big\},\end{eqnarray}$$

$\unicode[STIX]{x1D70F}_{1}$

$\unicode[STIX]{x1D70F}_{2}$

$\unicode[STIX]{x1D70F}_{1}(x)\leq \unicode[STIX]{x1D70F}_{2}(y)$

$x,y\in [0,1]$

For a one-parameter subgroup action on a finite-volume homogeneous space, we consider the set of points admitting divergent-on-average trajectories. We show that the Hausdorff dimension of this set is strictly less than the manifold dimension of the homogeneous space. As a corollary we know that the Hausdorff dimension of the set of points admitting divergent trajectories is not full, which proves a conjecture of Cheung [Hausdorff dimension of the set of singular pairs, Ann. of Math. (2) 173 (2011), 127–167].

We establish the limiting distribution of certain subsets of Farey sequences, i.e., sequences of primitive rational points, on expanding horospheres in covers $\unicode[STIX]{x1D6E5}\backslash \text{SL}(n+1,\mathbb{R})$ of $\text{SL}(n+1,\mathbb{Z})\backslash \text{SL}(n+1,\mathbb{R})$, where $\unicode[STIX]{x1D6E5}$ is a finite-index subgroup of $\text{SL}(n+1,\mathbb{Z})$. These subsets can be obtained by projecting to the hyperplane $\{(x_{1},\ldots ,x_{n+1})\in \mathbb{R}^{n+1}:x_{n+1}=1\}$ sets of the form $\mathbf{A}=\bigcup _{j=1}^{J}\mathbf{a}_{j}\unicode[STIX]{x1D6E5}$, where for all $j$, $\mathbf{a}_{j}$ is a primitive lattice point in $\mathbb{Z}^{n+1}$. Our method involves applying the equidistribution of expanding horospheres in quotients of $\text{SL}(n+1,\mathbb{R})$ developed by Marklof and Strömbergsson, and more precisely understanding how the full Farey sequence distributes in $\unicode[STIX]{x1D6E5}\backslash \text{SL}(n+1,\mathbb{R})$ when embedded on expanding horospheres as done in previous work by Marklof. For each of the Farey sequence subsets, we extend the statistical results by Marklof regarding the full multidimensional Farey sequences, and solutions by Athreya and Ghosh to Diophantine approximation problems of Erdős–Szüsz–Turán and Kesten. We also prove that Marklof’s result on the asymptotic distribution of Frobenius numbers holds for sets of primitive lattice points of the form $\mathbf{A}$.

Let $(X,{\mathcal{B}},\unicode[STIX]{x1D707},T)$ be an ergodic measure-preserving system, let $A\in {\mathcal{B}}$ and let $\unicode[STIX]{x1D716}>0$. We study the largeness of sets of the form

$$\begin{eqnarray}S=\{n\in \mathbb{N}:\unicode[STIX]{x1D707}(A\cap T^{-f_{1}(n)}A\cap T^{-f_{2}(n)}A\cap \cdots \cap T^{-f_{k}(n)}A)>\unicode[STIX]{x1D707}(A)^{k+1}-\unicode[STIX]{x1D716}\}\end{eqnarray}$$

$\{f_{1},\ldots ,f_{k}\}$

$f_{i}:\mathbb{N}\rightarrow \mathbb{N}$

$k\leq 3$

$f_{i}(n)=if(n)$

$S$

$f(n)=q(p_{n})$

$q\in \mathbb{Z}[x]$

$q(1)$

$q(-1)=0$

$p_{n}$

$n$

$f$

$T^{q}$

$q\in \mathbb{N}$

$r\in \mathbb{Z}$

$S$

$f(n)=qn+r$

$f_{i}(n)=a_{i}n$

$a_{i}$

$S$

$k\geq 4$

$k=3$

$S$

$f_{i}$

In this work we deal with extreme value theory in the context of continued fractions using techniques from probability theory, ergodic theory and real analysis. We give an upper bound for the rate of convergence in the Doeblin–Iosifescu asymptotics for the exceedances of digits obtained from the regular continued fraction expansion of a number chosen randomly from $(0,1)$ according to the Gauss measure. As a consequence, we significantly improve the best known upper bound on the rate of convergence of the maxima in this case. We observe that the asymptotics of order statistics and the extremal point process can also be investigated using our methods.

Let $\unicode[STIX]{x1D6FD}>1$ be an integer or, generally, a Pisot number. Put $T(x)=\{\unicode[STIX]{x1D6FD}x\}$ on $[0,1]$ and let $S:[0,1]\rightarrow [0,1]$ be a piecewise linear transformation whose slopes have the form $\pm \unicode[STIX]{x1D6FD}^{m}$ with positive integers $m$. We give a sufficient condition for $T$ and $S$ to have the same generic points. We also give an uncountable family of maps which share the same set of generic points.

We investigate the growth rate of the Birkhoff sums $S_{n,\unicode[STIX]{x1D6FC}}f(x)=\sum _{k=0}^{n-1}f(x+k\unicode[STIX]{x1D6FC})$, where $f$ is a continuous function with zero mean defined on the unit circle $\mathbb{T}$ and $(\unicode[STIX]{x1D6FC},x)$ is a ‘typical’ element of $\mathbb{T}^{2}$. The answer depends on the meaning given to the word ‘typical’. Part of the work will be done in a more general context.

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

We prove the Hausdorff measure version of the matrix form of Gallagher’s theorem in the inhomogeneous setting, thereby proving a conjecture posed by Hussain and Simmons [‘The Hausdorff measure version of Gallagher’s theorem—closing the gap and beyond’, J. Number Theory186 (2018), 211–225].

For $\unicode[STIX]{x1D6FD}\in (1,2]$ the $\unicode[STIX]{x1D6FD}$-transformation $T_{\unicode[STIX]{x1D6FD}}:[0,1)\rightarrow [0,1)$ is defined by $T_{\unicode[STIX]{x1D6FD}}(x)=\unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. For $t\in [0,1)$ let $K_{\unicode[STIX]{x1D6FD}}(t)$ be the survivor set of $T_{\unicode[STIX]{x1D6FD}}$ with hole $(0,t)$ given by

$$\begin{eqnarray}K_{\unicode[STIX]{x1D6FD}}(t):=\{x\in [0,1):T_{\unicode[STIX]{x1D6FD}}^{n}(x)\not \in (0,t)\text{ for all }n\geq 0\}.\end{eqnarray}$$

$E_{\unicode[STIX]{x1D6FD}}$

$t\in [0,1)$

$t\mapsto K_{\unicode[STIX]{x1D6FD}}(t)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$E_{2}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$K_{\unicode[STIX]{x1D6FD}}(t)$

$t<\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}\leq 1-(1/\unicode[STIX]{x1D6FD})$

$\unicode[STIX]{x1D6FD}\in (1,2)$

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

We consider, for t in the boundary of a Galton–Watson tree $(\partial \textsf{T})$, the covering number $(\textsf{N}_n(t))$ by the generation-n cylinder. For a suitable set I and sequence (sn), we almost surely establish the Hausdorff dimension of the set $\{ t \in \partial {\textsf{T}}:{{\textsf{N}}_n}(t) - nb \ {\sim} \ {s_n}\} $ for b ∈ I.

In this article, we prove the transcendence of certain infinite sums and products by applying the subspace theorem. In particular, we extend the results of Hančl and Rucki [‘The transcendence of certain infinite series’, Rocky Mountain J. Math.35 (2005), 531–537].

We establish an error term in the Sato–Tate theorem of Birch. That is, for $p$ prime, $q=p^{r}$ and an elliptic curve $E:y^{2}=x^{3}+ax+b$, we show that

$$\begin{eqnarray}\#\{(a,b)\in \mathbb{F}_{q}^{2}:\unicode[STIX]{x1D703}_{a,b}\in I\}=\unicode[STIX]{x1D707}_{ST}(I)q^{2}+O_{r}(q^{7/4})\end{eqnarray}$$

$I\subseteq [0,\unicode[STIX]{x1D70B}]$

$\unicode[STIX]{x1D703}_{a,b}$

$2\sqrt{q}\cos \unicode[STIX]{x1D703}_{a,b}=q+1-E(\mathbb{F}_{q})$

$\unicode[STIX]{x1D707}_{ST}(I)$

$I$

For $x\in (0,1]$ and a positive integer $n,$ let $S_{\!n}(x)$ denote the summation of the first $n$ digits in the dyadic expansion of $x$ and let $r_{n}(x)$ denote the run-length function. In this paper, we obtain the Hausdorff dimensions of the following sets:

$$\begin{eqnarray}\bigg\{x\in (0,1]:\liminf _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FC},\limsup _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FD},\lim _{n\rightarrow \infty }\frac{r_{n}(x)}{\log _{2}n}=\unicode[STIX]{x1D6FE}\bigg\},\end{eqnarray}$$

$0\leq \unicode[STIX]{x1D6FC}\leq \unicode[STIX]{x1D6FD}\leq 1$

$0\leq \unicode[STIX]{x1D6FE}\leq +\infty$

In this paper, we derive geometric and analytic properties of invariant sets, including orbit closures, of a large class of piecewise-affine maps $T$ on $\mathbb{R}^{d}$. We assume that (i) $T$ consists of finitely many affine maps defined on a Borel measurable partition of $\mathbb{R}^{d}$, (ii) there is a lattice $\mathscr{L}\subset \mathbb{R}^{d}$ that contains all of the mutual differences of the translation vectors of these affine maps, and (iii) all of the affine maps have the same linear part that is an automorphism of $\mathscr{L}$. We prove that finite-volume invariant sets of such piecewise-affine maps always consist of translational tiles relative to this lattice, up to some multiplicity. When the partition is Jordan measurable, we show that closures of bounded orbits of $T$ are invariant and yield Jordan measurable tiles, again up to some multiplicity. In the latter case, we show that compact $T$-invariant sets also consist of Jordan measurable tiles. We then utilize these results to quantify the rate of convergence of ergodic averages for $T$ in the case of bounded single tiles.

We consider sequences of the form $(a_{n}\unicode[STIX]{x1D6FC})_{n}$ mod 1, where $\unicode[STIX]{x1D6FC}\in [0,1]$ and where $(a_{n})_{n}$ is a strictly increasing sequence of positive integers. If the asymptotic distribution of the pair correlations of this sequence follows the Poissonian model for almost all $\unicode[STIX]{x1D6FC}$ in the sense of Lebesgue measure, we say that $(a_{n})_{n}$ has the metric pair correlation property. Recent research has revealed a connection between the metric theory of pair correlations of such sequences, and the additive energy of truncations of $(a_{n})_{n}$. Bloom, Chow, Gafni and Walker speculated that there might be a convergence/divergence criterion which fully characterizes the metric pair correlation property in terms of the additive energy, similar to Khintchine’s criterion in the metric theory of Diophantine approximation. In the present paper we give a negative answer to such speculations, by showing that such a criterion does not exist. To this end, we construct a sequence $(a_{n})_{n}$ having large additive energy which, however, maintains the metric pair correlation property.