We prove that minimal area-preserving flows locally given by a smooth Hamiltonian on a closed surface of any genus are typically (in the measure-theoretical sense) not mixing. The result is obtained by considering special flows over interval exchange transformations under roof functions with symmetric logarithmic singularities and proving absence of mixing for a full measure set of interval exchange transformations.
The purpose of this paper is to establish mixing rates for infinite measure preserving almost Anosov diffeomorphisms on the two-dimensional torus. The main task is to establish regular variation of the tails of the first return time to the complement of a neighbourhood of the neutral fixed point.
We consider piecewise monotone maps, we show that an ergodic measure for which the map is invertible almost everywhere can not be mixing. It follows that every ergodic measure for an interval translation mapping is not mixing. We also show that double rotations without periodic points have an ergodic but not weakly mixing invariant measure. This article is dedicated to the memory of Anatoly Mikhailovich Stepin.
We introduce high staircase infinite measure preserving transformations and prove that they are mixing under a restricted growth condition. This is used to (i) realize each subset $E\subset\Bbb N\cup\{\infty\}$ as the set of essential values of the multiplicity function for the Koopman operator of a mixing ergodic infinite measure preserving transformation, (ii) construct mixing power weakly mixing infinite measure preserving transformations, (iii) construct mixing Poissonian automorphisms with a simple spectrum, etc.
Let $M$ be a closed $3$-dimensional Riemann manifold and let $3\le r\le \infty$. We prove that there exists an open dense subset in the space of $C^r$ volume-preserving Anosov flows on $M$ such that all the flows in it are exponentially mixing.
We prove that a class of infinite measure preserving transformations, satisfying a "strong" weak mixing condition, generates all rigidity sequences of all conservative ergodic invertible measure preserving transformations defined on a Lebesgue $σ$-finite measure space.
We consider typical area preserving flows on higher genus surfaces and prove that the flow restricted to mixing minimal components is mixing of all orders, thus answering affimatively to Rohlin's multiple mixing question in this context. The main tool is a variation of the Ratner property (a property originally proved by Ratner for the horocycle flow), i.e. the switchable Ratner property introduced by Fayad and Kanigowski for special flows over rotations. This property, which is of independent interest, provides a quantitative description of the parabolic behaviour of these flows and has impli…
A technique is presented for multiplexing two ergodic measure preserving transformations together to derive a third limiting transformation. This technique is used to settle a question regarding rigidity of weak mixing transformations. Namely, given any rigidity sequence for an ergodic measure preserving transformation, there exists a weak mixing transformation which is rigid along the same sequence. This establishes a wide range of rigidity sequences for weakly mixing dynamical systems.
We show that on any smooth compact connected manifold of dimension $m\geq 2$ admitting a smooth non-trivial circle action $\mathcal{S} = \left\{S_t\right\}_{t \in \mathbb{R}}$, $S_{t+1}=S_t$, the set of weakly mixing $C^{\infty}$-diffeomorphisms which preserve both a smooth volume $ν$ and a measurable Riemannian metric is dense in $\mathcal{A}_α \left(M\right)= \overline{ \left\{h \circ S_α \circ h^{-1} : h \in \text{Diff}^{\infty}\left(M, ν\right) \right\}}^{C^{\infty}}$ for every Liouvillean number $α$. The proof is based on a quantitative version of the Anosov-Katok-method with explicitly c…
This text is addressed to students. It is a short story about some problems in ergodic theory, both related and independent. We discuss the factorization of transformations into the product of three involutions; Furstenberg's theorem on weak multiple mixing in the mean along progressions; ergodic Furstenberg-Roth's theorem. In connection with Ledrappier's $Z^2$-action, we consider harmonic $Z_2$-sequences on $Z^2$ and experimentally observe the dominant infinite threads arising in them. The property of multiple mixing for systems with the Gordin ergodic group is proven. We discuss the absence …
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…
Let $f$ be a $C^{1+α}$ diffeomorphism of a compact manifold $M$ preserving a smooth measure $μ$. We show that if $f:(M,μ)\to (M,μ)$ is exponentially mixing then it is Bernoulli.
We construct a smooth, area preserving, mixing flow with finitely many non-degenerate fixed points and no saddle connections on a closed surface of genus 5. This resolves a problem that has been open for four decades.
We discuss multiple versions of rational ergodicity and rational weak mixing for "nice" transformations, including Markov shifts, certain interval maps and hyperbolic geodesic flows. These properties entail multiple recurrence.
We study the rate of mixing of observables of Z^d-extensions of probability preserving dynamical systems. We explain how this question is directly linked to the local limit theorem and establish a rate of mixing for general classes of observables of the Z^2-periodic Sinai billiard. We compare our approach with the induction method.
A classical result of Halmos asserts that among measure preserving transformations the weak mixing property is generic. We extend Halmos' result to the collection of ergodic extensions of a fixed, but arbitrary, ergodic transformation $T_0$. We then use a result of Connes, Feldman and Weiss to extend this relative theorem to the general (countable) amenable group.
We construct a rank one infinite measure preserving transformation $T$ such that for all sequences of nonzero integers $\{k_{1},..., k_{r}\}$, $T^{k_{1}}\times...\times T^{k_{r}}$ is ergodic.
For any infinite zero-density integer set M, we found a rigid measure-preserving transformation mixing along M by answering Bergelson's question. Gaussian and Poisson suspensions over infinite constructions are suggested as suitable examples. We also discuss rigid rank one transformations of finite measure that mix along a given set, and some analogues for group actions.
In the scope of the statistical description of dynamical systems, one of the defining features of chaos is the tendency of a system to lose memory of its initial conditions (more precisely, of the distribution of its initial conditions). For a dynamical system preserving a probability measure, this property is named `mixing' and is equivalent to the decay of correlations for observables in phase space. For the class of dynamical systems preserving infinite measures, this probabilistic connection is lost and no completely satisfactory definition has yet been found which expresses the idea of lo…
We study weak mixing of all orders for weakly mixing measure preserving dynamical systems, where the dynamics is given by the action of an abelian second countable topological group which has an invariant measure under the group operation. One of the main technical tools we use is a van der Corput lemma for Hilbert space valued functions on a second countable topological group.
We study the notions of weak rational ergodicity and rational weak mixing as defined by Jon Aaronson. We prove that various families of infinite measure-preserving rank-one transformations possess (or do not posses) these properties, and consider their relation to other notions of mixing in infinite measure.
We utilize Gaussian measure preserving systems to prove the existence and genericity of Lebesgue measure preserving transformations $T:[0,1]\rightarrow [0,1]$ which exhibit both mixing and rigidity behavior along families of asymptotically linearly independent sequences. Let $λ_1,...,λ_N\in[0,1]$ and let $ϕ_1,...,ϕ_N:\mathbb N\rightarrow\mathbb Z$ be asymptotically linearly independent (i.e. for any $(a_1,...,a_N)\in\mathbb Z^N\setminus\{\vec 0\}$, $\lim_{k\rightarrow\infty}|\sum_{j=1}^Na_jϕ_j(k)|=\infty$). Then the class of invertible Lebesgue measure preserving transformations $T:[0,1]\right…
We show that if an infinite measure preserving system is well approximated on most of the phase space by a system satisfying the local limit theorem, then the original system enjoys mixing with respect to global observables, that is, the observables which admit an infinite volume average. The systems satisfying our conditions include the Lorentz gas with Coulomb potential, the Galton board and piecewise smooth Fermi-Ulam pingpongs.
We exhibit rationally ergodic, weakly mixing measure preserving transformations which are not subsequence rationally weakly mixing and give a condition for smoothness of renewal sequences.
For measure preserving dynamical systems on metric spaces we study the time needed by a typical orbit to return back close to its starting point. We prove that when the decay of correlation is super-polynomial the recurrence rates and the pointwise dimensions are equal. This gives a broad class of systems for which the recurrence rate equals the Hausdorff dimension of the invariant measure.
It is shown that a locally compact second countable group $G$ has the Haagerup property if and only if there exists a sharply weak mixing 0-type measure preserving free $G$-action $T=(T_g)_{g\in G}$ on an infinite $σ$-finite standard measure space $(X,μ)$ admitting an exhausting $T$-Følner sequence (i.e. a sequence $(A_n)_{n=1}^\infty$ of measured subsets of finite measure such that $A_1\subset A_2\subset\cdots$, $\bigcup_{n=1}^\infty A_n=X$ and $\lim_{n\to\infty}\sup_{g\in K}\frac{μ(T_gA_n\triangle A_n)}{μ(A_n)}= 0$ for each compact $K\subset G$). It is also shown that a pair of groups $H\sub…
For different classes of measure preserving transformations, we investigate collections of sets that exhibit the property of lightly mixing. Lightly mixing is a stronger property than topological mixing, and requires that a lim inf is positive. In particular, we give a straightforward proof that any mildly mixing transformation T has a dense algebra C such that T is lightly mixing on C. Also, we provide a hierarchy for the properties of lightly mixing, sweeping out and uniform sweeping out for dense collections, and dense algebras of sets. As a result, stronger mixing realizations are given fo…
Eagleson's Theorem asserts that, given a probability-preserving map, ifrenormalized Birkhoff sums of a function converge in distribution, thenthey also converge with respect to any probability measure which isabsolutely continuous with respect to the invariant one. We prove a versionof this result for almost sure limit theorems, extending results ofKorepanov. We also prove a version of this result, in mixing systems, whenone imposes a conditioning both at time 0 and at time n.
J.-P. Thouvenot and the author showed via different approaches that the centralizer of a mixing rank-one infinite measure preserving transformation was trivial. In this note the author presents his joining proof. We also consider constructions with algebraic spacers as well as a class of Sidon constructions to produce new examples of mixing rank one transformations. In connection with Gordin's question on the existence of homoclinic ergodic actions for a zero entropy system we also discuss Poisson suspensions of some modifications of Sidon rank one constructions.
We show that every invertible strong mixing transformation on a Lebesgue space has strictly over-recurrent sets. Also, we give an explicit procedure for constructing strong mixing transformations with no under-recurrent sets. This answers both parts of a question of V. Bergelson. We define $ε$-over-recurrence and show that given $ε> 0$, any ergodic measure preserving invertible transformation (including discrete spectrum) has $ε$-over-recurrent sets of arbitrarily small measure. Discrete spectrum transformations and rotations do not have over-recurrent sets, but we construct a weak mixing rigi…
We examine some of the properties of uniformly rigid transformations, and analyze the compatibility of uniform rigidity and (measurable) weak mixing along with some of their asymptotic convergence properties. We show that on Cantor space, there does not exist a finite measure-preserving, totally ergodic, uniformly rigid transformation. We briefly discuss general group actions and show that (measurable) weak mixing and uniform rigidity can coexist in a more general setting.
Let $M$ be an $m$-dimensional differentiable manifold with a nontrivial circle action ${\mathcal S}= {\lbrace S_t \rbrace}_{t \in\RR}, S_{t+1}=S_t$, preserving a smooth volume $μ$. For any Liouville number $\a$ we construct a sequence of area-preserving diffeomorphisms $H_n$ such that the sequence $H_n\circ S_\a\circ H_n^{-1}$ converges to a smooth weak mixing diffeomorphism of $M$. The method is a quantitative version of the approximation by conjugations construction introduced in \cite{AK}. For $m=2$ and $M$ equal to the unit disc $\DD^2=\{x^2+y^2\leq 1\}$ or the closed annulus $\AAA=\TT\tim…
In a recent paper, Melbourne and Terhesiu [Operator renewal theory and mixing rates for dynamical systems with infinite measure, Invent. Math. 189 (2012), 61-110] obtained results on mixing and mixing rates for a large class of noninvertible maps preserving an infinite ergodic invariant measure. Here, we are concerned with extending these results to the invertible setting. Mixing is established for a large class of infinite measure invertible maps. Assuming additional structure, in particular exponential contraction along stable manifolds, it is possible to obtain good results on mixing rates …
We investigate the question of the rate of mixing for observables of a Z d-extension of a probability preserving dynamical system with good spectral properties. We state general mixing results, including expansions of every order. The main part of this article is devoted to the study of mixing rate for smooth observables of the Z 2-periodic Sinai billiard, with different kinds of results depending on whether the horizon is finite or infinite. We establish a first order mixing result when the horizon is infinite. In the finite horizon case, we establish an asymptotic expansion of every order, e…
The focus of this paper is the phenomenon of rigidity for measure-preserving actions of countable discrete abelian groups and its interactions with weak mixing and recurrence. We prove that results about $\mathbb{Z}$-actions extend to this setting: 1. If $(a_n)$ is a rigidity sequence for an ergodic measure-preserving system, then it is a rigidity sequence for some weakly mixing system. 2. There exists a sequence $(r_n)$ such that every translate is both a rigidity sequence and a set of recurrence. The first of these results was shown for $\mathbb{Z}$-actions by Adams, Fayad and Thouvenot, and…
We prove effective decay of certain multiple correlation coefficients for measure preserving, mixing Weyl chamber actions of semidirect products of semisimple groups with $G$-vector spaces. These estimates provide decay for some semisimple groups of higher rank.
This paper defines Lebesgue measure preserving Thompson's monoid, denoted by $\mathbb{G}$, which is modeled on Thompson's group $\mathbb{F}$ except that the elements of $\mathbb{G}$ are non-invertible. Moreover, it is required that the elements of $\mathbb{G}$ preserve Lebesgue measure. Monoid $\mathbb{G}$ exhibits very different properties from Thompson's group $\mathbb{F}$. The paper studies a number of algebraic (group-theoretic) and dynamical properties of $\mathbb{G}$ including approximation, mixing, periodicity, entropy, decomposition, generators, and topological conjugacy.
Chaotic multiscale dynamical systems are common in many areas of science, one of the examples being the interaction of the low-frequency dynamics in the atmosphere with the fast turbulent weather dynamics. One of the key questions about chaotic multiscale systems is how the fast dynamics affects chaos at the slow variables, and, therefore, impacts uncertainty and predictability of the slow dynamics. Here we demonstrate that the linear slow-fast coupling with the total energy conservation property promotes the suppression of chaos at the slow variables through the rapid mixing at the fast varia…
In connection with Rokhlin's question on an automorphism with a homogeneous nonsimple spectrum, we indicate a class of measure-preserving maps $T$ such that $T\times T$ has a homogeneous spectrum of multiplicity 2. The automorphisms in question satisfy the condition $σ\astσ\perp σ$, where $σ$ is the spectral measure of $T$. We also show that there is a mixing automorphism possessing the above properties and their higher order analogs. This work has been published in the pilot issue of Selected Russian Mathematics, Vol.1 (1999), no.1, 13-24.
Given a bi-Lipschitz measure-preserving homeomorphism of a compact metric measure space of finite dimension, consider the sequence formed by the Lipschitz norms of its iterations. We obtain lower bounds on the growth rate of this sequence assuming that our homeomorphism mixes a Lipschitz function. In particular, we get a universal lower bound which depends on the dimension of the space but not on the rate of mixing. Furthermore, we get a lower bound on the growth rate in the case of rapid mixing. The latter turns out to be sharp: the corresponding example is given by a symbolic dynamical syste…
Let $(X, \mathcal{B}, μ)$ be a probability measure space and $T_1$, $T_2$, $T_3$ three not necessarily commuting measure preserving transformations on $(X, \mathcal{B}, μ)$. We prove that for all bounded functions $f_1$, $f_2$, $f_3$ the averages $$\frac{1}{N^2}\sum_{n, m =1}^N f_1(T_1^nx)f_2(T_2^mx)f_3(T_3^{n+m}x)$$ converges a.e. Generalizations to averages of $2^k -1$ functions are also given for not necessarily commuting weakly mixing systems.
In this paper we consider $C^{1+ε}$ area-preserving diffeomorphisms of the torus $f,$ either homotopic to the identity or to Dehn twists. We suppose that $f$ has a lift $\widetilde{f}$ to the plane such that its rotation set has interior and prove, among other things that if zero is an interior point of the rotation set, then there exists a hyperbolic $\widetilde{f}$-periodic point $\widetilde{Q}$$\in {\rm I}\negthinspace {\rm R^2}$ such that $W^u(\widetilde{Q})$ intersects $W^s(\widetilde{Q}+(a,b))$ for all integers $(a,b)$, which implies that $\bar{W^u(\widetilde{Q})}$ is invariant under int…
We answer positively a question of Ryzhikov, namely we show that being a relatively weakly mixing extension is a comeager property in the Polish group of measure preserving transformations. We study some related classes of ergodic transformations and their interrelations. In the second part of the paper we show that for a fixed ergodic T with property A, a generic extension $\hat{T}$ of T also has the property A. Here A stands for each of the following properties: (i) having the same entropy as T, (ii) Bernoulli, (iii) K, and (iv) loosely Bernoulli.
We investigate ergodic theory of Poisson suspensions. In the process, we establish close connections between finite and infinite measure preserving ergodic theory. Poisson suspensions thus provide a new approach to infinite measure preserving ergodic theory. Fields investigated here are mixing properties, spectral theory, joinings. We also compare Poisson suspensions to the apparently similar looking Gaussian dynamical systems.
We establish the mixing property for a family of Lebesgue measure preserving toral maps composed of two piecewise linear shears, the first of which is non-monotonic. The maps serve as a basic model for the `stretching and folding' action in laminar fluid mixing, in particular flows where boundary conditions give rise to non-monotonic flow profiles. The family can be viewed as the parameter space between two well known systems, Arnold's Cat Map and a map due to Cerbelli and Giona, both of which possess finite Markov partitions and straightforward to prove mixing properties. However, no such fin…
Rational weak mixing is a measure theoretic version of Krickeberg's strong ratio mixing property for infinite measure preserving transformations. It requires "{\tt density}" ratio convergence for every pair of measurable sets in a dense hereditary ring. Rational weak mixing implies weak rational ergodicity and (spectral) weak mixing. It is enjoyed for example by Markov shifts with Orey's strong ratio limit property. The power, subsequence version of the property is generic.
We introduce a functor which associates to every measure preserving system (X,B,μ,T) a topological system (C_2(μ),\tilde{T}) defined on the space of 2-fold couplings of μ, called the topological lens of T. We show that often the topological lens "magnifies" the basic measure dynamical properties of T in terms of the corresponding topological properties of \tilde{T}. Some of our main results are as follows: (i) T is weakly mixing iff \tilde{T} is topologically transitive (iff it is topologically weakly mixing). (ii) T has zero entropy iff \tilde{T} has zero topological entropy, and T has positi…
We prove that an Anosov flow with $\mathcal{C}^{1}$ stable bundle mixes exponentially whenever the stable and unstable bundles are not jointly integrable. This allows us to show that if a flow is sufficiently close to a volume-preserving Anosov flow and $\operatorname{dim} \mathbb{E}_s = 1$, $\operatorname{dim} \mathbb{E}_u \geq 2$ then the flow mixes exponentially whenever the stable and unstable bundles are not jointly integrable.This implies the existence of non-empty open sets of exponentially mixing Anosov flows. As part of the proof of this result we show that $\mathcal{C}^{1+}$ uniforml…
We give the first example of a smooth volume preserving mixing dynamical system such that the discrete Schrödinger operators on the line defined with a potential generated by this system and a Hölder sampling function, have almost surely a continuous spectrum.
A measure-preserving dynamical system can be approximated by a Markov shift with a bistochastic matrix. This leads to using empirical stochastic matrices to measure and estimate properties of stirring protocols. Specifically, the second largest eigenvalue can be used to statistically decide if a stirring protocol is weak-mixing, ergodic, or nonergodic. Such hypothesis tests require appropriate probability distributions. In this paper, we propose using Monte Carlo empirical probability distributions from unistochastic matrices to establish critical values. These unistochastic matrices arise fro…
