A countable group Γ has the Haagerup approximation property if and only if the mixing actions are dense in the space of all actions of Γ.

We prove that mixing on rank-one transformations is equivalent to "the uniform convergence of ergodic averages (as in the mean ergodic theorem) over subsequences of partial sums". In particular, all polynomial staircase transformations are mixing.

We prove that for a certain class of ${\mathbb{Z}}^d$ shifts of finite type with positive topological entropy there is always an invariant measure, with entropy arbitrarily close to the topological entropy, that has strong metric mixing properties. With the additional assumption that there are dense periodic orbits, one can ensure that this measure is Bernoulli.

In topological dynamics a theory of recurrence properties via (Furstenberg) families was established in the recent years. In the current paper we aim to establish a corresponding theory of ergodicity via families in measurable dynamical systems (MDS). For a family ℱ (of subsets of ℤ₊) and a MDS (X,,μ,T), several notions of ergodicity related to ℱ are introduced, and characterized via the weak topology in the induced Hilbert space L²(μ). T is ℱ-convergence ergodic of order k if for any $A₀,...,A_k$ of positive...

Let E be an interval in the unit interval [0,1). For each x ∈ [0,1) define dₙ(x) ∈ 0,1 by $dₙ\left(x\right):={\sum }_{i=1}^n{1}_E\left(2^{i-1}x\right)\left(mod2\right)$, where t is the fractional part of t. Then x is called a normal number mod 2 with respect to E if $N^{-1}{\sum }_{n=1}^{N}dₙ\left(x\right)$ converges to 1/2. It is shown that for any interval E ≠(1/6, 5/6) a.e. x is a normal number mod 2 with respect to E. For E = (1/6, 5/6) it is proved that $N^{-1}{\sum }_{n=1}^{N}dₙ\left(x\right)$ converges a.e. and the limit equals 1/3 or 2/3 depending on x.

In ergodic theory, certain sequences of averages $A_{k}f$ may not converge almost everywhere for all f ∈ L¹(X), but a sufficiently rapidly growing subsequence $A_{m_k}f$ of these averages will be well behaved for all f. The order of growth of this subsequence that is sufficient is often hyperexponential, but not necessarily so. For example, if the averages are $A_{k}f\left(x\right)=1/\left(2^k\right){\sum }_{j=4^k+1}^{4^k+2^k}f\left(T^{j}x\right)$, then the subsequence $A_{k²}f$ will not be pointwise good even on $L^{\infty }$, but the subsequence $A_{2^k}f$ will be pointwise good on L¹. Understanding when the hyperexponential...

Nous introduisons une notion de moyenne harmonique pour une marche aléatoire sur une relation d’équivalence mesurée graphée, qui généralise la notion classique de moyenne invariante. Pour les graphages à géométrie bornée, une telle moyenne existe toujours. Nous prouvons qu’une moyenne harmonique devient invariante lorsque la marche aléatoire sur presque toute orbite jouit de bonnes propriétés asymptotiques telles que la propriété de Liouville ou la récurrence.

Net (X,ℱ,ν) be a σ-finite measure space. Associated with k Lamperti operators on $L^p\left(\nu \right)$, $T₁,...,T_k$, $n̅=(n₁,...,n_k)\in {\mathbb{N}}^k$ and $\alpha ̅=(\alpha ₁,...,{\alpha }_k)$ with $0<{\alpha }_j\le 1$, we define the ergodic Cesàro-α̅ averages ${}_{n̅,\alpha ̅}f=1/\left({\prod }_{j=1}^k{A}_{n_j}^{{\alpha }_j}\right){\sum }_{i_k=0}^{n_k}\cdots {\sum }_{i₁=0}^{n₁}{\prod }_{j=1}^k{A}_{n_j-i_j}^{{\alpha }_j-1}{T}_k^{i_k}\cdots T{₁}^{i₁}f$. For these averages we prove the almost everywhere convergence on X and the convergence in the $L^p\left(\nu \right)$ norm, when $n₁,...,n_k\to \infty$ independently, for all $f\in L^p\left(d\nu \right)$ with p > 1/α⁎ where $\alpha ⁎=mi{n}_{1\le j\le k}{\alpha }_j$. In the limit case p = 1/α⁎, we prove that the averages ${}_{n̅,\alpha ̅}f$ converge almost everywhere on X for all f in the Orlicz-Lorentz space $\Lambda (1/\alpha ⁎,{\phi }_{m-1})$ with $\phi ₘ\left(t\right)=t{(1+log⁺t)}^m$. To obtain the result in the limit case we need to study...