arxiv: v2 [math.ds] 19 Jul 2012

Similar documents
Hyperbolicity of mapping-torus groups and spaces

Chordal Coxeter Groups

Tree sets. Reinhard Diestel

Metric Spaces and Topology

COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY

ADMISSIBILITY OF KNEADING SEQUENCES AND STRUCTURE OF HUBBARD TREES FOR QUADRATIC POLYNOMIALS

GEOMETRICAL MODELS FOR SUBSTITUTIONS

Lecture 16 Symbolic dynamics.

Ergodic Theory of Interval Exchange Transformations

Automata on linear orderings

Introduction to Dynamical Systems

FRACTAL REPRESENTATION OF THE ATTRACTIVE LAMINATION OF AN AUTOMORPHISM OF THE FREE GROUP

Discrete dynamics on the real line

9. Integral Ring Extensions

The Mandelbrot Set. Andrew Brown. April 14, 2008

Measures and Measure Spaces

6 Permutations Very little of this section comes from PJE.

Lyapunov exponents of Teichmüller flows

Lebesgue Measure on R n

SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS

Merzlyakov-type theorems after Sela. Part II

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Hierarchy among Automata on Linear Orderings

Notes on Rauzy Fractals

arxiv: v1 [math.co] 5 Apr 2019

DYNAMICAL CUBES AND A CRITERIA FOR SYSTEMS HAVING PRODUCT EXTENSIONS

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

APPROXIMABILITY OF DYNAMICAL SYSTEMS BETWEEN TREES OF SPHERES

Boolean Inner-Product Spaces and Boolean Matrices

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

Connectivity and tree structure in finite graphs arxiv: v5 [math.co] 1 Sep 2014

SPHERES IN THE CURVE COMPLEX

A connection between number theory and linear algebra

Covering Invariants and Cohopficity of 3-manifold Groups

5 Irreducible representations

PERIODIC POINTS OF THE FAMILY OF TENT MAPS

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT

2 Generating Functions

Mapping Class Groups MSRI, Fall 2007 Day 8, October 25

Chapter 3 Deterministic planning

CASCADES IN THE DYNAMICS OF AFFINE INTERVAL EXCHANGE TRANSFORMATIONS

Math 354 Transition graphs and subshifts November 26, 2014

Mapping Class Groups MSRI, Fall 2007 Day 2, September 6

Isomorphisms between pattern classes

Course 212: Academic Year Section 1: Metric Spaces

Lebesgue Measure on R n

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Math 249B. Geometric Bruhat decomposition

Symmetries and Polynomials

Tutorial on Mathematical Induction

Axioms for Set Theory

Hyperbolic Graphs of Surface Groups

CHAPTER 8: EXPLORING R

The Structure of C -algebras Associated with Hyperbolic Dynamical Systems

Dynamical Systems 2, MA 761

k-protected VERTICES IN BINARY SEARCH TREES

Spanning and Independence Properties of Finite Frames

1 Introduction. Goal and Outline

YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1

Part III. 10 Topological Space Basics. Topological Spaces

Preliminaries. Introduction to EF-games. Inexpressivity results for first-order logic. Normal forms for first-order logic

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

Involutive Translation Surfaces and Panov Planes

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Euler s, Fermat s and Wilson s Theorems

arxiv: v1 [math.co] 3 Nov 2014

Generating p-extremal graphs

Introduction to Real Analysis Alternative Chapter 1

Classification of root systems

Notes on the Dual Ramsey Theorem

arxiv: v2 [math.gr] 4 Nov 2015

On the Effectiveness of Symmetry Breaking

Computing the rank of configurations on Complete Graphs

Extension of continuous functions in digital spaces with the Khalimsky topology

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Introduction to Topology

k-blocks: a connectivity invariant for graphs

PETER A. CHOLAK, PETER GERDES, AND KAREN LANGE

8. Prime Factorization and Primary Decompositions

Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies

Dynamics on Hubbard trees

arxiv: v1 [math.co] 8 Feb 2014

Small cancellation theory and Burnside problem.

NOTES ON FINITE FIELDS

MARKOV PARTITIONS FOR HYPERBOLIC SETS

The Classification of Nonsimple Algebraic Tangles

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

arxiv:math/ v1 [math.co] 10 Nov 1998

ELEMENTARY LINEAR ALGEBRA

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Axiomatic set theory. Chapter Why axiomatic set theory?

a (b + c) = a b + a c

REPRESENTATION THEORY OF S n

Geometrical Models for Substitutions

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

arxiv:math/ v1 [math.gt] 14 Nov 2003

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY

Transcription:

arxiv:1107.2430v2 [math.ds] 19 Jul 2012 An algorithm to identify automorphisms which arise from self-induced interval exchange transformations Yann Jullian Abstract We give an algorithm to determine if the dynamical system generated by a positive automorphism of the free group can also be generated by a self-induced interval exchange transformation. The algorithm effectively yields the interval exchange transformation in case of success. Contents Introduction 1 1 Automorphisms of the free group 4 1.1 The attracting subshift................................ 5 1.2 Singularities of an automorphism.......................... 5 2 Interval exchange transformations and completed interval exchange transformations 6 2.1 The Keane condition................................. 7 2.2 Rauzy induction................................... 9 2.3 Self-induced CIETs.................................. 12 3 The algorithm 16 3.1 The necessary conditions............................... 17 3.2 The algorithm..................................... 18 A Identifying the singularities of an A N -positive primitive automorphism 20 B An example 22 1

Introduction This article deals with the problem of the geometric representation of the symbolic systems induced by free group automorphisms (see section 1.1). It is now well known ([GJLL98], [CHL09], [Cou10], [CH12]) that these can be represented by systems of partial isometries on R-trees (geodesic and 0-hyperbolic metric spaces). In [CH12], the authors study fully irreducible automorphisms, and explain the representation of their dynamics depends on an attribute of the automorphism called the index ([GJLL98], [Jul10]). This index depends on the fixed subgroup and the infinite fixed points of the automorphism, and determines whether the dynamics of the automorphism is represented by a system of partial isometries on a finite union of finite (with respect to the number of points with degree at least 3) trees (this includes intervals), a finite union of non-finite trees (an example is given in [Jul11]), or a Cantor set whose convex hull is a finite (an example is given in [BK95]) or non-finite tree. If we fix a basis A N of the free group F N with N 2 generators, the free group is seen as the set of reduced (two adjacent letters cannot be the inverse of each other) words with letters in A N or A 1 N. In this article, we consider A N-positive primitive automorphisms; an automorphism ϕ is A N -positive if for any a A N, the letters of the word ϕ(a) are all in A N, and it is primitive if there exists a positive integer k such that all the elements of A N appear in ϕ k (a) for any a A N. This second property ensures the minimality of the dynamic. While considering only A N -positive automorphisms is certainly a restriction, it should be noted that the primitivity condition is weaker than the full irreducibility (a nice discussion on the subject can be found in [ABHS06]). This article aims to answer the following question; how can we determine if an A N -positive primitive automorphism can be represented by a system of partial isometries on an interval? We will use the early results on interval exchange transformations ([Kea75], [Kea77], [Rau79], [Vee82]). In particular, the Rauzy induction ([Rau79]) gives us a way to obtain the subshift (the combinatorial representation) of an interval exchange transformation using sequences of elementary automorphisms (called Dehn twists). We say that an interval exchange transformation is self-induced when this sequence is periodic. The main result of this paper is the following. Theorem 0.1. There is an algorithm able to determine in a finite number of steps if an A N - positive primitive automorphism generates the dynamic of a self-induced interval exchange transformation. In case of success, the interval exchange transformation is fully determined and a Dehn twists decomposition of the automorphism is given. The algorithm is described in great details. It is based on two main ideas. The first one is the study made in [Jul10] of the index of an A N -positive primitive automorphism (summarized in appendix A) and the second one is a combinatorial interpretation of the Rauzy induction. Outline of the paper Section 1 deals with basic notions regarding free group automorphisms. We endow the free group F N (N 2) with a basis A N and consider F N (resp. F N ) to be the set of finite (resp. infinite) reduced (two adjacent letters cannot be the inverse of each other) words with letters in A N A 1 N (where A 1 N is the set of inverse letters). The shift map S is defined on each point (X, Y ) of the set 2 F N = ( F N F N ) \ (where is the diagonal) by S(X, Y ) = (Y0 1 X, Y0 1 Y ), with Y 0 being the first letter of Y. 2

