Absence of mixing for interval translation mappings and some generalizations
Serge Troubetzkoy
备注：
The proof of Lemma 6 contains a gap. Since all the results in this article are based on this lemma none of them have been established. A version of Lemma 6 with the same gap was used in (Kryzhevich, Invariant measures for interval translations and some other piecewise continuous maps, Math. Model. Nat. Phen. 15 (2020)) and thus some of the results of this article have also not been established
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.
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 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.
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.
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 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 …
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 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…
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 …
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_+…
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 study the thermodynamic formalism of sufficiently regular interval maps for Holder continuous potentials. We show that for a hyperbolic potential there is a unique equilibrium state, and that this measure is exponentially mixing. Moreover, we show the absence of phase transitions: The pressure function is real analytic at such a potential.
We study continuity, and lack thereof, of thermodynamical properties for one-dimensional dynamical systems. Under quite general hypotheses, the free energy is shown to be almost upper-semicontinuous: some normalised component of a limit measure will have free energy at least that of the limit of the free energies. From this, we deduce results concerning existence and continuity of equilibrium states (statistical stability). Counterexamples to statistical stability in the absence of strong hypotheses are provided.
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…
A standard interval exchange map is a one-to-one map of the interval which is locally a translation except at finitely many singularities. We define for such maps, in terms of the Rauzy-Veech continuous fraction algorithm, a diophantine arithmetical condition called restricted Roth type which is almost surely satisfied in parameter space. Let $T_0$ be a standard interval exchange map of restricted Roth type, and let $r$ be an integer $\geq 2$. We prove that, amongst $C^{r+3}$ deformations of $T_0$ which are $C^{r+3}$ tangent to $T_0$ at the singularities, those which are conjugated to $T_0$ by…
We give a criterion which allows to prove non-ergodicity for certain infinite periodic billiards and directional flows on Z-periodic translation surfaces. Our criterion applies in particular to a billiard in an infinite band with periodically spaced vertical barriers and to the Ehrenfest wind-tree model, which is a planar billiard with a $Z^2$-periodic array of rectangular obstacles. We prove that, in these two examples, both for a full measure set of parameters of the billiard tables and for tables with rational parameters, for almost every direction the corresponding billiard flow is not erg…
We consider smooth flows preserving a smooth invariant measure, or, equivalently, locally Hamiltonian flows on compact orientable surfaces and show that, when the genus of the surface is two, almost every such locally Hamiltonian flow with two non degenerate isomorphic saddle has singular spectrum. More in general, singularity of the spectrum holds for special flows over a full measure set of interval exchange transformations with a hyperelliptic permutation (of any number of exchanged intervals), under a roof with symmetric logarithmic singularities. The result is proved using a criterion for…
We investigate a phenomenon observed by W. Thurston wherein one constructs a pseudo-Anosov homeomorphism on the limit set of a certain lift of a piecewise-linear expanding interval map. We reconcile this construction with a special subclass of generalized pseudo-Anosovs, first defined by de Carvalho. From there we classify the circumstances under which this construction produces a pseudo-Anosov. As an application, we produce for each $g \geq 1$ a pseudo-Anosov $ϕ_g$ on the surface of genus $g$ that preserves an algebraically primitive translation structure and whose dilatation $λ_g$ is a Salem…
The pair correlations of primitive inflation rules are analysed via their exact renormalisation relations. We introduce the inflation displacement algebra that is generated by the Fourier matrix of the inflation and deduce various consequences of its structure. Moreover, we derive a sufficient criterion for the absence of absolutely continuous diffraction components, as well as a necessary criterion for its presence. This is achieved via estimates for the Lyapunov exponents of the Fourier matrix cocycle of the inflation rule. We also discuss some consequences for the spectral measures of such …
