We prove mean convergence, as $N\to\infty$, for the multiple ergodic averages $\frac{1}{N}\sum_{n=1}^N f_1(T_1^{p_1(n)}x)... f_\ell(T_\ell^{p_\ell(n)}x)$, where $p_1,...,p_\ell$ are integer polynomials with distinct degrees, and $T_1,...,T_\ell$ are commuting, invertible measure preserving transformations, acting on the same probability space. This establishes several cases of a conjecture of Bergelson and Leibman, that complement the case of linear polynomials, recently established by Tao. Furthermore, we show that, unlike the case of linear polynomials, for polynomials of distinct degrees, the corresponding characteristic factors are mixtures of inverse limits of nilsystems. We use this particular structure, together with some equidistribution results on nilmanifolds, to give an application to multiple recurrence and a corresponding one to combinatorics.
We find limits of some multiple ergodic averages, generalizing a result of Bergelson to the setting of two commuting transformations and actions of amenable groups.
We prove the norm convergence of multiple ergodic averages along cubes for several commuting transformations, and derive corresponding combinatorial results. The method we use relies primarily on the "magic extension" established recently by B. ~Host.
We prove the $L^{2}$ convergence for the linear multiple ergodic averages of commuting transformations $T_{1}, ..., T_{l}$, assuming that each map $T_i$ and each pair $T_iT_j^{-1}$ is ergodic for $i\neq j$. The limiting behavior of such averages is controlled by a particular factor, which is an inverse limit of nilsystems. As a corollary we show that the limiting behavior of linear multiple ergodic averages is the same for commuting transformations.
Let $T_1, ..., T_l: X \to X$ be commuting measure-preserving transformations on a probability space $(X, \X, μ)$. We show that the multiple ergodic averages $\frac{1}{N} \sum_{n=0}^{N-1} f_1(T_1^n x) ... f_l(T_l^n x)$ are convergent in $L^2(X,\X,μ)$ as $N \to \infty$ for all $f_1,...,f_l \in L^\infty(X,\X,μ)$; this was previously established for $l=2$ by Conze and Lesigne and for general $l$ assuming some additional ergodicity hypotheses on the maps $T_i$ and $T_i T_j^{-1}$ by Frantzikinakis and Kra (with the $l=3$ case of this result established earlier by Zhang). Our approach is combinatoria…
Recently, T. Tao gave a finitary proof a convergence theorem for multiple averages with several commuting transformations and soon later, T. Austin gave an ergodic proof of the same result. Although we give here one more proof of the same theorem, this is not the main goal of this paper. Our main concern is to provide some tools for the case of several commuting transformations, similar to the tools successfully used in the case of a single transformation, with the idea that they will be useful in the solution of other problems.
We study the limiting behavior of multiple ergodic averages involving several not necessarily commuting measure preserving transformations. We work on two types of averages, one that uses iterates along combinatorial parallelepipeds, and another that uses iterates along shifted polynomials. We prove pointwise convergence in both cases, thus answering a question of I.Assani in the former case, and extending results of B.Host-B.Kra and A.Leibman in the latter case. Our argument is based on some elementary uniformity estimates of general bounded sequences, decomposition results in ergodic theory,…
Based on T.Tao's result of norm convergence of multiple ergodic averages for commut-ing transformation, we obtain there is a subsequence which converges almost everywhere. Meanwhile, the ergodic behaviour, which the time average is equal to the space average, of diagonal measures is obtained and we give different result according to the classification of transformations. Additionally, on the torus with special rotation. we can not only get the convergence in T.Tao's paper for every point in Td, but also get a beautiful result for ergodic behaviour.
Let $(X,\mathcal{B},μ)$ be a probability space and let $T_1,..., T_l$ be $l$ commuting invertible measure preserving transformations \linebreak of $X$. We show that if $T_1^{c_1} ... T_l^{c_l}$ is ergodic for each $(c_1,...,c_l)\neq (0,...,0)$, then the averages $\frac{1}{|Φ_N|}\sum_{u\inΦ_N}\prod_{i=1}^r T_1^{p_{i1}(u)}... T_l^{p_{il}(u)}f_i$ converge in $L^2(μ)$ for all polynomials $p_{ij}\colon \mathbb{Z}^d\to\mathbb{Z}$, all $f_i\in L^{\infty}(μ)$, and all Følner sequences $\{Φ_N\}_{N=1}^{\infty}$ in $\mathbb{Z}^d$.
We study double ergodic averages with respect to two general commuting transformations and establish a sharp quantitative result on their convergence in the norm. We approach the problem via real harmonic analysis, using recently developed methods for bounding multilinear singular integrals with certain entangled structure. A byproduct of our proof is a bound for a two-dimensional bilinear square function related to the so-called triangular Hilbert transform.
Let $(X,μ)$ be a probability space, $G$ a countable amenable group and $(F_n)_n$ a left Følner sequence in $G$. This paper analyzes the non-conventional ergodic averages \[\frac{1}{|F_n|}\sum_{g \in F_n}\prod_{i=1}^d (f_i\circ T_1^g\cdots T_i^g)\] associated to a commuting tuple of $μ$-preserving actions $T_1$, ..., $T_d:G\curvearrowright X$ and $f_1$, ..., $f_d \in L^\infty(μ)$. We prove that these averages always converge in $\|\cdot\|_2$, and that they witness a multiple recurrence phenomenon when $f_1 = \ldots = f_d = 1_A$ for a non-negligible set $A\subseteq X$. This proves a conjecture o…
We study double averages along orbits for measure preserving actions of $\mathbb{A}^ω$, the direct sum of countably many copies of a finite abelian group $\mathbb{A}$. In this article we show an $L^p$ norm-variation estimate for these averages, which in particular reproves their convergence in $L^p$ for any finite $p$ and for any choice of two $L^\infty$ functions. The result is motivated by recent questions on quantifying convergence of multiple ergodic averages.
We unify and extend some previous results about cubic ergodic averages and sets of positive density in products of groups. This provides a joint generalization of earlier work of the author in the case of two commuting actions of an amenable group, and of Q. Chu's recent result on a a finite number of commuting transformations.
We describe characteristic factors for certain averages arising from commuting actions of locally compact, second-countable, amenable groups. Under some ergodicity assumptions we use these factors to prove a form of multiple recurrence for three such actions.
We determine all couples of commuting polynomial endomorphisms of C^2 that extends to holomorphic endomorphisms of P^2 and that have disjoint sequences of iterates.
We provide necessary and sufficient conditions for joint ergodicity results for systems of commuting measure preserving transformations for an iterated Hardy field function of polynomial growth. Our method builds on and improves recent techniques due to Frantzikinakis and Tsinas, who dealt with multiple ergodic averages along Hardy field functions; it also enhances an approach introduced by the authors and Ferré Moragues to study polynomial iterates. The more general expression, in which the iterate is a linear combination of a Hardy field function of polynomial growth and a tempered function,…
We consider commuting pairs of holomorphic endomorphisms of P^2 with disjoint sequence of iterates. The remaining case to be studied is when their degrees coincide after some number of iterations. We show in this case that they are either commuting Lattès maps or commuting homogeneous polynomial maps of C^2 inducing a Lattès map on the hyperplane at infinity.
We offer a generalization of the recent result of Tao (building on earlier results of Conze and Lesigne, Furstenberg and Weiss, Zhang, Host and Kra, Frantzikinakis and Kra and Ziegler) that the nonconventional ergodic averages associated to an arbitrary number of commuting probability-preserving transformations always converge to some limit in L^2. We prove the corresponding result for a collection of commuting actions of a larger discrete Abelian group, and gives convergence that is uniform in the start-point of the averages. While Tao's proof rests on a conversion to a finitary problem, we i…
Examining multiple ergodic averages whose iterates are integer parts of real valued polynomials for totally ergodic systems, we provide various characterizations of total joint ergodicity, meaning that an average converges to the "expected" limit along every arithmetic progression. In particular, we obtain a complete characterization when the number of iterates is at most two, and disprove a conjecture of the first author. We also improve a result of Frantzikinakis on joint ergodicity of Hardy field functions of at most polynomial growth for totally ergodic systems, which extends a conjecture …
We show that, under finitely many ergodicity assumptions, any multicorrelation sequence defined by invertible measure preserving $\mathbb{Z}^d$-actions with multivariable integer polynomial iterates is the sum of a nilsequence and a null sequence, extending a recent result of the second author. To this end, we develop a new seminorm bound estimate for multiple averages by improving the results in a previous work of the first, third and fourth authors. We also use this approach to obtain new criteria for joint ergodicity of multiple averages with multivariable polynomial iterates on $\mathbb{Z}…
The purpose of this note is to present my understanding of Tim Austin's proof of the multiple ergodic theorem for commuting transformations, emphasizing on the use of joinings, extensions and factors. The existence of a sated extension, which is a key argument in the proof, is presented in a general context.
Exploiting the recent work of Tao and Ziegler on a concatenation theorem on factors, we find explicit characteristic factors for multiple averages along polynomials on systems with commuting transformations, and use them to study criteria of joint ergodicity for sequences of the form $(T^{p_{1,j}(n)}_{1}\cdot\ldots\cdot T^{p_{d,j}(n)}_{d})_{n\in\mathbb{Z}},$ $1\leq j\leq k$, where $T_{1},\dots,T_{d}$ are commuting measure preserving transformations on a probability measure space and $p_{i,j}$ are integer polynomials. To be more precise, we provide a sufficient condition for such sequences to b…
By establishing Multiplicative Ergodic Theorem for commutative transformations on a separable infinite dimensional Hilbert space, in this paper, we investigate Pesin's entropy formula and SRB measures of a finitely generated random transformations on such space via its commuting generators. Moreover, as an application, we give a formula of Friedland's entropy for certain $C^{2}$ $\mathbb{N}^2$-actions.
We provide various counter examples for quantitative multiple recurrence problems for systems with more than one transformation. We show that $\bullet$ There exists an ergodic system $(X,\mathcal{X},μ,T_1,T_2)$ with two commuting transformations such that for every $0<\ell< 4$, there exists $A\in\mathcal{X}$ such that $$μ(A\cap T_{1}^{-n}A\cap T_{2}^{-n}A)<μ(A)^{\ell} \text{ for every } n\neq 0;$$ $\bullet$ There exists an ergodic system $(X,\mathcal{X},μ,T_1,T_2, T_{3})$ with three commuting transformations such that for every $\ell>0$, there exists $A\in\mathcal{X}$ such that $$μ(A\cap T_{1}…
We apply Walsh's method for proving norm convergence of multiple ergodic averages to arbitrary amenable groups. We obtain convergence in the uniform Cesàro sense for their polynomial actions and for ``triangular'' averages associated to commuting homomorphic actions. The latter generalizes a result due to Bergelson, McCutcheon, and Zhang in the case of two actions.
We study the dynamics of Blaschke products in two dimensions, particularly the rates of growth of the degrees of iterates and the corresponding implications for the ergodic properties of the map.
We show that for every ergodic system $(X,μ,T_1,\ldots,T_d)$ with commuting transformations, the average \[\frac{1}{N^{d+1}} \sum_{0\leq n_1,\ldots,n_d \leq N-1} \sum_{0\leq n\leq N-1} f_1(T_1^n \prod_{j=1}^d T_j^{n_j}x)f_2(T_2^n \prod_{j=1}^d T_j^{n_j}x)\cdots f_d(T_d^n \prod_{j=1}^d T_j^{n_j}x). \] converges for $μ$-a.e. $x\in X$ as $N\to\infty$. If $X$ is distal, we prove that the average \[\frac{1}{N}\sum_{i=0}^{N} f_1(T_1^nx)f_2(T_2^nx)\cdots f_d(T_d^nx) \] converges for $μ$-a.e. $x\in X$ as $N\to\infty$. We also establish the pointwise convergence of averages along cubical configurations…
We study certain multiple ergodic averages of an iterated functions system generated by two contractions on the unit interval. By using the dynamical coding ${0,1}^{\mathbb{N}}$ of the attractor, we compute the Hausdorff dimension of the set of points with a given frequency of the pattern 11 in positions $k, 2k$.
A criterion of joint ergodicity of several sequences of transformations of a probability measure space $X$ of the form $T_{i}^{ϕ_{i}(n)}$ is given for the case where $T_{i}$ are commuting measure preserving transformations of $X$ and $ϕ_{i}$ are integer valued generalized linear functions, that is, the functions formed from conventional linear functions by an iterated use of addition, multiplication by constants, and the greatest integer function. We also establish a similar criterion for joint ergodicity of families of transformations depending of a continuous parameter, as well as a conditio…
Let $\{S_i\}_{i=1}^\ell$ be an iterated function system (IFS) on $\R^d$ with attractor $K$. Let $(Σ,σ)$ denote the one-sided full shift over the alphabet $\{1,..., \ell\}$. We define the projection entropy function $h_π$ on the space of invariant measures on $Σ$ associated with the coding map $π: Σ\to K$, and develop some basic ergodic properties about it. This concept turns out to be crucial in the study of dimensional properties of invariant measures on $K$. We show that for any conformal IFS (resp., the direct product of finitely many conformal IFS), without any separation condition, the pr…
In this note we introduce a sequence of bilinear operators that unify ergodic averages and backward martingales in a nontrivial way. We establish its convergence in a range of $L^p$-norms and leave its a.s. convergence as an open problem. This problem shares some similarities with a well-known unresolved conjecture on a.s. convergence of double ergodic averages with respect to two commuting transformations.
It is shown that there exist a subsequence for which the multiple ergodic averages of commuting invertible measure preserving transformations of a Lebesgue probability space converge almost everywhere provided that the maps are weakly mixing with an ergodic extra condition. The proof provides a example of non-singular dynamical system for which the maximal ergodic inequality does not hold. We further get that the non-singular strategy to solve the pointwise convergence of the Furstenberg ergodic averages fails.
We study mean convergence results for weighted multiple ergodic averages defined by commuting transformations with iterates given by integer polynomials in several variables. Roughly speaking, we prove that a bounded sequence is a good universal weight for mean convergence of such averages if and only if the averages of this sequence times any nilsequence converge. Key role in the proof play two decomposition results of independent interest. The first states that every bounded sequence in several variables satisfying some regularity conditions is a sum of a nilsequence and a sequence that has …
We prove a.e. convergence of continuous-time quadratic averages with respect to two commuting $\mathbb{R}$-actions, coming from a single jointly measurable measure-preserving $\mathbb{R}^2$-action on a probability space. The key ingredient of the proof comes from recent work on multilinear singular integrals; more specifically, from the study of a curved model for the triangular Hilbert transform.
We show that if $(X,\mathcal{X},μ,S,T)$ is an ergodic measure preserving system with commuting transformations $S$ and $T$, then the average \[\frac{1}{N^3} \sum_{i,j,k=0}^{N-1} f_0(S^j T^k x) f_1 (S^{i+j} T^k x) f_2 (S^j T^{i+k} x)\] converges for $μ$-a.e. $x\in X$ as $N\to \infty$ for $f_0,f_1, f_2\in L^\infty(μ)$. We also show that if $(X,\mathcal{X},μ,S,T)$ is a measurable distal system, the average \[ \frac{1}{N}\sum_{i=0}^{N-1} f_1 (S^i x) f_2 (T^i x) \] converges for $μ$-a.e. $x\in X$ as $N\to \infty$ for $f_1,f_2\in L^{\infty}(μ)$.
We construct new examples of cylinder flows, given by skew product extensions of irrational rotations on the circle, that are ergodic and rationally ergodic along a subsequence of iterates. In particular, they exhibit law of large numbers. This is accomplished by explicitly calculating, for a subsequence of iterates, the number of visits to zero, and it is shown that such number has a gaussian distribution.
Let $(X,\mathcal{A}, μ)$ be a probability measure space and let $T_i,$ $1\leq i\leq H,$ be commuting invertible measure preserving transformations on this measure space. We prove the following pointwise results; The averages $$\frac{1}{N}\sum_{n=1}^N f_1(T_1^nx)f_2(T_2^nx)\cdots f_H(T_H^nx)$$ converge a.e. for every function $f_i \in L^{\infty}(μ)$ .\\ As a consequence if $T_i = T^i$ for $1\leq i \leq H$ where $T$ is an invertible measure preserving transformation on $(X, \mathcal{A}, μ)$ then the averages $$\frac{1}{N}\sum_{n=1}^N f_1(T^nx)f_2(T^{2n}x)...f_H(T^{Hn}x)$$ converge a.e. This solv…
We establish mean convergence for multiple ergodic averages with iterates given by distinct fractional powers of primes and related multiple recurrence results. A consequence of our main result is that every set of integers with positive upper density contains patterns of the form $\{m,m+[p_n^a], m+[p_n^b]\}$, where $a,b$ are positive non-integers and $p_n$ denotes the $n$-th prime, a property that fails if $a$ or $b$ is a natural number. Our approach is based on a recent criterion for joint ergodicity of collections of sequences and the bulk of the proof is devoted to obtaining good seminorm …
Using techniques from infinite ergodic theory, Kessebohmer and Stratmann determined the asymptotic behavior of the Lebesgue measure of sets of the form $F^{-n}[α,β]$, where $[α,β]\subseteq(0,1]$ and $F$ is the Farey map. In this paper, we provide an effective version of this result, employing mostly basic properties of the transfer operator of the Farey map and an application of Freud's effective version of Karamata's Tauberian theorem.
Tao has recently proved that if $T_1,...,T_l$ are commuting, invertible, measure-preserving transformations on a dynamical system then for any $L^\infty$ functions $f_1,...,f_l$, the average $\frac{1}{N}\sum_{n=0}^{N-1}\prod_{i\leq l}f_i\circ T^n_i$ converges in the $L^2$ norm. Tao's proof is unusual in that it translates the problem into a more complicated statement about the combinatorics of finite spaces by using the Furstenberg correspondence "backwards". In this paper, we give an ergodic proof of this theorem, essentially a translation of Tao's argument to the ergodic setting. In order to…
We study mean convergence of multiple ergodic averages, where the iterates arise from smooth functions of polynomial growth that belong to a Hardy field. Our results include all logarithmico-exponential functions of polynomial growth, such as the functions $t^{3/2}, t\log t$ and $e^{\sqrt{\log t}}$. We show that if all non-trivial linear combinations of the functions $a_1,...,a_k$ stay logarithmically away from rational polynomials, then the $L^2$-limit of the ergodic averages $\frac{1}{N} \sum_{n=1}^{N}f_1(T^{\lfloor{a_1(n)}\rfloor}x)\cdots f_k(T^{\lfloor{a_k(n)}\rfloor}x)$ exists and is equa…
We consider measures which are invariant under a measurable iterated function system with positive, place-dependent probabilities in a separable metric space. We provide an upper bound of the Hausdorff dimension of such a measure if it is ergodic. We also prove that it is ergodic iff the related skew product is.
We prove pointwise convergence, as $N\to \infty$, for the multiple ergodic averages $\frac{1}{N}\sum_{n=1}^N f(T^nx)\cdot g(S^{a_n}x)$, where $T$ and $S$ are commuting measure preserving transformations, and $a_n$ is a random version of the sequence $[n^c]$ for some appropriate $c>1$. We also prove similar mean convergence results for averages of the form $\frac{1}{N}\sum_{n=1}^N f(T^{a_n}x)\cdot g(S^{a_n}x)$, as well as pointwise results when $T$ and $S$ are powers of the same transformation. The deterministic versions of these results, where one replaces $a_n$ with $[n^c]$, remain open, and …
