Large sets of integers and hierarchy of mixing properties of measure preserving systems

Vitaly Bergelson; Tomasz Downarowicz

Displaying similar documents to “Large sets of integers and hierarchy of mixing properties of measure preserving systems”

Mixing via families for measure preserving transformations

Rui Kuang, Xiangdong Ye (2008)

Colloquium Mathematicae

Similarity:

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

Dispersing cocycles and mixing flows under functions

Klaus Schmidt (2002)

Fundamenta Mathematicae

Similarity:

Let T be a measure-preserving and mixing action of a countable abelian group G on a probability space (X,,μ) and A a locally compact second countable abelian group. A cocycle c: G × X → A for T disperses if $l i m_{g \to \infty} c (g, \cdot) - α (g) = \infty$ in measure for every map α: G → A. We prove that such a cocycle c does not disperse if and only if there exists a compact subgroup A₀ ⊂ A such that the composition θ ∘ c: G × X → A/A₀ of c with the quotient map θ: A → A/A₀ is trivial (i.e. cohomologous to a homomorphism η: G → A/A₀). This...

On the convergence to 0 of mₙξmod 1

Bassam Fayad, Jean-Paul Thouvenot (2014)

Acta Arithmetica

Similarity:

We show that for any irrational number α and a sequence ${m_{l}}_{l \in ℕ}$ of integers such that $l i m_{l \to \infty} | | | m_{l} α | | | = 0$ , there exists a continuous measure μ on the circle such that $l i m_{l \to \infty} \int_{} | | | m_{l} θ | | | d μ (θ) = 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 ℕ}$ of integers such that $| | | m_{l} α | | | \to 0$ and such that $m_{l} θ [1]$ is dense on the circle if and only if θ ∉ ℚα + ℚ.

Diagonal points having dense orbit

T. K. Subrahmonian Moothathu (2010)

Colloquium Mathematicae

Similarity:

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

A note on $R_{0}$ -topological spaces

K. K. Dube (1974)

Matematički Vesnik

Similarity:

Norm convergence of some power series of operators in $L^{p}$ with applications in ergodic theory

Christophe Cuny (2010)

Studia Mathematica

Similarity:

