We find the smallest characteristic factor and a limit formula for the multiple ergodic averages associated to any family of three polynomials and polynomial families of the form $\{l_1p,l_2p,...,l_kp\}$. We then derive several multiple recurrence results and combinatorial implications, including an answer to a question of Brown, Graham, and Landman, and a generalization of the Polynomial Szemerédi Theorem of Bergelson and Leibman for families of three polynomials with not necessarily zero constant term. We also simplify and generalize a recent result of Bergelson, Host, and Kra, showing that for all $ε>0$ and every subset of the integers $Λ$ the set $$ \big\{n\in\N\colon d^*\big(Λ\cap (Λ+p_1(n))\cap (Λ+p_2(n))\cap (Λ+ p_3(n))\big)>(d^*(Λ))^4-ε\big\} $$ has bounded gaps for "most" choices of integer polynomials $p_1,p_2,p_3$.
Szemerédi's Theorem states that a set of integers with positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman generalized this, showing that sets of integers with positive upper density contain arbitrarily long polynomial configurations; Szemerédi's Theorem corresponds to the linear case of the polynomial theorem. We focus on the case farthest from the linear case, that of rationally independent polynomials. We derive results in ergodic theory and in combinatorics for rationally independent polynomials, showing that their behavior differs sharply from t…
In this paper we study multiple ergodic averages for "good" variable polynomials. In particular, under an additional assumption, we show that these averages converge to the expected limit, making progress related to an open problem posted by Frantzikinakis (Problem 10, "Some open problems on multiple ergodic averages. Bulletin of the Hellenic Mathematical Society. 60 (2016), 41-90"). Corresponding averages along prime numbers are studied too. These general convergence results imply various variable extensions of classical recurrence, combinatorial and number theoretical results which are prese…
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, t…
For a totally uniquely ergodic dynamical system, we prove a topological Wiener-Wintner ergodic theorem with polynomial weights under the coincidence of the quasi discrete spectrums of the system in both senses of Abramov and of Hahn-Parry. The result applies to ergodic nilsystems. Fully oscillating sequences can then be constructed on nilmanifolds.
We study here weighted polynomial multiple ergodic averages. A sequence of weights is called universally good if any polynomial multiple ergodic average with this sequence of weights converges in $L^{2}$. We find a necessary condition and show that for any bounded measurable function $ϕ$ on an ergodic system, the sequence $ϕ(T^{n}x)$ is universally good for almost every $x$. The linear case was understood by Host and Kra.
A recent result of Frantzikinakis establishes sufficient conditions for joint ergodicity in the setting of $\mathbb{Z}$-actions. We generalize this result for actions of second-countable locally compact abelian groups. We obtain two applications of this result. First, we show that, given an ergodic action $(T_n)_{n \in F}$ of a countable field $F$ with characteristic zero on a probability space $(X,\mathcal{B},μ)$ and a family $\{p_1,\dots,p_k\}$ of independent polynomials, we have \[ \lim_{N \to \infty} \frac{1}{|Φ_N|}\sum_{n \in Φ_N} T_{p_1(n)}f_1\cdots T_{p_k(n)}f_k\ = \ \prod_{j=1}^k \int_…
We survey some recent developments and give a list of open problems regarding multiple recurrence and convergence phenomena of $\mathbb{Z}^d$ actions in ergodic theory and related applications in combinatorics and number theory.
We prove that a sumset of a TE subset of (\N) (these sets can be viewed as "aperiodic" sets) with a set of positive upper density intersects a set of values of any polynomial with integer coefficients., i.e. for any (A \subset \N ) a TE set, for any (p(n) \in \Z[n]: °{p(n)} > 0, p(n) \to_{n \to \infty} \infty ) and any subset (B \subset \N ) of positive upper density we have (R_p = A+B \cap \{p(n) | n \in \N \} \neq \emptyset). For (A ) a WM set (subclass of TE sets) we prove that (R_p ) has lower density 1. In addition we obtain a generalization of the latter result to the case of several pol…
We show the $L^2$-convergence of continuous time ergodic averages of a product of functions evaluated at return times along polynomials. These averages are the continuous time version of the averages appearing in Furstenberg's proof of Szemerédi's Theorem. For each average we show that it is sufficient to prove convergence on special factors, the Host-Kra factors, which have the structure of a nilmanifold. We also give a description of the limit. In particular, if the polynomials are independent over the real numbers then the limit is the product of the integrals. We further show that if the c…
The principal results proved in this expository thesis are the IP polynomial Szemerédi theorem for nilpotent groups and the multiple term return times theorem with nilsequence weights. It also contains extensions of the convergence theorem for nilpotent polynomial multiple ergodic averages and the return times theorem to locally compact second countable amenable groups.
We prove the uniform oscillation and jump inequalities for the polynomial ergodic averages modeled over multi-dimensional subset of primes. These inequalities provide endpoints for the $r$-variational estimates obtained by Trojan arXiv:1803.05406.
We first present a modern simple proof of the classical ergodic Birkhoff's theorem and Bourgain's homogeneous bilinear ergodic theorem. This proof used the simple fact that the shift map on integers has a simple Lebesgue spectrum. As a consequence, we establish that the homogeneous bilinear ergodic averages along polynomials and polynomials in primes converge almost everywhere, that is, for any invertible measure preserving transformation $T$, acting on a probability space $(X, \mathcal{B}, μ)$, for any $f \in L^r(X,μ)$ , $g \in L^{r'}(X,μ)$ such that $\frac{1}{r}+\frac{1}{r'}= 1$, for any non…
Using an asymptotically additive sequence of continuous functions as a restrictive condition, this paper studies the relations of several ergodic averages for asymptotically additive potentials. Basic properties of conditional maximum ergodic averages are studied. In particular, if the dynamical systems satisfy the specification property, the maximal growth rate of an asymptotically additive potential on the level set is equal to its conditional maximum ergodic averages and the maximal growth rates on the irregular set is its maximum ergodic averages. Finally, the applications for suspension f…
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.
In this paper, we study the multiple ergodic averages of a locally constant real-valued function in linear Cookie-Cutter dynamical systems. The multifractal spectrum of these multiple ergodic averages is completely determined.
We show uniform convergence of Wiener-Wintner ergodic averages for ergodic actions of (not necessarily countable) locally compact, second countable, abelian (LCA) groups. As a by-product, we obtain a finitary version of the van der Corput inequality for such groups.
We show that multiple polynomial ergodic averages arising from nilpotent groups of measure preserving transformations of a probability space always converge in the L^2 norm.
Birkhoff's theorem states that for an ergodic automorphism, the time averages converge to the space average. Given sequence $ψ(n)\to+0$, U. Krengel proved that for any ergodic automorphism there is an indicator such that the corresponding time averages converged a.e. with a rate slower than $ψ$. We prove again similar statements answering a question of I. Podvigin in passing.
Vector-valued maximal inequalities and multi-parameter oscillation inequalities for the polynomial ergodic averages along multi-dimensional subsets of primes
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,…
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.
We study the almost sure convergence of bilateral ergodic averages for not necessarily integrable functions and relate it to the ones of the forward and backward averages, hence complementing results of Woś and the second named author. In the case of convergence, using results of Furstenberg on double recurrence, we prove oscillations of the bilateral ergodic averages around the limit.
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.
By building some suitable strictly ergodic models, we prove that for an ergodic system $(X,\mathcal{X},μ, T)$, $d\in{\mathbb N}$, $f_1, \ldots, f_d \in L^{\infty}(μ)$, the averages $$\frac{1}{N^2} \sum_{(n,m)\in [0,N-1]^2} f_1(T^nx)f_2(T^{n+m}x)\ldots f_d(T^{n+(d-1)m}x) $$ converge $μ$ a.e. Deriving some results from the construction, for distal systems we answer positively the question if the multiple ergodic averages converge a.e. That is, we show that if $(X,\mathcal{X},μ, T)$ is an ergodic distal system, and $f_1, \ldots, f_d \in L^{\infty}(μ)$, then multiple ergodic averages $$\frac 1 N\s…
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 …
These notes are based on a course for a general audience given at the Centro de Modeliamento Matemático of the University of Chile, in December 2004. We study the mean convergence of multiple ergodic averages, that is, averages of a product of functions taken at different times. We also describe the relations between this area of ergodic theory and some classical and some recent results in additive number theory.
This article is devoted to the study of the multifractal analysis of ergodic averages in some nonuniformly hyperbolic systems. In particular, our results hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
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…
In this paper we present a complete solution to the problem of multifractal analysis of multiple ergodic averages in the case of symbolic dynamics for functions of two variables depending on the first coordinate.
This is an earlier, but more general, version of "An L^1 Ergodic Theorem for Sparse Random Subsequences". We prove an L^1 ergodic theorem for averages defined by independent random selector variables, in a setting of general measure-preserving group actions. A far more readable version of this paper is in the works.
The well-known Jewett-Krieger's Theorem states that each ergodic system has a strictly ergodic model. Strengthening the model by requiring that it is strictly ergodic under some group actions, and building the connection of the new model with the convergence of pointwise non-conventional ergodic averages we prove that for an ergodic system $(X,\X,μ, T)$, $d\in\N$, $f_1, \ldots, f_d \in L^{\infty}(μ)$, %and any tempered F{\rm $ø$}lner sequence $F_n$ of $\Z^2$, the averages \begin{equation*} \frac{1}{N^2} \sum_{(n,m)\in F_N} f_1(T^nx)f_2(T^{n+m}x)\ldots f_d(T^{n+(d-1)m}x) \end{equation*} converg…
We study correlation estimates of automatic sequences (that is, sequences computable by finite automata) with polynomial phases. As a consequence, we provide a new class of good weights for classical and polynomial ergodic theorems, not coming themselves from dynamical systems. We show that automatic sequences are good weights in $L^2$ for polynomial averages and totally ergodic systems. For totally balanced automatic sequences (i.e., sequences converging to zero in mean along arithmetic progressions) the pointwise weighted ergodic theorem in $L^1$ holds. Moreover, invertible automatic sequenc…
Ergodic optimization is the study of extremal values of asymptotic dynamical quantities such as Birkhoff averages or Lyapunov exponents, and of the orbits or invariant measures that attain them. We discuss some results and problems.
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.
We propose to study the multifractal behavior of weighted ergodic averages. Our study in this paper is concentrated on the symbolic dynamics. We introduce a thermodynamical formalism which leads to a multifractal spectrum. It is proved that this thermodynamical formalism applies to different kinds of dynamically defined weights, including stationary ergodic random weights, uniquely ergodic weights etc. But the validity of the thermodynamical formalism for very irregular weights, like Möbius function, is an unsolved problem. The paper ends with some other unsolved problems.
Deviation of ergodic sums is studied for substitution dynamical systems with a matrix that admits eigenvalues of modulus 1. We consider the corresponding eigenfunctions, and in Theorem 1.1 we prove that the limit inferior of the ergodic sums is bounded for every point in the phase space. In Theorem 1.2, we prove existence of limit distributions along certain exponential subsequences of times for substitutions of constant length. Under additional assumptions, we prove that ergodic integrals satisfy the Central Limit Theorem (Theorem 1.3, Theorem 1.9).
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$.
This article is devoted to the study of the historic set of ergodic averages in some nonuniformly hyperbolic systems. In particular, our results hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
A sequence $(s_n)$ of integers is good for the mean ergodic theorem if for each invertible measure preserving system $(X,\mathcal{B},μ,T)$ and any bounded measurable function $f$, the averages $ \frac1N \sum_{n=1}^N f(T^{s_n}x)$ converge in the $L^2$ norm. We construct a sequence $(s_n)$ that is good for the mean ergodic theorem, but the sequence $(s_n^2)$ is not. Furthermore, we show that for any set of bad exponents $B$, there is a sequence $(s_n)$ where $(s_n^k)$ is good for the mean ergodic theorem exactly when $k$ is not in $B$. We then extend this result to multiple ergodic averages. We …
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 present a general new method for constructing pointwise ergodic sequences on countable groups, which is applicable to amenable as well as to non-amenable groups and treats both cases on an equal footing. The principle underlying the method is that both cases can be viewed as instances of the general ergodic theory of amenable equivalence relations.
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$.
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 fluctuations of ergodic averages generated by actions of amenable groups. In the setting of an abstract ergodic theorem for locally compact second countable amenable groups acting on uniformly convex Banach spaces, we deduce a highly uniform bound on the number of fluctuations of the ergodic average for a class of Følner sequences satisfying an analogue of Lindenstrauss's temperedness condition. Equivalently, we deduce a uniform bound on the number of fluctuations over long distances for arbitrary Følner sequences. As a corollary, these results imply associated bounds for a continuous…
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 show that a $k$-linear pointwise ergodic theorem on an ergodic measure-preserving system implies a uniform $k$-linear nilsequence Wiener-Wintner theorem on that system. The assumption is known to hold for arbitrary systems and $k=2$ (due to Bourgain) and for distal systems and arbitrary $k$ (due to Huang, Shao, and Ye).