Remark 0.2. Readers who are more familiar with the definitions of symbolic dynamic may want to see a point (X, Y ) of 2 F N as the bi-infinite word X 1 Y. Additionaly, we refer to [CHL08], which gives a detailed comparison between standard concepts of group theory and symbolic dynamic. We will primarily deal with positive automorphism; ϕ is a positive automorphism if all the letters of ϕ(a) are in A N for any a A N. These are also called invertible substitutions. In section 1.1, we define the attracting subshift of a positive automorphism. The attracting subshift Σ ϕ 2 F N of ϕ is simply the closure of the S-orbit of a certain point (U, V ) that is fixed by 2 ϕ (the homeomorphism induced by ϕ on 2 F N ). This notion is equivalent to the bi-infinite symbolic system induced by an invertible substitution (see [Que87]). In section 1.2 we define the singularities of an automorphism (see [Jul10]). In most cases, a singularity of an automorphism ϕ is a set Ω of points of the attracting subshift with a common first (resp. second) coordinate. In terms of bi-infinite words, these correspond to the existence of special (i.e which can be extended in more than one way) left-infinite or right-infinite sequences. This is a key part of the present paper as these singularities are a natural equivalent to the discontinuity points of interval exchange transformations. An interval exchange transformation (IET) f on an interval I is a bijective map characterized by a set {I a ; a A N } of intervals partitioning I and a translation vector attached to each element of the partition (see [Kea75], [Kea77], [Rau79], [Vee82], [Yoc06]). Each interval I a and the interval I itself are conventionally closed on the left and open on the right. In section 2, we introduce the important notion of completed interval exchange transformations (CIETs). If f is as above, we define the CIET δ associated to f as a system {δ a ; a A N } of partial isometries such that, for any a A N, the domain of δ a is the closure of I a and δ a (x) = f(x) for any x I a. The important part of this definition is that some points now have two images (resp. pre-images) under the action of δ. These points are called the forward (resp. backward) δ-singularities. The existence of such points implies that some points of the interval will have more than one (bi-infinite) orbit under the action of δ. We associate a point of 2 F N, called the coding, to each orbit. The set of coding of orbits is the δ-subshift Σ δ (see section 2). In sections 2.1 and 2.2, we recall the definitions of Keane condition (see [Kea75], [Kea77]) and Rauzy induction (see [Rau79]) for IETs and adapt these notions for CIETs. Let f be an IET on an interval I; assume {I a ; a A N } is a set of intervals partitioning I and f is a translation on each I a. Define J 0 (resp. J 1 ) as the right most interval of {I a ; a A N } (resp. {f(i a ); a A N }). The Rauzy induction is seen as the first return map f induced by f on the interval I \ J 0 (resp. I \ J 1 ) if J 0 < J 1 (resp. J 1 < J 0 ). We say the induction has type 1 (resp. type 0) if J 0 < J 1 (resp. J 1 < J 0 ). The map f is also an IET. If δ is the CIET associated to f, the Rauzy induction of δ is simply the CIET δ associated to f. The benefit of using Rauzy inductions is that going from δ to δ is easily done by using a Dehn twist (see section 2.2.1). In section 2.2.1, we recall the definition of Rauzy classes (see [Rau79], [Yoc06]). Any CIET δ may be defined by a pair (π, λ) where π is a permutation and λ is a length vector. We define a partial order on permutation by saying a permutation π is a successor of a permutation π if there exists a CIET δ = (π, λ ) which is the Rauzy induction of a CIET δ = (π, λ). Each permutation has two successors (corresponding to the two types of Rauzy induction) and two predecessors. This order can be represented by a graph called the Rauzy graph; connected components of such a graph are called Rauzy classes. Any Rauzy induction correspond to an 3

edge of a Rauzy class, and iterating the induction produces a path. In section 2.3, we define self-induced CIETs. We say a CIET is self-induced if the sequence of Rauzy inductions produces a periodic path in a Rauzy class. The key part of this definition is that, taking a CIET δ, the period of the Rauzy inductions produces an automorphism ϕ called the δ-automorphism whose attracting subshift is equal to the δ-subshift (theorem 2.8) and which is also decomposable into Dehn twists. This is especially important because the algorithm will essentially try to find such a decomposition. This however, raises the following problem: there may be automorphisms ψ such that Σ ψ = Σ ϕ (their attracting subshifts are the same) which are not decomposable along a path of a Rauzy class. Obviously, we still want the algorithm to be able to identify ψ as an automorphism coming from a CIET. This issue is tackled in section 2.3.2. The algorithm is detailed in section 3.2. It consists in attempting to decompose the automorphism into Dehn twists along a path in a Rauzy class using a combinatorial Rauzy induction. Theorem 2.8 (which says the subshift of a CIET δ is equal to the attracting subshift of its δ-automorphism) is especially important because it matches the singularities of the CIET with the singularities of its associated automorphism, which is the basic idea behind section 3.1. In section 3.1, we give a list of conditions on the attracting subshift (and in particular the singularities) of a positive primitive automorphism that are necessary for Rauzy inductions to be possible. The first step of the algorithm is to identify the singularities of the automorphism. This can be done by using the algorithm of [Jul10], which is briefly explained in appendix A. We then check that the condition of section 3.1 are satisfied. If one of the conditions fails, the algorithm stops and we conclude the automorphism does not come from an IET. If all the conditions are satisfied, we apply the Rauzy induction. This induction produces a Dehn twist which will be part of the decomposition (if it exists) of the automorphism. The algorithm then cycles with a new and simpler automorphism and another set of singularities (obtained using the Dehn twist) until the induction fails or the automorphism is fully decomposed. An example is detailed in appendix B. Acknowledgements. The author is indebted to Erwan Lanneau for valuable discussions, especially regarding proposition 2.10. 1 Automorphisms of the free group Let F N be the free group on N 2 generators. Fixing an alphabet A N = {a 0,..., a N 1 } as a basis for F N, we denote A 1 N = {a 1 0,..., a 1 N 1 } the set of inverse letters and consider F N to be the set of finite words v = v 0 v 1... v p with letters in (A N A 1 N ) and such that v 1 i v i+1 for 0 i < p; such words are called reduced. The identity element of F N will be called the empty word, and will be denoted ɛ. The Gromov boundary F N of F N is the set of points V = (V i ) i N with letters in (A N A 1 1 N ) and such that Vi V i+1 for any i N. The double boundary 2 F N is defined by where is the diagonal. 2 F N = ( F N F N ) \, 4

