arxiv: 2605.00186 · v2 · submitted 2026-04-30 · 🧮 math.DS

Recognition: unknown

Topological Prevalence of Finite Type Interval Translation Maps

Kostiantyn Drach , Leon Staresinic , Sebastian van Strien

Authors on Pith no claims yet

Pith reviewed 2026-05-09 20:02 UTC · model grok-4.3

classification 🧮 math.DS

keywords interval translation mapsfinite typeattractorinterval exchange transformationspiecewise translationstopological densityopen dense setsdynamical systems

0 comments

The pith

Finite type interval translation maps form an open and dense subset for every fixed number of subintervals r at least 2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

An interval translation map splits an interval into r pieces and shifts each piece by a fixed amount, allowing overlaps that standard interval exchanges forbid. Finite type holds when the attractor, the intersection of all forward images of the full interval, reduces to a finite union of intervals; on that set the map restricts to a bijection. The paper proves that for any r at least 2 these finite type maps are both open and dense inside the full space of maps on r pieces, where the space carries the natural topology from lengths and translation amounts. This means every map can be approximated arbitrarily closely by finite type ones, and a small change to a finite type map keeps it finite type. Consequently the typical long-term behavior of these maps is to collapse onto a simple invertible core rather than sustaining infinite complexity from persistent overlaps.

Core claim

In the space of all interval translation maps with a fixed number r of subintervals, equipped with the topology coming from the lengths of the pieces and the translation amounts, the maps whose attractor is a finite union of intervals form an open dense subset. Every such map can therefore be approximated by finite type ones, and every finite type map has a neighborhood consisting entirely of finite type maps.

What carries the argument

the attractor defined as the intersection over all forward iterates of the image of the full interval, with finite type when this intersection is a finite union of intervals

If this is right

Every interval translation map can be perturbed to one whose attractor is a finite union of intervals on which the map acts bijectively.
The infinite-type regime, in which overlaps keep producing new intervals forever, occupies a nowhere-dense subset of the full parameter space.
Restricted to its attractor, a generic interval translation map behaves exactly like an interval exchange transformation.
For any r the space decomposes into a dense open set of finite-type maps and a meager complement of infinite-type maps.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Numerical sampling of random lengths and translations should almost always produce maps whose attractors stabilize after finitely many iterates.
The same density statement might hold when the translations satisfy additional arithmetic constraints such as irrationality conditions.
The constructions could extend to piecewise translations on higher-dimensional domains or to maps with countably many pieces.

Load-bearing premise

Small adjustments to the lengths and translation amounts suffice to force the attractor to become a finite union of intervals without creating new infinite-type behavior in nearby maps.

What would settle it

An explicit open set in the parameter space, for some r at least 2, in which every map has an attractor that is a Cantor set or a union of infinitely many intervals.

Figures

Figures reproduced from arXiv: 2605.00186 by Kostiantyn Drach, Leon Staresinic, Sebastian van Strien.

**Figure 1.1.** Figure 1.1: ITM on 4 intervals [PITH_FULL_IMAGE:figures/full_fig_p002_1_1.png] view at source ↗

**Figure 1.4.** Figure 1.4: Infinite type maps from the family in [BT03] A similar method of renormalization was used for r ⩽ 4 and a more complicated family of double rotations introduced in [SIA05], and studied further in [BC12] and [Art+21]. The conjecture was established in full for r = 3 in [Vol14] by showing that almost every ITM on three intervals can be renormalized to a double rotation. Unfortunately, there has been little… view at source ↗

**Figure 4.1.** Figure 4.1: Perturbing a map to create a hole interval Jϵ marked in red. Forward R˜ J -iterates of Jϵ contain β, which is therefore removed from X by this perturbation, resulting in a smaller unstable number. This is depicted in [PITH_FULL_IMAGE:figures/full_fig_p012_4_1.png] view at source ↗

