We introduce minimally expansive and GH-stable points for homeomorphisms on metric spaces and $μ$-uniformly expansive, $μ$-shadowable and strong $μ$-topologically stable points for Borel measures (with respect to a homeomorphism on a metric space). We prove that: (i) minimally expansive shadowable point of a homeomorphism on a compact metric space is topologically stable and GH-stable. (ii) $μ$-uniformly expansive $μ$-shadowable point for a Borel measure $μ$ (with respect to a homeomorphism on a compact metric space) is strong $μ$-topologically stable.
This contribution presents two exponential stability criteria for linear systems with multiple pointwise and distributed delays. These results (necessary and sufficient conditions) are given in terms of the delay Lyapunov matrix and the fundamental matrix of the system. An important property is that the stability test requires a finite number of mathematical operations.
Amos Nevo established the pointwise ergodic theorem in $L^p$ for measure-preserving actions of $\mathrm{PSL}_2(\mathbb{R})$ on probability spaces with respect to ball averages and every $p>1$. This paper shows by explicit example that Nevo's Theorem cannot be extended to $p=1$.
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 theorems, which is independent of spectral theory. Instead, the main new ingredient is the use of direct geometric arguments in hyperbolic space.
The survey presents the main developments obtained over the last decade regarding pointwise ergodic theorems for measure preserving actions of locally compact groups. The survey includes an exposition of the solutions to a number of long standing open problems in ergodic theory, some of which are very recent and have not yet appeared elsewhere.
This paper is an update and extension of a result the authors first proved in 2003. The goal of this paper is to study factors which are known to be L^2-characteristic for certain nonconventional averages and prove that these factors are pointwise characteristic for the multidimensional return times averages.
We review V.I. Arnold's 1963 celebrated paper \cite{ARV63} {\sl Proof of A.N. Kolmogorov's theorem on the conservation of conditionally periodic motions with a small variation in the Hamiltonian}, and prove that, optimizing Arnold's scheme, one can get "sharp" asymptotic quantitative conditions (as $\varepsilon\to 0$, $\varepsilon$ being the strength of the perturbation). All constants involved are explicitly computed.
We establish pointwise ergodic theorems for operators of Radon type along subsets of prime numbers of the form $\big\{\{ φ_1(n)\} < ψ(n)\big\}$. We achieve this by proving $\ell^p(\mathbb{Z})$ boundedness of $r$-variations, where $p > 1$ and $r > 2$.
We use Series' Markovian coding for words in Fuchsian groups and the Bowen-Series coding of limit sets to prove an ergodic theorem for Cesaro averages of spherical averages in a Fuchsian group.
We give a short combinatorial proof of the classical pointwise ergodic theorem for probability measure preserving $\mathbb{Z}$-actions. Our approach reduces the theorem to a tiling problem: tightly tile each orbit by intervals with desired averages. This tiling problem is easy to solve for $\mathbb{Z}$ with intervals as tiles. However, it would be interesting to find other classes of groups and sequences of tiles for which this can be done, since then our approach would yield a pointwise ergodic theorem for such classes.
We prove pointwise and maximal ergodic theorems for probability measure preserving (p.m.p.) actions of any countable group, provided it admits an essentially free, weakly mixing amenable action of stable type $III_1$. We show that this class contains all irreducible lattices in connected semisimple Lie groups without compact factors. We also establish similar results when the stable type is $III_λ$, $0 < λ< 1$, under a suitable hypothesis. Our approach is based on the following two principles. First, we show that it is possible to generalize the ergodic theory of p.m.p. actions of amenable gro…
Let $F_2$ denote the free group on two generators $a,b$. For any measure-preserving system $(X, {\mathcal X}, μ, (T_g)_{g \in F_2})$ on a finite measure space $X = (X,{\mathcal X},μ)$, any $f \in L^1(X)$, and any $n \geq 1$, define the averaging operators $${\mathcal A}_n f(x) := \frac{1}{4 \times 3^{n-1}} \sum_{g \in F_2: |g| = n} f( T_g^{-1} x ),$$ where $|g|$ denotes the word length of $g$. We give an example of a measure-preserving system $X$ and an $f \in L^1(X)$ such that the sequence ${\mathcal A}_n f(x)$ is unbounded in $n$ for almost every $x$, thus showing that the pointwise and maxi…
We show that effective $2\ell$-multiple correlations imply quantitative $\ell$-multiple pointwise ergodic theorems. The result has a wide class of applications which include subgroup actions on homogeneous spaces, ergodic nilmanifold automorphisms, subshifts of finite type and Young towers.
In this paper, we extend Bourgain's double recurrence result to the Wiener-Wintner averages. Let $(X, \mathcal{F}, μ, T)$ be a standard ergodic system. We will show that for any $f_1, f_2 \in L^\infty(X)$, the double recurrence Wiener-Wintner average \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x) e^{2πi n t} \] converges off a single null set of $X$ independent of $t$ as $N \to \infty$. Furthermore, we will show a uniform Wiener-Wintner double recurrence result: If either $f_1$ or $f_2$ belongs to the orthogonal complement of the Conze-Lesigne factor, then there exists a set of full meas…
In 1967, Ross and Strömberg published a theorem about pointwise limits of orbital integrals for the left action of a locally compact group $G$ onto $(G,ρ)$, where $ρ$ is the right Haar measure. In this paper, we study the same kind of problem, but more generally for left actions of $G$ onto any measured space $(X,μ)$, which leaves the $σ$-finite measure $μ$ relatively invariant, in the sense that $sμ= Δ(s)μ$ for every $s\in G$, where $Δ$ is the modular function of $G$. As a consequence, we also obtain a generalization of a theorem of Civin, relative to one-parameter groups of measure preservin…
In this note we prove the a pointwise ergodic theorem for functions taking values in a separable complete CAT(0)-space, analogous to Lindenstrauss' pointwise ergodic theorem for real-valued integrable functions on a probability space subject to a probability-preserving action of an amenable l.c.s.c. group, where in the CAT(0) setting the role of ergodic averages is played by the barycentres of the empirical distributions of a CAT(0)-valued map along an orbit of the group action. The proof rests on an approximation argument and an appeal to that result for real-valued maps.
Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with decreasing probability of order $n^{-α}$, $0 < α< 1/2$. We prove that, almost surely, for every measure-preserving system $(X,T)$ and every $f \in L^1(X)$ orthogonal to the invariant factor, the modulated, random averages \[ \sup_{b} \Big| \frac{1}{N} \sum_{n = 1}^N b(n) T^{a_{n}} f \Big| \] converge to $0$ pointwise almost everywhere, where the supremum is taken over a set of bounded functions with certain uniform approximation properties.
Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with probability $n^{-a}$, $0 < a < 1/2$, and let $p(n) = n^{1+ε}$, $0 < ε< 1$. We prove that, almost surely, for every measure-preserving system $(X,T)$ and every $f \in L^1(X)$ the modulated, random averages \[ \frac{1}{N} \sum_{n = 1}^N e(p(n)) T^{a_n(ω)} f\] converge to $0$ pointwise almost everywhere.
Consider a system $(X, \mathcal{F}, μ, T)$, bounded functions $f_1, f_2 \in L^\infty(μ)$ and $a,b \in \ZZ.$ We show that there exists a set of full measure $X_{f_1, f_2}$ in $X$ such that for all $x \in X_{f_1, f_2}$ and for every nilsequence $b_n$ , the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)b_n \] converge. We will show that this can be deduced from the classical Wiener-Wintner theorem for the double recurrence theorem. Together with the past work on this subject, we will show that several statements regarding the extension of the double recurrence theorem are equivalen…
Extending a result by Chilin and Litvinov, we show by construction that given any $σ$-finite infinite measure space $(Ω,\mathcal{A}, μ)$ and a function $f\in L^1(Ω)+L^\infty(Ω)$ with $μ(\{|f|>\varepsilon\})=\infty$ for some $\varepsilon>0$, there exists a Dunford-Schwartz operator $T$ over $(Ω,\mathcal{A}, μ)$ such that $\frac{1}{N}\sum_{n=1}^N (T^nf)(x)$ fails to converge for almost every $x\inΩ$. In addition, for each operator we construct, the set of functions for which pointwise convergence fails almost everywhere is residual in $L^1(Ω)+L^\infty(Ω)$.
Let $Γ$ be a countably infinite group. A common theme in ergodic theory is to start with a probability measure-preserving (p.m.p.) action $Γ\curvearrowright (X, μ)$ and a map $f \in L^1(X, μ)$, and to compare the global average $\int f \,\mathrm{d}μ$ of $f$ to the pointwise averages $|D|^{-1} \sum_{δ\in D} f(δ\cdot x)$, where $x \in X$ and $D$ is a nonempty finite subset of $Γ$. The basic hope is that, when $D$ runs over a suitably chosen infinite sequence, these pointwise averages should converge to the global value for $μ$-almost all $x$. In this paper we prove several results that refine th…
We present some twisted compactness conditions for almost everywhere convergence of one-parameter entangled ergodic averages of Dunford-Schwartz operators $T_0,\ldots, T_a$ on a Borel probability space of the form $$ \sum_{n=1}^N T_a^n A_{a-1}T_{a-1}^nA_{a-1}\cdot \ldots \cdot A_0 T_0^nf$$ for $f\in L^p(X,μ)$, $p\geq 1$. We also discuss examples and present a continuous version of the result.
We obtain sufficient conditions under which the limit of a sequence of functions exhibits a particular dynamical behaviour at a point like expansivity, shadowing, mixing, sensitivity and transitivity. We provide examples to show that the set of all expansive, positively expansive and sensitive points are neither open nor closed in general. We also observe that the set of all transitive and mixing points are closed but not open in general. We give examples to show that properties like expansivity, sensitivity, shadowing, transitivity and mixing at a point need not be preserved under uniform con…
We establish pointwise almost everywhere convergence for ergodic averages along polynomial sequences in nilpotent groups of step two of measure-preserving transformations on $σ$-finite measure spaces. We also establish corresponding maximal inequalities on $L^p$ for $1<p\leq \infty$ and $ρ$-variational inequalities on $L^2$ for $2<ρ<\infty$. This gives an affirmative answer to the Furstenberg-Bergelson-Leibman conjecture in the linear case for all polynomial ergodic averages in discrete nilpotent groups of step two. Our proof is based on almost-orthogonality techniques that go far beyond Fouri…
We investigate pointwise convergence of entangled ergodic averages of Dunford-Schwartz operators $T_0,T_1,\ldots, T_m$ on a Borel probability space. These averages take the form \[ \frac{1}{N^k}\sum_{1\leq n_1,\ldots, n_k\leq N} T_m^{n_{α(m)}}A_{m-1}T^{n_{α(m-1)}}_{m-1}\ldots A_2T_2^{n_{α(2)}}A_1T_1^{n_{α(1)}} f, \] where $f\in L^p(X,μ)$ for some $1\leq p<\infty$, and $α:\left\{1,\ldots,m\right\}\to\left\{1,\ldots,k\right\}$ encodes the entanglement. We prove that under some joint boundedness and twisted compactness conditions on the pairs $(A_i,T_i)$, almost everywhere convergence holds for a…
We prove that if $μ_n$ are probability measures on $Z$ such that $\hat μ_n$ converges to 0 uniformly on every compact subset of $(0,1)$, then there exists a subsequence $\{n_k\}$ such that the weighted ergodic averages corresponding to $μ_{n_k}$ satisfy a pointwise ergodic theorem in $L^1$. We further discuss the relationship between Fourier decay and pointwise ergodic theorems for subsequences, considering in particular the averages along $n^2+ \lfloor ρ(n)\rfloor$ for a slowly growing function $ρ$. Under some monotonicity assumptions, the rate of growth of $ρ'(x)$ determines the existence of…
It is well-known that a strict analogue of the Birkhoff Ergodic Theorem in infinite ergodic theory is trivial; it states that for any infinite-measure-preserving ergodic system the Birkhoff average of every integrable function is almost everywhere zero. Nor does a different rescaling of the Birkhoff sum that leads to a non-degenerate pointwise limit exist. In this paper we give a version of Birkhoff's theorem for conservative, ergodic, infinite-measure-preserving dynamical systems where instead of integrable functions we use certain elements of $L^\infty$, which we generically call global obse…
We prove mean and pointwise ergodic theorems for the action of a discrete lattice subgroup in a connected algebraic Lie group, on infinite volume homogeneous algebraic varieties. Under suitable necessary conditions, our results are quantitative, namely we establish rates of convergence in the mean and pointwise ergodic theorems, which can be estimated explicitly. Our results give a precise and in most cases optimal quantitative form to the duality principle governing dynamics on homogeneous spaces. We illustrate their scope in a variety of equidistribution problems.
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…
Pointwise Ergodic Theorems Along Reiter Sequences on Locally Compact Groups
School of Mathematical Sciences, National Institute of Science Education and Research（国家科学教育与研究中心数学科学学院）；Homi Bhabha National Institute（霍米·巴巴国立研究所）；Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）
We show that a certain tiling property (which directly implies the pointwise ergodic theorem) holds for pmp actions of amenable groups along increasing Tempelman Følner sequences, thus providing a short and combinatorial proof of the corresponding pointwise ergodic theorem.
Classical ergodic theory deals with measure (or measure class) preserving actions of locally compact groups on Lebesgue spaces. An important tool in this setting is a theorem of Mackey which provides spatial models for Boolean G-actions. We show that in full generality this theorem does not hold for actions of Polish groups. In particular there is no Borel model for the Polish automorphism group of a Gaussian measure. In fact, we show that this group as well as many other Polish groups do not admit any nontrivial Borel measure preserving actions.
Pointwise ergodic theorems along sequences of intermediate growth
Institute of Mathematics, Polish Academy of Sciences（波兰科学院数学研究所）；Institute of Mathematics, University of Wrocław（弗罗茨瓦夫大学数学研究所）；Department of Mathematics, Rutgers University（罗格斯大学数学系）；Department of Mathematics, University of Memphis（孟菲斯大学数学系）
We establish convergence in norm and pointwise almost everywhere for the non-conventional (in the sense of Furstenberg) bilinear polynomial ergodic averages \[ A_N(f,g)(x) := \frac{1}{N} \sum_{n =1}^N f(T^nx) g(T^{P(n)}x)\] as $N \to \infty$, where $T \colon X \to X$ is a measure-preserving transformation of a $σ$-finite measure space $(X,μ)$, $P(\mathrm{n}) \in \mathbb Z[\mathrm{n}]$ is a polynomial of degree $d \geq 2$, and $f \in L^{p_1}(X), \ g \in L^{p_2}(X)$ for some $p_1,p_2 > 1$ with $\frac{1}{p_1} + \frac{1}{p_2} \leq 1$. We also establish an $r$-variational inequality for these avera…
In this paper, we establish a noncommutative analogue of Calderón's transference principle, which allows us to deduce noncommutative ergodic maximal inequalities from the special case---operator-valued maximal inequalities. As applications, we deduce dimension-free estimates of noncommutative Wiener's maximal ergodic inequality and noncommutative Stein-Calderón's maximal ergodic inequality over Euclidean spaces. We also show the corresponding individual ergodic theorems. To show Wiener's pointwise ergodic theorem, we construct a dense subset on which pointwise convergence holds following a som…
Motivated by Bourgain's work on pointwise ergodic theorems, and the work of Stein and Stein-Wainger on maximally modulated singular integrals without linear terms, we prove that the maximally monomially modulated discrete Hilbert transform, \[ \mathcal{C}_df(x) := \sup_λ\left| \sum_{m \neq 0} f(x-m) \frac{e^{2πi λm^d}}{m} \right| \] is bounded on all $\ell^p, \ 2 - \frac{1}{d^2 + 1} < p < \infty$, for any $d \geq 2$. We also establish almost everywhere pointwise convergence of the modulated ergodic Hilbert transforms (as $λ\to 0$) \[ \sum_{m \neq 0} T^m f(x) \cdot \frac{e^{2πi λm^d}}{m} \] for…
