Related papers: On effective Birkhoff's ergodic theorem for comput…

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…

Given a locally finite graph $\Gamma$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $\lambda$, consider the free energy $f_G(\Gamma,\lambda)$ of…

For a countable amenable group \Gamma and an element f in the integral group ring Z\Gamma being invertible in the group von Neumann algebra of \Gamma, we show that the entropy of the shift action of \Gamma on the Pontryagin dual of the…

We prove that every ergodic amenable action of an algebraic group over a local field of characteristic zero is induced from an ergodic action of an amenable subgroup.

We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of…

We present a simple approach to questions of topological orbit equivalence for actions of countable groups on topological and smooth manifolds. For example, for any action of a countable group $\Gamma$ on a topological manifold where the…

A topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space has a fixed point. This concept is linked with geometry of high dimensions (concentration of measure). We show that a von Neumann…

In this paper we generalize Kingman's sub-additive ergodic theorem to a large class of infinite countable discrete amenable group actions.

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…

We say that a finitely generated group $\Gamma$ is self-simulable if every effectively closed action of $\Gamma$ on a closed subset of $\{\texttt{0},\texttt{1}\}^{\mathbb{N}}$ is the topological factor of a $\Gamma$-subshift of finite type.…

In this article, we establish maximal inequalities and deduce ergodic theorems for state-preserving actions of amenable, locally compact, second-countable groups on tracial non-commutative $L^1$-spaces. As a further consequence, in…

We give the first examples of (non-amenable group) amenable actions on stably finite simple C*-algebras. More precisely, we give such actions for any countable group in an explicit way. The main ingredients of our construction are the full…

Motivated by reformulating Furstenberg's $\times p,\times q$ conjecture via representations of a crossed product $C^*$-algebra, we show that in a discrete $C^*$-dynamical system $(A,\Gamma)$, the space of (ergodic) $\Gamma$-invariant states…

We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary…

We describe the results of some computational explorations in Thompson's group F. We describe experiments to estimate the cogrowth of F with respect to its standard finite generating set, designed to address the subtle and difficult…

The Abels-Margulis-Soifer lemma states that if a semigroup $\Gamma$ acts strongly irreducibly by linear transformations on a finite-dimensional real vector space, then any element of $\Gamma$ can be multiplied by an element of some fixed…

Given a topologically free action of a countably infinite amenable group on the Cantor set, we prove that, for every subgroup $G$ of the topological full group containing the alternating group, the group von Neumann algebra $\mathscr{L} G$…

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…

Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…

For an ergodic action of the group $Z^n$ on a probability space and a given arbitrarily slowly decreasing to zero sequence, there exists an integrable function such that the standard ergodic time averages for it converge almost everywhere…