Remark 1.1. We will refer to elements of F N as words, while elements of 2 F N will be called points. An automorphism ϕ of F N is A N -positive if for all a A N, all the letters of ϕ(a) are in A N. When working with an A N -positive automorphism, we always consider its representation over the free group endowed with the basis A N. The automorphism ϕ induces a homeomorphism 2 ϕ on 2 F N. An A N -positive automorphism is primitive if there is a positive integer k such that all letters of A N are letters of ϕ k (a) for any a A N. Throughout this paper, F N will refer to the free group endowed with the basis A N and we always assume N 2. We define the shift map S on 2 F N : where Y 0 is the first letter of Y. 1.1 The attracting subshift S : 2 F N 2 F N (X, Y ) (Y0 1 X, Y0 1 Y ), Let ϕ be an A N -positive primitive automorphism and let a be a letter of A N. The primitivity condition implies that we can find an integer k such that ϕ k (a) = pas where p and s are non empty words of F N with letters in A N. Now define The attracting subshift of ϕ is the set X = lim n + p 1 ϕ k (p 1 )ϕ 2k (p 1 )... ϕ nk (p 1 ), Y = lim n + asϕk (s)ϕ 2k (s)... ϕ nk (s). Σ ϕ = {S n (X, Y ); n Z}. The map S is a homeomorphism on Σ ϕ. The attracting subshift only depends on ϕ and not on the choice of the letter a or the integer k (this is stated in different contexts in both [Que87] and [BFH97] (for example)). 1.2 Singularities of an automorphism Following from [Jul10], we define the singularities of an automorphism. For any w F N, the conjugacy i w is the automorphism of F N defined for any v F N by i w (v) = w 1 vw. Let ϕ be an A N -positive primitive automorphism, and let Σ ϕ be its attracting subshift. Definition 1.2. A ϕ-singularity is a set Ω of (pairwise distinct) points of Σ ϕ satisfying the following conditions: Ω contains at least two elements, there exists an automorphism ψ = i w ϕ k for some conjugacy i w and some integer k 1 such that all the points of Ω are fixed points of 2 ψ, for any h N, if (U, V ) Σ ϕ is a fixed point of 2 ψ h, then (U, V ) Ω, 5

there exist two points (U, V ) and (U, V ) of Ω such that we have either V 0 V 0 or U 0 U 0 or both. We say that the automorphism ψ fixes the singularity Ω. These singularities are studied in great details in [Jul10]. In particular, it is explained how the index ([GJLL98]) of an automorphism (recall it affects directly the geometric representation of the automorphism s attracting subshift, see [CH12]) can be deduced from the singularities alone; it simply comes down to counting the number of points belonging to singularities (in [Jul10], this index is referred to as the full outer index). The main result of [GJLL98] is that this index is bounded above by N 1. If ϕ is an A N -positive primitive automorphism, this result tells us that both the number of ϕ-singularities and the number of points belonging to ϕ-singularities are finite and bounded. It is not true that singularities are always caused by special infinite points; in our setting, a special right-infinite (resp. left-infinite) point U (resp. V ) is a point of F N for which there exist (at least) two points V (0), V (1) (resp. U (0), U (1) ) of F N with distinct first letters such that both (U, V (0) ) and (U, V (1) ) (resp. (U (0), V ) and (U (1), V )) are in Σ ϕ. Consider the following example. Define φ : a abcad b bd c bc d bca U = lim n + φn (c 1 ) V = lim n + φn (a) U = lim n + φ2n (a 1 ) V = lim n + φn (b) and observe that both (U, V ) and (U, V ) are points of Σ φ but that neither (U, V ) nor (U, V ) is: assuming U 0, V 0, U 0, V 0 are the first letters of U, V, U, V respectively, this is done by checking that the words U0 1 V 0 = ca and U 0 1 V 0 = ab are in the langage of φ (they are subwords of φ n (a) for some n) but U0 1 V 0 = cb and U 0 1 V 0 = aa are not. As there are no other points fixed by a power of φ, we obtain a φ-singularity Ω = {(U, V ), (U, V )} which is fixed by φ 2. Note that even if the two points of Ω seem combinatorially unrelated, they will both correspond to the same point in the geometric representation of the attracting subshift (easily seen since the automorphism acts as a contracting homothety on the representation, see [GJLL98]). This should be considered the true meaning of singularities. In the general case of a positive primitive automorphism ϕ, this kind of behavior can only happen with singularities that are fixed by some power of ϕ. Specifically, it is proven in [Jul10] that all the points of a singularity fixed by an automorphism i w ϕ k with w ɛ share a common coordinate. The behavior is most likely more widespread for non-positive automorphisms. 2 Interval exchange transformations and completed interval exchange transformations Let A N be an alphabet with N 2 letters. An interval exchange transformation is a bijective map f defined by: 6

a pair π = (π 0, π 1 ) of bijections π 0, π 1 : A N {0,..., N 1}, a vector λ = (λ a ) a AN of positive real numbers with λ = a A N λ a, for any a A N, define Λ 0 (a) = π 0(b)<π 0(a) λ b and Λ 1 (a) = π 1(b)<π 1(a) λ b, and f : [0, λ ) [0, λ ) x x Λ 0 (a) + Λ 1 (a) if x [Λ 0 (a), Λ 0 (a) + λ a ). From now on, an interval exchange transformation will simply be called an IET. We define the completed interval exchange transformation δ associated to f as the system of partial isometries δ = {δ a ; a A N } defined by: δ a : [Λ 0 (a), Λ 0 (a) + λ a ] [Λ 1 (a), Λ 1 (a) + λ a ] x x Λ 0 (a) + Λ 1 (a). We say that a point x is an image (resp. pre-image) of a point x by δ if there exists a A N such that δ a (x) = x (resp. δa 1 (x) = x ). It is important to notice that the isometries are defined on closed sets, effectively resulting in points with more than one image (resp. preimage). From now on, a completed interval exchange transformation will simply be called a CIET. Also, we will refer to the domain of any isometry δ a by D(δ a ). For convenience, we define δ a 1 = δa 1 for any a A N. For any point x [0, λ ], define Σ δ (x) = {(U, V ) 2 F N ; n N, The δ-subshift is the S-invariant set Σ δ = Un 1 A N and x D(δ Un δ U0 ) V n A N and x D(δ Vn δ V0 )}. x [0, λ ] Σ δ (x). The points Λ 0 (a) for a π 1 0 (0) are the forward δ-singularities and the points Λ 1 (a) for a π1 1 (0) are the backward δ-singularities. From now on, defining an IET f = (π, λ) and its associated CIET δ implicitely defines the maps π 0, π 1 : A N {0,... N 1}, the points Λ 0 (a) and Λ 1 (a) for any a A N, the sets Σ δ (x) for any x [0, λ ] and the δ-subshift Σ δ. 2.1 The Keane condition An IET f = (π, λ) is minimal (compare [Kea75]) if for any x [0, λ ), the set {f n (x); n Z} is dense in [0, λ ). An IET f = (π, λ) satisfies the Keane condition (see [Kea75], [Kea77]) if for any n N and any a, b π0 1 (0), we have f n (Λ 0 (a)) Λ 0 (b) (there are no connections). It was proven in [Kea75] that this condition suffices to ensure minimality. We study the effect of this condition on the associated CIET. Proposition 2.1. Let f = (π, λ) be an IET satisfying the Keane condition and let δ be the CIET associated to f. Then for any x [0, λ ], the set Σ δ (x) contains at most two points. 7

