Let (X,,μ,τ) be an ergodic dynamical system and φ be a measurable map from X to a locally compact second countable group G with left Haar measure $m_G$. We consider the map ${\tau }_{\phi }$ defined on X × G by ${\tau }_{\phi }:(x,g)\mapsto (\tau x,\phi \left(x\right)g)$ and the cocycle ${\left(\phi ₙ\right)}_{n\in \mathbb{Z}}$ generated by φ. Using a characterization of the ergodic invariant measures for ${\tau }_{\phi }$, we give the form of the ergodic decomposition of $\mu \left(dx\right)\otimes m_G\left(dg\right)$ or more generally of the ${\tau }_{\phi }$-invariant measures ${\mu }_{\chi }\left(dx\right)\otimes \chi \left(g\right)m_G\left(dg\right)$, where ${\mu }_{\chi }\left(dx\right)$ is χ∘φ-conformal for an exponential χ on G.

We show that for any irrational number α and a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $li{m}_{l\to \infty }\left|\right||m_l\alpha \left|\right||=0$, there exists a continuous measure μ on the circle such that $li{m}_{l\to \infty }{\int }_{}\left|\right||m_l\theta \left|\right||d\mu \left(\theta \right)=0$. This implies that any rigidity sequence of any ergodic transformation is a rigidity sequence for some weakly mixing dynamical system. On the other hand, we show that for any α ∈ ℝ - ℚ, there exists a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $\left|\right||m_l\alpha \left|\right||\to 0$ and such that $m_l\theta \left[1\right]$ is dense on the circle if and only if θ ∉ ℚα + ℚ.

Let X be a closed subspace of $L^p\left(\mu \right)$, where μ is an arbitrary measure and 1 < p < ∞. Let U be an invertible operator on X such that $su{p}_{n\in \mathbb{Z}}\left|\right|Uⁿ\left|\right|<\infty$. Motivated by applications in ergodic theory, we obtain (optimal) conditions for the convergence of series like ${\sum }_{n\ge 1}\left(Uⁿf\right)/n^{1-\alpha }$, 0 ≤ α < 1, in terms of $\left|\right|f+\cdots +U^{n-1}f{\left|\right|}_p$, generalizing results for unitary (or normal) operators in L²(μ). The proofs make use of the spectral integration initiated by Berkson and Gillespie and, more particularly, of results from a paper by Berkson-Bourgain-Gillespie. ...

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...

We show that, whenever $\Gamma$ is a countable abelian group and $\Delta$ is a finitely-generated subgroup of $\Gamma$, a generic measure-preserving action of $\Delta$ on a standard atomless probability space $(X,\mu )$ extends to a free measure-preserving action of $\Gamma$ on $(X,\mu )$. This extends a result of Ageev, corresponding to the case when $\Delta$ is infinite cyclic.

Let $U₁,...,U_d$ be a non-periodic collection of commuting measure preserving transformations on a probability space (Ω,Σ,μ). Also let Γ be a nonempty subset of $\mathbb{Z}{₊}^d$ and the associated collection of rectangular parallelepipeds in ${ℝ}^d$ with sides parallel to the axes and dimensions of the form $n₁\times \cdots \times n_d$ with $(n₁,...,n_d)\in \Gamma .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{\Gamma }$ are defined respectively on $L¹\left({ℝ}^d\right)$ and L¹(Ω) by $M_{}g\left(x\right)=su{p}_{x\in R\in }1/\left|R\right|{\int }_R\left|g\left(y\right)\right|dy$ and $M_{\Gamma }f\left(\omega \right)=su{p}_{(n₁,...,n_d)\in \Gamma }1/n₁\cdots n_d{\sum }_{j₁=0}^{n₁-1}\cdots {\sum }_{j_d=0}^{n_d-1}\left|f\left(U{₁}^{j₁}\cdots U_d^{j_d}\omega \right)\right|$. Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate ...

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...

We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow $M(G_{)}$ of the automorphism group $G$ of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of $M(G_{)}$. We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and $G$ is amenable, then $M(G_{)}$ admits...

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...

Suppose M is a noncompact connected n-manifold and ω is a good Radon measure of M with ω(∂M) = 0. Let ℋ(M,ω) denote the group of ω-preserving homeomorphisms of M equipped with the compact-open topology, and ${\mathscr{H}}_E(M,\omega )$ the subgroup consisting of all h ∈ ℋ(M,ω) which fix the ends of M. S. R. Alpern and V. S. Prasad introduced the topological vector space (M,ω) of end charges of M and the end charge homomorphism $c^{\omega }:{\mathscr{H}}_E(M,\omega )\to (M,\omega )$, which measures for each $h\in {\mathscr{H}}_E(M,\omega )$ the mass flow toward ends induced by h. We show that the...

