permutations ew tableaux and the abelian sandpile model
play

Permutations, EW -tableaux, and the Abelian sandpile model on - PowerPoint PPT Presentation

Permutations, EW -tableaux, and the Abelian sandpile model on Ferrers graphs Thomas Selig joint work with Mark Dukes, Jason P. Smith and Einar Steingr msson University of Strathclyde, Glasgow, UK December 11, 2017 Thomas Selig


  1. Permutations, EW -tableaux, and the Abelian sandpile model on Ferrers graphs Thomas Selig joint work with Mark Dukes, Jason P. Smith and Einar Steingr´ ımsson University of Strathclyde, Glasgow, UK December 11, 2017 Thomas Selig Permutations and the ASM on Ferrers graphs

  2. Ferrers graphs Definition A Ferrers graph G = { B , T } of size n is a bipartite graph on the vertex set [ n ] := { 0 , 1 , . . . , n } = B ⊔ T , with 0 ∈ B , such that ( b , t ) ∈ E ( G ) iff b < t . Thomas Selig Permutations and the ASM on Ferrers graphs

  3. Ferrers graphs Definition A Ferrers graph G = { B , T } of size n is a bipartite graph on the vertex set [ n ] := { 0 , 1 , . . . , n } = B ⊔ T , with 0 ∈ B , such that ( b , t ) ∈ E ( G ) iff b < t . N.B.: G = { B , T } is connected iff n ∈ T . Assume this is the case. Write G ( n , B ) for B ⊆ [ n − 1] with 0 ∈ B . Thomas Selig Permutations and the ASM on Ferrers graphs

  4. Ferrers graphs Ferrers graphs are in 1-1 correspondence with Ferrers diagrams. 10 8 7 5 4 2 0 1 2 3 5 4 6 8 7 0 1 3 6 9 9 10 G ( F ) F Label rows and columns of the Ferrers diagram 0 , 1 , . . . , n from top-right to bottom-left (SE border). B = { rows } ; T = { columns } ; E ( G ) = { cells } . Thomas Selig Permutations and the ASM on Ferrers graphs

  5. The Abelian sandpile model (ASM) Configuration c = ( c 1 , · · · , c n ) ∈ Z n + . 0 is the sink . c i ≡ number of grains of sand at vertex i . 10 8 7 5 4 2 4 0 1 1 0 0 4 3 1 0 0 1 3 6 9 Thomas Selig Permutations and the ASM on Ferrers graphs

  6. The ASM Add grains at random. 10 8 7 5 4 2 4 0 1 1 0 0 5 3 1 0 0 1 3 6 9 Thomas Selig Permutations and the ASM on Ferrers graphs

  7. The ASM Add grains at random. Vertex i is unstable if c i ≥ d i . 10 8 7 5 4 2 4 0 1 1 0 0 5 3 1 1 0 1 3 6 9 Thomas Selig Permutations and the ASM on Ferrers graphs

  8. The ASM Unstable vertices topple, sending one grain along each incident edge. 10 8 7 5 4 2 4 0 1 1 0 0 5 3 1 1 0 1 3 6 9 Thomas Selig Permutations and the ASM on Ferrers graphs

  9. The ASM This may cause other vertices to become unstable. 10 8 7 5 4 2 5 0 1 1 0 0 5 3 1 0 0 1 3 6 9 Thomas Selig Permutations and the ASM on Ferrers graphs

  10. The ASM Unstable vertices topple. The sink absorbs grains. 10 8 7 5 4 2 0 0 1 1 0 0 6 4 2 1 0 1 3 6 9 Thomas Selig Permutations and the ASM on Ferrers graphs

  11. The ASM Process eventually stabilises. Stabilisation does not depend on order of topplings. σ ( c ) := stabilisation of c . 10 8 7 5 4 2 2 1 2 2 1 1 0 4 2 0 0 1 3 6 9 Thomas Selig Permutations and the ASM on Ferrers graphs

  12. The ASM We define a Markov chain on the set of stable configurations Stab ( G ). At each step: 1 Add a grain at a random vertex. 2 Stabilise (in some cases no topplings necessary). Thomas Selig Permutations and the ASM on Ferrers graphs

  13. The ASM We define a Markov chain on the set of stable configurations Stab ( G ). At each step: 1 Add a grain at a random vertex. 2 Stabilise (in some cases no topplings necessary). Under these dynamics, certain configurations appear infinitely often. These configurations are called recurrent , their set is Rec ( G ). Thomas Selig Permutations and the ASM on Ferrers graphs

  14. Minimal recurrent configurations Define a partial order on Rec ( G ): c � c ′ iff c i ≤ c ′ i for all 1 ≤ i ≤ n . Rec min ( G ) := { c ∈ Rec ( G ); c is minimal for �} . Thomas Selig Permutations and the ASM on Ferrers graphs

  15. Minimal recurrent configurations Define a partial order on Rec ( G ): c � c ′ iff c i ≤ c ′ i for all 1 ≤ i ≤ n . Rec min ( G ) := { c ∈ Rec ( G ); c is minimal for �} . n � Define level ( c ) = c i + d 0 − | E ( G ) | . For c ∈ Rec ( G ), we have i =1 0 ≤ level ( c ) ≤ | E ( G ) | − n . The level polynomial of G is � x level ( c ) . Level G ( x ) = c ∈ Rec ( G ) Thomas Selig Permutations and the ASM on Ferrers graphs

  16. Minimal recurrent configurations Define a partial order on Rec ( G ): c � c ′ iff c i ≤ c ′ i for all 1 ≤ i ≤ n . Rec min ( G ) := { c ∈ Rec ( G ); c is minimal for �} . n � Define level ( c ) = c i + d 0 − | E ( G ) | . For c ∈ Rec ( G ), we have i =1 0 ≤ level ( c ) ≤ | E ( G ) | − n . The level polynomial of G is � x level ( c ) . Level G ( x ) = c ∈ Rec ( G ) Fact(??) We have Rec min ( G ) = { c ∈ Rec ( G ); level ( c ) = 0 } . Thomas Selig Permutations and the ASM on Ferrers graphs

  17. Dhar’s burning criterion Theorem (Dhar 89) c := c + 1 A , where A is the Let G = G ( n , B ), c in Stab ( G ). Set ˜ set of neighbours of the sink, and 1 A i = 1 if i ∈ A and 0 otherwise. c is recurrent iff σ (˜ c ) = c . Moreover, in the stabilisation of ˜ c every (non sink) vertex topples exactly once. N.B.: ˜ c ≡ ( c after toppling the sink). Thomas Selig Permutations and the ASM on Ferrers graphs

  18. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Thomas Selig Permutations and the ASM on Ferrers graphs

  19. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Thomas Selig Permutations and the ASM on Ferrers graphs

  20. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Complete graphs (Cori, Rossin 00), parking functions. Thomas Selig Permutations and the ASM on Ferrers graphs

  21. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Complete graphs (Cori, Rossin 00), parking functions. Wheel graphs (Cori, Dartois 04). Thomas Selig Permutations and the ASM on Ferrers graphs

  22. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Complete graphs (Cori, Rossin 00), parking functions. Wheel graphs (Cori, Dartois 04). Complete multipartite graphs K 1 , m 1 ,..., m k with dominating sink (Cori, Poulalhon 02). Thomas Selig Permutations and the ASM on Ferrers graphs

  23. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Complete graphs (Cori, Rossin 00), parking functions. Wheel graphs (Cori, Dartois 04). Complete multipartite graphs K 1 , m 1 ,..., m k with dominating sink (Cori, Poulalhon 02). Complete bipartite graphs K m , n (Dukes, Le Borgne 13, Dukes et al. 14), parallelogram polyominoes. Thomas Selig Permutations and the ASM on Ferrers graphs

  24. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Complete graphs (Cori, Rossin 00), parking functions. Wheel graphs (Cori, Dartois 04). Complete multipartite graphs K 1 , m 1 ,..., m k with dominating sink (Cori, Poulalhon 02). Complete bipartite graphs K m , n (Dukes, Le Borgne 13, Dukes et al. 14), parallelogram polyominoes. Graph decompositions (Dukes, S. 16). Thomas Selig Permutations and the ASM on Ferrers graphs

  25. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Complete graphs (Cori, Rossin 00), parking functions. Wheel graphs (Cori, Dartois 04). Complete multipartite graphs K 1 , m 1 ,..., m k with dominating sink (Cori, Poulalhon 02). Complete bipartite graphs K m , n (Dukes, Le Borgne 13, Dukes et al. 14), parallelogram polyominoes. Graph decompositions (Dukes, S. 16). Count them: Level G ( x ) = T G (1 , x ) where T G =Tutte polynomial (Merino 97, Cori, Le Borgne 03, Bernardi 08). Thomas Selig Permutations and the ASM on Ferrers graphs

  26. Recurrent configurations Question: how to find all recurrent configurations for a given graph or family of graphs? Trees and cycles are easy. Complete graphs (Cori, Rossin 00), parking functions. Wheel graphs (Cori, Dartois 04). Complete multipartite graphs K 1 , m 1 ,..., m k with dominating sink (Cori, Poulalhon 02). Complete bipartite graphs K m , n (Dukes, Le Borgne 13, Dukes et al. 14), parallelogram polyominoes. Graph decompositions (Dukes, S. 16). Count them: Level G ( x ) = T G (1 , x ) where T G =Tutte polynomial (Merino 97, Cori, Le Borgne 03, Bernardi 08). This talk: Ferrers graphs. Thomas Selig Permutations and the ASM on Ferrers graphs

  27. EW -tableaux Definition (Ehrenborg, van Willigenburg 04) An EW -tableau (EWT) T is a 0–1 filling of a Ferrers diagram that satisfies the following properties: 1 The top row of T has a 1 in every cell. 2 Every other row has at least one 0. 3 No four cells of T that form the corners of a rectangle have 0s in two diagonally opposite corners and 1s in the other two. The size of an EWT is the size of the underlying Ferrers diagram. 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 (a) an EWT (b) not an EWT Thomas Selig Permutations and the ASM on Ferrers graphs

  28. EWTs and acyclic orientations G ( F ) F

  29. EWTs and acyclic orientations 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 G ( F ) F

Recommend


More recommend