Given a space $X$, a $σ$-algebra $\mathfrak{B}$ on $X$ and a measurable map $T:X \to X$, we say that a measure $μ$ is half-invariant if, for any $B \in \mathfrak{B}$, we have $μ(T^{-1}(B)\leq μ(B)$. In this note we present a generalization of Birkhoff's Ergodic theorem to $σ$-finite half-invariant measures.
We prove martingale-ergodic and ergodic-martingale theorems with continuous parameter for vector valued Bochner integrable functions. We first prove almost everywhere convergence of vector valued martingales with continuous parameter. The norm as well as almost everywhere convergence of martingale-ergodic and ergodic-martingale averages are given. We also obtain the dominant and maximal inequalities. Finally, we show that a.e. martingale-ergodic and ergodic-martingale theorems will coincide under certain assumptions.
A result for subadditive ergodic cocycles is proved that provides more delicate information than Kingman's subadditive ergodic theorem. As an application we deduce a multiplicative ergodic theorem generalizing an earlier result of Karlsson-Ledrappier, showing that the growth of a random product of semi-contractions is always directed by some horofunction. We discuss applications of this result to ergodic cocycles of bounded linear operators, holomorphic maps and topical operators, as well as a random mean ergodic theorem.
We prove a ratio ergodic theorem for amenable equivalence relations satisfying a strong form of the Besicovich covering property. We then use this result to study general non-singular actions of non-abelian free groups and establish a ratio ergodic theorem for averages along horospheres.
For a totally uniquely ergodic dynamical system, we prove a topological Wiener-Wintner ergodic theorem with polynomial weights under the coincidence of the quasi discrete spectrums of the system in both senses of Abramov and of Hahn-Parry. The result applies to ergodic nilsystems. Fully oscillating sequences can then be constructed on nilmanifolds.
This is an earlier, but more general, version of "An L^1 Ergodic Theorem for Sparse Random Subsequences". We prove an L^1 ergodic theorem for averages defined by independent random selector variables, in a setting of general measure-preserving group actions. A far more readable version of this paper is in the works.
We consider a family of homoclinic groups and Gordin's type invariants of measure-preserving actions, state their connections with factors, full groups, ranks, rigidity, multiple mixing and realize such invariants in the class of Gaussian and Poisson suspensions.
We consider stationary stochastic dynamical systems evolving on a compact metric space, by perturbing a deterministic dynamics with a random noise, added according to an arbitrary probabilistic distribution. We prove the maximal and pointwise ergodic theorems for the transfer operators associated to such systems. The results are extensions to noisy systems of some of the fundamental ergodic theorems for deterministic systems.
In this paper, we prove a criterion for the local ergodicity of non-uniformly hyperbolic symplectic maps with singularities. Our result is an extension of a theorem of Liverani and Wojtkowski.
We introduce methods that allow to derive continuous-time versions of various discrete-time ergodic theorems. We then illustrate these methods by giving simple proofs and refinements of some known results as well as establishing new results of interest.
We present a lecture note on Thouvenot's proof of the Roth-Furstenberg theorem and joining proofs of Furstenberg's theorems on multiple progression average mixing for weakly mixing transformations.
We prove that a shift ergodic measure on a topologically mixing sub-shift is isomorphic to a Bernoulli shift whenever it is quasi invariant under permutations of finite number of coordinates. We prove also that Gibbs measures on topologically mixing subshift of finite type are quasi invariant.
We prove a version of ergodic theorem for an action of an amenable group, where a Fø lner sequence needs not to be tempered. Instead, it is assumed that a function satisfies certain mixing condition.
Karlsson and Margulis proved in the setting of uniformly convex geodesic spaces, which additionally satisfy a nonpositive curvature condition, an ergodic theorem that focuses on the asymptotic behavior of integrable cocycles of nonexpansive mappings over an ergodic measure-preserving transformation. In this note we show that this result holds true when assuming a weaker notion of uniform convexity.
Amos Nevo established the pointwise ergodic theorem in $L^p$ for measure-preserving actions of $\mathrm{PSL}_2(\mathbb{R})$ on probability spaces with respect to ball averages and every $p>1$. This paper shows by explicit example that Nevo's Theorem cannot be extended to $p=1$.
We show that a $k$-linear pointwise ergodic theorem on an ergodic measure-preserving system implies a uniform $k$-linear nilsequence Wiener-Wintner theorem on that system. The assumption is known to hold for arbitrary systems and $k=2$ (due to Bourgain) and for distal systems and arbitrary $k$ (due to Huang, Shao, and Ye).
We establish pointwise ergodic theorems for a large class of natural averages on simple Lie groups of real-rank-one, going well beyond the radial case considered previously. The proof is based on a new approach to pointwise ergodic theorems, which is independent of spectral theory. Instead, the main new ingredient is the use of direct geometric arguments in hyperbolic space.
We consider infinite measure-preserving non-primitive self-similar tiling systems in Euclidean space $\mathbb R^d$. We establish the second-order ergodic theorem for such systems, with exponent equal to the Hausdorff dimension of a graph-directed self-similar set associated with the substitution rule.
The purpose of this note is to present my understanding of Tim Austin's proof of the multiple ergodic theorem for commuting transformations, emphasizing on the use of joinings, extensions and factors. The existence of a sated extension, which is a key argument in the proof, is presented in a general context.
The principal results proved in this expository thesis are the IP polynomial Szemerédi theorem for nilpotent groups and the multiple term return times theorem with nilsequence weights. It also contains extensions of the convergence theorem for nilpotent polynomial multiple ergodic averages and the return times theorem to locally compact second countable amenable groups.
The survey presents the main developments obtained over the last decade regarding pointwise ergodic theorems for measure preserving actions of locally compact groups. The survey includes an exposition of the solutions to a number of long standing open problems in ergodic theory, some of which are very recent and have not yet appeared elsewhere.
In the present paper, we consider random invariant densities and the mean ergodic theorem for Markov operator cocycles which are applicable to quenched type random dynamical systems. We give necessary and sufficient conditions for the existence of random invariant densities for Markov operator cocycles and establish the mean ergodic theorem for generalized linear operator cocycles over a weakly sequentially complete Banach space. The advantage of the result is that we show the implication of weak precompactness for almost every environment to strong convergence in the global sense.
The classical Birkhoff ergodic theorem in its most popular version says that the time average along a single typical trajectory of a dynamical system is equal to the space average with respect to the ergodic invariant distribution. This result is one of the cornerstones of the entire ergodic theory and its numerous applications. Two questions related to this subject will be addressed: how large is the set of typical trajectories, in particular in the case when there are no invariant distributions, and how the answer is connected to properties of the so called natural measures (limits of images…
We consider sequences of Davenport type or Gelfond type and prove that sequences of Davenport exponent larger than $\frac{1}{2}$ are good sequences of weights for the ergodic theorem, and that the ergodic sums weighted by a sequence of strong Gelfond property is well controlled almost everywhere. We prove that for any $q$-multiplicative sequence, the Gelfond property implies the strong Gelfond property and that sequences realized by dynamical systems can be fully oscillating and have the Gelfond property.
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 representation theory of the groups involved. This allows the derivation of ergodic theorems with a rate of convergence, an important phenomenon which does not arise in classical ergodic theory. Quantitative ergodic theorems give rise to new and previously inaccessible applications, and we demonstrate the remarkable diversity of such applications by presenting several nu…
In this article, we pay attention to transitive dynamical systems having the shadowing property and the entropy functions are upper semicontinuous. As for these dynamical systems, when we consider ergodic optimization restricted on the subset of invariant measures whose metric entropy are equal or greater than a given constant, we prove that for generic real continuous functions the ergodic optimization measure is unique, ergodic, full support and have metric entropy equal to the given constant. Similar results also hold for suspension flows over transitive subshift of finite type, Cr (r\geq 2…
We prove maximal inequalities for concentric ball and spherical shell averages on a general Gromov hyperbolic group, in arbitrary probability preserving actions of the group. Under an additional condition, satisfied for example by all groups acting isometrically and properly discontinuously on CAT(-1) spaces, we prove a pointwise ergodic theorem with respect to a sequence of probability measures supported on concentric spherical shells.
We consider a family of $(2,1)$-rational functions given on the set of $p$-adic field $Q_p$. Each such function has a unique fixed point. We study ergodicity properties of the dynamical systems generated by $(2,1)$-rational functions. For each such function we describe all possible invariant spheres. We characterize ergodicity of each $p$-adic dynamical system with respect to Haar measure reduced on each invariant sphere. In particular, we found an invariant spheres on which the dynamical system is ergodic and on all other invariant spheres the dynamical systems are not ergodic.
A volume growth-based proof of the Multiplicative Ergodic Theorem for Banach spaces is presented, following the approach of Ruelle for cocycles acting on a Hilbert space. As a consequence, we obtain a volume growth interpretation for the Lyapunov exponents of a Banach space cocycle.
Previous work introduced two measure-conjugacy invariants: the $f$-invariant (for actions of free groups) and $Σ$-entropy (for actions of sofic groups). The purpose of this paper is to show that the $f$-invariant is a special case of $Σ$-entropy. There are two applications: the $f$-invariant is invariant under group automorphisms and there is a uniform lower bound on the $f$-invariant of a factor in terms of the original system.
We prove an L^1 subsequence ergodic theorem for sequences chosen by independent random selector variables, thereby showing the existence of universally L^1-good sequences nearly as sparse as the set of squares. In the process, we prove that a certain deterministic condition implies a weak maximal inequality for a sequence of \ell^1 convolution operators.
We define a notion of entropy for an infinite family $\mathcal{C}$ of measurable sets in a probability space. We show that the mean ergodic theorem holds uniformly for $\mathcal{C}$ under every ergodic transformation if and only if $\mathcal{C}$ has zero entropy. When the entropy of $\mathcal{C}$ is positive, we establish a strong converse showing that the uniform mean ergodic theorem fails generically in every isomorphism class, including the isomorphism classes of Bernoulli transformations. As a corollary of these results, we establish that every strong mixing transformation is uniformly str…
We present a new approach to the proof of ergodic theorems for actions of free groups based on geometric covering and asymptotic invariance arguments. Our approach can be viewed as a direct generalization of the classical geometric covering and asymptotic invariance arguments used in the ergodic theory of amenable groups. We use this approach to generalize the existing maximal and pointwise ergodic theorems for free group actions to a large class of geometric averages which were not accessible by previous techniques. Some applications of our approach to other groups and other problems in ergod…
Power-law uniform (in the operator norm) convergence on vector subspaces with their own norms in von Neumann's ergodic theorem with continuous time is considered. All possible exponents of the considered power-law convergence are found; for each of these exponents, spectral criteria for such convergence are given and a complete description of all such subspaces is obtained. Uniform convergence over the entire space takes place only in trivial cases, which explains the interest in the uniform convergence just on subspaces. In addition, along the way, the old convergence rate estimates in the vo…
For linear random dynamical systems in a separable Banach space $X$, we derived a series of Krein-Rutman type Theorems with respect to co-invariant cone family with rank-$k$, which present a (quasi)-equivalence relation between the measurably co-invariant cone family and the measurably dominated splitting of $X$. Moreover, such (quasi)-equivalence relation turns out to be an equivalence relation whenever (i) $k=1$; or (ii) in the frame of the Multiplicative Ergodic Theorem with certain Lyapunov exponent being greater than the negative infinity. For the second case, we thoroughly investigated t…
Hopf's ratio ergodic theorem has an inherent symmetry which we exploit to provide a simplification of standard proofs of Hopf's and Birkhoff's ergodic theorems. We also present a ratio ergodic theorem for conservative transformations on a $σ$-finite measure space, generalizing Kingman's ergodic theorem for subadditive sequences and generalizing previous results by Akcoglu and Sucheston.
We prove the mean ergodic theorem of von Neumann in a Hilbert-Kaplansky space. We also prove a multiparameter, modulated, subsequential and a weighted mean ergodic theorems in a Hilbert-Kaplansky space
Invariant ergodic measures for generalized Boole type transformations are studied using an invariant quasi-measure generating function approach based on special solutions to the Frobenius--Perron operator. New two-dimensional Boole type transformations are introduced, and their invariant measures and ergodicity properties are analyzed.
We show that a dissipative, ergodic measure preserving transformation of a sigma-finite, non-atomic measure space always has many non-proportional, absolutely continuous, invariant measures and is ergodic with respect to each one of these.
We develop a general framework for the inverse mean ergodic theorems with rates for operator semigroups thus completing a construction of the theory initiated in [16] and [17].
A remarkable theorem of Besicovitch is that an integrable function $f$ on $\mathbb{R}^2$ is strongly differentiable if and only if its associated strong maximal function $M_S f$ is finite a.e. We provide an analogue of Besicovitch's result in the context of ergodic theory that provides a generalization of Birkhoff's Ergodic Theorem. In particular, we show that if $f$ is a measurable function on a standard probability space and $T$ is an invertible measure-preserving transformation on that space, then the ergodic averages of $f$ with respect to $T$ converge a.e. if and only if the associated er…
In the present paper we prove weighted ergodic theorems and multiparameter weighted ergodic theorems for positive contractions acting on $L_p(\hat{\nabla},\hatμ)$. Our main tool is the use of methods of measurable bundles of Banach-Kantorovich lattices.
We initiate the study of effective pointwise ergodic theorems in resource-bounded settings. Classically, the convergence of the ergodic averages for integrable functions can be arbitrarily slow. In contrast, we show that for a class of PSPACE L1 functions, and a class of PSPACE computable measure-preserving ergodic transformations, the ergodic average exists for all PSPACE randoms and is equal to the space average on every EXP random. We establish a partial converse that PSPACE non-randomness can be characterized as non-convergence of ergodic averages. Further, we prove that there is a class o…
We use Series' Markovian coding for words in Fuchsian groups and the Bowen-Series coding of limit sets to prove an ergodic theorem for Cesaro averages of spherical averages in a Fuchsian group.
The Oseledets Multiplicative Ergodic theorem is a basic result with numerous applications throughout dynamical systems. These notes provide an introduction to this theorem, as well as subsequent generalizations. They are based on lectures at summer schools in Brazil, France, and Russia.