**Figure 4.2.** Figure 4.2: , which would result in an infinite type map [PITH_FULL_IMAGE:figures/full_fig_p012_4_2.png] view at source ↗

**Figure 4.3.** Figure 4.3: The change in RJ after applying the perturbation in the Case N > 3 of the proof of Theorem 4.1 to a particular interval component J of X for which the return map has 5 continuity intervals. Assuming that T˜ is eventually periodic, this shows that U(T˜) < U(T). Indeed, by construction, all of the critical cycles disjoint from O(J) are preserved for T˜. Similarly to the proof of Lemma 4.7, the critical poi… view at source ↗

read the original abstract

An interval translation map (ITM) is a map $T \colon I \to I$ defined as a piecewise translation on a finite partition of an interval $I$ into $r \ge 2$ subintervals. Unlike classical interval exchange transformations (IETs), the images of these subintervals are allowed to overlap, making ITMs a natural generalisation of IETs. An ITM $T$ is said to be \textit{of finite type} if its attractor $\bigcap_{n\ge 0} T^n(I)$ is a finite union of intervals; in this case, restricted to this invariant set, $T$ is bijective and hence behaves like an IET. Otherwise, $T$ is of infinite type. In this paper, for every $r \ge 2$, we prove that the set of finite type ITMs contains an open and dense subset in the space of all possible ITMs on $r$ subintervals. This confirms a topological version of a long-standing conjecture due to Boshernitzan and Kornfeld.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves finite-type ITMs are open and dense for any r, confirming the topological Boshernitzan-Kornfeld conjecture.

read the letter

This paper proves that finite type interval translation maps are open and dense among all ITMs with a fixed number of subintervals. It confirms the topological form of the Boshernitzan-Kornfeld conjecture. The new part is the argument that handles the overlaps to get both properties at once. Openness comes from the fact that if the attractor is a finite union of intervals, small enough perturbations in the translation vectors keep the forward images overlapping in the same pattern, so the attractor stays finite. For density, they give a way to tweak the translations by tiny amounts so that after some steps the images cover only a finite collection of intervals and stay there. This works without assuming anything special about the lengths being rational or the translations being irrational. The paper does this cleanly. The definitions are standard, the parameter space is the obvious Euclidean one on the lengths and the shifts, and the proof avoids fitting or self-reference. From the abstract and the stress-test note, the central steps look consistent with how continuity of attractors works for piecewise translations. A minor concern might be the details of the density construction when there are many overlapping pieces; one would want to see that the adjustments don't accidentally create new overlaps that blow up the attractor again. But the note suggests the constructions are explicit and general, so probably not a big issue. Overall the argument seems to hold up. This work is for people studying interval exchange transformations and their generalizations. It gives a generic picture that lets you reduce questions about ITMs to the finite type case, which behaves like an IET. A reader interested in topological dynamics or generic properties in low-dimensional systems would get value from it. It deserves a serious referee because it resolves an open conjecture with a direct topological argument rather than a numerical or measure-theoretic one. I would recommend sending it to peer review.

Referee Report

0 major / 0 minor

Summary. The paper proves that for every r ≥ 2, the set of finite-type interval translation maps (ITMs) on r subintervals is open and dense in the natural parameter space of all ITMs (parameterized by positive lengths summing to the total interval length and translation amounts). An ITM is of finite type precisely when its attractor is a finite union of intervals, on which the map restricts to a bijective interval exchange transformation; otherwise it is of infinite type. The result is obtained via topological arguments establishing both openness (via continuity of the attractor under C^0-small perturbations that preserve overlap patterns) and density (via explicit small adjustments to translation vectors that force eventual periodicity on the attractor). This confirms a topological version of the Boshernitzan–Kornfeld conjecture.

