pith. sign in

arxiv: 1906.09408 · v1 · pith:VJ3IHJNYnew · submitted 2019-06-22 · 🧮 math.DS

Arnoux-Rauzy interval exchange transformations

Pierre Arnoux , Julien Cassaigne , S\'ebastien Ferenczi , Pascal Hubert This is my paper

Pith reviewed 2026-05-25 18:24 UTC · model grok-4.3

classification 🧮 math.DS
keywords Arnoux-Rauzy systemsinterval exchange transformationssemi-conjugacymeasure-theoretic isomorphismdiophantine conditionunique ergodicityweak mixing
0
0 comments X

The pith

The semi-conjugacy between Arnoux-Rauzy symbolic systems and six-interval exchanges becomes a measure-theoretic isomorphism under a diophantine condition.

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

Arnoux-Rauzy systems can be defined both as symbolic sequences on three letters and as exchanges of six intervals on the circle. The paper shows that the known semi-conjugacy between these descriptions actually yields a measure-theoretic isomorphism once a new nine-interval exchange on the line is introduced to make the relation precise enough. This holds under a diophantine condition that is satisfied by almost all Arnoux-Rauzy systems with respect to a suitable measure. The same work identifies a separate condition under which the interval exchanges fail to be uniquely ergodic, so the isomorphism does not extend to every invariant measure, and supplies criteria for weak mixing. The results tighten the dynamical picture of these systems in the setting of Novikov's conjecture.

Core claim

The semi-conjugacy determines a measure-theoretic isomorphism between the symbolic systems, the six-interval exchanges on the circle, and the nine-interval exchanges on the line under a diophantine sufficient condition, which is satisfied by almost all Arnoux-Rauzy systems for a suitable measure.

What carries the argument

The nine-interval exchange on the line, which strengthens the existing semi-conjugacy between the symbolic systems and the six-interval exchanges on the circle sufficiently for the isomorphism proof.

If this is right

  • Almost all Arnoux-Rauzy systems satisfy the diophantine condition and therefore realize the measure isomorphism.
  • Under a different condition the six-interval exchanges are not uniquely ergodic.
  • The isomorphism fails to hold for every invariant measure when unique ergodicity is absent.
  • Explicit conditions exist under which the interval exchanges are weakly mixing.

Where Pith is reading between the lines

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

  • The same strengthening technique may convert semi-conjugacies into isomorphisms for other families of interval exchanges.
  • Prevalence of the diophantine condition could be checked in wider classes of three-letter symbolic systems.
  • The isomorphisms may supply new routes to properties of the systems that arise in Novikov's conjecture.

Load-bearing premise

The semi-conjugacy between the symbolic systems and the six-interval exchanges can be strengthened by the nine-interval exchange so that a diophantine condition becomes enough to establish a measure isomorphism.

What would settle it

An explicit Arnoux-Rauzy system satisfying the diophantine condition for which the invariant measures on the symbolic side and on the six-interval exchange side fail to match.

read the original abstract

The Arnoux-Rauzy systems are defined in \cite{ar}, both as symbolic systems on three letters and exchanges of six intervals on the circle. In connection with a conjecture of S.P. Novikov, we investigate the dynamical properties of the interval exchanges, and precise their relation with the symbolic systems, which was known only to be a semi-conjugacy; in order to do this, we define a new system which is an exchange of nine intervals on the line (it was described in \cite{abb} for a particular case). Our main result is that the semi-conjugacy determines a measure-theoretic isomorphism (between the three systems) under a diophantine (sufficient) condition, which is satisfied by almost all Arnoux-Rauzy systems for a suitable measure; but, under another condition, the interval exchanges are not uniquely ergodic and the isomorphism does not hold for all invariant measures; finally, we give conditions for these interval exchanges to be weakly mixing.

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

0 major / 3 minor