Proof. Observe that the Keane condition implies that if x is a forward (resp. backward) δ- singularity, then for any integer n 0, the point f n (x) (resp. f n (x)) cannot be a backward (resp. forward) δ-singularity. The set Σ δ (x) can only contain more than one point if x is contained in a backward orbit (under the action of the CIET) of a forward δ-singularity or a forward orbit of a backward δ-singularity. In other words, Σ δ (x) contains more than one point if x is a δ-singularity or if there exists a forward δ-singularity y, a point (U, V ) Σ δ (y) and an integer m 0 such that x = δ Um δ U0 (y) or if there exists a backward singularity z, a point (U, V ) Σ δ (z) and an integer m 0 such that x = δ Vm δ V0 (z). Hence, there are only three situations that would produce points x with more than two orbits (under the action of the CIET). Case 1. There exists a backward δ-singularity x, a point (U, V ) of Σ δ (x) and an integer m 0 such that δ Vm δ V0 (x) is a forward δ-singularity. In this case, x and any of the points δ Vi δ V0 (x) for 0 i m would have at least four distinct orbits. Assuming m is the smallest such integer, we obtain that f m+1 (x) is a forward δ-singularity, which contradicts the Keane condition. Case 2. There exists a forward δ-singularity x, a point (U, V ) of Σ δ (x) and an integer m 0 such that δ Vm δ V0 (x) is a forward δ-singularity. In this case, x and any of the points δ Ui δ U0 (x) for 0 i would have at least three distinct orbits. Observe that the point δ V0 (x) is either the point 0 or the point λ (in which cases it is not a forward δ-singularity) or a backward δ-singularity (in which case the Keane condition also prevents it from being a forward δ-singularity). Hence, m cannot be 0. Define y = δ V1 δ V0 (x) (resp. y = δ V0 (x)) if δ V0 (x) is 0 or λ (resp. if δ V0 (x) is neither 0 nor λ ) and observe y is always a backward δ-singularity. Assuming again that m is the smallest integer such that δ Vm δ V0 (x) is a forward δ-singularity, we obtain that f m 1 (y) (resp. f m (y)) is a forward δ-singularity, which again contradicts the Keane condition. Case 3. There exists a backward δ-singularity x, a point (U, V ) of Σ δ (x) and an integer m 0 such that δ Um δ U0 (x) is a backward δ-singularity. In this case, x and any of the points δ Vi δ V0 (x) for 0 i would have at least three distinct orbits. This case is similar to case 2. Corollary 2.2. Let x be a point with Σ δ (x) = {(U, V ), (U, V )}. Then we have either U = U or V = V. We now state an important result of the present article. This theorem gives a simple definition of the δ-subshift of a CIET δ associated to an IET f satisfying the Keane condition. The result can be found in [Kea75]; we give an alternative proof. Theorem 2.3 ([Kea75]). Let f = (π, λ) be an IET satisfying the Keane condition and let δ be the CIET associated to f. The set Σ δ (0) contains exactly one point Z and we have {S n (Z); n Z} = Σ δ. Proof. We first prove that Σ δ (0) contains only one point. Since 0 is not a δ-singularity, then the point f 1 (0) (resp. f(0)) is its only pre-image (resp. image) under the action of δ. Observe that f 1 (0) (resp. f(0)) is a forward (resp. backward) δ-singularity. The Keane condition then implies that for any i > 0 the point f i (0) (resp. f i (0)) is not a backward (resp. forward) δ-singularity and we conclude Σ δ (0) contains only one point Z. Let W = (U, V ) be a point of {S n (Z); n Z}. For any n N, define D n = D(δ Vn δ V0 ) D(δ Un δ U0 ) (where D denotes the domain); note that D n is a closed interval and that 8

D n+1 D n. Moreover, for any n N, there exists a point W = (U, V ) {S p (Z); p Z} such that, for any 0 i n, we have V i = V i and U i = U i, meaning D n is not empty. We conclude D n contains (at least) one point x with Σ δ (x) = W, and {S n (Z); n Z} Σ δ. n N Let W = (U, V ) be a point of Σ δ. We define again D n = D(δ Vn δ V0 ) D(δ Un δ U0 ) and we prove the following lemma. Lemma 2.4. For any n N, the set D n is a non trivial (not a singleton) closed interval. Proof. It is obvious that D n is a non empty (since W Σ δ ) closed interval for any n N. Suppose D n is trivial for some n. We may simply assume there exists an integer m 2 such that D(δ Vm δ V0 ) = {x} is trivial (if it is not the case, we can work with S k (W ) for some k Z). Also assume m is minimal in the sense that neither D(δ Vm δ V1 ) nor D(δ Vm 1 δ V0 ) is trivial. In that case, x is either 0 or λ or a forward δ-singularity. If it were not, we could choose a positive real number τ such that (x τ, x + τ) D(δ V0 ), and since D(δ Vm δ V1 ) is not trivial and contains δ V0 (x), the set D(δ Vm δ V0 ) would not be trivial. Similarly, the point δ Vm 1 δ V0 (x) must also be either 0 or λ or a forward δ-singularity. If it were not, we could again choose τ so that (y τ, y + τ) D(δ Vm ) with y = δ Vm 1 δ V0 (x), resulting in a non trivial set D(δ Vm δ V0 ). This contradicts proposition 2.1. Recall from [Kea75], that since f satisfies the Keane condition, f is minimal. In particular, for any n N, there exists k n N such that f kn (0) D n. We choose k n n + 1 to avoid problems related to the fact that f(0) is a backward δ-singularity. Define S kn (Z) = W (n) for any n N, observe (W (n) ) n converges to W and conclude. From now on, we only work with CIETs. A CIET δ will simply be defined as a pair (π, λ), and following from proposition 2.1, we say δ verifies the Keane condition if Σ δ (x) contains at most two points for any x [0, λ ]. 2.2 Rauzy induction The following constructions are given (for IETs) in [Rau79]. Let δ = (π, λ) be a CIET. Define α 0 = π0 1 (N 1) and α 1 = π1 1 (N 1) and assume λ α 0 λ α1 (note this is automatically true if δ satisfies the Keane condition). Suppose λ α0 > λ α1. We say δ has type 0. The completed Rauzy induction of δ is the CIET δ = (π, λ ) defined by π 0 = π 0, a A N ; π 1 (a) π 1 (α 0 ), π 1(a) = π 1 (a), π 1(α 1 ) = π 1 (α 0 ) + 1, a A N ; π 1 (α 0 ) < π 1 (a) < π 1 (α 1 ), π 1(a) = π 1 (a) + 1. λ α 0 = λ α0 λ α1 and a α 0, λ a = λ a. If we simply name I a the domain of δ a for any a A N, then δ α 1 (I α 1 ) = δ α0 δ α1 (I α 1 ) and δ a(i a) = δ a (I a) for any a α 1. If λ α0 < λ α1, then we say δ has type 1. The completed Rauzy induction of δ is the CIET δ = (π, λ ) defined by 9

