The classical theorem of Jewett and Krieger gives a strictly ergodic model for any ergodic measure preserving system. An extension of this result for non-ergodic systems was given many years ago by George Hansel. He constructed, for any measure preserving system, a strictly uniform model, i.e. a compact space which admits an upper semicontinuous decomposition into strictly ergodic models of the ergodic components of the measure. In this note we give a new proof of a stronger result by adding the condition of purity, which controls the set of ergodic measures that appear in the strictly uniform model.
We prove that some ergodic linear automorphisms of $\T^N$ are stably ergodic, i.e. any small perturbation remains ergodic. The class of linear automorphisms we deal with includes all non-Anosov ergodic automorphisms when N=4 and so, as a corollary, we get that every ergodic linear automorphism of $\T^N$ is stably ergodic when $N\leq 5$.
We show that for every linear toral automorphism, especially the non-hyperbolic ones, the entropies of ergodic measures form a dense set on the interval from zero to the topological entropy.
We interpret the Pascal-adic transformation as a generalized induced automorphism (over odometer) and formulate the $σ$-finite analog of odometer which is also known as "Hajian-Kakutani transformation" (former "Ohio state example"). We shortly suggest a sketch of the theory of random walks on the groups on the base of $σ$-finite ergodic theory.
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…
Let $K$ be a compact metrizable group and $\Ga$ be a finitely generated group of commuting automorphisms of $K$. We show that ergodicity of $\Ga$ implies $\Ga$ contains ergodic automorphisms if center of the action, $Z(\Ga) = \{\ap \in {\rm Aut}(K) \mid \ap {\rm commutes with elements of \rm} \Ga \}$ has DCC. To explain that the condition on the center of the action is not restrictive, we discuss certain abelian groups which in particular, retrieves Theorems of Berend \cite{Be} and Schmidt \cite{Sc1} proved in this context.
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…
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.
We give two proofs to an old result of E. Salehi, showing that the Weyl subalgebra $\mathcal{W}$ of $\ell^\infty(\mathbb{Z})$ is a proper subalgebra of $\mathcal{D}$, the algebra of distal functions. We also show that the family $\mathcal{S}^d$ of strictly ergodic functions in $\mathcal{D}$ does not form an algebra and hence in particular does not coincide with $\mathcal{W}$. We then use similar constructions to show that a function which is a multiplier for strict ergodicity, either within $\mathcal{D}$ or in general, is necessarily a constant. An example of a metric, strictly ergodic, distal…
If $α$ is an irreducible nonexpansive ergodic automorphism of a compact abelian group $X$ (such as an irreducible nonhyperbolic ergodic toral automorphism), then $α$ has no finite or infinite state Markov partitions, and there are no nontrivial continuous embeddings of Markov shifts in $X$. In spite of this we are able to construct a symbolic space $V$ and a class of shift-invariant probability measures on $V$ each of which corresponds to an $α$-invariant probability measure on $X$. Moreover, every $α$-invariant probability measure on $X$ arises essentially in this way. The last part of the pa…
Let $K$ be a compact metrizable group and $\Ga$ be a group of automorphisms of $K$. We first show that each $\ap \in \Ga$ is distal on $K$ implies $\Ga$ itself is distal on $K$, a local to global correspondence provided $\Ga$ is a generalized $\ov{FC}$-group or $K$ is a connected finite-dimensional group. We show that $\Ga$ contains an ergodic automorphism when $\Ga$ is nilpotent and ergodic on a connected finite-dimensional compact abelian group $K$.
Let T be an ergodic automorphism of the d-dimensional torus. In the spirit of Le Borgne, we give conditions on the Fourier coeffi cients of a real valued function f under which the Birkhoff sums satis fy a strong invariance principle. Next, reinforcing the condition on the Fourier coeffi cients in a natural way, we obtain explicit rates of convergence in the strong invariance principle.
The existence of measure preserving invertible transformations $T$ with simple spectrum is established possessing the following rate of correlation decay $(f(T^k x), f(x)) = O(|k|^{-1/2+ε})$ for a dense family of functions $f$ and any ${ε> 0}$.
This investigation studies the ergodic properties of reversible linear cellular automata over $\mathbb{Z}_m$ for $m \in \mathbb{N}$. We show that a reversible linear cellular automaton is either a Bernoulli automorphism or non-ergodic. This gives an affirmative answer to an open problem proposed in [Pivato, Ergodc theory of cellular automata, Encyclopedia of Complexity and Systems Science, 2009, pp.~2980-3015] for the case of reversible linear cellular automata.
Let R a be countable ergodic equivalence relation of type II_1 on a standard probability space (X,m). The group Out(R) of outer automorphisms of R consists of all invertible Borel measure preserving maps of the space which map R-classes to R-classes modulo those which preserve almost every R-class. We analyze the group Out(R) for relations R generated by actions of higher rank lattices, providing general conditions on finiteness and triviality of Out(R) and explicitly computing this group for the standard actions. The method is based on Zimmer's superrigidity for measurable cocycles, Ratner's …
A recent result of Downarowicz and Serafin (DS) shows that there exist positive entropy subshifts satisfying the assertion of Sarnak's conjecture. More precisely, it is proved that if $y=(y_n)_{n\ge 1}$ is a bounded sequence with zero average along every infinite arithmetic progression (the Möbius function is an example of such a \sq\ $y$) then for every $N\ge 2$ there exists a subshift $Σ$ over $N$ symbols, with entropy arbitrarily close to $\log N$, uncorrelated to $y$. In the present note, we improve the result of (DS). First of all, we observe that the uncorrelation obtained in (DS) is \em…
We consider ergodic families of Schrödinger operators over base dynamics given by strictly ergodic subshifts on finite alphabets. It is expected that the majority of these operators have purely singular continuous spectrum supported on a Cantor set of zero Lebesgue measure. These properties have indeed been established for large classes of operators of this type over the course of the last twenty years. We review the mechanisms leading to these results and briefly discuss analogues for CMV matrices.
A dynamical Mertens' theorem for ergodic toral automorphisms with error term O(N^{-1}) is found, and the influence of resonances among the eigenvalues of unit modulus is examined. Examples are found with many more, and with many fewer, periodic orbits than expected.
We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than compact groups and extremely amenable groups, after Glasner and Weiss's example of the group of all permutations of the integers. We also contrast these results to those for certain special classes of gr…
We prove that the restriction of a probability measure invariant under a nonhyperbolic, ergodic and totally irreducible automorphism of a compact connected abelian group to the leaves of the central foliation is severely restricted. We also prove a topological analogue of this result: the intersection of every proper closed invariant subset with each central leaf is compact.
Let (Ω,μ) be a shift of finite type with a Markov probability, and (Y,ν) a non-atomic standard measure space. For each symbol i of the symbolic space, let Φ_i be a measure-preserving automorphism of (Y,ν). We study skew products of the form (ω,y) --> (σω,Φ_{ω_0}(y)), where σ=shift map on (Ω,μ). We prove that, when the skew product is conservative, it is ergodic if and only if the Φ_i's have no common non-trivial invariant set. In the second part we study the skew product when Ω={0,1}^Z, μ=Bernoulli measure, and Φ_0,Φ_1 are R-extensions of a same uniquely ergodic probability-preserving automorp…
In this paper we introduce a property of ergodic flows, called Property B. We prove that any ergodic hyperfinite equiva- lence relation of type III_o whose associated flow satisfies this property is not of product type. A consequence of this result is that any properly ergodic ow with Property B is not approximately transitive. We use Property B to construct a non-AT flow which - up to conjugacy - is a flow built under a function with the dyadic odometer as base automorphism.
We establish connections between several properties of topological dynamical systems, such as: - every point is generic for an ergodic measure, - the map sending points to the measures they generate is continuous, - the system splits into uniquely (alternatively, strictly) ergodic subsystems, - the map sending ergodic measures to their topological supports is continuous, - the Cesaro means of every continuous function converge uniformly.
We show stable ergodicity of a class of conservative diffeomorphisms which do not have any hyperbolic invariant subbundle. Moreover the uniqueness of SRB measures for non-conservative $C^1$ perturbations of such diffeomorphisms. This class contains strictly non-partially hyperbolic robustly transitive diffeomorphisms by Bonatti-Viana and so we answer their question about the stable ergodicity of such systems.
We show that some $C^*$--dynamical systems obtained by "quantizing" classical ones on the free Fock space, enjoy very strong ergodic properties. Namely, if the classical dynamical system $(X, T, \m)$ is ergodic but not weakly mixing, then the resulting quantized system $(\gg,\a)$ is uniquely ergodic (w.r.t the fixed point algebra) but not uniquely weak mixing. The same happens if we quantize a classical system $(X, T, \m)$ which is weakly mixing but not mixing. In this case, the quantized system is uniquely weak mixing but not uniquely mixing. Finally, a quantized system arising from a classic…
In this paper we show that dynamical and counting results characteristic of negatively-curved Riemannian geometry, or more generally CAT(-1) or rank-one CAT(0) spaces, also hold for geometrically-finite strictly convex projective structures equipped with their Hilbert metric. More specifically, such structures admit a finite Sullivan measure; with respect to this measure, the Hilbert geodesic flow is strongly mixing, and orbits and primitive closed geodesics equidistribute, allowing us to asymptotically enumerate these objects.
For $n\geq 1$ we consider the class JP($n$) of dynamical systems whose every ergodic joining with a Cartesian product of $k$ weakly mixing automorphisms ($k\geq n$) can be represented as the independent extension of a joining of the system with only $n$ coordinate factors. For $n\geq 2$ we show that, whenever the maximal spectral type of a weakly mixing automorphism $T$ is singular with respect to the convolution of any $n$ continuous measures, i.e. $T$ has the so-called convolution singularity property of order $n$, then $T$ belongs to JP($n-1$). To provide examples of such automorphisms, we …
The Krieger generator theorem says that every invertible ergodic measure-preserving system with finite measure-theoretic entropy can be embedded into a full shift with strictly greater topological entropy. We extend Krieger's theorem to include toral automorphisms, and more generally, any topological dynamical system on a compact metric space that satisfies almost weak specification, asymptotic entropy expansiveness, and the small boundary property. As a corollary, one obtains a complete solution to a natural generalization of an open problem in Halmos's 1956 book regarding an isomorphism inva…
We give examples of rank-one transformations that are (weak) doubly ergodic and rigid (so all their cartesian products are conservative), but with non-ergodic $2$-fold cartesian product. We give conditions for rank-one infinite measure-preserving transformations to be (weak) doubly ergodic and for their $k$-fold cartesian product to be conservative. We also show that a (weak) doubly ergodic nonsingular group action is ergodic with isometric coefficients, and that the latter strictly implies W measurable sensitivity.
Answering a question of A. Vershik we construct two non-weakly isomorphic ergodic automorphisms for which the associated unitary (Koopman) representations are Markov quasi-similar. We also discuss metric invariants of Markov quasi-similarity in the class of ergodic automorphisms.
We consider Schrödinger operators with dynamically defined potentials arising from continuous sampling along orbits of strictly ergodic transformations. The Gap Labeling Theorem states that the possible gaps in the spectrum can be canonically labelled by an at most countable set defined purely in terms of the dynamics. Which labels actually appear depends on the choice of the sampling function; the missing labels are said to correspond to collapsed gaps. Here we show that for any collapsed gap, the sampling function may be continuously deformed so that the gap immediately opens. As a corollary…
We introduce concepts of Radon MSJ and Radon disjointness for infinite Radon measure preserving homeomorphisms of the locally compact Cantor space. We construct an uncountable family of pairwise Radon disjoint infinite Chacon like transformations. Every such transformation is Radon strictly ergodic, totally ergodic, asymmetric (not isomorphic to its inverse), has Radon MSJ and possesses Radon joinings whose ergodic components are not joinings.
Let S be an ergodic measure-preserving automorphism on a non-atomic probability space, and let T be the time-one map of a topologically weak mixing suspension flow over an irreducible subshift of finite type under a Holder ceiling function. We show that if the measure-theoretic entropy of S is strictly less than the topological entropy of T, then there exists an embedding from the measure-preserving automorphism into the suspension flow. As a corollary of this result and the symbolic dynamics for geodesic flows on compact surfaces of negative curvature developed by Bowen and Ratner, we also ob…
We prove a substantial part of a conjecture of Kontsevich and Zorich on the Lyapunov exponents of the Teichmuller geodesic flow on the deviation of ergodic averages for generic conservative flows on higher genus surfaces. The result on the Teichmuller flow is formulated in terms of a (symplectic) cocycle on the real cohomology bundle over the moduli space of holomorphic differentials introduced by Kontsevich and Zorich. We prove that such a cocycle is non-uniformly hyperbolic, that is, all of its Lyapunov exponents are different from zero. In particular, the number of strictly positive exponen…
The regionally proximal relation of order $d$ along arithmetic progressions, namely ${\bf AP}^{[d]}$ for $d\in \N$, is introduced and investigated. It turns out that if $(X,T)$ is a topological dynamical system with ${\bf AP}^{[d]}=Δ$, then each ergodic measure of $(X,T)$ is isomorphic to a $d$-step pro-nilsystem, and thus $(X,T)$ has zero entropy. Moreover, it is shown that if $(X,T)$ is a strictly ergodic distal system with the property that the maximal topological and measurable $d$-step pro-nilsystems are isomorphic, then ${\bf AP}^{[d]}={\bf RP}^{[d]}$ for each $d\in {\mathbb N}$. It foll…
We define a two-sided analog of Erdös measure on the space of two-sided expansions with respect to the powers of the golden ratio, or, equivalently, the Erdös measure on the 2-torus. We construct the transformation (goldenshift) preserving both Erdös and Lebesgue measures on $\Bbb T^2$ which is the induced automorphism with respect to the ordinary shift (or the corresponding Fibonacci toral automorphism) and proves to be Bernoulli with respect to both measures in question. This provides a direct way to obtain formulas for the entropy dimension of the Erdös measure on the interval, its entropy …
This sequel to our previous paper [MS11b] continues the study of topological contact dynamics and applications to contact dynamics and topological dynamics. We provide further evidence that the topological automorphism groups of a contact structure and a contact form are the appropriate transformation groups of contact dynamical systems. The article includes an examination of the groups of time-one maps of topological contact and strictly contact isotopies, and the construction of a bi-invariant metric on the latter. Moreover, every topological contact or strictly contact dynamical system is a…
The aim of this article is to obtain a better understanding and classification of strictly ergodic topological dynamical systems with discrete spectrum. To that end, we first determine when an isomorphic maximal equicontinuous factor map of a minimal topological dynamical system has trivial (one point) fibres. In other words, we characterize when minimal mean equicontinuous systems are almost automorphic. Furthermore, we investigate another natural subclass of mean equicontinuous systems, so-called diam-mean equicontinuous systems, and show that a minimal system is diam-mean equicontinuous if …
A Borel system $(X,S)$ is `almost Borel universal' if any free Borel dynamical system $(Y,T)$ of strictly lower entropy is isomorphic to a Borel subsystem of $(X,S)$, after removing a null set. We obtain and exploit a new sufficient condition for a topological dynamical system to be almost Borel universal. We use our main result to deduce various conclusions and answer a number of questions. Along with additional results, we prove that a `generic' homeomorphism of a compact manifold of topological dimension at least two can model any ergodic transformation, that non-uniform specification impli…
We classify invariant probability measures for non-elementary groups of automorphisms, on any compact Kähler surface X, under the assumption that the group contains a so-called "parabolic automorphism". We also prove that except in certain rigid situations known as Kummer examples, there are only finitely many invariant, ergodic, probability measures with a Zariski dense support. If X is a K3 or Enriques surface, and the group does not preserve any algebraic subset, this leads to a complete description of orbit closures.
We investigate uniform ergodic type theorems for additive and subadditive functions on a subshift over a finite alphabet. We show that every strictly ergodic subshift admits a uniform ergodic theorem for Banach-space-valued additive functions. We then give a necessary and sufficient condition on a minimal subshift to allow for a uniform subadditive ergodic theorem. This provides in particular a sufficient condition for unique ergodicity.