We prove that for the spectral radius of a weighted composition operator $a{T}_{\alpha }$, acting in the space $L^p(X,,\mu )$, the following variational principle holds: $lnr\left(a{T}_{\alpha }\right)=ma{x}_{\nu \in M{¹}_{\alpha ,e}}{\int }_{X}ln\left|a\right|d\nu$, where X is a Hausdorff compact space, α: X → X is a continuous mapping preserving a Borel measure μ with suppμ = X, $M{¹}_{\alpha ,e}$ is the set of all α-invariant ergodic probability measures on X, and a: X → ℝ is a continuous and ${}_{\infty }$-measurable function, where ${}_{\infty }={\bigcap }_{n=0}^{\infty }{\alpha }^{-n}\left(\right)$. This considerably extends the range of validity of the above formula, which was previously known...

The rate of growth of an operator T satisfying the mean ergodic theorem (MET) cannot be faster than linear. It was recently shown (Kornfeld-Kosek, Colloq. Math. 98 (2003)) that for every γ > 0, there are positive L¹[0,1] operators T satisfying MET with $li{m}_{n\to \infty }\left|\right|Tⁿ\left|\right|/n^{1-\gamma }=\infty$. In the class of positive L¹ operators this is the most one can hope for in the sense that for every such operator T, there exists a γ₀ > 0 such that $limsup\left|\right|Tⁿ\left|\right|/n^{1-\gamma ₀}=0.$ In this note we construct an example of a nonpositive L¹ operator with the...

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

Let f: X→ X be a topologically transitive continuous map of a compact metric space X. We investigate whether f can have the following stronger properties: (i) for each m ∈ ℕ, $f\times f²\times \cdots \times f^m:X^m\to X^m$ is transitive, (ii) for each m ∈ ℕ, there exists x ∈ X such that the diagonal m-tuple (x,x,...,x) has a dense orbit in $X^m$ under the action of $f\times f²\times \cdots \times f^m$. We show that (i), (ii) and weak mixing are equivalent for minimal homeomorphisms, that all mixing interval maps satisfy (ii), and that there are mixing subshifts not satisfying...

Let $G:=\mathrm{SO}{(n,1)}^{\circ }$ and $\Gamma (n-1)/2$ for $n=2,3$ and when $\delta >n-2$ for $n\ge 4$, we obtain an effective archimedean counting result for a discrete orbit of $\Gamma$ in a homogeneous space $H\setminus G$ where $H$ is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family $\{{ℬ}_T\subset H\setminus G\}$ of compact subsets, there exists $\eta >0$ such that $\#\left[e\right]\Gamma \cap {ℬ}_T=ℳ\left({ℬ}_T\right)+O\left(ℳ{\left({ℬ}_T\right)}^{1-\eta }\right)$ for an explicit measure $ℳ$ on $H\setminus G$ which depends on $\Gamma$. We also apply the affine sieve and describe the distribution of almost primes on orbits of $\Gamma$ in arithmetic...

For a given linear operator T in a complex Banach space X and α ∈ ℂ with ℜ (α) > 0, we define the nth Cesàro mean of order α of the powers of T by $M{ₙ}^{\alpha }={\left(A{ₙ}^{\alpha }\right)}^{-1}{\sum }_{k=0}^n{A}_{n-k}^{\alpha -1}{T}^k$. For α = 1, we find $Mₙ¹={(n+1)}^{-1}{\sum }_{k=0}^n{T}^k$, the usual Cesàro mean. We give necessary and sufficient conditions for a (C,α) bounded operator to be (C,α) strongly (weakly) ergodic.

We give a negative answer to a question put by Nadkarni: Let S be an ergodic, conservative and nonsingular automorphism on $(X̃{,}_{X̃},m)$. Consider the associated unitary operators on $L²(X̃{,}_{X̃},m)$ given by $U{̃}_{S}f=\surd (d\left(m\circ S\right)/dm)·\left(f\circ S\right)$ and $\phi ·U{̃}_S$, where φ is a cocycle of modulus one. Does spectral isomorphism of these two operators imply that φ is a coboundary? To answer it negatively, we give an example which arises from an infinite measure-preserving transformation with countable Lebesgue spectrum.

We obtain estimates for derivative and cross-ratio distortion for $C^{2+\eta }$ (any η > 0) unimodal maps with non-flat critical points. We do not require any “Schwarzian-like” condition. For two intervals J ⊂ T, the cross-ratio is defined as the value B(T,J): = (|T| |J|)/(|L| |R|) where L,R are the left and right connected components of T∖J respectively. For an interval map g such that $g_T:T\to ℝ$ is a diffeomorphism, we consider the cross-ratio distortion to be B(g,T,J): = B(g(T),g(J))/B(T,J). We prove...

Let $f\in V_r\left(\right){\cup }_r\left(\right)$, where, for 1 ≤ r < ∞, $V_r\left(\right)$ (resp., ${}_r\left(\right)$) denotes the class of functions (resp., bounded functions) g: → ℂ such that g has bounded r-variation (resp., uniformly bounded r-variations) on (resp., on the dyadic arcs of ). In the author’s recent article [New York J. Math. 17 (2011)] it was shown that if is a super-reflexive space, and E(·): ℝ → () is the spectral decomposition of a trigonometrically well-bounded operator U ∈ (), then over a suitable non-void open interval of r-values,...