0 λ λ 0 λ λ Figure 1: An example of type 0 induction. π 1 = π 1, a A N ; π 0 (a) π 0 (α 1 ), π 0(a) = π 0 (a), π 0(α 0 ) = π 0 (α 1 ) + 1, a A N ; π 0 (α 1 ) < π 0 (a) < π 0 (α 0 ), π 0(a) = π 0 (a) + 1. λ α 1 = λ α1 λ α0 and a α 1, λ a = λ a. Simply naming I a the domain of δ a for any a A N, we have δ α 0 (I α 0 ) = δ α0 δ α1 (I α 0 ) and δ a(i a) = δ a (I a) for any a α 0. 0 λ λ 0 λ λ We write δ = R(δ) in both cases. Figure 2: An example of type 1 induction. Remark 2.5. Observe that the induction can be seen as a first return system on [0, λ ] except for one point: the left end point of I α 1 (resp. I α 0 ) if δ has type 0 (resp. type 1). 2.2.1 Rauzy classes A pair π = (π 0, π 1 ) is called reducible if π 1 π0 1 ({0,..., k}) = {0,..., k} for some k < N 1. Irreducibility is a consequence of the Keane condition, and in fact, we are only interested in irreducible pairs. 10

Given irreducible pairs π = (π 0, π 1 ) and π = (π 0, π 1) where π 0, π 1, π 0, π 1 : A N {0,..., N 1} are bijections, we say that π is a successor of π if there exist two vectors λ, λ of R N with positive entries such that R(π, λ) = (π, λ ). Any pair π has exactly two successors, corresponding to types 0 and 1, and any pair π is the successor of exactly two pairs. This relation defines a partial order on the sets of irreducible pairs that may be represented by a directed graph called the Rauzy graph; obviously, there is one graph per value of N. The connected components of such graphs are called Rauzy classes. An example is given on figure 3. We now assume δ = (π, λ) is a CIET satisfying the Keane condition. Observe then that for any n N, the map R n (δ) is defined and that δ determines an infinite path in one of the Rauzy classes. Moreover, each edge of the Rauzy graph comes with an elementary automorphism (a Dehn twist) intended to specify the transition from one subshift to the other (see figure 3). Define R(δ) = δ = (π, λ ) and α 0 = π0 1 (N 1), α 1 = π1 1 (N 1). If δ has type 0, define the automorphism σ of F N by σ : α 1 α 1 α 0 a a if a α 1. If δ has type 1, define the automorphism σ of F N by We obtain the following proposition. σ : α 0 α 1 α 0 a a if a α 0. Proposition 2.6. For any point x [0, λ ), we have Σ δ (x) = { 2 σ(w ); W Σ δ (x)}. The set Σ δ ( λ ) contains only one point W and 2 σ(w ) Σ δ ( λ ). Note that Σ δ ( λ ) contains two points. However, the point λ is the only point of [0, λ ] such that Σ δ ( λ ) contains a point (U, V ) with U 0 = α1 1 and V 0 = α 0. This means (U, V ) = 2 σ 1 (U, V ) cannot be a point of Σ δ ; in particular the first letter of U (resp. V ) if δ has type 0 (resp. type 1) is in A N (resp. A 1 N ). We end this section with an example of Rauzy class, complete with the Dehn twists associated with each transition. (0, σ 4 ) (1, σ 3 ) (0, σ 2 ) ( a c ) b ( a b ) c ( a b ) c c b a c b a c a b (1, σ 1 ) (1, σ 5 ) (0, σ 0 ) Figure 3: An example of Rauzy class. Each edge is labeled with a pair (τ, σ) representing the type and the associated recoding automorphism; these automorphisms are defined below. σ 0 : a ac σ 1 : a a σ 2 : a a σ 3 : a a σ 4 : a ab σ 5 : a a b b b b b bc b b b b b ab c c c bc c c c ac c c c c 11

2.2.2 Rauzy induction and singularities In this section, we study the evolution of the set of singularities under the action of the Rauzy induction. We assume δ = (λ, π) with π = (π 0, π 1 ) and π 0, π 1 : A N {0,..., N 1} is a CIET which satisfies the Keane condition and we define δ = R(δ), α 0 = π0 1 (N 1) and α 1 = π1 1 (N 1). Observe that if S δ (resp. S δ ) is the set of δ-singularities (resp. δ -singularities) then S δ \ S δ (resp. S δ \ S δ ) contains exactly one point x (resp. y). The point y is obviously the right most δ-singularity; it is the left end point of the domain of δ α 1 (resp. δ α0 ) if δ has type 0 (resp. 1). 1 By definition of the induction, the point x is the left end point of the domain of δ (resp. α 1 1 δ α 0 ) and we have x = δ α0 (y) (resp. x = δ α 1(y)) if δ has type 0 (resp. 1). 1 Observe that, as a consequence of the Keane condition, the point x only has one image and one pre-image by δ (regardless of type). The following proposition summarizes the discussion above and will be useful later. Proposition 2.7. If δ has type 0 (resp. type 1), then the pre-image (resp. image) by δ of the left end point of the domain of δ (resp. δ α 1 α 0 ) is the left end point of the domain of δ α 1 1 1 (resp. δ α0 ). We deduce that the pre-image (resp. image) of x by δ is a backward (resp. forward) δ-singularity if δ has type 0 (resp. type 1), meaning Σ δ (x) = {(U, V ), (U, V )} will always contain two points. Observe that we have U 0 U 1 = α0 1 α 1 1 and U 0U 1 = α0 1 β 1 0 with π 1 (β 0 ) = N 2 (resp. V 0 V 1 = α 1 α 0 and V 0V 1 = α 1 β 1 with π 0 (β 1 ) = N 2) if δ has type 0 (resp. type 1), and conclude Σ δ (x) = { 2 σ 1 (U, V ), 2 σ 1 (U, V )} (where σ is the Dehn twist associated with the induction, as defined in the previous section) effectively is a δ -singularity. 2.3 Self-induced CIETs We now relate A N -positive primitive automorphisms with CIETs by introducing self-induced CIETs. We say that a CIET δ (0) = (π (0), λ (0) ) is self-induced if there exists a positive integer n such that R n (δ (0) ) = (π (n), λ (n) ) with π (n) = π (0), λ (n) = ηλ (0) for some positive real number η. Alternatively, one can say a CIET is self-induced if its associated path in the Rauzy graph is periodic. The path (π (0), π (1),..., π (n) = π (0) ) is a cycle of the Rauzy graph. Assume it is minimal: it is not a power of a smaller cycle. Suppose σ i is the automorphism associated (as in the previous section) to the edge (π (i), π (i+1) ) for any 0 i < n. We define the δ-automorphism ϕ as the automorphism ϕ = σ 0 σ n 1. The automorphism ϕ is obviously A N -positive. Moreover, we get from [Yoc06, corollary 3] that δ satisfies the Keane condition, and from [Yoc06, corollary 4] that ϕ is primitive. Theorem 2.8. Let δ = (π, λ) be a self-induced CIET and let ϕ be the associated δ-automorphism. Define the δ-subshift Σ δ and the attracting subshift Σ ϕ of ϕ. We have Σ δ = Σ ϕ. Proof. Recall that since δ satisfies the Keane condition, the set Σ δ (0) contains exactly one point Z. Thanks to theorem 2.3, we only need to prove Z is in Σ ϕ. 12