Let X be a closed subspace of $L^{p} (μ)$ , where μ is an arbitrary measure and 1 < p < ∞. Let U be an invertible operator on X such that $s u p_{n \in ℤ} | | U ⁿ | | < \infty$ . Motivated by applications in ergodic theory, we obtain (optimal) conditions for the convergence of series like $\sum_{n \geq 1} (U ⁿ f) / n^{1 - α}$ , 0 ≤ α < 1, in terms of $| | f + \dots + U^{n - 1} f {| |}_{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. ...

On the ergodic decomposition for a cocycle

Jean-Pierre Conze, Albert Raugi (2009)

Colloquium Mathematicae

Similarity:

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 $τ_{φ}$ defined on X × G by $τ_{φ} : (x, g) \mapsto (τ x, φ (x) g)$ and the cocycle ${(φ ₙ)}_{n \in ℤ}$ generated by φ. Using a characterization of the ergodic invariant measures for $τ_{φ}$ , we give the form of the ergodic decomposition of $μ (d x) \otimes m_{G} (d g)$ or more generally of the $τ_{φ}$ -invariant measures $μ_{χ} (d x) \otimes χ (g) m_{G} (d g)$ , where $μ_{χ} (d x)$ is χ∘φ-conformal for an exponential χ on G.

On the (C,α) Cesàro bounded operators

Elmouloudi Ed-dari (2004)

Studia Mathematica

Similarity:

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 ₙ^{α} = {(A ₙ^{α})}^{- 1} \sum_{k = 0}^{n} A_{n - k}^{α - 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.

On topological groups with a small base and metrizability

Saak Gabriyelyan, Jerzy Kąkol, Arkady Leiderman (2015)

Fundamenta Mathematicae

Similarity:

A (Hausdorff) topological group is said to have a -base if it admits a base of neighbourhoods of the unit, $U_{α} : α \in ℕ^{ℕ}$ , such that $U_{α} \subset U_{β}$ whenever β ≤ α for all $α, β \in ℕ^{ℕ}$ . The class of all metrizable topological groups is a proper subclass of the class $T G_{}$ of all topological groups having a -base. We prove that a topological group is metrizable iff it is Fréchet-Urysohn and has a -base. We also show that any precompact set in a topological group $G \in T G_{}$ is metrizable, and hence G is strictly angelic. We deduce from...

Distortion bounds for $C^{2 + η}$ unimodal maps

Mike Todd (2007)

Fundamenta Mathematicae

Similarity:

We obtain estimates for derivative and cross-ratio distortion for $C^{2 + η}$ (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...

Transference of weak type bounds of multiparameter ergodic and geometric maximal operators

Paul Hagelstein, Alexander Stokolos (2012)

Fundamenta Mathematicae

Similarity:

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 $ℤ ₊^{d}$ and the associated collection of rectangular parallelepipeds in $ℝ^{d}$ with sides parallel to the axes and dimensions of the form $n ₁ \times \dots \times n_{d}$ with $(n ₁, . . ., n_{d}) \in Γ .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{Γ}$ are defined respectively on $L ¹ (ℝ^{d})$ and L¹(Ω) by $M_{} g (x) = s u p_{x \in R \in} 1 / | R | \int_{R} | g (y) | d y$ and $M_{Γ} f (ω) = s u p_{(n ₁, . . ., n_{d}) \in Γ} 1 / n ₁ \dots n_{d} \sum_{j ₁ = 0}^{n ₁ - 1} \dots \sum_{j_{d} = 0}^{n_{d} - 1} | f (U ₁^{j ₁} \dots U_{d}^{j_{d}} ω) |$ . Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate ...

On the Hausdorff Dimension of Topological Subspaces

Tomasz Szarek, Maciej Ślęczka (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

It is shown that every Polish space X with $d i m_{T} X \geq d$ admits a compact subspace Y such that $d i m_{H} Y \geq d$ where $d i m_{T}$ and $d i m_{H}$ denote the topological and Hausdorff dimensions, respectively.

On $R_{0}$ and $R_{1}$ topological spaces

D. Janković (1981)

Matematički Vesnik

Similarity:

$R_{0}$ and $R_{1}$ topological spaces

C. Dorsett (1978)

Matematički Vesnik

Similarity:

A note on $R_{0}$ and $R_{1}$ topological spaces

M. R. Žižović (1986)

Matematički Vesnik

Similarity:

Nonnormality of remainders of some topological groups

Aleksander V. Arhangel&#039;skii, J. van Mill (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is known that every remainder of a topological group is Lindelöf or pseudocompact. Motivated by this result, we study in this paper when a topological group $G$ has a normal remainder. In a previous paper we showed that under mild conditions on $G$ , the Continuum Hypothesis implies that if the Čech-Stone remainder $G^{*}$ of $G$ is normal, then it is Lindelöf. Here we continue this line of investigation, mainly for the case of precompact groups. We show that no pseudocompact group, whose weight...

Multiparameter ergodic Cesàro-α averages

A. L. Bernardis, R. Crescimbeni, C. Ferrari Freire (2015)

Colloquium Mathematicae

Similarity:

Net (X,ℱ,ν) be a σ-finite measure space. Associated with k Lamperti operators on $L^{p} (ν)$ , $T ₁, . . ., T_{k}$ , $n ̅ = (n ₁, . . ., n_{k}) \in ℕ^{k}$ and $α ̅ = (α ₁, . . ., α_{k})$ with $0 < α_{j} \leq 1$ , we define the ergodic Cesàro-α̅ averages $_{n ̅, α ̅} f = 1 / (\prod_{j = 1}^{k} A_{n_{j}}^{α_{j}}) \sum_{i_{k} = 0}^{n_{k}} \dots \sum_{i ₁ = 0}^{n ₁} \prod_{j = 1}^{k} A_{n_{j} - i_{j}}^{α_{j} - 1} T_{k}^{i_{k}} \dots T ₁^{i ₁} f$ . For these averages we prove the almost everywhere convergence on X and the convergence in the $L^{p} (ν)$ norm, when $n ₁, . . ., n_{k} \to \infty$ independently, for all $f \in L^{p} (d ν)$ with p > 1/α⁎ where $α ⁎ = m i n_{1 \leq j \leq k} α_{j}$ . In the limit case p = 1/α⁎, we prove that the averages $_{n ̅, α ̅} f$ converge almost everywhere on X for all f in the Orlicz-Lorentz space $Λ (1 / α ⁎, φ_{m - 1})$ with $φ ₘ (t) = t {(1 + l o g ⁺ t)}^{m}$ . To obtain the result in the limit case we need...

Čech-Stone-like compactifications for general topological spaces

Miroslav Hušek (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The problem whether every topological space $X$ has a compactification $Y$ such that every continuous mapping $f$ from $X$ into a compact space $Z$ has a continuous extension from $Y$ into $Z$ is answered in the negative. For some spaces $X$ such compactifications exist.

Moving averages

S. V. Butler, J. M. Rosenblatt (2008)

Colloquium Mathematicae

Similarity:

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 (x) = 1 / (2^{k}) \sum_{j = 4^{k} + 1}^{4^{k} + 2^{k}} f (T^{j} x)$ , 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...

Example of a mean ergodic L¹ operator with the linear rate of growth

Wojciech Kosek (2011)

Colloquium Mathematicae

Similarity:

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 $l i m_{n \to \infty} | | T ⁿ | | / n^{1 - γ} = \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 $l i m s u p | | T ⁿ | | / n^{1 - γ ₀} = 0 .$ In this note we construct an example of a nonpositive L¹ operator with the...

Remarks on flat and differential $K$ -theory

Man-Ho Ho (2014)

Annales mathématiques Blaise Pascal

Similarity:

In this note we prove some results in flat and differential $K$ -theory. The first one is a proof of the compatibility of the differential topological index and the flat topological index by a direct computation. The second one is the explicit isomorphisms between Bunke-Schick differential $K$ -theory and Freed-Lott differential $K$ -theory.