Related papers: A constructive version of Birkhoff's ergodic theor…

We characterize the points that satisfy Birkhoff's ergodic theorem under certain computability conditions in terms of algorithmic randomness. First, we use the method of cutting and stacking to show that if an element x of the Cantor space…

This paper is a survey of applications of the theory of algorithmic randomness to ergodic theory. We establish various degrees of constructivity for asymptotic laws of probability theory. In the framework of the Kolmogorov approach to the…

Given a space $X$, a $\sigma$-algebra $\mathfrak{B}$ on $X$ and a measurable map $T:X \to X$, we say that a measure $\mu$ is half-invariant if, for any $B \in \mathfrak{B}$, we have $\mu(T^{-1}(B)\leq \mu (B)$. In this note we present a…

We prove the constructive version of Birkhoff's ergodic theorem following Vyugin but trying to separate and state explicitly the combinatorial statement on which this proof is based. We pose some questions related to this statement (and the…

Suppose that G is a compact Abelian topological group, m is the Haar measure on G and f is a measurable function. Given (n_k), a strictly monotone increasing sequence of integers we consider the nonconventional ergodic/Birkhoff averages…

Let \mu be a computable ergodic shift-invariant measure over the Cantor space. Providing a constructive proof of Shannon-McMillan-Breiman theorem, V'yugin proved that if a sequence x is Martin-L\"of random w.r.t. \mu then the strong…

In \cite{BAMU}, an ergodic theorem \`a la Birkhoff-von Neumann for the action of the fundamental group of a compact negatively curved manifold on the boundary of its universal cover is proved. A quick corollary is the irreducibility of the…

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…

We extend a recent result of Tim Austin (see arXiv:0905.0515) to the L^1 setting, thus providing a general version of the Birkhoff ergodic theorem for functions taking values in nonpositively curved spaces. In this setting, the notion of a…

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…

We study a stability property of probability laws with respect to small violations of algorithmic randomness. A sufficient condition of stability is presented in terms of Schnorr tests of algorithmic randomness. Most probability laws, like…

We explore a duality between von-Neumann's mean ergodic theorem in von-Neumann algebra and Birkhoff's mean ergodic theorem in the pre-dual Banach space of von-Neumann algebras. Besides improving known mean ergodic theorems on von-Neumann…

We introduce computable actions of computable groups and prove the following versions of effective Birkhoff's ergodic theorem. Let $\Gamma$ be a computable amenable group, then there always exists a canonically computable tempered two-sided…

For an ergodic hyperbolic measure $\omega$ of a $C^{1+{\alpha}}$ diffeomorphism, there is an $\omega$ full-measured set $\tilde\Lambda$ such that every nonempty, compact and connected subset $V$ of $\mathbb{M}_{inv}(\tilde\Lambda)$…

We propose a generalization of the Poincar\'e-Birkhoff Theorem on area-preserving twist maps to area-preserving twist maps that are random with respect to an ergodic probability measure. The classical theory is a particular instance of the…

The classical Birkhoff ergodic theorem states that for an ergodic Markov process the limiting behaviour of the time average of a function (having finite $p$-th moment, $p\ge1$, with respect to the invariant measure) along the trajectories…

For any transitive piecewise monotonic map for which the set of periodic measures is dense in the set of ergodic invariant measures (such as monotonic mod one transformations and piecewise monotonic maps with two monotonic pieces), we show…

The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…

It is well-known that a strict analogue of the Birkhoff Ergodic Theorem in infinite ergodic theory is trivial; it states that for any infinite-measure-preserving ergodic system the Birkhoff average of every integrable function is almost…

An instability property of the Birkhoff's ergodic theorem and related asymptotic laws with respect to small violations of algorithmic randomness is studied. The Shannon--McMillan--Breiman theorem and all universal compression schemes are…