Related papers: A formalisation of Gallagher's ergodic theorem

In two dimensions, Gallagher's theorem is a strengthening of the Littlewood conjecture that holds for almost all pairs of real numbers. We prove an inhomogeneous fibre version of Gallagher's theorem, sharpening and making unconditional a…

The Duffin-Schaeffer theorem is a well-known result from metric number theory, which generalises Khinchin's theorem from monotonic functions to a wider class of approximating functions. In recent years, there has been some interest in…

We prove mean and pointwise ergodic theorems for the action of a discrete lattice subgroup in a connected algebraic Lie group, on infinite volume homogeneous algebraic varieties. Under suitable necessary conditions, our results are…

Metric Diophantine approximation in its classical form is the study of how well almost all real numbers can be approximated by rationals. There is a long history of results which give partial answers to this problem, but there are still…

In 2022, Bergelson and Richter established a new dynamical generalization of the prime number theorem. Later, Loyd showed a disjoint form with the Erd\H{o}s-Kac theorem. Recently, the author and his coauthors proved some ergodic theorems…

The Duffin--Schaeffer Conjecture answers a question on how well one can approximate irrationals by rational numbers in reduced form (an imposed condition) where the accuracy of the approximation depends on the rational number. It can be…

Geoffrion's theorem is a fundamental result from mathematical programming assessing the quality of Lagrangian relaxation, a standard technique to get bounds for integer programs. An often implicit condition is that the set of feasible…

We answer a question raised by Alam and Ghosh concerning an error term for a spiralling result in Diophantine approximation by rationals in a number field. The proof relies on a generalisation of Rogers' Mean Value Theorem to algebraic…

In this paper, we propose a novel kind of numerical approximations to inherit the ergodicity of stochastic Maxwell equations. The key to proving the ergodicity lies in the uniform regularity estimates of the numerical solutions with respect…

We present a survey of ergodic theorems for actions of algebraic and arithmetic groups recently established by the authors, as well as some of their applications. Our approach is based on spectral methods employing the unitary…

Gallagher's theorem describes the multiplicative diophantine approximation rate of a typical vector. We establish a fully-inhomogeneous version of Gallagher's theorem, a diophantine fibre refinement, and a sharp and unexpected threshold for…

We prove almost sure ergodic theorems for a class of systems called quasistatic dynamical systems. These results are needed, because the usual theorem due to Birkhoff does not apply in the absence of invariant measures. We also introduce…

This survey paper is not a complete reference guide to number-theoretical applications of ergodic theory. Instead, it considers an approach to a class of problems involving Diophantine properties of $n$-tuples of real numbers, namely,…

Local mean and individual (with respect to almost uniform convergence in Egorov's sense) ergodic theorems are established for actions of the semigroup $\mathbb R_+^d$ in symmetric spaces of measurable operators associated with a semifinite…

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with decreasing probability of order $n^{-\alpha}$, $0 < \alpha < 1/2$. We prove that, almost surely, for every measure-preserving system…

We prove analogues of some classical results from Diophantine approximation and metric number theory (namely Dirichlet's theorem and the Duffin--Schaeffer theorem) in the setting of diagonal Diophantine approximation, i.e. approximating…

In Diophantine approximation, Vaaler's theorem was an important partial result towards the Duffin--Schaeffer conjecture, which was open for almost eighty years before it was recently proven by Koukoulopoulos and Maynard. A version of this…

We develop a model-theoretic framework for the study of distal factors of strongly ergodic, measure-preserving dynamical systems of countable groups. Our main result is that all such factors are contained in the (existential) algebraic…

We establish an Ergodic Theorem for lower probabilities, a generalization of standard probabilities widely used in applications. As a by-product, we provide a version for lower probabilities of the Strong Law of Large Numbers.

We study in this paper the validity of the mean ergodic theorem along \emph{left} F\o lner sequences in a countable amenable group $G$. Although the \emph{weak} ergodic theorem always holds along \emph{any} left F\o lner sequence in $G$, we…