pith. sign in

arxiv: 2512.15625 · v4 · pith:32TKXI35new · submitted 2025-12-17 · 🧮 math.DS

Existence of a Non-Uniquely Ergodic Interval Exchange Transformation with Flips Possessing Three Invariant Measures

Aleksei Kobzev This is my paper

Pith reviewed 2026-05-21 17:47 UTC · model grok-4.3

classification 🧮 math.DS
keywords interval exchange transformationswith flipsergodic measuresRauzy inductionKeane's constructionnon-unique ergodicitydynamical systemsinvariant measures
0
0 comments X

The pith

The first explicit interval exchange transformation with flips possessing three distinct invariant ergodic measures is constructed.

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

This paper establishes that there exist interval exchange transformations with flips (FIETs) possessing exactly three distinct invariant ergodic measures. It achieves the result by generalizing Keane's combinatorial construction, which originally prescribed the number of measures for ordinary interval exchanges, through an adaptation of the Rauzy induction procedure that incorporates the flips. A sympathetic reader cares because the example supplies the first concrete object in this extended class, making it possible to study how the presence of orientation-reversing flips interacts with ergodic behavior. If the construction succeeds, it demonstrates that non-unique ergodicity occurs in FIETs with a precise, controllable count of measures rather than as an isolated phenomenon.

Core claim

We present the first explicit example of an interval exchange transformation with flips (FIET) possessing three distinct invariant ergodic measures. The proof is based on a generalization of M. Keane's method, using the Rauzy induction adapted for FIETs, which contributes to the study of the ergodic properties of this class of dynamical systems.

What carries the argument

The Rauzy induction procedure adapted to interval exchange transformations with flips, which extends Keane's combinatorial method so that the resulting map has precisely three invariant measures.

If this is right

  • FIETs admit non-unique ergodicity with a controlled number of ergodic measures.
  • The generalized Rauzy induction produces explicit examples whose ergodic properties can be analyzed directly.
  • This supplies a concrete object for examining how flips modify the distribution of invariant measures compared with ordinary interval exchanges.

Where Pith is reading between the lines

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

  • The same adaptation may be iterated to construct FIETs possessing any prescribed finite number of ergodic measures.
  • The example opens the possibility of comparing the topological or mixing features of three-measure FIETs with those of uniquely ergodic maps in the same class.

Load-bearing premise

The Rauzy induction procedure can be adapted to FIETs so that Keane's original combinatorial construction still produces a map whose invariant measures are exactly three in number.

What would settle it

Explicit construction of the intervals and flip signs via the adapted Rauzy induction sequence, followed by direct verification that the resulting map admits exactly three ergodic invariant probability measures.

Figures

Figures reproduced from arXiv: 2512.15625 by Aleksei Kobzev.

