Transversality for Interval Translation Maps
Pith reviewed 2026-05-09 20:07 UTC · model grok-4.3
The pith
A transversality theorem for dynamically defined vector subspaces in interval translation maps enables precise control over first return dynamics while preserving the global system.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove a transversality theorem for a family of dynamically defined vector subspaces that encode the dynamics of a given ITM. As a consequence, we establish a perturbation result that gives a precise control of the first return dynamics to subintervals in I, while preserving the remaining global dynamics of the system.
What carries the argument
The family of dynamically defined vector subspaces constructed from the itinerary and return data of the interval translation map.
Load-bearing premise
The vector subspaces are constructed directly from the itinerary and return data of a map defined by a finite partition of the interval into at least two subintervals with piecewise constant translations.
What would settle it
An explicit interval translation map on a partition with overlaps where two such subspaces intersect non-transversally, or a perturbation that unavoidably changes both the first return on a subinterval and the global itinerary.
Figures
read the original abstract
An interval translation map (ITM) is a piece-wise translation $T \colon I \to I$ defined on a finite partition $I_1, \ldots, I_r$ of an interval $I$ into $r \ge 2$ subintervals. In contrast to classical interval exchange transformations (IETs), we do not require that the images of these subintervals are disjoint; in particular, ITMs are not assumed to be bijective. Thus, ITMs provide a natural non-invertible generalisation of IETs. In this paper, we prove a transversality theorem for a family of dynamically defined vector subspaces that encode the dynamics of a given ITM. As a consequence, we establish a perturbation result that gives a precise control of the first return dynamics to subintervals in $I$, while preserving the remaining global dynamics of the system. Beyond their independent interest, these results are a key technical ingredient in the proof of the Characterisation of Stability of ITMs in arXiv:2605.00190, and in the establishment of the topological version of the Boshernitzan--Kornfeld Conjecture in arXiv:2605.00186.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a transversality theorem for a family of dynamically defined vector subspaces constructed directly from the itinerary and first-return data of an interval translation map (ITM). An ITM is a piecewise-constant translation on a finite partition of an interval into at least two subintervals, without the bijectivity requirement of interval exchange transformations. As a consequence, the paper derives a perturbation result that controls the first-return dynamics on subintervals while leaving the global dynamics of the ITM unchanged. These results are positioned as technical lemmas supporting two companion papers on stability characterization of ITMs and a topological version of the Boshernitzan-Kornfeld conjecture.
Significance. If the transversality holds as stated, the work supplies a concrete, dynamically encoded tool for perturbation analysis in non-invertible interval maps, extending methods from IET theory. The direct construction of the subspaces from itinerary and return data is a strength, as it avoids auxiliary parameters and ties the linear-algebraic statement tightly to the map's combinatorial data. This could enable rigorous control of returns in stability and conjecture proofs, though the result is framed as a lemma rather than a standalone existence theorem.
minor comments (2)
- The definition of the vector subspaces in the introduction could be cross-referenced more explicitly to the later sections where their dimension and transversality are established, to aid readers who consult only the statement of the main theorem.
- Notation for the partition subintervals I_1, …, I_r and the translation vectors is introduced clearly in the abstract but would benefit from a single consolidated table or diagram in §2 summarizing the combinatorial data used to build the subspaces.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript, the accurate summary of the transversality theorem for dynamically defined subspaces of interval translation maps, and the recommendation to accept. We are pleased that the direct construction from itinerary and return data, as well as the perturbation control of first-return dynamics, is recognized as a strength for applications in the companion papers.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper establishes a transversality theorem for a family of vector subspaces constructed directly from the itinerary and first-return data of an interval translation map on a finite partition. This construction and the subsequent perturbation result are presented as direct consequences of the dynamical definitions without reduction to fitted parameters, self-referential definitions, or load-bearing self-citations. The result is framed as an independent technical lemma whose proof does not rely on prior author work for its core validity, making the derivation chain self-contained against external mathematical benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Finite partitions of an interval admit well-defined piecewise translations and first-return maps.
Reference graph
Works this paper leans on
-
[1]
Non-ergodic interval exchange transformations , url =
Keane, Michael , doi =. Non-ergodic interval exchange transformations , url =. Israel J. Math. , mrclass =. 1977 , Bdsk-Url-1 =
work page 1977
- [2]
-
[3]
Characterisation of Stability for Interval Translation Maps , author=. 2026 , eprint=
work page 2026
- [4]
-
[5]
Topological Prevalence of Finite Type Interval Translation Maps , author=. 2026 , eprint=
work page 2026
-
[6]
Artigiani, Mauro and Hubert, Pascal and Skripchenko, Alexandra , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2026 , PAGES =. doi:10.3934/dcds.2025127 , URL =
-
[7]
Kontsevich, Maxim and Zorich, Anton , TITLE =. Invent. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00222-003-0303-x , URL =
-
[8]
Bruin, Henk and Carminati, Carlo and Marmi, Stefano and Profeti, Alessandro , TITLE =. Nonlinearity , FJOURNAL =. 2019 , NUMBER =. doi:10.1088/1361-6544/aae935 , URL =
-
[9]
Keane, Michael S. and Rauzy, G\'erard , TITLE =. Math. Z. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF01161409 , URL =
-
[10]
Liousse, Isabelle , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 1995 , NUMBER =
work page 1995
-
[11]
Peixoto, M. M. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1959 , PAGES =. doi:10.2307/1970100 , URL =
-
[12]
Typical Weak Mixing and Exceptional Spectral Properties for Interval Translation Mappings , author=. 2026 , eprint=
work page 2026
-
[13]
Avila, Artur and Forni, Giovanni , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.165.637 , URL =
-
[14]
Takens, Floris , TITLE =. Invent. Math. , FJOURNAL =. 1972 , PAGES =. doi:10.1007/BF01389816 , URL =
-
[15]
Newhouse, Sheldon E. , TITLE =. Amer. J. Math. , FJOURNAL =. 1977 , NUMBER =. doi:10.2307/2374000 , URL =
-
[16]
Jain, Sakshi and Liverani, Carlangelo , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2025 , NUMBER =. doi:10.1017/etds.2024.78 , URL =
-
[17]
Pugh, Charles C. , TITLE =. Amer. J. Math. , FJOURNAL =. 1967 , PAGES =. doi:10.2307/2373413 , URL =
-
[18]
Peixoto, M. M. , TITLE =. Topology , FJOURNAL =. 1962 , PAGES =. doi:10.1016/0040-9383(65)90018-2 , URL =
-
[19]
Bruin, Henk and Carminati, Carlo and Kalle, Charlene , TITLE =. Indag. Math. (N.S.) , FJOURNAL =. 2017 , NUMBER =. doi:10.1016/j.indag.2016.11.005 , URL =
-
[20]
Nakada, Hitoshi and Natsui, Rie , TITLE =. Nonlinearity , FJOURNAL =. 2008 , NUMBER =. doi:10.1088/0951-7715/21/6/003 , URL =
-
[21]
Kozlovski, Oleg and Shen, Weixiao and van Strien, Sebastian , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.166.145 , URL =
-
[22]
Kozlovski, Oleg and Shen, Weixiao and van Strien, Sebastian , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.165.749 , URL =
-
[23]
McMullen, Curtis T. and Sullivan, Dennis P. , TITLE =. Adv. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/aima.1998.1726 , URL =
-
[24]
Interval translation mappings , year =
Schmeling, J\"org and Troubetzkoy, Serge , booktitle =. Interval translation mappings , year =
-
[25]
Veech, William A. , doi =. Interval exchange transformations , url =. J. Analyse Math. , mrclass =. 1978 , Bdsk-Url-1 =
work page 1978
-
[26]
Katok, Anatole B. , fjournal =. Invariant measures of flows on orientable surfaces , volume =. Dokl. Akad. Nauk SSSR , mrclass =
-
[27]
de Melo, Welington and van Strien, Sebastian , TITLE =. 1993 , PAGES =. doi:10.1007/978-3-642-78043-1 , URL =
-
[28]
Ergodic theory of interval exchange maps , url =
Viana, Marcelo , doi =. Ergodic theory of interval exchange maps , url =. Rev. Mat. Complut. , mrclass =. 2006 , Bdsk-Url-1 =
work page 2006
-
[29]
Interval exchange transformations , url =
Keane, Michael , doi =. Interval exchange transformations , url =. Math. Z. , mrclass =. 1975 , Bdsk-Url-1 =
work page 1975
-
[30]
Interval exchange maps and translation surfaces , volume =
Yoccoz, Jean-Christophe , booktitle =. Interval exchange maps and translation surfaces , volume =
-
[31]
Catsis, Salvador and Hall, Cameron L. and Jeffrey, Mike R. , doi =. The hidden sensitivity of non-smooth dynamics , url =. Phys. D , mrclass =. 2024 , Bdsk-Url-1 =
work page 2024
-
[32]
String attractors of fixed points of k-Bonacci-like morphisms
Ferenczi, S\'ebastien and Hubert, Pascal and Zamboni, Luca Q. , booktitle =. Order conditions for languages , url =. [2023] 2023 , Bdsk-Url-1 =. doi:10.1007/978-3-031-33180-0\_12 , isbn =
-
[33]
arXiv preprint arXiv:2412.07928 , year=
Renormalization for Bruin-Troubetzkoy ITMs , author=. arXiv preprint arXiv:2412.07928 , year=
-
[34]
arXiv preprint arXiv:2312.10533 , year=
Interval Translation Maps with Weakly Mixing Attractors , author=. arXiv preprint arXiv:2312.10533 , year=
-
[35]
A note on double rotations of infinite type , url =
Artigiani, Mauro and Fougeron, Charles and Hubert, Pascal and Skripchenko, Alexandra , doi =. A note on double rotations of infinite type , url =. Trans. Moscow Math. Soc. , mrclass =. 2021 , Bdsk-Url-1 =
work page 2021
-
[36]
Invariant measures for interval translations and some other piecewise continuous maps , url =
Kryzhevich, Sergey , doi =. Invariant measures for interval translations and some other piecewise continuous maps , url =. Math. Model. Nat. Phenom. , mrclass =. 2020 , Bdsk-Url-1 =
work page 2020
-
[37]
Characterization of minimal sequences associated with self-similar interval exchange maps , url =
Cobo, Milton and Guti\'errez-Romo, Rodolfo and Maass, Alejandro , doi =. Characterization of minimal sequences associated with self-similar interval exchange maps , url =. Nonlinearity , mrclass =. 2018 , Bdsk-Url-1 =
work page 2018
-
[38]
Geometric representation of the infimax
Boyland, Philip and Severa, William , doi =. Geometric representation of the infimax. Fund. Math. , mrclass =. 2018 , Bdsk-Url-1 =
work page 2018
-
[39]
Minimality of interval exchange transformations with restrictions , url =
Dynnikov, Ivan and Skripchenko, Alexandra , doi =. Minimality of interval exchange transformations with restrictions , url =. J. Mod. Dyn. , mrclass =. 2017 , Bdsk-Url-1 =
work page 2017
-
[40]
Bressaud, Xavier and Fournier, Marie-Claire , doi =. Casse-briques , url =. Exp. Math. , mrclass =. 2016 , Bdsk-Url-1 =
work page 2016
-
[41]
Ergodic currents dual to a real tree , url =
Coulbois, Thierry and Hilion, Arnaud , doi =. Ergodic currents dual to a real tree , url =. Ergodic Theory Dynam. Systems , mrclass =. 2016 , Bdsk-Url-1 =
work page 2016
-
[42]
Polygonal billiards with one sided scattering , url =
Skripchenko, Alexandra and Troubetzkoy, Serge , doi =. Polygonal billiards with one sided scattering , url =. Ann. Inst. Fourier (Grenoble) , mrclass =. 2015 , Bdsk-Url-1 =
work page 2015
-
[43]
Buzzi, J\'er\^ome and Hubert, Pascal , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2004 , NUMBER =. doi:10.1017/S0143385703000488 , URL =
-
[44]
Buzzi, J\'er\^ome , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2001 , NUMBER =. doi:10.1017/S0143385701001651 , URL =
-
[45]
Entropy and complexity of polygonal billiards with spy mirrors , url =
Skripchenko, Alexandra and Troubetzkoy, Serge , doi =. Entropy and complexity of polygonal billiards with spy mirrors , url =. Nonlinearity , mrclass =. 2015 , Bdsk-Url-1 =
work page 2015
-
[46]
Jullian, Yann , doi =. An algorithm to identify automorphisms which arise from self-induced interval exchange transformations , url =. Math. Z. , mrclass =. 2013 , Bdsk-Url-1 =
work page 2013
-
[47]
Boshernitzan, Michael and Chaika, Jon , doi =. Diophantine properties of. Invent. Math. , mrclass =. 2013 , Bdsk-Url-1 =
work page 2013
-
[48]
On connectedness of chaotic sections of some 3-periodic surfaces , url =
Skripchenko, Alexandra , doi =. On connectedness of chaotic sections of some 3-periodic surfaces , url =. Ann. Global Anal. Geom. , mrclass =. 2013 , Bdsk-Url-1 =
work page 2013
-
[49]
Interval exchange transformation extension of a substitution dynamical system , url =
Bressaud, Xavier and Jullian, Yann , doi =. Interval exchange transformation extension of a substitution dynamical system , url =. Confluentes Math. , mrclass =. 2012 , Bdsk-Url-1 =
work page 2012
-
[50]
Inducing and unique ergodicity of double rotations , url =
Bruin, Henk and Clack, Gregory , doi =. Inducing and unique ergodicity of double rotations , url =. Discrete Contin. Dyn. Syst. , mrclass =. 2012 , Bdsk-Url-1 =
work page 2012
-
[51]
Symmetric interval identification systems of order three , url =
Skripchenko, Alexandra , doi =. Symmetric interval identification systems of order three , url =. Discrete Contin. Dyn. Syst. , mrclass =. 2012 , Bdsk-Url-1 =
work page 2012
-
[52]
Construction du c ur compact d'un arbre r\'eel par substitution d'arbre , url =
Jullian, Yann , doi =. Construction du c ur compact d'un arbre r\'eel par substitution d'arbre , url =. Ann. Inst. Fourier (Grenoble) , mrclass =. 2011 , Bdsk-Url-1 =
work page 2011
-
[53]
Cone exchange transformations and boundedness of orbits , url =
Ashwin, Peter and Goetz, Arek , doi =. Cone exchange transformations and boundedness of orbits , url =. Ergodic Theory Dynam. Systems , mrclass =. 2010 , Bdsk-Url-1 =
work page 2010
-
[54]
Fractal trees for irreducible automorphisms of free groups , url =
Coulbois, Thierry , doi =. Fractal trees for irreducible automorphisms of free groups , url =. J. Mod. Dyn. , mrclass =. 2010 , Bdsk-Url-1 =
work page 2010
-
[55]
Tepl\= ns ki i, O. Yu. , doi =. Limit absorbing belt for a quasiperiodically driven interval shift map , url =. Ukra\"in. Mat. Zh. , mrclass =. 2009 , Bdsk-Url-1 =
work page 2009
-
[56]
On global attractors for a class of nonhyperbolic piecewise affine maps , url =
Fu, Xin-Chu and Duan, Jinqiao , doi =. On global attractors for a class of nonhyperbolic piecewise affine maps , url =. Phys. D , mrclass =. 2008 , Bdsk-Url-1 =
work page 2008
-
[57]
Renormalization in a class of interval translation maps of
Bruin, Henk , doi =. Renormalization in a class of interval translation maps of. Dyn. Syst. , mrclass =. 2007 , Bdsk-Url-1 =
work page 2007
-
[58]
Invariant curves and explosion of periodic islands in systems of piecewise rotations , url =
Ashwin, Peter and Goetz, Arek , doi =. Invariant curves and explosion of periodic islands in systems of piecewise rotations , url =. SIAM J. Appl. Dyn. Syst. , mrclass =. 2005 , Bdsk-Url-1 =
work page 2005
-
[59]
Boldrighini, Carlo and Keane, Michael and Marchetti, Federico , fjournal =. Billiards in polygons , url =. Ann. Probab. , mrclass =. 1978 , Bdsk-Url-1 =
work page 1978
-
[60]
Kornfeld, Isaac P. and Fomin, Sergei V. and Sinai, Yakov G. , doi =. Ergodic theory , url =. 1982 , Bdsk-Url-1 =
work page 1982
-
[61]
Ergodic theory and differentiable dynamics , url =
Ma\ n\'e, Ricardo , doi =. Ergodic theory and differentiable dynamics , url =. 1987 , Bdsk-Url-1 =
work page 1987
-
[62]
Zemljakov, Alexander N. and Katok, Anatole B. , fjournal =. Topological transitivity of billiards in polygons , volume =. Mat. Zametki , mrclass =
-
[63]
Suzuki, Hideyuki and Ito, Shunji and Aihara, Kazuyuki , doi =. Double rotations , url =. Discrete Contin. Dyn. Syst. , mrclass =. 2005 , Bdsk-Url-1 =
work page 2005
-
[64]
Bruin, Henk and Troubetzkoy, Serge , doi =. The. Israel J. Math. , mrclass =. 2003 , Bdsk-Url-1 =
work page 2003
-
[65]
Quasi-invariant attractors of piecewise isometric systems , url =
Mendes, Miguel \^Angelo de Sousa , doi =. Quasi-invariant attractors of piecewise isometric systems , url =. Discrete Contin. Dyn. Syst. , mrclass =. 2003 , Bdsk-Url-1 =
work page 2003
-
[66]
A polynomial bound for the lap number , url =
Baillif, Mathieu , doi =. A polynomial bound for the lap number , url =. Qual. Theory Dyn. Syst. , mrclass =. 2002 , Bdsk-Url-1 =
work page 2002
-
[67]
On the geometry of orientation-preserving planar piecewise isometries , url =
Ashwin, Peter and Fu, Xin-Chu , doi =. On the geometry of orientation-preserving planar piecewise isometries , url =. J. Nonlinear Sci. , mrclass =. 2002 , Bdsk-Url-1 =
work page 2002
-
[68]
Holton, Charles G. and Zamboni, Luca Q. , doi =. Directed graphs and substitutions , url =. Theory Comput. Syst. , mrclass =. 2001 , Bdsk-Url-1 =
work page 2001
-
[69]
Geometric representation of substitutions of
Canterini, Vincent and Siegel, Anne , doi =. Geometric representation of substitutions of. Trans. Amer. Math. Soc. , mrclass =. 2001 , Bdsk-Url-1 =
work page 2001
-
[70]
Piecewise isometries---an emerging area of dynamical systems , year =
Goetz, Arek , booktitle =. Piecewise isometries---an emerging area of dynamical systems , year =
-
[71]
Dynamics of piecewise isometries , url =
Goetz, Arek , fjournal =. Dynamics of piecewise isometries , url =. Illinois J. Math. , mrclass =. 2000 , Bdsk-Url-1 =
work page 2000
-
[72]
Invariant sets for discontinuous parabolic area-preserving torus maps , url =
Ashwin, Peter and Fu, Xin-Chu and Nishikawa, Takashi and \.Zyczkowski, Karol , doi =. Invariant sets for discontinuous parabolic area-preserving torus maps , url =. Nonlinearity , mrclass =. 2000 , Bdsk-Url-1 =
work page 2000
-
[73]
Sofic subshifts and piecewise isometric systems , url =
Goetz, Arek , doi =. Sofic subshifts and piecewise isometric systems , url =. Ergodic Theory Dynam. Systems , mrclass =. 1999 , Bdsk-Url-1 =
work page 1999
-
[74]
Holton, Charles and Zamboni, Luca Q. , fjournal =. Substitutions, partial isometries of. Bull. Belg. Math. Soc. Simon Stevin , mrclass =. 1999 , Bdsk-Url-1 =
work page 1999
-
[75]
Holton, Charles and Zamboni, Luca Q. , fjournal =. Geometric realizations of substitutions , url =. Bull. Soc. Math. France , mrclass =. 1998 , Bdsk-Url-1 =
work page 1998
-
[76]
La dynamique des pseudogroupes de rotations , url =
Levitt, Gilbert , doi =. La dynamique des pseudogroupes de rotations , url =. Invent. Math. , mrclass =. 1993 , Bdsk-Url-1 =
work page 1993
-
[77]
Holton, Charles and Zamboni, Luca Q. , doi =. Exotic actions on trees , url =. Bull. London Math. Soc. , mrclass =. 1997 , Bdsk-Url-1 =
work page 1997
-
[78]
Interval translation mappings , url =
Boshernitzan, Michael and Kornfeld, Isaac , doi =. Interval translation mappings , url =. Ergodic Theory Dynam. Systems , mrclass =. 1995 , Bdsk-Url-1 =
work page 1995
-
[79]
Piecewise rotations: limit set for the non-bijective maps , url =
B\'edaride, Nicolas and Bertazzon, Jean-Fran cois and Kabor\'e, Idrissa , doi =. Piecewise rotations: limit set for the non-bijective maps , url =. Dyn. Syst. , mrclass =. 2023 , Bdsk-Url-1 =
work page 2023
-
[80]
Fernandez, Bastien and S\'elley, Fanni M. , doi =. Conditioning problems for invariant sets of expanding piecewise affine mappings: application to loss of ergodicity in globally coupled maps , url =. Nonlinearity , mrclass =. 2022 , Bdsk-Url-1 =
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.