Recognition: unknown
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 =
1977
-
[2]
, TITLE =
McMullen, Curtis T. , TITLE =. 1994 , PAGES =
1994
-
[3]
2026 , eprint=
Characterisation of Stability for Interval Translation Maps , author=. 2026 , eprint=
2026
- [4]
-
[5]
2026 , eprint=
Topological Prevalence of Finite Type Interval Translation Maps , author=. 2026 , eprint=
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 =
1995
-
[11]
Peixoto, M. M. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1959 , PAGES =. doi:10.2307/1970100 , URL =
-
[12]
2026 , eprint=
Typical Weak Mixing and Exceptional Spectral Properties for Interval Translation Mappings , author=. 2026 , eprint=
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 =
1978
-
[26]
, fjournal =
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 =
2006
-
[29]
Interval exchange transformations , url =
Keane, Michael , doi =. Interval exchange transformations , url =. Math. Z. , mrclass =. 1975 , Bdsk-Url-1 =
1975
-
[30]
Interval exchange maps and translation surfaces , volume =
Yoccoz, Jean-Christophe , booktitle =. Interval exchange maps and translation surfaces , volume =
-
[31]
and Jeffrey, Mike R
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 =
2024
-
[32]
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 =
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 =
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 =
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 =
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 =
2017
-
[40]
Casse-briques , url =
Bressaud, Xavier and Fournier, Marie-Claire , doi =. Casse-briques , url =. Exp. Math. , mrclass =. 2016 , Bdsk-Url-1 =
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 =
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 =
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 =
2015
-
[46]
An algorithm to identify automorphisms which arise from self-induced interval exchange transformations , url =
Jullian, Yann , doi =. An algorithm to identify automorphisms which arise from self-induced interval exchange transformations , url =. Math. Z. , mrclass =. 2013 , Bdsk-Url-1 =
2013
-
[47]
Diophantine properties of
Boshernitzan, Michael and Chaika, Jon , doi =. Diophantine properties of. Invent. Math. , mrclass =. 2013 , Bdsk-Url-1 =
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 =
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 =
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 =
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 =
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 =
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 =
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 =
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 =
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 =
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 =
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 =
2005
-
[59]
Billiards in polygons , url =
Boldrighini, Carlo and Keane, Michael and Marchetti, Federico , fjournal =. Billiards in polygons , url =. Ann. Probab. , mrclass =. 1978 , Bdsk-Url-1 =
1978
-
[60]
and Fomin, Sergei V
Kornfeld, Isaac P. and Fomin, Sergei V. and Sinai, Yakov G. , doi =. Ergodic theory , url =. 1982 , Bdsk-Url-1 =
1982
-
[61]
Ergodic theory and differentiable dynamics , url =
Ma\ n\'e, Ricardo , doi =. Ergodic theory and differentiable dynamics , url =. 1987 , Bdsk-Url-1 =
1987
-
[62]
and Katok, Anatole B
Zemljakov, Alexander N. and Katok, Anatole B. , fjournal =. Topological transitivity of billiards in polygons , volume =. Mat. Zametki , mrclass =
-
[63]
Double rotations , url =
Suzuki, Hideyuki and Ito, Shunji and Aihara, Kazuyuki , doi =. Double rotations , url =. Discrete Contin. Dyn. Syst. , mrclass =. 2005 , Bdsk-Url-1 =
2005
-
[64]
Bruin, Henk and Troubetzkoy, Serge , doi =. The. Israel J. Math. , mrclass =. 2003 , Bdsk-Url-1 =
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 =
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 =
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 =
2002
-
[68]
and Zamboni, Luca Q
Holton, Charles G. and Zamboni, Luca Q. , doi =. Directed graphs and substitutions , url =. Theory Comput. Syst. , mrclass =. 2001 , Bdsk-Url-1 =
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 =
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 =
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 =
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 =
1999
-
[74]
, fjournal =
Holton, Charles and Zamboni, Luca Q. , fjournal =. Substitutions, partial isometries of. Bull. Belg. Math. Soc. Simon Stevin , mrclass =. 1999 , Bdsk-Url-1 =
1999
-
[75]
, fjournal =
Holton, Charles and Zamboni, Luca Q. , fjournal =. Geometric realizations of substitutions , url =. Bull. Soc. Math. France , mrclass =. 1998 , Bdsk-Url-1 =
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 =
1993
-
[77]
Holton, Charles and Zamboni, Luca Q. , doi =. Exotic actions on trees , url =. Bull. London Math. Soc. , mrclass =. 1997 , Bdsk-Url-1 =
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 =
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 =
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 =
2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.