Related papers: A formalisation of Gallagher's ergodic theorem

We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements…

We construct a De Morgan algebra-valued logic with quantifiers, where the truth values are in a finite De Morgan algebra, We show that there is a representation theorem of the cylindric algebra of this logic from which a completeness…

Walsh has recently proved the norm convergence of all nonconventional ergodic averages involving polynomial sequences in discrete nilpotent acting groups. He deduces this convergence from an equivalent, `finitary' assertion of stability…

A discrete quantum process is represented by a sequence of quantum operations, which are completely positive maps that are not necessarily trace preserving. We consider quantum processes that are obtained by repeated iterations of a quantum…

The following paper follows on from work by Kamae, and gives a rigorous proof of the Ergodic Theorem, using nonstandard analysis.

Given quantities $\Delta_1,\Delta_2,\dots\geqslant 0$, a fundamental problem in Diophantine approximation is to understand which irrational numbers $x$ have infinitely many reduced rational approximations $a/q$ such that $|x-a/q|<\Delta_q$.…

Furstenberg, Katznelson and Weiss proved in the early 1980s that every measurable subset of the plane with positive density at infinity has the property that all sufficiently large real numbers are realised as the Euclidean distance between…

Our goal in the present paper is to give a new ergodic proof of a well-known Veech's result, build upon our previous works.

The aim of this paper is to prove Cotlar's ergodic theorem modeled on the set of primes.

In 1987, J. H. Elton, has proved the first fundamental result in convergence of IFS, the Elton's Ergodic Theorem. In this work we prove the natural extension of this theorem to the projected Hutchinson measure $\mu_{\alpha}$ associated to a…

Given a nonnegative function $\psi : \N \to \R $, let $W(\psi)$ denote the set of real numbers $x$ such that $|nx -a| < \psi(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(\psi)$ is of…

Let $k$ be a number field, $\mathbf{G}$ an algebraic group defined over $k$, and $\mathbf{G}(k)$ the group of $k$-rational points in $\mathbf{G}.$ We determine the set of functions on $\mathbf{G}(k)$ which are of positive type and…

We prove the existence of a successful coupling for $n$ particles in the symmetric inclusion process. As a consequence we characterize the ergodic measures with finite moments, and obtain sufficient conditions for a measure to converge in…

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…

Let (G,+) be a compact, abelian, and metrizable topological group. In this group we take $g\in G$ such that the corresponding automorphism t_g is ergodic. The main result of this paper is a new ergodic theorem for functions in L^1(G,M),…

We strengthen the maximal ergodic theorem for actions of groups of polynomial growth to a form involving jump quantity, which is the sharpest result among the family of variational or maximal ergodic theorems. As a consequence, we deduce in…

The trivial proof of the ergodic theorem for a finite set $Y$ and a permutation $T:Y\to Y$ shows that for an arbitrary function $f:Y\to{\mathbb R}$ the sequence of ergodic means $A_n(f,T)$ stabilizes for $n \gg |T|$. We show that if $|Y|$…

A classical fact in ergodic theory is that ergodicity is equivalent to almost everywhere divergence of ergodic sums of all nonnegative integrable functions which are not identically zero. We show two methods, one in the measure preserving…

Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. Our purpose is to look for a connection between these two…

A new proof of the geodesic character of all motions of bodies that interact only gravitationally - and a detailed illustration of the real meaning of the linearized approximation of general relativity.