Let n be the smallest positive integer such that R n (δ) = δ = (π, λ ) with π = π and λ = ηλ (η > 0). Observe that Σ δ (0) = Σ δ (0) = {Z}. We deduce from proposition 2.6 that 2 ϕ(z) = Z. Define Z = (X, Y ). Considering any letter Y n (resp. Xn 1 ) is an element of A N and since ϕ is A N -positive primitive, it is easy to see that Y = lim n + ϕn (Y 0 ) and X = lim n + ϕn (X 0 ). To complete the proof, we also need to prove that the word X0 1 Y 0 is contained in ϕ k (a) for some k 1 and a A N. By definition, Y 0 = π0 1 (0) and X 1 0 = π1 1 (0). Observe D(δ Y0 ) D(δ X0 ) (where D denotes the domain) is not trivial. By minimality, there exists a point x in D(δ Y0 ) D(δ X0 ) and a positive integer n such that S n (Z) Σ δ (x), and we deduce the word X 1 0 Y 0 is contained in ϕ k (Y 0 ) for some k. We conclude Z is a point of Σ ϕ and Σ δ = Σ ϕ. The ability to decompose a δ-automorphism by following a path in a Rauzy class is one of the key ideas of the algorithm. Given a positive primitive automorphism ϕ, the algorithm will attempt to decompose ϕ into Dehn twists by applying a combinatorial version of the Rauzy induction on its attracting subshift Σ ϕ using the ϕ-singularities. An important issue is that multiple automorphisms may have the same attracting subshift (and therefore the same singularities) but may not all be decomposable along a path in a Rauzy class. Starting with an automorphism ϕ, one of the first step of the algorithm will be to choose an automorphism ψ with Σ ψ = Σ ϕ which we know will be a viable candidate for the decomposition. To that end, we study automorphisms that share their attracting subshifts with a δ-automorphism in the following sections. 2.3.1 Singularities of a δ-automorphism First, we relate the singularities of the CIET δ with the singularities of the δ-automorphism. Let δ be a self-induced CIET and ϕ its δ-automorphism. Observe that for any δ-singularity x, the set Σ δ (x) is a ϕ-singularity: we can easily deduce that there must exist an automorphism i w ϕ k such that 2 (i w ϕ k ) fixes all the points of Σ δ (x) = {(U, V ), (U, V )} by noticing that since U = U (resp. V = V ) if x is a forward (resp. backward) δ-singularity, we also have 2 ϕ(u, V ) = (X, Y ) and 2 ϕ(u, V ) = (X, Y ) with X = X (resp. Y = Y ). In fact, this is also true for k = 1. Proposition 2.9. For any singularity Ω, there exists w F N such that i w ϕ fixes Ω. Proof. Define δ = (π, λ). Let n be the smallest integer such that R n (δ) = δ = (π, λ ) with π = π and λ = ηλ for some positive real number η. Recall (proposition 2.6) that for any point x [0, λ ), we have Σ δ (x) = 2 ϕ(σ δ (x)). We deduce from π = π together with proposition 2.7 that if x is the ith (from the left) forward (resp. backward) δ -singularity, then there exists a word u = u 0 u 1... u p with letters in A N (resp. A 1 N ) such that δ u p δ u0 (x) is the ith (from the left) forward (resp. backward) δ-singularity. This last property tells us any ϕ-singularity Ω is globally invariant by i w ϕ for some w: we have 2 (i w ϕ)(ω) = Ω. We conclude each point of Ω is in fact fixed by using π = π again. Note that this property is quite specific to δ-automorphisms. In the general case, we often need to consider powers of a given automorphism to fix its singularities. 13

2.3.2 Different positive primitive automorphisms may have the same attracting subshift Following from [BFH97], if ϕ and ψ are two A N -positive primitive automorphism with i u ψ k = ϕ h for some u F N and k, h 1, then Σ ϕ = Σ ψ. It is unclear in the general case if other automorphisms sharing the attracting subshift may be found. Our algorithm will attempt to decompose a given automorphism ϕ along paths of Rauzy classes in order to determine if it comes from a CIET. The issue is that such a decomposition may not exist for ϕ, but may exist for another automorphism ψ with a similar attracting subshift. In proposition 2.10, we study automorphisms which share their attracting subshift with the δ-automorphism of a CIET δ. This will provide us with a way to determine which automorphisms are good candidates for the decomposition. Proposition 2.10. Let ψ is an A n -positive automorphism such that Σ ψ = Σ ϕ and let k be a positive integer such that any ϕ-singularity Ω is fixed by i w ψ k for some w F N. Then there exists u F N such that 2 (i u ψ k )(Z) = Z and we have i u ψ k = ϕ h for some positive integer h. Proof. First, note that the set of ψ-singularities is the set of ϕ-singularities: this is obvious since Σ ψ = Σ ϕ. Define Z = (X, Y ) and observe there exists a backward ϕ-singularity containing the point (U, V ) = Y0 1 Z (where Y 0 is the first letter of Y ). We know there exists v F N such that 2 (i v ψ k )(U, V ) = (U, V ) and we deduce 2 (i u ψ k )(Z) = Z for u = ψ k (Y 0 )vy0 1. In order to prove that i u ψ k = ϕ h for some h > 0, we are going to use results on pseudo-anosov homeomorphisms on translation surfaces. We refer to [Vee82] for the original construction of pseudo-anosov homeomorphisms using interval exchange transformations and to [BL10] for a nice summary of the necessary definitions and results. General results on homeomorphisms on surfaces may also be found in [FLP79]. A homeomorphism f on a surface S (we assume it has a boundary component) is pseudo- Anosov if there exist two transversely measured foliations (F s, µ s ) and (F u, µ u ), respectively called the stable and unstable foliations, such that f(f s ) = η 1 F s and f(f u ) = ηf u for some real number η > 1. The action of the map f on the fundamental group of S can be seen as a free group automorphism whose attracting subshift is a combinatorial interpretation of the stable foliation. We associate (as in [Vee82] or [BL10]) a translation surface S δ to our self-induced CIET δ. In [Vee82], Veech gives an interpretation on S δ of the Rauzy induction; the transformation is referred to as the Rauzy-Veech induction. The following result is attributed to Veech in [BL10]. It should be understood up to composition by a conjugacy. Theorem 2.11 ([Vee82]). All pseudo-anosov homeomorphisms of S δ that fix a separatrix are obtained by Rauzy-Veech inductions. A separatrix is a half leaf of the stable foliation that is attached to a singularity of S δ. A point x S δ belonging to a leaf L is a singularity if the combinatorial interpretation of L with marked point x is a point (U, V ) of a ϕ-singularity; the left end point and the right end point of the interval are also considered singularities. Hence, a separatrix is interpreted combinatorially as a point X F N such that there exists Y F N such that (X, Y ) (resp. (Y, X )) belongs to a ϕ-singularity or is the orbit of the left end point or right end point of the interval; such a point is called a combinatorial separatrix. 14

