We show that a typical interval exchange transformation is either weakly mixing or it is an irrational rotation. We also conclude that a typical translation flow on a surface of genus $g \geq 2$ (with prescribed singularity types) is weakly mixing.
Typical Weak Mixing and Exceptional Spectral Properties for Interval Translation Mappings
Universidad Nacional de Colombia(哥伦比亚国立大学);Institut für Mathematik Universität Zürich(苏黎世大学数学研究所);IMPA(巴西高等科学研究学院);Aix Marseille Université CNRS Centrale Marseille Institut de Mathématiques de Marseille I2m - Umr 7373(艾克斯-马赛大学、法国国家科学研究中心、中央马赛学院、马赛数学研究所);National Research University Higher School of Economics(俄罗斯国立高等经济大学)
We studied topological and metric properties of the so-called interval translation maps (ITMs). For these maps, we introduced the maximal invariant measure and study its properties. Further, we study how the invariant measures depend on the parameters of the system. These results were illustrated by a simple example or a risk management model where interval translation maps appear~naturally.
We study the dynamics of a class of interval translation map on three intervals. We show that in this class the typical ITM is of finite type (reduce to an interval exchange transformation) and that the complement contains a Cantor set. We relate our maps to substitution subshifts. Results on Hausdorff dimension of the attractor and on unique ergodicity are obtained.
We prove that irreducible, linearly recurrent, type W interval exchange transformations are always mild mixing. For every irreducible permutation the set of linearly recurrent interval exchange transformations has full Hausdorff dimension.
We introduce a twisted cohomology cocycle over the Teichmueller flow and prove a "spectral gap" for its Lyapunov spectrum with respect to the Masur-Veech measures. We then derive Hoelder estimates on spectral measures and bounds on the speed of weak mixing for almost all translation flows in every stratum of Abelian differentials on Riemann surfaces, as well as bounds on the deviation of ergodic averages for product translation flows on the product of a translation surface with a circle.
Interval translation maps (ITMs) are a non-invertible generalization of interval exchange transformations (IETs). The dynamics of finite type ITMs is similar to IETs, while infinite type ITMs are known to exhibit new interesting effects. In this paper, we prove the finiteness conjecture for the ITMs of three intervals. Namely, the subset of ITMs of finite type contains an open, dense, and full Lebesgue measure subset of the space of ITMs of three intervals. For this, we show that any ITM of three intervals can be reduced either to a rotation or to a double rotation.
We consider suspension flows built over interval exchange transformations with the help of roof functions having an asymmetric logarithmic singularity. We prove that such flows are strongly mixing for a full measure set of interval exchange transformations.
We prove that for any compact connected Lie group G and a typical interval exchange transformation T, not isomorphic to a rotation, the skew product of T with a typical G-valued function, constant on the intervals, is weakly mixing.
We study some special classes of piecewise continuous maps on a finite smooth partition of a compact manifold and look for invariant measures for such maps. We show that in the simplest one-dimensional case (so-called interval translation maps) a Borel probability non-atomic invariant measure exists for any map. We use this result to demonstrate that any interval translation map endowed with such a measure is metrically equivalent to an interval exchange map. Finally, we study the general case of piecewise continuous maps and prove a simple result on existence of an invariant measure provided …
We construct a $C^r$ transformation of the interval (or the torus) which is topologically mixing but has no invariant measure of maximal entropy. Whereas the assumption of $C^{\infty}$ ensures existence of maximal measures for an interval map, it shows we cannot weaken the smoothness assumption. We also compute the local entropy of the example.
We study dynamics of continuous maps on compact metrizable spaces containing a free interval (i.e., an open subset homeomorphic to an open interval). A special attention is paid to relationships between topological transitivity, weak and strong topological mixing, dense periodicity and topological entropy as well as to the topological structure of minimal sets. In particular, a trichotomy for minimal sets and a dichotomy for transitive maps are proved.
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 show that a residual set of non-degenerate IETs on more than 3 letters is topologically mixing. This shows that there exists a uniquely ergodic topologically mixing IET. This is then applied to show that some billiard flows in a fixed direction in an L-shaped polygon are topologically mixing.
Let $d >1$. In this paper we show that for an irreducible permutation $π$ which is not a rotation, the set of $[λ]\in \mathbb{P}_+^{d-1}$ such that the interval exchange transformation $f([λ],π)$ is not weakly mixing does not have full Hausdorff dimension. We also obtain an analogous statement for translation flows. In particular, it strengthens the result of almost sure weak mixing proved by G. Forni and the first author. We adapt here the probabilistic argument developed in their paper in order to get some large deviation results. We then show how the latter can be converted into estimates o…
We consider suspension flows over uniquely ergodic skew-translations on a $d$-dimensional torus $\mathbb{T}^d$, for $d \geq 2$. We prove that there exists a set $\mathscr{R}$ of smooth functions, which is dense in the space $\mathscr{C}(\mathbb{T}^d)$ of continuous functions, such that every roof function in $\mathscr{R}$ which is not cohomologous to a constant induces a mixing suspension flow. We also construct a dense set of mixing examples which is explicitly described in terms of their Fourier coefficients. In the language of nilflows on nilmanifolds, our result implies that, for every uni…
We establish a dichotomy for the rate of the decay of the Cesàro averages of correlations of sufficiently regular functions for typical interval exchange transformations (IET) which are not rigid rotations (for which weak mixing had been previously established in the works of Katok-Stepin, Veech, and Avila-Forni). We show that the rate of decay is either logarithmic or polynomial, according to whether the IET is of rotation class (i.e., it can be obtained as the induced map of a rigid rotation) or not. In the latter case, we also establish that the spectral measures of Lipschitz functions have…
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.
In this note we show that the transfer operator of a Rauzy-Veech-Zorich renormalization map acting on a space of quasi-Hölder functions is quasicompact and derive certain statistical recurrence properties for this map and its associated Teichmüller flow. We establish Borel-Cantelli lemmas, Extreme Value statistics and return time statistics for the map and flow. Previous results have established quasicompactness in Hölder or analytic function spaces, for example the work of M. Pollicott and T. Morita. The quasi-Hölder function space is particularly useful for investigating return time statisti…
We construct, over some minimal translations of the two torus, special flows under a differentiable ceiling function that combine the properties of mixing and rank one.
Piecewise Translations is a class of dynamical systems which arises from some applications in computer science, machine learning, and electrical engineering. In dimension 1 it can also be viewed as a non-invertible generalization of Interval Exchange Transformations. These dynamical systems still possess some features of Interval Exchanges but the total volume is no longer preserved and allowed to decay. Every Piecewise Translation has a well-defined attracting subset which is the locus of our interest. We prove some results about how fast the dynamics lock onto the attractor, geometry of the …
In this paper, we study topological properties of the right action by translation of the Weyl Chamber flow on the space of Weyl chambers. We obtain a necessary and sufficient condition for topological mixing. (1)
In this paper, we prove a criterion for existence of continuous non constant eigenfunctions for interval exchange transformations, that is for non topologically weak mixing. We first construct, for any m>3, uniquely ergodic interval exchange transformations of rank 2 with irrational eigenvalues associated to continuous eigenfunctions, so that are not topologically weak mixing, this answers to a question of Ferenczi and Zamboni. Then, we construct, for any even number m>3, interval exchange transformations of rank 2 with both irrational eigenvalues (associated to continuous eigenfunctions) and …
We present a computational study of finite-time mixing of a line segment by cutting and shuffling. A family of one-dimensional interval exchange transformations is constructed as a model system in which to study these types of mixing processes. Illustrative examples of the mixing behaviors, including pathological cases that violate the assumptions of the known governing theorems and lead to poor mixing, are shown. Since the mathematical theory applies as the number of iterations of the map goes to infinity, we introduce practical measures of mixing (the percent unmixed and the number of interm…
A translation surface on (S, Σ) gives rise to two transverse measured foliations \FF, \GG on S with singularities in Σ, and by integration, to a pair of cohomology classes [\FF], \, [\GG] \in H^1(S, Σ; \R). Given a measured foliation \FF, we characterize the set of cohomology classes \B for which there is a measured foliation \GG as above with \B = [\GG]. This extends previous results of Thurston and Sullivan. We apply this to two problems: unique ergodicity of interval exchanges and flows on the moduli space of translation surfaces. For a fixed permutation σ\in \mathcal{S}_d, the space \R^d_+…
Let $f\colon X\to X$, $X=[0,1)$, be an ergodic IET (interval exchange transformation) relative to the Lebesgue measure on $X$. Denote by $f_t\colon X_t\to X_t$ the IET obtained by inducing $f$ to the subinterval $X=[0,t)$, $0<t<1$. We show that \[ \{0<t<1\mid f_{t} \text{is weakly mixing}\} \] is a residual subset of $X$ of full Lebesgue measure. The result is proved by establishing a generic Diophantine sufficient condition on $t$ for $f_{t}$ to be weakly mixing.
For a commutative non-autonomous dynamical system we show that topological transitivity of the non-autonomous system induced on probability measures (hyperspaces) is equivalent to the weak mixing of the induced systems. Several counter examples are given for the results which are true in autonomous but need not be true in non-autonomous systems. Wherever possible sufficient conditions are obtained for the results to hold true. For a commutative periodic non-autonomous system on intervals, it is proved that weakly mixing implies Devaney chaos. Given a periodic non-autonomous system, it is shown…
We prove a spatial limit theorem for generic interval exchange transformations (IETs): for a generic IET the normalized ergodic sums of a sufficiently regular (e.g., Lipschitz) function have the same asymptotic behavior of distributions as the behaviour of ergodic integrals for a generic translation flow on a flat surface, described by A. Bufetov.
We classify the locally finite ergodic invariant measures of certain infinite interval exchange transformations (IETs). These transformations naturally arise from return maps of the straight-line flow on certain translation surfaces, and the study of the invariant measures for these IETs is equivalent to the study of invariant measures for the straight-line flow in some direction on these translation surfaces. For the surfaces and directions for which our methods apply, we can characterize the locally finite ergodic invariant measures of the straight-line flow in a set of directions of Hausdor…
We present a sufficient condition that a pseudointegrable system has weak mixing property. The result is derived from Veech's weak mixing theorem for interval exhange [Veech, W.A. Amer.J.Math. {\bf 106}, 1331 (1984)]. We also present an example whose weak mixing property can be proved by the result.
Department of Mathematical Sciences, Durham University(达勒姆大学数学科学系);Faculty of Mathematics and Computer Science, Jagiellonian University in Kraków(克拉科夫雅盖隆大学数学与计算机科学学院);CMAT, Facultad de Ciencias, Universidad de la República(乌拉圭共和国大学理学院计算数学中心)
For an integer $m \geq 2$, let $\mathcal{P}_m$ be the partition of the unit interval $I$ into $m$ equal subintervals, and let $\mathcal{F}_m$ be the class of piecewise linear maps on $I$ with constant slope $\pm m$ on each element of $\mathcal{P}_m$. We investigate the effect on mixing properties when $f \in \mathcal{F}_m$ is composed with the interval exchange map given by a permutation $σ\in S_N$ interchanging the $N$ subintervals of $\mathcal{P}_N$. This extends the work in a previous paper [N.P. Byott, M. Holland and Y. Zhang, DCDS, {\bf 33}, (2013) 3365--3390], where we considered only th…
In the class of Ornstein transformations the mixing property satisfies a 0-1 law. Here we consider Ornstein's construction with bounded cutting parameter. In fact, these latter transformations are not mixing, however it is proved that the weak mixing property occurs with probability one. Our situation is similar to the case of interval exchange transformations whose link with the cutting and stacking construction relies in a dynamical process called Rauzy induction.
In this paper we prove that translation structures for which the corresponding vertical translation flows is weakly mixing and disjoint with its inverse, form a $G_δ$-dense set in every non-hyperelliptic connected component of the moduli space $\mathcal M$. This is in contrast to hyperelliptic case, where for every translation structure the associated vertical flow is isomorphic to its inverse. To prove the main result, we study limits of the off-diagonal 3-joinings of special representations of vertical translation flows. Moreover, we construct a locally defined continuous embedding of the mo…
Low-dimensional dynamical systems are fruitful models for mixing in fluid and granular flows. We study a one-dimensional discontinuous dynamical system (termed "cutting and shuffling" of a line segment), and we present a comprehensive computational study of its finite-time mixing properties including the effect of diffusion. To explore a large parameter space, we introduce fit functions for two mixing metrics of choice: the number of cutting interfaces (a standard quantity in dynamical systems theory of interval exchange transformations) and a mixing norm (a more physical measure of mixing). W…
Let $G$ be a connected simple linear Lie group of rank one, and let $Γ<G$ be a discrete Zariski dense subgroup admitting a finite Bowen-Margulis-Sullivan measure $m^{\operatorname{BMS}}$. We show that the right translation action of the one dimensional diagonalizable subgroup is mixing on $(Γ\backslash G, m^{\operatorname{BMS}})$. Together with the work of Roblin, this proves ergodicity of the Burger-Roblin measure under the horospherical group $N$, establishes a classification theorem for $N$ invariant Radon measures on $Γ\backslash G$, and provides precise asymptotics for the Haar measure ma…
We prove that a large class of expanding maps of the unit interval with a $C^2$-regular indifferent point in 0 and full increasing branches are global-local mixing. This class includes the standard Pomeau-Manneville maps $T(x) = x + x^{p+1}$ mod 1 ($p \ge 1$), the Liverani-Saussol-Vaienti maps (with index $p \ge 1$) and many generalizations thereof.
Mixing by cutting-and-shuffling can be understood and predicted using dynamical systems based tools and techniques. In existing studies, mixing is generated by maps that repeat the same cut-and-shuffle process at every iteration, in a "fixed" manner. However, mixing can be greatly improved by varying the cut-and-shuffle parameters at each step, using a "variable" approach. To demonstrate this approach, we show how to optimize mixing by cutting-and-shuffling on the one-dimensional line interval, known as an interval exchange transformation (IET). Mixing can be significantly improved by optimizi…
The paper is devoted to generic translation flows corresponding to Abelian differentials with one zero of order two on flat surfaces of genus two. These flows are weakly mixing by the Avila-Forni theorem. Our main result gives first quantitative estimates on their spectrum, establishing the Hoelder property for the spectral measures of Lipschitz functions. The proof proceeds via uniform estimates of twisted Birkhoff integrals in the symbolic framework of random Markov compacta and arguments of Diophantine nature in the spirit of Salem, Erdos and Kahane.
We consider generalized interval exchange transformations, or briefly GIETs, that is bijections of the interval which are piecewise increasing homeomorphisms with finite branches. When all continuous branches are translations, such maps are classical interval exchange transformations, or briefly IETs. The well-known Rauzy renormalization procedure extends to a given GIET and a Rauzy renormalization path is defined, provided that the map is infinitely renormalizable. We define full families of GIETs, that is optimal finite dimensional parameter families of GIETs such that any prescribed Rauzy r…
This text is an expanded version of the lecture notes of a minicourse (with the same title of this text) delivered by the authors in the Bedlewo school "Modern Dynamics and its Interaction with Analysis, Geometry and Number Theory" (from 4 to 16 July, 2011). In the first part of this text, i.e., from Sections 1 to 5, we discuss the Teichmüller and moduli space of translation surfaces, the Teichmüller flow and the SL(2,R)-action on these moduli spaces and the Kontsevich-Zorich cocycle over the Teichmüller geodesic flow. We sketch two applications of the ergodic properties of the Teichmüller flo…
It is proved that almost every interval exchange transformation given by the symmetric permutation 1->m, 2->m-1,..., m-1->2, m->1, where m>1 is an odd number, is disjoint from ELF systems. The notion of ELF systems was introduced to express the fact that a given system is of probabilistic origin; the following standard classes of systems of probabilistic origin enjoy the ELF property: mixing systems, ergodic Gaussian systems, Poisson suspensions, dynamical systems coming from stationary infinitely divisible processes. Some disjointness properties of special flows built over interval exchange t…