Figure 1
Figure 1. Figure 1: An IET for n = 3 with permutations π0 = (1, 2, 3) and π1 = (2, 3, 1). Definition 2. An IET T is called an FIET if the partitioned interval not only has its subintervals rearranged but also has their orientation reversed. The map T is defined by a triple (λ, π, F): • (λ, π) are as in the definition of an IET. • F ⊆ {1, . . . , n} is a set of indices called the flip set. It is the set of intervals that rever… view at source ↗
Figure 2
Figure 2. Figure 2: An FIET for n = 3 with permutations π0 = (1, 2, 3), π1 = (2, 3, 1) and F = {1, 3}. 2.2. Rauzy Induction. The main tool used in the proof of the paper’s results is a generalization of Rauzy induction. Definition 3. Rauzy induction is the main renormalization procedure that allows us to construct a new IET from an initial one, which has the exact same orbit structure but is defined on a smaller support inter… view at source ↗
Figure 3
Figure 3. Figure 3: Steps when F does not change. b.2 a.2 [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Steps when F changes. Now we will define the transition matrix for each of these actions. Note that the old lengths are expressed in terms of the new ones according to the following principle: all interval lengths remain the same, except for the original winner’s interval, whose length becomes the sum of the new winner’s and loser’s interval lengths. The matrix for each action will look as follows: Ei,j = … view at source ↗
read the original abstract

We present the first explicit example of an interval exchange transformation with flips (FIET) possessing three distinct invariant ergodic measures. The proof is based on a generalization of M. Keane's method, using the Rauzy induction adapted for FIETs, which contributes to the study of the ergodic properties of this class of dynamical systems.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript presents the first explicit example of an interval exchange transformation with flips (FIET) possessing three distinct invariant ergodic measures. The proof is based on a generalization of M. Keane's method, using the Rauzy induction adapted for FIETs.

Significance. If the central construction and its verification hold, the result would be significant for the ergodic theory of FIETs by supplying the first concrete example with exactly three ergodic measures, extending Keane-style constructions beyond standard IETs and contributing to the classification of invariant measures in this class.

major comments (1)
  1. Abstract (paragraph on proof method): The assertion that the Rauzy induction adapted to FIETs produces a combinatorial object whose associated map has precisely three distinct ergodic invariant measures lacks an explicit verification step. Flips reverse orientation on intervals and modify return maps and length dependence relations; without a check that this adaptation preserves the exact dimension of the invariant measure space from Keane's original IET construction, the three-measure claim remains unconfirmed.
minor comments (1)
  1. Provide an explicit listing of the permutation, interval lengths, and flip signs for the constructed FIET in the main construction section to facilitate independent verification of the invariant measures.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We address the major comment below and indicate the revisions we are prepared to make.

read point-by-point responses

  1. Referee: Abstract (paragraph on proof method): The assertion that the Rauzy induction adapted to FIETs produces a combinatorial object whose associated map has precisely three distinct ergodic invariant measures lacks an explicit verification step. Flips reverse orientation on intervals and modify return maps and length dependence relations; without a check that this adaptation preserves the exact dimension of the invariant measure space from Keane's original IET construction, the three-measure claim remains unconfirmed.

    Authors: We appreciate the referee drawing attention to the level of detail in the abstract. The manuscript contains an explicit verification of the adapted Rauzy induction in Sections 3 and 4: the combinatorial data are updated to account for orientation reversals, the return-map relations are recomputed with the appropriate sign changes, and the resulting linear system for invariant measures is shown to have the same rank as in Keane's original construction, yielding a three-dimensional space whose extreme rays correspond to the three ergodic measures. This check is performed by direct computation on the Rauzy diagram for the chosen permutation with flips. To address the concern that the abstract does not signal this verification, we will insert a short clarifying clause referencing the relevant sections. We therefore regard the core claim as already substantiated in the body of the paper. revision: partial

Circularity Check

0 steps flagged

No circularity: explicit combinatorial construction via adapted Rauzy induction

full rationale

The paper constructs an explicit FIET example by generalizing Keane's combinatorial method through an adaptation of Rauzy induction to the flip case. The abstract states the proof rests on this generalization without reducing the claimed count of exactly three ergodic measures to a fitted parameter, self-definition, or unverified self-citation chain. No equations or steps in the provided text equate the target invariant-measure count to the construction inputs by construction; the adaptation is presented as an independent extension whose validity is checked within the manuscript's combinatorial data. This is a standard self-contained existence proof in dynamical systems and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the domain assumption that Rauzy induction extends to FIETs while preserving the combinatorial features needed for Keane's multiple-measure construction; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Rauzy induction can be adapted to interval exchange transformations with flips while retaining the necessary combinatorial and measure-theoretic properties.
    Invoked in the proof description: 'using the Rauzy induction adapted for FIETs'.

pith-pipeline@v0.9.0 · 5574 in / 1189 out tokens · 68905 ms · 2026-05-21T17:47:35.362065+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Nogueira Nonorientable Recurrence of Flows and Interval Exchange Transformations Journal of Differential Equations (1987)

    A. Nogueira Nonorientable Recurrence of Flows and Interval Exchange Transformations Journal of Differential Equations (1987)

    work page 1987

  2. [2]

    Arnold Small denominators and problems of stability of motion in classical and celestial mechanics Uspekhi Matematicheskikh Nauk 18 (1963)

    V.I. Arnold Small denominators and problems of stability of motion in classical and celestial mechanics Uspekhi Matematicheskikh Nauk 18 (1963)

    work page 1963

  3. [3]

    Oseledets The spectrum of ergodic automorphisms Doklady Akademii Nauk SSSR 168 (1968)

    V.I. Oseledets The spectrum of ergodic automorphisms Doklady Akademii Nauk SSSR 168 (1968)

    work page 1968

  4. [4]

    Keane Interval exchange transformations Math

    M. Keane Interval exchange transformations Math. Z. 141 (1975)

    work page 1975

  5. [5]

    Masur Interval exchange transformations and measured foliations Annals of Mathematics (2) 115 (1982)

    H. Masur Interval exchange transformations and measured foliations Annals of Mathematics (2) 115 (1982)

    work page 1982

  6. [6]

    Veech Gauss measures for transformations on the space of interval exchange maps Annals of Mathematics (2) 115 (1982)

    W. Veech Gauss measures for transformations on the space of interval exchange maps Annals of Mathematics (2) 115 (1982)

    work page 1982

  7. [7]

    Katok Invariant measures of flows on orientable surfaces Akad

    A. Katok Invariant measures of flows on orientable surfaces Akad. Nauk SSSR (1973)

    work page 1973

  8. [8]

    Sataev On the number of invariant measures for flows on orientable surfaces Mathematics of the USSR-Izvestiya (1975)

    E. Sataev On the number of invariant measures for flows on orientable surfaces Mathematics of the USSR-Izvestiya (1975)

    work page 1975

  9. [9]

    Fickenscher Self–inverses, Lagrangian permutations and minimal interval exchange transformations with many ergodic measures Commun

    J. Fickenscher Self–inverses, Lagrangian permutations and minimal interval exchange transformations with many ergodic measures Commun. Contempp. Math (2014)

    work page 2014

  10. [10]

    Nogueira Almost all interval exchange transformations with flips are nonergodic Ergodic Theory and Dynamical Systems 9 (1989)

    A. Nogueira Almost all interval exchange transformations with flips are nonergodic Ergodic Theory and Dynamical Systems 9 (1989)

    work page 1989

  11. [11]

    Skripchenko, S

    A. Skripchenko, S. Troubetzkoy On the Hausdorff dimension of minimal interval exchange transformations with flips Journal of London Mathematical Society 97 (2018)

    work page 2018

  12. [12]

    Soler López, A

    G. Soler López, A. Linero Bas Minimal non uniquely ergodic IETs with flips J. Differential Equations 360 (2023)

    work page 2023

  13. [13]

    Soler López, A

    G. Soler López, A. Linero Bas On Non Uniquely Ergodic Minimal IETs With Flips Research Qualitative Theory of Dynamical Systems (2025)

    work page 2025

  14. [14]

    Keane Non–ergodic interval exchange transformation Israel Journal of Math (1977)

    M. Keane Non–ergodic interval exchange transformation Israel Journal of Math (1977)

    work page 1977

  15. [15]

    Rauzy Echanges d’intervalles et transformations induites Acta Arithmetica 34 (1979)

    G. Rauzy Echanges d’intervalles et transformations induites Acta Arithmetica 34 (1979)

    work page 1979

  16. [16]

    Danthony, A

    C. Danthony, A. Nogueira Measured foliations on nonorientable surfaces Annales scientifiques de l’Ecole Normale Superieure 23 (1990)

    work page 1990

  17. [17]

    Hubert, O

    P. Hubert, O. Paris-Romaskevich Triangle tiling billiards and the exceptional family of their escaping trajectories: circumcenters and Rauzy gasket Experimental Mathematics publie en ligne (2019)

    work page 2019