Summary. The paper examines Arnoux-Rauzy systems, realized both as symbolic shifts on three letters and as six-interval exchanges on the circle. It introduces a new nine-interval exchange on the line (extending a construction from a special case in prior work) to upgrade the known semi-conjugacy between the symbolic and geometric realizations. The central claim is that this semi-conjugacy yields a measure-theoretic isomorphism under a Diophantine sufficient condition satisfied by almost all Arnoux-Rauzy systems with respect to a suitable measure; a second condition is shown to imply failure of unique ergodicity (so the isomorphism fails for some invariant measures); and additional criteria are given for weak mixing of the interval exchanges.

Significance. If the nine-interval construction and the Diophantine verification hold, the work supplies a concrete technical upgrade that converts a semi-conjugacy into an isomorphism for a full-measure set of Arnoux-Rauzy systems. This is relevant to Novikov's conjecture and to the broader program of relating symbolic and geometric models of interval exchanges. The explicit separation into cases of unique versus non-unique ergodicity, together with the weak-mixing criteria, adds usable information about the ergodic theory of these maps.

minor comments (3)
  1. The abstract and introduction refer to 'a suitable measure' without an explicit formula or reference to its definition in the text; a short paragraph or equation locating this measure (e.g., in §2 or §3) would improve readability.
  2. The nine-interval exchange is introduced as an extension of the construction in [abb]; a brief comparison table or diagram contrasting the six- and nine-interval partitions would clarify how the new system closes the semi-conjugacy gap.
  3. Notation for the Diophantine condition (e.g., the precise form of the continued-fraction or rotation-number bound) appears only after the statement of the main theorem; moving the definition forward would help readers track the 'almost all' claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript on Arnoux-Rauzy interval exchange transformations, including recognition of the nine-interval construction, the Diophantine condition for measure-theoretic isomorphism, the separation into unique versus non-unique ergodicity cases, and the weak-mixing criteria. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity detected in the derivation chain

full rationale

The paper cites prior work [ar] for the definition of Arnoux-Rauzy systems (symbolic and 6-interval exchanges) and [abb] for the 9-interval exchange construction in a special case. It then introduces the general 9-interval exchange on the line as a technical strengthening of the known semi-conjugacy, proves that this yields a measure-theoretic isomorphism under an external Diophantine condition (satisfied for almost all systems w.r.t. a suitable measure), and states separate conditions under which unique ergodicity fails. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain by construction; the central theorem is a standard conditional proof resting on the new construction and external Diophantine assumptions rather than internal redefinition of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; full manuscript required for ledger construction.

pith-pipeline@v0.9.0 · 5704 in / 1149 out tokens · 32464 ms · 2026-05-25T18:24:51.451086+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

