
    of the KZB Classification Theorem
---

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 precedent paper [@DS17] as well as the one of Fickenscher [@Fic16] proposed an ad hoc combinatorial proof of this classification.

However, unlike those two previous combinatorial proofs, we develop in this paper 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 third combinatorial proof of the classification. The method is versatile and will be used to classify three other Rauzy-type dynamics in follow-up articles.

Another feature of this paper is to introduce an algorithmic method to work with the sign invariant of the Rauzy dynamics. With this method we can prove most of the identities appearing in the literature so far ([@KZ03],[@Del13] [@Boi13] [@DS17]...) in an automatic way.

The sign invariant {#sec.signinv}
==================

Arf functions for permutations {#ssec.arf_inv}
------------------------------

For $\s$ a permutation in $\kS_n$, let () = \# { 1i&lt;j n | (i)&lt;(j) } i.e. $\chi(\s)$ is the number of pairs of non-crossing edges in the diagram representation of $\s$.

Let $E=E(\s)$ be the subset of $n$ edges in $\cK_{n,n}$ described by $\s$. For any $I \subseteq E$ of cardinality $k$, the permutation $\s|_{I} \in \kS_k$ is defined in the obvious way, as the one associated to the subgraph of $\cK_{n,n}$ with edge-set $I$, with singletons dropped out, and the inherited total ordering of the two vertex-sets.

Define the two functions $$\begin{aligned}
of the KZB Classification Theorem 
 --- 

 Rauzy - type dynamics are group actions on a collection of combinative object. The first and best know exemplar (the Rauzy dynamics) concerns an military action on permutations, associated to time interval substitution transformations (IET) for the Poincaré function on compact orientable translation surfaces. The equivalence class on the objects induced by the group action have been classified by Kontsevich and Zorich, and by Boissy through methods involve both combinatorics algebraic geometry, topology and dynamical systems. Our common law paper [ @DS17 ] as well as the one of Fickenscher [ @Fic16 ] proposed an ad hoc combinatorial proof of this categorization. 

 However, unlike those two previous combinatorial proof, we develop in this paper a general method acting, called the labelling method, which allows one to classify Rauzy - type dynamics in a a lot more taxonomic room. We apply the method to the Rauzy dynamics and obtain a third combinatorial proof of the classification. The method is versatile and will be use to classify three other Rauzy - character moral force in follow - up articles. 

 Another feature of this paper is to bring in an algorithmic method acting to work with the sign invariant of the Rauzy dynamics. With this method acting we can prove most of the identities appearing in the literature so far ([ @KZ03],[@Del13 ] [ @Boi13 ] [ @DS17 ] ...) in an automatic way. 

 The sign changeless { # sec.signinv } 
 = = = = = = = = = = = = = = = = = = 

 Arf functions for permutations { # ssec.arf_inv } 
 ------------------------------ 

 For $ \s$ a permutation in $ \kS_n$, let () = \ # { 1i&lt;j n | (i)&lt;(j) } i.e.   $ \chi(\s)$ is the number of pairs of non - crossing edges in the diagram theatrical performance of   $ \s$. 

 lease $ E = E(\s)$ be the subset of $ n$ edges in $ \cK_{n, n}$ described by $ \s$. For any $ I \subseteq E$ of cardinality $ k$, the substitution $ \s|_{I } \in \kS_k$ is defined in the obvious way, as the one associated to the subgraph of $ \cK_{n, n}$ with edge - set $ I$, with singletons dropped out, and the inherited total order of the two vertex - sets. 

 Define the two functions $ $ \begin{aligned }

    of the KZB Classificatiun Theorem
---

Rauzy-jype dynemics ade group actions on a collection of rombunatoeial objects. The first and best known ezampow (the Rauzb dynamigf) cohgerns en action on petmutations, avsociated to ittdrral exchange transformations (IET) for the Poonfaré map on comkact pwienfable translation surfaces. The equjvalenct classes on the onjects induced by the grouo achion have been cladsified by Jontfwvich and Zofich, and bj Boissy thtough methods involving both comcinatprics algevrqic ceometry, to'ology and dynamical systeks. Our lrecedent papev [@DS17] es wwll as the one of Ficnenscher [@Fic16] propofed an ad hkc combinatorial priof ox thhs cuqsskfidavioh.

Howevfr, nnlike thoss two previius combinatorial ptojds, we develop in thys paper a general method, called the labenlihg method, which allows ine to classify Rauzy-jype dynamycs in a much more systematic way. We apply the medhod vo tht Vwjzy dynamics and obtain a third combinatorial prjkf on the classificabion. The method is vfrxwtile and wilu be used to classify three other Tauzy-ttpe dynamycs on follow-up articles.

Another feature of nhis paper is to introbuce an algoxithmiv metnod to work with the siyn invzriant of tje Rauzy shnamics. With thir mvthog we can prove most of the identitixs ap'earing kn tne litqrature so far ([@KZ03],[@Del13] [@Boi13] [@DS17]...) in an wutomctic fay.

The sigj invariant {#sec.signinv}
==================

Arf functmpns for permotadiots {#ssec.axf_inv}
------------------------------

Fpr $\s$ a permutwtion in $\kS_n$, lgt () = \# { 1i&lc;j n | (k)&lt;(j) } i.e. $\chp(\s)$ is the number of [airs of non-cslssing edges in the qiageam eepresevgation of $\s$.

Let $R=E(\s)$ be thv fubswt of $n$ edges in $\cL_{n,n}$ sescribed by $\s$. Yut any $I \subsetea E$ of cwrvinalydy $k$, the perkutagiov $\s|_{I} \iv \kS_k$ is denindd im the obvious way, as the one associated to tme subgrakh of $\cK_{n,g}$ with edge-sey $I$, with singletond dro'ped ont, and thg inherited total ordering of tge two vegtew-sets.

Define tre tqo functions $$\begin{aligned}
of the KZB Classification Theorem --- Rauzy-type group on a of combinatorial objects. example Rauzy dynamics) concerns action on permutations, to interval exchange transformations (IET) for Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects by the group action have been classified by Kontsevich and Zorich, and by through involving combinatorics geometry, topology and dynamical systems. Our precedent paper [@DS17] as well as the one of Fickenscher proposed an ad hoc combinatorial proof of this However, unlike those two combinatorial proofs, we develop in paper general method, the method, allows one to Rauzy-type dynamics in a much more systematic way. We apply the method to the Rauzy dynamics and a third of the The is and will be classify three other Rauzy-type dynamics in feature of this paper is to introduce an method to with the sign invariant of the dynamics. With this method we can prove most the identities appearing in the literature so far ([@KZ03],[@Del13] [@Boi13] [@DS17]...) in an automatic way. invariant {#sec.signinv} ================== Arf for permutations {#ssec.arf_inv} For a in let () \# { 1i&lt;j n | (i)&lt;(j) } i.e. $\chi(\s)$ is the of pairs of non-crossing edges in the diagram representation of $E=E(\s)$ the subset of edges in $\cK_{n,n}$ described $\s$. any $I \subseteq E$ $k$, permutation is in obvious way, as the associated to the subgraph of with edge-set $I$, with inherited total ordering of the two vertex-sets. Define two functions $$\begin{aligned}

    of the KZB Classification TheOrem
---

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 prECedent pAPer [@DS17] as Well as The One Of FiCKeNsCheR [@FIC16] prOPoSed AN ad Hoc combiNaToRial pRoof OF THIs clAssIficAtion.

however, unlike ThoSe twO PreVious CombiNatoRiAl proOfs, we dEveloP iN this paper 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 third coMbinatORiAl Proof of ThE classIfIcaTioN. The mEThod Is versAtile and Will bE Used to classify THree other RauzY-TyPE DyNAmicS in Follow-up artIcleS.

anotHer fEAtUre OF this Paper Is TO iNTroduce an algorithmiC mEthod tO work With the sign inVariant of tHE rAuzy dynaMics. wItH This method we caN provE most of the IDentitieS appeAring in tHe literatURE so far ([@KZ03],[@del13] [@boi13] [@dS17]...) iN an AUToMatic way.

The siGN InvaRiAnt {#sec.sIgnInv}
==================

Arf fUncTioNs fOr pErMutations {#Ssec.arf_iNv}
------------------------------

foR $\s$ A pErmUtatiON in $\kS_n$, leT () = \# { 1i&Lt;j N | (i)&Lt;(j) } I.e. $\chi(\S)$ Is the nUmber Of paIrS oF Non-CrossinG EdGES in tHe DiAgraM rePrEsentAtioN Of $\s$.

let $E=E(\s)$ bE the subseT of $N$ EdgeS iN $\ck_{n,n}$ descRibed by $\s$. For anY $I \Subseteq E$ oF cArdInalitY $K$, The permuTation $\s|_{I} \in \kS_k$ is defined iN The obviOus Way, as The oNe associaTed To the sUbgRAph of $\ck_{n,n}$ witH edge-SeT $I$, wITH singLEToNs dRoPped out, and THE inHeritEd TotaL orderiNg of the two vertex-seTS.

DeFine the two funCtiOns $$\bEGIn{AliGNeD}

    of the KZB Classifica tion Theor em
-- -
Rau zy -typ e dy namics are gro u p ac tions on a collectionof co mb i nato r ia l obj ects. T h ef i rst  a nd  be st kn own e xam ple (th e Rauzy dy nam ic s) concernsa naction onper mutations, a sso ciated  t o i n terva l e xchan ge tra n sforma tions (IE T) for th e  Poinca r é  m ap o n compact orienta b le translation su rfaces .T he e qui val ence class es  on t h e objec t si n d uce d  by the group  action hav e  be en cla ss ifi e d by K ontse vi c h a nd Zorich,andby Boissy  throu g h metho d s invol ving b oth  co mbin a to ri csal g ebr a ic  ge o met ry, topo lo gy  anddyna m i c a l sy ste ms.Our p recedent pape r [ @DS1 7 ] a s wel l astheon e ofFicken scher  [ @Fic16] propose d an  ad hoc c omb in ato ri al pr o of ofthi s c lassifi cation. 
Ho we v e r ,unlike those two p re v i ou s combin atoria l  p ro o fs, we d ev elo p in t his p aper ageneralmethod ,  c al led the  l abelli ng  me tho d, wh i ch a llowsone to c lassi f y Rauzy-type d y namics in a m u ch m or e  sys tem atic way. W e ap p ly t he m e th odt o the  Rauz yd yn a mics and obtain a t hi rd com binat orial proof o f the clas s i f ication.  The me t hod is versati le an d will beu sed to c lassi fy three  other Ra u z y-type d yna mic s i n f o l lo w-up articles . 
Ano th er feat ure  of thi s p ape r i s t ointroduce  an algo ri th mi cmet hod t o  work wi th  th esig n inv a riantof th e Ra uz yd yna mics. W i th t hisme th od w e c an  prov e mo s t o f the i dentities  ap p eari ng  i n the l iterature sofa r ([@KZ03] ,[ @De l13] [ @ B oi13] [@ DS17]...) in an automat i c way.
Th e sig n in variant { #se c.sign inv } 
===== ====== ===== == 

A r f  func t i on s f or  permutati o n s { #ssec .a rf_i nv}
--- ------------------ - --- -----

For $\ s$a pe r m ut ati o ni n $ \k S _n$ , let () = \# { 1 i&lt;j n |  ( i )& lt;(j) } i . e.$\ chi(\s) $ is th e num b er of p airs of n on-crossi ng  edg e s  in  the diagr am repre sentation of $\ s $. 

Let  $E =E(\s) $bethe s ubseto f $ n$ ed ges in  $ \cK_{n ,n}$de scribedby $\s$. For any $I \su bseteq  E$ o f c ardinalit y $ k $,the permu tati on $\s|_{I } \ in\kS_k $ i s  defi nedi nthe obvio us w a y, as the on e a s s oc iated to th e s ubg raphof$ \cK_{n ,n}$  with edge-set $I $ , with singlet onsd r opp edo ut,an d the inherite d t ot a l  orderin gof the twovertex-s et s .

De fine t he two  functi o n s$ $\begi n{al ign ed}

 _ _of the KZB Classification_Theorem
---

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 precedent paper [@DS17] as well_as the one_of_Fickenscher_[@Fic16] proposed an ad_hoc combinatorial proof of this classification.

However,_unlike those two previous combinatorial proofs,_we develop in this paper 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 third combinatorial proof_of the classification._The method is versatile and will_be_used to classify_three_other_Rauzy-type dynamics_in follow-up articles.

Another_feature_of this_paper_is to introduce an algorithmic method_to_work with the sign invariant of the_Rauzy dynamics. With this_method_we can prove most_of the identities appearing in_the literature so far ([@KZ03],[@Del13] [@Boi13]_[@DS17]...) in_an automatic_way.

The sign invariant {#sec.signinv}
==================

Arf functions for permutations {#ssec.arf_inv}
------------------------------

For $\s$ a permutation_in $\kS_n$, let () = \#_{ 1i&lt;j n |_(i)&lt;(j) }_i.e. $\chi(\s)$_is the number_of_pairs of_non-crossing edges in the diagram representation of $\s$.

Let_$E=E(\s)$ be_the subset of $n$ edges in_$\cK_{n,n}$ described by $\s$._For_any $I \subseteq E$ of cardinality_$k$, the permutation $\s|_{I} \in \kS_k$_is defined in the obvious_way,_as_the one associated to the_subgraph of $\cK_{n,n}$ with edge-set $I$,_with singletons dropped_out, and the inherited total ordering of_the_two vertex-sets.

Define the two functions $$\begin{aligned}