Significance. If the result holds, it establishes that finite-type behavior is topologically prevalent for ITMs, providing a robust generalization of interval exchange transformations in which generic maps (in the Baire-category sense) have attractors that are finite unions of intervals. The proof is parameter-free and relies only on standard continuity properties of attractors together with constructive approximations, without requiring commensurability or irrationality assumptions on the lengths or translations. This supplies a positive answer to the topological form of a long-standing conjecture and clarifies the boundary between finite and infinite type dynamics in the broader class of piecewise translations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their accurate summary of the main result, and their positive recommendation to accept the paper. We are pleased that the topological prevalence of finite-type ITMs is viewed as a useful clarification of the boundary between finite and infinite type dynamics.

Circularity Check

0 steps flagged

No significant circularity; pure topological existence proof

full rationale

The paper proves that finite-type ITMs form an open dense subset of the parameter space of all ITMs on r subintervals, for each r≥2. This is established via standard arguments: openness follows from continuity of the attractor under C^0-small perturbations that preserve overlap patterns, while density is obtained by explicit small adjustments to translation vectors that force eventual periodicity on the attractor without changing the partition. No parameters are fitted to data, no result is renamed or smuggled via self-citation, and the central claim does not reduce to a self-referential definition or to a prior result by the same authors. The conjecture being confirmed is due to Boshernitzan-Kornfeld (distinct authors), and the derivation relies on external topological facts about interval maps rather than any quantity defined by the claim itself. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper uses standard definitions of ITMs, attractors as intersections of iterates, and the usual topology on the finite-dimensional parameter space of lengths and translations. No free parameters are fitted, no new entities are postulated, and the axioms are the usual ones of real analysis and topology.

axioms (2)

domain assumption The space of ITMs with r intervals is a finite-dimensional Euclidean space parametrized by lengths and translation amounts, equipped with the standard topology.
Invoked implicitly when stating that finite type maps form an open dense subset.
standard math The attractor is defined as the intersection over n of the n-fold images of the interval.
Standard definition used to distinguish finite type from infinite type.

pith-pipeline@v0.9.0 · 5491 in / 1325 out tokens · 59840 ms · 2026-05-09T20:02:44.552572+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 1 canonical work pages

[1]

On the geometry of orientation-preserving planar piece- wise isometries

[AF02] Peter Ashwin and Xin-Chu Fu. “On the geometry of orientation-preserving planar piece- wise isometries”. In:J. Nonlinear Sci.12.3 (2002), pp. 207–240. [AF07] Artur Avila and Giovanni Forni. “Weak mixing for interval exchange transformations and translation flows”. In:Ann. of Math. (2)165.2 (2007), pp. 637–664. [AHS26] Mauro Artigiani, Pascal Hubert,...

2002
[2]

Embeddings of interval exchange transformations into planar piecewise isometries

[Ash+20] Peter Ashwin, Arek Goetz, Pedro Peres, and Ana Rodrigues. “Embeddings of interval exchange transformations into planar piecewise isometries”. In:Ergodic Theory Dynam. Systems40.5 (2020), pp. 1153–1179. [BC12] Henk Bruin and Gregory Clack. “Inducing and unique ergodicity of double rotations”. In:Discrete Contin. Dyn. Syst.32.12 (2012), pp. 4133–41...

2020
[3]

arXiv preprint arXiv:2312.10533 , year=

26 [BR23] Henk Bruin and Silvia Radinger. “Interval Translation Maps with Weakly Mixing At- tractors”. In:arXiv preprint arXiv:2312.10533(2023). [Bru07] Henk Bruin. “Renormalization in a class of interval translation maps ofdbranches”. In:Dyn. Syst.22.1 (2007), pp. 11–24. [BT03] Henk Bruin and Serge Troubetzkoy. “The Gauss map on a class of interval trans...

work page arXiv 2023
[4]

Dynamics of piecewise isometries

[Goe00] Arek Goetz. “Dynamics of piecewise isometries”. In:Illinois J. Math.44.3 (2000), pp. 465–478. [Goe03] Arek Goetz. “Piecewise isometries—an emerging area of dynamical systems”. In:Frac- tals in Graz