It is possible that the homeomorphism ψ k (induced on F N by ψ k ) does not fix a combinatorial separatrix. In that case, we prove that we can work with an A N -positive automorphism ψ = i v ψ k that fixes a ϕ-singularity ( ψ will then fix combinatorial separatrix). Recall we assumed any ϕ-singularity is fixed by i w ψ k for some w. Suppose ψ k does not fix a combinatorial separatrix. Then ψ k does not fix a ϕ-singularity. We also deduce that there must exist a letter a 0 A N such that a 0 is the first letter of ψ k (a 0 ) (otherwise there would be a ϕ-singularity that is fixed by some power of ψ k but not by ψ k ). Moreover, if i w ψ k fixes the ϕ-singularity Ω = {(X, Y ), (X, Y )}, then the first letter of w is also the first letter of both ψ k (Y 0 ) and ψ k (Y 0). Applying this to all ϕ-singularities, we deduce a 0 is the first letter of ψ k (a) for any a A N. Similarly, one can prove there exist a letter b 0 which is the last letter of ψ k (a) for any a A N. We can then obtain an A N -positive automorphism ψ = i v ψ k that fixes a ϕ-singularity. We simply assume ψ k fixes a singularity. Both ϕ and ψ k are seen as the action of pseudo- Anosov homeomorphisms fixing separatrix on the fundamental group of S δ, and we deduce from theorem 2.11 that there exist two positive integers i and j such that (i u ψ k ) i = ϕ j. We conclude with the definition of the δ-automorphism and proposition 2.9. Effectively, this proposition tells us the decomposition should be attempted on automorphisms which fix all singularities, and which also fix a certain point Z that will correspond to the left most point of the interval. 2.3.3 Rauzy inductions happen on the right Our definition of self-induction is somewhat non canonical because the Rauzy induction always happens on the right. As we mentioned, the algorithm will attempt a combinatorial version of the Rauzy induction using only the attracting subshift of a given automorphism. As the combinatorial nature of the process does not provide a clear definition of left and right, the very first induction will require an arbitrary choice for the right side. The aim of the present section is to give us an easy way to make this choice. Consider a self-induced CIET δ = (π, λ). Define the CIET δ = (π, λ) such that, for any a A N, we have π 0(a) = N 1 π 0 (a) and π 1(a) = N 1 π 1 (a). We will say that δ is the mirror of δ. The CIETs δ and δ are essentially the same (if δ is the CIET on the interval [0, λ ], then δ can be seen as the same CIET on [ λ, 0]) and we have Σ δ = Σ δ. However, δ may not be auto-induced in our sense. For example, let η be the greatest root of η 2 4η + 1. Define λ a = 2η 1, λ b = η and λ c = 2η. Also define the permutations π = ( a b c c a b ) and π = ( c b ) a b a c and the CIETs δ = (π, λ) and δ = (π, λ). We obtain R 5 (δ) = (π, η 1 λ), so δ is effectively self-induced. However, for any positive integer n, there will never be a real number η such that R n (δ ) is the CIET (π, η λ): a simple iteration shows that we obtain R 5 (δ ) = (π, λ ) with π = ( c a ) b b a c 1 and λ = η 2 1 15

and R 5 (π, λ ) = (π, η 1 λ ). It is reasonable to think this is the general behavior of self-induced CIETs. Namely, if δ is a self-induced CIET and we define δ as above, then the path of the Rauzy graph associated to δ is eventually periodic. Proposition 2.12. Let δ = (π, λ) be a self-induced CIET and let δ = (π, λ) be its mirror. Define ϕ as the δ-automorphism, Σ δ (0) = {Z} and Σ δ ( λ ) = Σ δ (0) = {Z }. The CIET δ is self-induced if and only if the automorphism i u ϕ such that 2 (i u ϕ)(z ) = Z is A N -positive. Proof. Note that the existence of a word u F N such that 2 (i u ϕ)(z ) = Z is a consequence of proposition 2.9. If δ is self-induced, we deduce i u ϕ is A N -positive from the definitions of the δ-automorphism and δ -automorphism along with proposition 2.10. Assume ψ = i u ϕ is A N -positive and consider the CIET δ on the interval [0, λ ]. For any a A N, define I a [0, λ ] (resp. I a 1 [0, λ ]) as the set of points x such that there exists (U, V ) Σ δ with V 0 = a (resp. U 0 = a 1 ) such that 2 ψ(u, V ) Σ δ (x). Define the system of partial isometries δ = (δ a) a AN where for any a A N, the map δ a : I a I a 1 is a translation. We want to show that δ = R n (δ ) for some positive integer n. First, we prove δ is effectively a CIET. For any a A N, the set I a (resp. I a 1) is a closed interval; if it were not, the domain of δ a (resp. δ a ) would not be a closed interval either. Define 1 Z = (X, Y ). Since 2 ψ(z ) = Z, both I Y0 and I X0 contain 0. We deduce from proposition 2.9 that for any a, b A N, I a I b (resp. I a 1 I b 1) contains (exactly) one point if and only if π 0 (a) π 0 (b) = 1 (resp. π 1 (a) π 1 (b) = 1) and is empty otherwise. Hence, δ is a CIET and we have δ = (π, λ ) with π = π. Moreover, we have λ = ηλ for some positive real number η; if this were not the case, we would easily deduce Σ δ (0) {Z } from minimality. Also, as a consequence of [CS01, proposition 6.2], δ is a first return system (with respect to remark 2.5). We conclude by using [Vee82, proposition 8.9] and [Rau79, theorem 23] which state a first return system on [0, λ ] has (exactly) N 1 singularities if and only if it can be obtained by Rauzy inductions. 3 The algorithm Theorem 2.8 is especially useful because it allows us to translate obvious geometric properties into combinatorial properties. The important point here is, given a CIET δ satisfying the Keane condition, the attracting subshift of the δ-automorphism must contain pairs of points representing the coding of the orbits of the δ-singularities. This is the main idea of the algorithm below. Starting with a self-induced CIET δ, we have constructed in the previous section the δ- automorphism using Rauzy inductions. The algorithm will attempt to execute this process in reverse by decomposing a positive primitive automorphism into Dehn twists, using a combinatorial interpretation of the Rauzy induction. If an automorphism ϕ is a δ-automorphism for some CIET δ, then the ϕ-singularities will be exactly the δ-singularities, and in this case, we can perform (combinatorial) Rauzy inductions using only the singularities. In the general case however, the set of singularities of a positive primitive automorphism can be quite different from the set of singularities of a CIET, and Rauzy inductions may not be possible. In section 3.1, we give a list of conditions on the attracting subshift (and in particular the singularities) of a positive primitive automorphism that are necessary for Rauzy inductions to be possible. The final algorithm is detailed in section 3.2; it consists in checking the necessary conditions of section 3.1 and applying combinatorial 16