34 extracted references · 34 canonical work pages · 1 internal anchor

  1. [1]

    ADAMS, S

    T. ADAMS, S. FERENCZI, K. PETERSEN: Constructive symbol ic presentations of rank one measure- preserving systems, Colloq. Math. 150 (2017), p. 243–255

    work page 2017

  2. [2]

    ARNOUX: Un exemple de semi-conjugaison entre un ´ echange d’intervalles et une translation sur le tore, Bull

    P . ARNOUX: Un exemple de semi-conjugaison entre un ´ echange d’intervalles et une translation sur le tore, Bull. Soc. Math. France 116 (1988), p. 489–500

    work page 1988

  3. [3]

    ARNOUX, J

    P . ARNOUX, J. BERNA T, X. BRESSAUD: Geometrical models fo r substitutions, Exp. Math. 20 (2011), p. 97–127

    work page 2011

  4. [4]

    ARNOUX, Sh

    P . ARNOUX, Sh. ITO: Pisot substitutions and Rauzy fracta ls. Journ´ ees Montoises d’Informatique Th´ eorique (Marne-la-V all´ ee, 2000),Bull. Belg. Math. Soc. Simon Stevin 8 (2001), p. 181–207

    work page 2000

  5. [5]

    ARNOUX, G

    P . ARNOUX, G. RAUZY : Repr´ esentation g´ eom´ etrique de suites de complexit´ e2n + 1, Bull. Soc. Math. France 119 (1991), p. 199–215

    work page 1991

  6. [6]

    ARNOUX, S

    P . ARNOUX, S. STAROSTA: The Rauzy gasket, Further develo pments in fractals and related fields, Trends Math., Birkha¨ user (2013), p. 1–23

    work page 2013

  7. [7]

    ARNOUX, J.-C

    P . ARNOUX, J.-C. YOCCOZ: Construction de diff´ eomorphismes pseudo-Anosov, C. R. Acad. Sci. Paris S ´er . I Math 292 (1981), p. 75–78

    work page 1981

  8. [8]

    A VILA, P

    A. A VILA, P . HUBERT, A. SKRIPCHENKO: Diffusion for chaotic plane sections of 3-periodic plane surfaces, Invent. Math. 206 (2016), p. 109–146

    work page 2016

  9. [9]

    A VILA, P

    A. A VILA, P . HUBERT, A. SKRIPCHENKO: On the Hausdorff dimension of the Rauzy gasket, Bull. Soc. Math. France 144 (2016), p. 539–568

    work page 2016

  10. [10]

    BERSTEL: Sturmian and episturmian words (a survey of some recent results), Algebraic informatics, p

    J. BERSTEL: Sturmian and episturmian words (a survey of some recent results), Algebraic informatics, p. 23–47, Lecture Notes in Comput. Sci., 4728, Springer, Berlin, 2007

    work page 2007

  11. [11]

    BERTH´E, W

    V . BERTH´E, W . STEINER, J. THUSW ALDNER: Geometry, dynamics and arithmetic of S-adic shifts, Ann. Inst. F ourier (Grenoble)69 (2019), p. 1347–1409

    work page 2019

  12. [12]

    BOSHERNITZAN: A unique ergodicity of minimal symbol ic flows with linear block growth, J

    M. BOSHERNITZAN: A unique ergodicity of minimal symbol ic flows with linear block growth, J. Analyse Math. 44 (1984/85), p. 77–96. AR IET 25

    work page 1984

  13. [13]

    BUCCI, A

    M. BUCCI, A. DE LUCA: On a family of morphic images of Arno ux-Rauzy words, Language and automata theory and applications, p. 259–266, Lecture Notes in Compu t. Sci., 5457, Springer, Berlin, 2009

    work page 2009

  14. [14]

    CASSAIGNE, S

    J. CASSAIGNE, S. FERENCZI, A. MESSAOUDI: Weak mixing an d eigenvalues of Arnoux-Rauzy systems, Ann. Inst. F ourier (Grenoble)56 (2006), p. 2315–2343

    work page 2006

  15. [15]

    DAMANIK, L.Q

    D. DAMANIK, L.Q. ZAMBONI: Combinatorial properties of Arnoux-Rauzy subshifts and applications to Schr¨ odinger operators,Rev. Math. Phys. 15 (2003), p. 745–763

    work page 2003

  16. [16]

    DELECROIX, T

    V . DELECROIX, T. HEJDA, W . STEINER: Balancedness of Arnoux-Rauzy and Brun words, Combinatorics on words, p. 119–131, Lecture Notes in Comput. Sci., 8079, Spri nger, Heidelberg, 2013

    work page 2013

  17. [17]

    DE LEO, I.A

    R. DE LEO, I.A. DYNNIKOV: Geometry of plane sections of t he infinite regular skew polyhedron 4,6 |4. Geom. Dedicata 138 (2009), p. 51–67

    work page 2009

  18. [18]

    DROUBA Y , J

    X. DROUBA Y , J. JUSTIN, G. PIRILLO: Episturmian words an d some constructions of de Luca and Rauzy, Theoret. Comput. Sci. 255 (2001), p. 539–553

    work page 2001

  19. [19]

    I. A. DYNNIKOV: A proof of the conjecture of S. P . Novikov on the semiclassical motion of an electron, (Rus- sian) Mat. Zametki 53 (1993), p. 57–68; translation in Math. Notes 53 (1993), p. 495–501

    work page 1993

  20. [20]

    I. A. DYNNIKOV: Geometry of the stability zones in the No vikov problem on the semiclassical motion of an electron. (Russian) Uspekhi Mat. Nauk 54 (1999), p. 21–60; translation in Russian Math. Surveys 54 (1999), p. 21–59

    work page 1999

  21. [21]

    I. A. DYNNIKOV , S.P . NOVIKOV:Topology of quasiperiodic functions on the plane, (Russian) Uspekhi Mat. Nauk 60 (2005), p. 3–28; translation in Russian Math. Surveys 60 (2005), p.1–26

    work page 2005

  22. [22]

    I. A. DYNNIKOV , A. SKRIPCHENKO: Symmetric band complex es of thin type and chaotic sections which are not quite chaotic, Trans. Moscow Math. Soc. 2015, p. 251–269

    work page 2015

  23. [23]

    FERENCZI: Systems of finite rank, Colloq

    S. FERENCZI: Systems of finite rank, Colloq. Math. 73 (1997), p. 35–65

    work page 1997

  24. [24]

    FERENCZI, P

    S. FERENCZI, P . HUBERT: Rigidity of interval exchanges , J. Mod. Dyn. 14 (2019), p. 153–177

    work page 2019

  25. [25]

    A. GLEN, J. JUSTIN: Episturmian words: a survey, Theor . Inform. Appl.43 (2009), p. 403–442

    work page 2009

  26. [26]

    Lower bounds on the dimension of the Rauzy gasket

    R. GUTI ´ERREZ-ROMO, C. MA THEUS: Lower bounds on the dimension of the Rauzy gasket, arXiv:1902.04516

    work page internal anchor Pith review Pith/arXiv arXiv 1902

  27. [27]

    JUSTIN, G

    J. JUSTIN, G. PIRILLO: On a characteristic property of A rnoux-Rauzy sequences, Theor . Inform. Appl. 36 (2002), p.385–388

    work page 2002

  28. [28]

    KEANE: Interval exchange transformations, Math

    M.S. KEANE: Interval exchange transformations, Math. Zeitsch. 141 (1975), p. 25–31

    work page 1975

  29. [29]

    LEVITT: La dynamique des pseudo-groupes de rotation s, Invent

    G. LEVITT: La dynamique des pseudo-groupes de rotation s, Invent. Math. 113 (1993), p. 633–670

    work page 1993

  30. [30]

    MALTSEV , S.P

    A. MALTSEV , S.P . NOVIKOV: Topological integrability,classical and quantum chaos, and the theory of dynam- ical systems in condensed matter physics, (Russian) it Uspe khi Mat. Nauk 74 (2019), p. 149–184; translation in Russian Math. Surveys 74 (2019), p.141–173

    work page 2019

  31. [31]

    MEESTER, T

    R.W .J. MEESTER, T. NOWICKI: Infinite clusters and criti cal values in two-dimensional circle percolation, Isra¨el J. Math. 68 (1989), p. 63–81

    work page 1989

  32. [32]

    NOVIKOV: The Hamiltonian formalism and a multival ued analogue of Morse theory, Uspekhi Mat

    S.P . NOVIKOV: The Hamiltonian formalism and a multival ued analogue of Morse theory, Uspekhi Mat. Nauk 37 (1982), p. 3–49; translated in Russian Math. Surveys 37 (1982), p. 1–56

    work page 1982

  33. [33]

    RAUZY : Nombres alg´ ebriques et substitutions,Bull

    G. RAUZY : Nombres alg´ ebriques et substitutions,Bull. Soc. Math. France 110 (1982), p. 147–178

    work page 1982

  34. [34]

    SIRVENT: Geodesic laminations as geometric realiza tions of Arnoux-Rauzy sequences, Bull

    V . SIRVENT: Geodesic laminations as geometric realiza tions of Arnoux-Rauzy sequences, Bull. Belg. Math. Soc. Simon Stevin 10 (2003), p. 221–229. 26 P . ARNOUX, J. CASSAIGNE, S. FERENCZI, AND P . HUBERT AIX MARSEILLE UNIVERSIT ´E, CNRS, C ENTRALE MARSEILLE , I NSTITUT DE MATH ´EMATIQUES DE MAR- SEILLE , I2M - UMR 7373, 13453 M ARSEILLE , F RANCE . E-mail...

    work page 2003