2000
[5]

Sofic subshifts and piecewise isometric systems

Trends Math. Birkh¨ auser, Basel, 2003, pp. 135–144. [Goe99] Arek Goetz. “Sofic subshifts and piecewise isometric systems”. In:Ergodic Theory Dy- nam. Systems19.6 (1999), pp. 1485–1501. [GQ09] Arek Goetz and Anthony Quas. “Global properties of a family of piecewise isometries”. In:Ergodic Theory Dynam. Systems29.2 (2009), pp. 545–568. [Hoo13] W. Patrick H...

2003
[6]

Non-ergodic interval exchange transformations

[Kea77] Michael Keane. “Non-ergodic interval exchange transformations”. In:Israel J. Math. 26.2 (1977), pp. 188–196. [KFS82] Isaac P. Kornfeld, Sergei V. Fomin, and Yakov G. Sinai.Ergodic theory. Vol

1977
[7]

Quadratic rational rotations of the torus and dual lattice maps

Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathe- matical Sciences]. Translated from the Russian by A. B. Sosinski˘i. Springer-Verlag, New York, 1982, pp. x+486. [KLV02] Konstantin L. Kouptsov, John H. Lowenstein, and Franco Vivaldi. “Quadratic rational rotations of the torus and dual lattice maps”. In:Nonlinearity15.6 (2002)...

1982
[8]

Invariant measures for interval translations and some other piece- wise continuous maps

[Kry20] Sergey Kryzhevich. “Invariant measures for interval translations and some other piece- wise continuous maps”. In:Math. Model. Nat. Phenom.15 (2020), Paper No. 15,

2020
[9]

Connected components of the moduli spaces of Abelian differentials with prescribed singularities

[KZ03] Maxim Kontsevich and Anton Zorich. “Connected components of the moduli spaces of Abelian differentials with prescribed singularities”. In:Invent. Math.153.3 (2003), pp. 631–678. [Lev93] Gilbert Levitt. “La dynamique des pseudogroupes de rotations”. In:Invent. Math.113.3 (1993), pp. 633–670. [LKV04] John H. Lowenstein, Konstantin L. Kouptsov, and Fr...

2003
[10]

Trans- lated from the Portuguese by Silvio Levy

Ergebnisse der Mathe- matik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Trans- lated from the Portuguese by Silvio Levy. Springer-Verlag, Berlin, 1987, pp. xii+317. [MS93] Welington de Melo and Sebastian van Strien.One-dimensional dynamics. Vol

1987
[11]

Double rotations

Ergeb- nisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1993, pp. xiv+605. [SIA05] Hideyuki Suzuki, Shunji Ito, and Kazuyuki Aihara. “Double rotations”. In:Discrete Contin. Dyn. Syst.13.2 (2005), pp. 515–532. [ST00] J¨ org Schmeling and Serge Troubetzkoy. “Interval translation mapping...

1993
[12]

Topological transitivity of billiards in polygons

Clay Math. Proc. Amer. Math. Soc., Providence, RI, 2010, pp. 1–69. [ZK75] Alexander N. Zemljakov and Anatole B. Katok. “Topological transitivity of billiards in polygons”. In:Mat. Zametki18.2 (1975), pp. 291–300. [Zor06] Anton Zorich. “Flat surfaces”. In:Frontiers in number theory, physics, and geometry. I. Springer, Berlin, 2006, pp. 437–583. [Zor96] Ant...

2010
[13]

Amer. Math. Soc., Prov- idence, RI, 1999, pp. 135–178. Universitat de Barcelona (Gran Via de les Corts Catalanes, 585, 08007 Barcelona, Spain) Centre de Recerca Matem`atica (Edifici C, Carrer de l’Albareda, 08193 Bellaterra, Spain) Email address:kostiantyn.drach@ub.edu University of Z¨urich (190 Winterthurerstrasse, 8057 Z ¨urich, Switzerland) Email addre...

1999