Rauzy inductions until the induction fails (in which case we conclude the automorphism does not come from a CIET) or the automorphism is successfuly decomposed (in which case we can easily deduce the underlying CIET). 3.1 The necessary conditions Let δ = (π, λ) be a self-induced CIET and let ϕ be its δ-automorphism. We explicit a list of conditions that are satisfied by both ϕ and Σ ϕ. As the algorithm attempts to decompose an automorphism into Dehn twists, we will use these conditions to determine if a Rauzy induction is possible; failing one of them will immediately stop the algorithm. Some of these conditions are deliberatly overly detailed to prepare for the algorithm. (C 1) Following from proposition 2.1, there is exactly 2N 2 distincts ϕ-singularities {Ω 0,..., Ω 2N 3 }, each containing exactly 2 points. (C 2) From corollary 2.2, we can order the ϕ-singularities so that for any 0 i N 2, and for any N 1 j 2N 3, Ω i = {(U (i), V (i) ), (U (i), V (i) )} with U (i) = U (i) Ω j = {(U (j), V (j) ), (U (j), V (j) )} with V (j) = V (j). (C 3) Define the forward graph G + (resp. backward graph G ) as the graph whose nodes are the elements of A N and there is an (unoriented) edge from a to b if there exists 0 i N 2 (resp. N 1 j 2N 3) such that a and b (resp. a 1 and b 1 ) are the first letters of V (i) and V (i) (resp. U (j) and U (j) ); such an edge is labeled by a 0 if a 1 0 (resp. a 0 ) is the first letter of U (i) (resp. V (j) ) (see the example in appendix B). Define the distance between two nodes (resp. a node and an edge) as the number of edges contained in the path joining one to the other (note: conventionnally, the path joining a node a to an edge e does not contain e). We get the following conditions from theorem 2.8. (C 3.1) Both graphs are connected and each one contains two nodes of degree (the number of adjacent edges) 1 while all the others have degree 2. (C 3.2) Observe that π0 1 (0) = α (resp. π 1 1 (0) = β) is a node of G + (resp. G ) with degree 1. Moreover, for any node a of G + (resp. G ), π 0 (a) (resp. π 1 (a)) is given by the distance between a and α (resp. a and β). (C 3.3) Let e a and e b be two edges of G + (resp. G ) labeled a and b respectively and suppose a b. Then π 1 (a) < π 1 (b) (resp. π 0 (a) < π 0 (b)) if and only if e a is closer to α (resp. β) than e b. It may happen that all the edges of G + have a common label β 0 and all the edges of G have a common label β 1. In that case, we prove the following proposition. Proposition 3.1. We have β 0 = β 1 and {π 0 (β 0 ), π 1 (β 0 )} = {0, N 1}. 17

Proof. Since all the forward δ-singularities are contained in the domain [y β0, y β 0 ] of δ β 1, there exist a, b A N with a b such that y β0 (resp. y 0 β 0 ) is in the domain of δ a (resp. δ b ). If π 1 (β 0 ) is neither 0 nor N 1, then both y β0 and y β 0 are backward δ-singularities and we have a contradiction. Obviously, the same reasoning tells us π 0 (β 1 ) must also be either 0 or N 1. We deduce λ β0 > λ a and λ β1 > λ a and conclude β 0 = β 1. Finally, we observe a β 0 a β 1 the equality π 0 (β 0 ) = π 1 (β 0 ) contradicts the Keane condition. (C 4) Define α 0 = π0 1 (N 1) and α 1 = π1 1 (N 1). There is exactly one point (U, V ) of one ϕ-singularity Ω such that U0 1 = α 1 and V 0 = α 0. The ϕ-singularity Ω contains a point (U, V ) with U U if and only if δ has type 0. (C 5) If Σ δ (0) = {Z}, then 2 ϕ(z) = Z. We conjecture that condition (C 1) is a (necessary and) sufficient condition for the attracting subshift of an A N -positive primitive automorphism to be the subshift of a CIET. Conjecture 3.2. If ψ is an A N -positive primitive automorphism satisfying condition (C 1), then there exists a self-induced CIET δ such that Σ δ = Σ ψ. In particular, ψ also satisfies (C 2) and (C 3) and if ϕ is the δ-automorphism, then i u ψ k = ϕ h for some h, k 1 and u F N. 3.2 The algorithm The algorithm is based on the ability to identify the singularities of an A N -positive primitive automorphism. The reader is referred to [Jul10] for a complete approach of the problem; the relevant results of [Jul10] are summarized in appendix A. The algorithm does not pretend to be optimal. It may surely be improved in many ways, as there are many more necessary conditions than the ones we have listed. In fact, the aim here is to present a minimal list of such conditions. Another good point is that the approach we use is fully combinatorial. Let ψ be an A N -positive primitive automorphism. The following algorithm will determine in a finite time if its attracting subshift Σ ψ is equal to Σ δ for some CIET δ. An example is detailed in appendix B. (1) List the ψ-singularities using the algorithm of [Jul10]. Stop if conditions (C 1) and (C 2) are not both satisfied. (2) Define the forward graph G + and the backward graph G as in condition (C 3), and stop if condition (C 3.1) is not satisfied. We now define a pair π = (π 0, π 1 ) with π 0, π 1 : A N {0,..., N 1} that will agree with condition (C 3.2). Choose a node α with degree 1 in G +. For any a A N, define π 0 (a) as the distance between a and α. If G + contains two edges with distinct labels, apply (2.1). If all the edges of G + have the same label and G contains two edges with distinct labels, apply (2.2). Apply (2.3) otherwise. (2.1) Choose two edges e a and e b of G + labeled a and b with a b and such that e a is closer to α than e b. Choose the node β of degree 1 of G such that a is closer to β than b. For any a 0 A N, define π 1 (a 0 ) as the distance between the nodes a 0 and β. 18