Related papers: Ergodic theorem and algorithmic randomness

Gallagher's ergodic theorem is a result in metric number theory. It states that the approximation of real numbers by rational numbers obeys a striking 'all or nothing' behaviour. We discuss a formalisation of this result in the Lean theorem…

We introduce an equivariant Pontrjagin-Thom construction which identifies equivariant cohomotopy classes with certain fixed point bordism classes. This provides a concrete geometric model for equivariant cohomotopy which works for any…

This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable in the equational theory. More precisely, if a certain…

This paper is a continuation of Poiret-Robert-Thomann (2013) where we studied a randomisation method based on the Laplacian with harmonic potential. Here we extend our previous results to the case of any polynomial and confining potential…

We prove the conjectures on dimensions and characters of some quadratic algebras stated by B$.$L$.$Feigin. It turns out that these algebras are naturally isomorphic to the duals of the components of the bihamiltonian operad.

A method for obtaining simple criteria for instabilities in kinetic theory is described and outlined, specifically for the relativistic Vlasov-Maxwell system. An important ingredient of the method is an analysis of a parametrized set of…

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…

We present a short proof of Szemer\'edi's Theorem using a dynamical system enriched by ideas from model theory. The resulting proof contains features reminiscent of proofs based on both ergodic theory and on hypergraph regularity.

We give a categorical account of Arrow's theorem, a seminal result in social choice theory.

In the framework of statistical mechanics the properties of macroscopic systems are deduced starting from the laws of their microscopic dynamics. One of the key assumptions in this procedure is the ergodic property, namely the equivalence…

This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…

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…

Motivated by studying stochastic systems with non-Gaussian L\'evy noise, spectral properties for a type of linear cocycles are considered. These linear cocycles have countable jump discontinuities in time. A multiplicative ergodic theorem…

We prove a higher-dimensional version of the well-known Poincar\'e--Birkhoff theorem, using Floer homology. We also prove a relative version for Lagrangian submanifolds. The motivation is finding periodic orbits and Hamiltonian chords in…

We state a theorem relating the ergodicity of the action of a given subgroup of the mapping class group of a surface on the character variety, to the asymptotic of its invariant subspaces through the Witten-Reshetikhin-Turaev…

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…

We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.

We present an algorithmic proof of the Cartan-Dieudonn\'e theorem on generalized real scalar product spaces with arbitrary signature. We use Clifford algebras to compute the factorization of a given orthogonal transformation as a product of…

We prove that the Birkhoff pointwise ergodic theorem and the Oseledets multiplicative ergodic theorem hold for every flat surface in almost every direction. The proofs rely on the strong law of large numbers, and on recent rigidity results…

We present a simple way to produce good weights for several types of ergodic theorem including the Wiener-Wintner type multiple return time theorem and the multiple polynomial ergodic theorem. These weights are deterministic and come from…