In this paper we consider those Fraïssé classes which admit companion classes in the sense of [KPT]. We find a necessary and sufficient condition for the automorphism group of the Fraïssé limit to be amenable and apply it to prove the non-amenability of the automorphism groups of the directed graph S(3) and the boron tree structure T. Also, we provide a negative answer to the Unique Ergodicity-Generic Point problem of Angel-Kechris-Lyons [AKL]. By considering $GL\left(V_{\infty }\right)$, where $V_{\infty }$ is the countably...

In this paper, we study the structure of polycyclic groups admitting an automorphism of order four on the basis of Neumann’s result, and prove that if $\alpha$ is an automorphism of order four of a polycyclic group $G$ and the map $\varphi :G\to G$ defined by $g^{\varphi }=[g,\alpha ]$ is surjective, then $G$ contains a characteristic subgroup $H$ of finite index such that the second derived subgroup $H^{\text{'}\text{'}}$ is included in the centre of $H$ and $C_H\left({\alpha }^2\right)$ is abelian, both $C_G\left({\alpha }^2\right)$ and $G/[G,{\alpha }^2]$ are abelian-by-finite. These results extend recent and classical results in...

It is well-known that a probability measure $\mu$ on the circle $𝕋$ satisfies $\parallel {\mu }^n{*f-\int f\mathrm{d}m\parallel }_p\to 0$ for every $f\in L_p$, every (some) $p\in [1,\infty )$, if and only if $|\widehat{\mu }\left(n\right)|lt;1$ for every non-zero $n\in \mathbb{Z}$ ($\mu$ is strictly aperiodic). In this paper we study the a.e. convergence of ${\mu }^n*f$ for every $f\in L_p$ whenever $pgt;1$. We prove a necessary and sufficient condition, in terms of the Fourier–Stieltjes coefficients of $\mu$, for the strong sweeping out property (existence of a Borel set $B$ with $lim\; sup{\mu }^n*1_B=1$ a.e. and $lim\; inf{\mu }^n*1_B=0$ a.e.). The results are extended to general compact Abelian groups...

We considerably improve upon the recent result of [37] on the mixing time of Glauber dynamics for the 2D Ising model in a box of side $L$ at low temperature and with random boundary conditions whose distribution $P$ stochastically dominates the extremal plus phase. An important special case is when $P$ is concentrated on the homogeneous all-plus configuration, where the mixing time $T_{MIX}$ is conjectured to be polynomial in $L$. In [37] it was shown that for a large enough inverse-temperature $\beta$ and...

For $\varphi$ a normalized positive definite function on a locally compact abelian group $G$, let ${\pi }_{\varphi }$ be the unitary representation associated to $\varphi$ by the GNS construction. We give necessary and sufficient conditions for the vanishing of 1-cohomology $H^1(G,{\pi }_{\varphi })$ and reduced 1-cohomology ${\overline{H}}^1(G,{\pi }_{\varphi })$. For example, ${\overline{H}}^1(G,{\pi }_{\varphi })=0$ if and only if either $\text{Hom}(G,ℂ)=0$ or ${\mu }_{\varphi }\left(1_G\right)=0$, where $1_G$ is the trivial character of $G$ and ${\mu }_{\varphi }$ is the probability measure on the Pontryagin dual $\widehat{G}$ associated to $\varphi$ by Bochner’s Theorem. This streamlines an argument of Guichardet...

We construct a rank-one infinite measure preserving flow ${\left(T_r\right)}_{r\in ℝ}$ such that for each p > 0, the “diagonal” flow ${\left(T_r\times \cdots \times T_r\right)}_{r\in ℝ}\left(ptimes\right)$ on the product space is ergodic.

We show that exponential separability is an inverse invariant of closed maps with countably compact exponentially separable fibers. This implies that it is preserved by products with a scattered compact factor and in the products of sequential countably compact spaces. We also provide an example of a $\sigma$-compact crowded space in which all countable subspaces are scattered. If $X$ is a Lindelöf space and every $Y\subset X$ with $\left|Y\right|\le 2^{{\omega }_1}$ is scattered, then $X$ is functionally countable; if every $Y\subset X$ with $\left|Y\right|\le 2^{𝔠}$ is scattered,...

An example of a non-zero non-atomic translation-invariant Borel measure ${\nu }_p$ on the Banach space ${\ell }_p\left(1\le p\le \infty \right)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition "${\nu }_p$-almost every element of ${\ell }_p$ has a property P" implies that “almost every” element of ${\ell }_p$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Two invertible dynamical systems (X,,μ,T) and (Y,,ν,S), where X and Y are Polish spaces and Borel probability spaces and T, S are measure preserving homeomorphisms of X and Y, are said to be finitarily orbit equivalent if there exists an invertible measure preserving mapping ϕ from a subset X₀ of X of measure one onto a subset Y₀ of Y of full measure such that (1) ${\varphi |}_{X₀}$ is continuous in the relative topology on X₀ and ${\varphi }^{-1}{|}_{Y₀}$ is continuous in the relative topology on Y₀, (2) $\varphi \left(Or{b}_T\left(x\right)\right)=Or{b}_S\left(\varphi \left(x\right)\right)$ for μ-a.e. x ∈ X. (X,,μ,T)...