Easy and nearly simultaneous proofs of the Ergodic Theorem and Maximal Ergodic Theorem

We formulate a general statement of the problem of defining invariant measures with certain properties and suggest an ergodic method of perturbations for describing such measures.

There is a mathematical error in the first version of this paper. A new corrected version will be posted when the error is fixed, possibly with a modified title.

The mean ergodic theorem is equivalent to the assertion that for every function K and every epsilon, there is an n with the property that the ergodic averages A_m f are stable to within epsilon on the interval [n,K(n)]. We show that even though it is not generally possible to compute a bound on the rate of convergence of a sequence of ergodic averages, one can give explicit bounds on n in terms of K and || f || / epsilon. This tells us how far one has to search to find an n s...

This is an expository article/encyclopedia entry explaining the history, techniques, and central results in the field of smooth ergodic theory.

This short note gives a positive answer to an old question in elementary probability theory that arose in Furstenberg's seminal article "Disjointness in Ergodic Theory." As a consequence, Furstenberg's filtering theorem holds without any integrability assumption.

We prove a non conventional pointwise convergence theorem for a nilsystem, and give an explicit formula for the limit.

We establish a higher dimensional counterpart of Bourgain's pointwise ergodic theorem along an arbitrary integer-valued polynomial mapping. We achieve this by proving variational estimates $V_r$ on $L^p$ spaces for all $1<p<\infty$ and $r>\max\{p, p/(p-1)\}$. Moreover, we obtain the estimates which are uniform in the coefficients of a polynomial mapping of fixed degree.

We establish weak-type $(1,1)$ bounds for the maximal function associated with ergodic averaging operators modeled on a wide class of thin deterministic sets $B$. As a corollary we obtain the corresponding pointwise convergence result on $L^1$. This contributes yet another counterexample for the conjecture of Rosenblatt and Wierdl from 1991 asserting the failure of pointwise convergence on $L^1$ of ergodic averages along arithmetic sets with zero Banach density. The second ma...

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 $(X,T)$ and every $f \in L^1(X)$ orthogonal to the invariant factor, the modulated, random averages \[ \sup_{b} \Big| \frac{1}{N} \sum_{n = 1}^N b(n) T^{a_{n}} f \Big| \] converge to $0$ pointwise almost everywhere, where the supremum is take...

A joint measure-preserving system is $(X, \mathcal{B}, \mu_{1}, \dots, \mu_{k}, T_{1}, \dots, T_{k})$, where each $(X, \mathcal{B}, \mu_{i}, T_{i})$ is a measure-preserving system and any $\mu_{i}$ and $\mu_{j}$ are mutually absolutely continuous probability measures. Such a system is called pointwise jointly ergodic if, for any set of bounded measurable functions $f_{1}, \dots, f_{k}$ on $X$, the multilinear ergodic average of their joint action under the transformations $T_...