arXiv++ Combinatorics

Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich in [KZ03] and correspond bijectively to the connected components of the strata of the moduli space of abelian differentials. In a paper [Boi14] Boissy proposed a Rauzy-type dynamics that acts on a subset of the permutations (the standard permutations) and conjectured that the Rauzy classes of this dynamics are exactly the Rauzy classes of the Rauzy dynamics restricted to standard permutations. In this paper, we apply the labelling method introduced in [D18] to classify this dynamics thus proving Boissy's conjecture. Finally, this paper conclude our serie of three papers on the study of the Rauzy dynamics by presenting two new results on the Rauzy classes: An quadratic algorithm for outputting a path between two connected permutations and a tight $Θ(n)$ bound on the diameter of the Rauzy classes for the alternating distance.

Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich, and by Boissy through methods involving both combinatorics algebraic geometry, topology and dynamical systems. Our first paper proposed an ad hoc combinatorial proof of this classification. In this paper we define a general method, called the labelling method, which allows one to classify Rauzy-type dynamics in a much more systematic way. We apply the method to the Rauzy dynamics and obtain a second combinatorial proof of the classification.

Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action are related to components of the moduli spaces of Abelian differentials with prescribed singularities, and, in two variants of the problem, have been classified by Kontsevich and Zorich, and by Boissy, through methods involving both combinatorics and algebraic geometry. We provide here a purely combinatorial proof of both classification theorems, and in passing establish a few previously unnoticed features. As will be shown elsewhere, our methods extend also to other Rauzy-type dynamics, both on labeled and unlabeled structures. Some of these dynamics have a geometrical interpretation (e.g., matchings, related to IET on non-orientable surfaces), while some others do not have one so far.