on rational shi tableaux
play

On (rational) Shi tableaux Robin Sulzgruber 78 th S eminaire - PowerPoint PPT Presentation

Feb 09, 2023 •205 likes •1.36k views

On (rational) Shi tableaux Robin Sulzgruber 78 th S eminaire Lotharingien de Combinatoire March 26 th 29 th 2017 Ottrott France Robin Sulzgruber On (rational) Shi tableaux March 2017 1 / 33 Setting the stage Robin Sulzgruber On

  1. The height of a hyperplane Definition Define the height of a hyperplane H α, k as | ht( α ) − hk | . 13 10 7 4 1 2 5 8 5 13 2 11 [1 , 2 , 3] 1 10 4 14 7 14 11 8 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 8 / 33

  2. Shi alcoves Robin Sulzgruber On (rational) Shi tableaux March 2017 9 / 33

  3. Shi alcoves Theorem (Shi 1987, Athanasiadis 2005, Thiel 2015) The regions of the m -Shi arrangement are in bijection with alcoves whose floors have height less than mh + 1. Robin Sulzgruber On (rational) Shi tableaux March 2017 9 / 33

  4. Shi alcoves Theorem (Shi 1987, Athanasiadis 2005, Thiel 2015) The regions of the m -Shi arrangement are in bijection with alcoves whose floors have height less than mh + 1. 13 10 7 4 1 2 5 8 8 5 [1 , 0 , 5] 13 [ − 2 , 5 , 3] [0 , 1 , 5] [2 , 0 , 4] [4 , 2 , 0] 2 [2 , 1 , 3] [0 , 2 , 4] 11 [2 , 3 , 1] [1 , 2 , 3] [0 , 4 , 2] 1 [3 , 2 , 1] [1 , 3 , 2] [ − 1 , 4 , 3] 10 [3 , 1 , 2] [ − 1 , 3 , 4] 4 14 [1 , − 1 , 6] 7 7 10 14 11 8 5 2 1 4 Robin Sulzgruber On (rational) Shi tableaux March 2017 9 / 33

  5. Robin Sulzgruber On (rational) Shi tableaux March 2017 10 / 33

  6. 19 16 13 10 7 4 1 2 5 14 8 11 [1 , − 3 , 8] 19 8 [5 , 1 , 0] [ − 3 , 5 , 4] 11 [ − 5 , 8 , 3] [0 , − 2 , 8] [5 , 0 , 1] [1 , 5 , 0] [ − 3 , 4 , 5] [2 , − 3 , 7] [7 , 2 , − 3] 5 [0 , 5 , 1] [1 , 0 , 5] [2 , 4 , 0] 16 [5 , 3 , − 2] [ − 2 , 5 , 3] [0 , 1 , 5] [2 , 0 , 4] [4 , 2 , 0] [ − 3 , 7 , 2] 2 [ − 2 , 3 , 5] [2 , 1 , 3] [0 , 2 , 4] [4 , 0 , 2] 14 [3 , − 2 , 5] [2 , 3 , 1] [1 , 2 , 3] [0 , 4 , 2] [ − 1 , 0 , 7] 1 [2 , − 2 , 6] [3 , 2 , 1] [1 , 3 , 2] [ − 1 , 4 , 3] [0 , − 1 , 7] 13 [ − 2 , 2 , 6] [3 , 1 , 2] [ − 1 , 3 , 4] [4 , − 1 , 3] 4 [6 , 2 , − 2] [ − 2 , 6 , 2] [ − 1 , 1 , 6] [3 , − 1 , 4] [4 , 3 , − 1] [ − 4 , 7 , 3] 17 [ − 1 , 6 , 1] [1 , − 1 , 6] [3 , 4 , − 1] 7 10 [6 , 1 , − 1] [ − 4 , 6 , 4] 10 20 [1 , − 4 , 9] 13 7 16 20 17 14 11 8 5 2 1 4 Robin Sulzgruber On (rational) Shi tableaux March 2017 10 / 33

  7. Inverse Shi alcoves Robin Sulzgruber On (rational) Shi tableaux March 2017 11 / 33

  8. Inverse Shi alcoves Theorem (Fishel, Vazirani 2010) The regions of the m -Shi arrangement are in bijection with the alcoves inside the simplex bounded by the hyperplanes of height mh + 1. Robin Sulzgruber On (rational) Shi tableaux March 2017 11 / 33

  9. Inverse Shi alcoves Theorem (Fishel, Vazirani 2010) The regions of the m -Shi arrangement are in bijection with the alcoves inside the simplex bounded by the hyperplanes of height mh + 1. 16 13 10 7 4 1 2 5 11 16 8 8 [1 , 5 , 0] 5 [1 , 0 , 5] 13 [0 , 1 , 5] [2 , 0 , 4] 2 [2 , 1 , 3] [0 , 2 , 4] 11 [2 , 3 , 1] [1 , 2 , 3] [0 , 4 , 2] 1 [3 , 2 , 1] [1 , 3 , 2] [ − 1 , 4 , 3] 10 [ − 2 , 2 , 6] [3 , 1 , 2] [ − 1 , 3 , 4] [4 , − 1 , 3] 4 14 7 14 11 8 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 11 / 33

  10. Robin Sulzgruber On (rational) Shi tableaux March 2017 12 / 33

  11. 22 19 16 13 10 7 4 1 2 5 17 22 14 8 [1 , 8 , − 3] 11 [1 , − 3 , 8] 19 [ − 3 , 1 , 8] [5 , − 3 , 4] 8 [5 , 1 , 0] [ − 3 , 5 , 4] 11 [5 , 0 , 1] [1 , 5 , 0] [ − 3 , 4 , 5] 5 [0 , 5 , 1] [1 , 0 , 5] [2 , 4 , 0] 16 [ − 2 , 5 , 3] [0 , 1 , 5] [2 , 0 , 4] [4 , 2 , 0] 2 [ − 2 , 3 , 5] [2 , 1 , 3] [0 , 2 , 4] [4 , 0 , 2] 14 [3 , − 2 , 5] [2 , 3 , 1] [1 , 2 , 3] [0 , 4 , 2] [ − 1 , 0 , 7] 1 [2 , − 2 , 6] [3 , 2 , 1] [1 , 3 , 2] [ − 1 , 4 , 3] [0 , − 1 , 7] 13 [2 , 6 , − 2] [ − 2 , 2 , 6] [3 , 1 , 2] [ − 1 , 3 , 4] [4 , − 1 , 3] [0 , 7 , − 1] 4 [6 , 2 , − 2] [ − 2 , 6 , 2] [ − 1 , 1 , 6] [3 , − 1 , 4] [4 , 3 , − 1] [ − 4 , 7 , 3] 17 [ − 5 , 2 , 9] [6 , − 2 , 2] [ − 1 , 6 , 1] [1 , − 1 , 6] [3 , 4 , − 1] [ − 4 , 3 , 7] [7 , − 4 , 3] 7 10 10 17 14 11 8 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 12 / 33

  12. A rational analogue Robin Sulzgruber On (rational) Shi tableaux March 2017 13 / 33

  13. A rational analogue Definition Let p be a positive integer relatively prime to the Coxeter number h . An alcove is called p -stable if its inverse lies inside the simplex bounded by the hyperplanes of height p . Robin Sulzgruber On (rational) Shi tableaux March 2017 13 / 33

  14. A rational analogue Definition Let p be a positive integer relatively prime to the Coxeter number h . An alcove is called p -stable if its inverse lies inside the simplex bounded by the hyperplanes of height p . Theorem (Thiel 2015) The number of p -stable alcoves equals p r . The number of dominant p -stable alcoves equals � r 1 ( p + e i ) . | W | i =1 Robin Sulzgruber On (rational) Shi tableaux March 2017 13 / 33

  15. Robin Sulzgruber On (rational) Shi tableaux March 2017 14 / 33

  16. 13 10 7 4 1 2 5 8 8 5 [5 , − 2 , 3] [0 , 5 , 1] [1 , 0 , 5] [2 , 4 , 0] [ − 3 , 2 , 7] 13 [ − 2 , 5 , 3] [0 , 1 , 5] [2 , 0 , 4] [4 , 2 , 0] 2 [ − 2 , 3 , 5] [2 , 1 , 3] [0 , 2 , 4] [4 , 0 , 2] 11 [2 , 3 , 1] [1 , 2 , 3] [0 , 4 , 2] 1 [3 , 2 , 1] [1 , 3 , 2] [ − 1 , 4 , 3] 10 [3 , 1 , 2] [ − 1 , 3 , 4] 4 [ − 1 , 1 , 6] [3 , − 1 , 4] 14 [1 , − 1 , 6] 7 [1 , 6 , − 1] 7 10 17 13 17 14 11 8 5 2 1 4 Robin Sulzgruber On (rational) Shi tableaux March 2017 14 / 33

  17. Robin Sulzgruber On (rational) Shi tableaux March 2017 15 / 33

  18. 16 13 10 7 4 1 2 5 11 16 8 8 [1 , 5 , 0] 5 [5 , − 2 , 3] [0 , 5 , 1] [1 , 0 , 5] [2 , 4 , 0] [ − 3 , 2 , 7] 13 [0 , 1 , 5] [2 , 0 , 4] 2 [ − 2 , 3 , 5] [2 , 1 , 3] [0 , 2 , 4] [4 , 0 , 2] 11 [2 , 3 , 1] [1 , 2 , 3] [0 , 4 , 2] 1 [3 , 2 , 1] [1 , 3 , 2] [ − 1 , 4 , 3] 10 [ − 2 , 2 , 6] [3 , 1 , 2] [ − 1 , 3 , 4] [4 , − 1 , 3] 4 [ − 1 , 1 , 6] [3 , − 1 , 4] 14 7 [1 , 6 , − 1] 7 10 17 13 17 14 11 8 5 2 1 4 Robin Sulzgruber On (rational) Shi tableaux March 2017 15 / 33

  19. Shi tableaux Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  20. Shi tableaux Definition (Fishel, Tzanaki, Vazirani 2011) Let w ( A ◦ ) be a dominant Shi alcove and α ∈ Φ + . Define t mh +1 ( α, w ) as the number of Shi hyperplanes of the form H α, k that separate w ( A ◦ ) and A ◦ . Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  21. Shi tableaux Definition (Fishel, Tzanaki, Vazirani 2011) Let w ( A ◦ ) be a dominant Shi alcove and α ∈ Φ + . Define t mh +1 ( α, w ) as the number of Shi hyperplanes of the form H α, k that separate w ( A ◦ ) and A ◦ . The Shi tableau of w is the collection of the numbers t mh +1 ( α, w ) for α ∈ Φ + . Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  22. Shi tableaux Definition (Fishel, Tzanaki, Vazirani 2011) Let w ( A ◦ ) be a dominant Shi alcove and α ∈ Φ + . Define t mh +1 ( α, w ) as the number of Shi hyperplanes of the form H α, k that separate w ( A ◦ ) and A ◦ . The Shi tableau of w is the collection of the numbers t mh +1 ( α, w ) for α ∈ Φ + . [2 , 0 , 4] [4 , 2 , 0] [0 , 2 , 4] [1 , 2 , 3] [0 , 4 , 2] Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  23. Shi tableaux Definition (Fishel, Tzanaki, Vazirani 2011) Let w ( A ◦ ) be a dominant Shi alcove and α ∈ Φ + . Define t mh +1 ( α, w ) as the number of Shi hyperplanes of the form H α, k that separate w ( A ◦ ) and A ◦ . The Shi tableau of w is the collection of the numbers t mh +1 ( α, w ) for α ∈ Φ + . w = [4 , 2 , 0] [2 , 0 , 4] [4 , 2 , 0] [0 , 2 , 4] [1 , 2 , 3] [0 , 4 , 2] Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  24. Shi tableaux Definition (Fishel, Tzanaki, Vazirani 2011) Let w ( A ◦ ) be a dominant Shi alcove and α ∈ Φ + . Define t mh +1 ( α, w ) as the number of Shi hyperplanes of the form H α, k that separate w ( A ◦ ) and A ◦ . The Shi tableau of w is the collection of the numbers t mh +1 ( α, w ) for α ∈ Φ + . w = [4 , 2 , 0] [2 , 0 , 4] [4 , 2 , 0] t 4 ( α 1 , w ) = 1 [0 , 2 , 4] [1 , 2 , 3] [0 , 4 , 2] Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  25. Shi tableaux Definition (Fishel, Tzanaki, Vazirani 2011) Let w ( A ◦ ) be a dominant Shi alcove and α ∈ Φ + . Define t mh +1 ( α, w ) as the number of Shi hyperplanes of the form H α, k that separate w ( A ◦ ) and A ◦ . The Shi tableau of w is the collection of the numbers t mh +1 ( α, w ) for α ∈ Φ + . w = [4 , 2 , 0] [2 , 0 , 4] [4 , 2 , 0] t 4 ( α 1 , w ) = 1 [0 , 2 , 4] t 4 ( α 2 , w ) = 1 [1 , 2 , 3] [0 , 4 , 2] Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  26. Shi tableaux Definition (Fishel, Tzanaki, Vazirani 2011) Let w ( A ◦ ) be a dominant Shi alcove and α ∈ Φ + . Define t mh +1 ( α, w ) as the number of Shi hyperplanes of the form H α, k that separate w ( A ◦ ) and A ◦ . The Shi tableau of w is the collection of the numbers t mh +1 ( α, w ) for α ∈ Φ + . w = [4 , 2 , 0] [2 , 0 , 4] [4 , 2 , 0] t 4 ( α 1 , w ) = 1 [0 , 2 , 4] t 4 ( α 2 , w ) = 1 [1 , 2 , 3] [0 , 4 , 2] t 4 ( α 1 + α 2 , w ) = 1 Robin Sulzgruber On (rational) Shi tableaux March 2017 16 / 33

  27. Rational Shi tableaux Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  28. Rational Shi tableaux Definition Let w ( A ◦ ) be dominant and p -stable and α ∈ Φ + . Define t p ( α, w ) as the number of hyperplanes of the form H α, k with height less than p that separate w ( A ◦ ) and A ◦ . Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  29. Rational Shi tableaux Definition Let w ( A ◦ ) be dominant and p -stable and α ∈ Φ + . Define t p ( α, w ) as the number of hyperplanes of the form H α, k with height less than p that separate w ( A ◦ ) and A ◦ . The rational Shi tableau of w is defined as the collection of numbers t p ( α, w ) for α ∈ Φ + . Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  30. Rational Shi tableaux Definition Let w ( A ◦ ) be dominant and p -stable and α ∈ Φ + . Define t p ( α, w ) as the number of hyperplanes of the form H α, k with height less than p that separate w ( A ◦ ) and A ◦ . The rational Shi tableau of w is defined as the collection of numbers t p ( α, w ) for α ∈ Φ + . 7 4 1 2 5 8 8 5 [2 , 4 , 0] [ − 3 , 2 , 7] 13 [2 , 0 , 4] 2 [0 , 2 , 4] [4 , 0 , 2] 11 [1 , 2 , 3] [0 , 4 , 2] 1 10 4 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  31. Rational Shi tableaux Definition Let w ( A ◦ ) be dominant and p -stable and α ∈ Φ + . Define t p ( α, w ) as the number of hyperplanes of the form H α, k with height less than p that separate w ( A ◦ ) and A ◦ . The rational Shi tableau of w is defined as the collection of numbers t p ( α, w ) for α ∈ Φ + . 7 4 1 2 5 8 8 w = [ − 3 , 2 , 7] 5 [2 , 4 , 0] [ − 3 , 2 , 7] 13 [2 , 0 , 4] 2 [0 , 2 , 4] [4 , 0 , 2] 11 [1 , 2 , 3] [0 , 4 , 2] 1 10 4 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  32. Rational Shi tableaux Definition Let w ( A ◦ ) be dominant and p -stable and α ∈ Φ + . Define t p ( α, w ) as the number of hyperplanes of the form H α, k with height less than p that separate w ( A ◦ ) and A ◦ . The rational Shi tableau of w is defined as the collection of numbers t p ( α, w ) for α ∈ Φ + . 7 4 1 2 5 8 8 w = [ − 3 , 2 , 7] 5 [2 , 4 , 0] [ − 3 , 2 , 7] 13 [2 , 0 , 4] 2 t 5 ( α 1 , w ) = 1 [0 , 2 , 4] [4 , 0 , 2] 11 [1 , 2 , 3] [0 , 4 , 2] 1 10 4 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  33. Rational Shi tableaux Definition Let w ( A ◦ ) be dominant and p -stable and α ∈ Φ + . Define t p ( α, w ) as the number of hyperplanes of the form H α, k with height less than p that separate w ( A ◦ ) and A ◦ . The rational Shi tableau of w is defined as the collection of numbers t p ( α, w ) for α ∈ Φ + . 7 4 1 2 5 8 8 w = [ − 3 , 2 , 7] 5 [2 , 4 , 0] [ − 3 , 2 , 7] 13 [2 , 0 , 4] 2 t 5 ( α 1 , w ) = 1 [0 , 2 , 4] [4 , 0 , 2] 11 t 5 ( α 2 , w ) = 1 [1 , 2 , 3] [0 , 4 , 2] 1 10 4 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  34. Rational Shi tableaux Definition Let w ( A ◦ ) be dominant and p -stable and α ∈ Φ + . Define t p ( α, w ) as the number of hyperplanes of the form H α, k with height less than p that separate w ( A ◦ ) and A ◦ . The rational Shi tableau of w is defined as the collection of numbers t p ( α, w ) for α ∈ Φ + . 7 4 1 2 5 8 8 w = [ − 3 , 2 , 7] 5 [2 , 4 , 0] [ − 3 , 2 , 7] 13 [2 , 0 , 4] 2 t 5 ( α 1 , w ) = 1 [0 , 2 , 4] [4 , 0 , 2] 11 t 5 ( α 2 , w ) = 1 [1 , 2 , 3] [0 , 4 , 2] 1 10 t 5 ( α 1 + α 2 , w ) = 2 4 5 2 1 4 7 Robin Sulzgruber On (rational) Shi tableaux March 2017 17 / 33

  35. The Main Conjecture Robin Sulzgruber On (rational) Shi tableaux March 2017 18 / 33

  36. The Main Conjecture Conjecture Every dominant p -stable element w ∈ � W is uniquely determined by its rational Shi tableau. Robin Sulzgruber On (rational) Shi tableaux March 2017 18 / 33

  37. The Main Conjecture Conjecture Every dominant p -stable element w ∈ � W is uniquely determined by its rational Shi tableau. Theorem The conjecture is true in type A n − 1 . Robin Sulzgruber On (rational) Shi tableaux March 2017 18 / 33

  38. The Main Conjecture Conjecture Every dominant p -stable element w ∈ � W is uniquely determined by its rational Shi tableau. Theorem The conjecture is true in type A n − 1 . Open Problem Characterise the set of rational Shi tableaux. Robin Sulzgruber On (rational) Shi tableaux March 2017 18 / 33

  39. Inverting the rational Shi tableau in type A n − 1 Robin Sulzgruber On (rational) Shi tableaux March 2017 19 / 33

  40. Inverting the rational Shi tableau in type A n − 1 Example Consider the affine permutation of type A 4 w = [7 , − 1 , 11 , 3 , − 5] . Robin Sulzgruber On (rational) Shi tableaux March 2017 19 / 33

  41. Inverting the rational Shi tableau in type A n − 1 Example Consider the affine permutation of type A 4 w = [7 , − 1 , 11 , 3 , − 5] . Then the alcove of w − 1 is contained in the simplex bounded by the hyperplanes of height p = 8. Robin Sulzgruber On (rational) Shi tableaux March 2017 19 / 33

  42. Inverting the rational Shi tableau in type A n − 1 Example Consider the affine The Shi tableau of w is given by permutation of type A 4 2 1 2 1 α 15 α 25 α 35 α 45 w = [7 , − 1 , 11 , 3 , − 5] . 1 2 0 α 14 α 24 α 34 2 1 Then the alcove of w − 1 is α 13 α 23 contained in the simplex bounded 0 α 12 by the hyperplanes of height p = 8. Robin Sulzgruber On (rational) Shi tableaux March 2017 19 / 33

  43. To Dyck paths via row-sums and column-sums 2 1 2 1 α 15 α 25 α 35 α 45 1 2 0 α 14 α 24 α 34 2 1 α 13 α 23 0 α 12 Robin Sulzgruber On (rational) Shi tableaux March 2017 20 / 33

  44. To Dyck paths via row-sums and column-sums 2 1 2 1 α 15 α 25 α 35 α 45 1 2 0 α 14 α 24 α 34 2 1 α 13 α 23 0 α 12 Robin Sulzgruber On (rational) Shi tableaux March 2017 20 / 33

  45. To long cycles (Ceballos, Denton, Hanusa 2016) Robin Sulzgruber On (rational) Shi tableaux March 2017 21 / 33

  46. To long cycles (Ceballos, Denton, Hanusa 2016) 12 13 11 8 9 10 13 7 12 11 6 10 3 4 5 9 2 7 8 6 1 5 4 1 2 3 Robin Sulzgruber On (rational) Shi tableaux March 2017 21 / 33

  47. To long cycles (Ceballos, Denton, Hanusa 2016) 12 13 11 8 9 10 13 7 12 11 6 10 3 4 5 9 2 7 8 6 1 5 4 1 2 3 (4 , 2 , 6 , 9 , 7 , 11 , 13 , 12 , 10 , 8 , 5 , 3 , 1) Robin Sulzgruber On (rational) Shi tableaux March 2017 21 / 33

  48. Back to Dyck paths (Ceballos, Denton, Hanusa 2016) Robin Sulzgruber On (rational) Shi tableaux March 2017 22 / 33

  49. Back to Dyck paths (Ceballos, Denton, Hanusa 2016) (4 , 2 , 6 , 9 , 7 , 11 , 13 , 12 , 10 , 8 , 5 , 3 , 1) Robin Sulzgruber On (rational) Shi tableaux March 2017 22 / 33

  50. Back to Dyck paths (Ceballos, Denton, Hanusa 2016) (4 , 2 , 6 , 9 , 7 , 11 , 13 , 12 , 10 , 8 , 5 , 3 , 1) Robin Sulzgruber On (rational) Shi tableaux March 2017 22 / 33

  51. Back to Dyck paths (Ceballos, Denton, Hanusa 2016) (4 , 2 , 6 , 9 , 7 , 11 , 13 , 12 , 10 , 8 , 5 , 3 , 1) Robin Sulzgruber On (rational) Shi tableaux March 2017 22 / 33

  52. To n and p flush abaci (Anderson 2002) Robin Sulzgruber On (rational) Shi tableaux March 2017 23 / 33

  53. To n and p flush abaci (Anderson 2002) Robin Sulzgruber On (rational) Shi tableaux March 2017 23 / 33

  54. To n and p flush abaci (Anderson 2002) 40 35 30 25 20 15 10 5 0 32 27 22 17 12 7 2 -3 -8 24 19 14 9 4 -1 -6 -11 -16 16 11 6 1 -4 -9 -14 -19 -24 8 3 -2 -7 -12 -17 -22 -27 -32 0 -5 -10 -15 -20 -25 -30 -35 -40 Robin Sulzgruber On (rational) Shi tableaux March 2017 23 / 33

  55. To n and p flush abaci (Anderson 2002) 40 35 30 25 20 15 10 5 0 32 27 22 17 12 7 2 -3 -8 24 19 14 9 4 -1 -6 -11 -16 16 11 6 1 -4 -9 -14 -19 -24 8 3 -2 -7 -12 -17 -22 -27 -32 0 -5 -10 -15 -20 -25 -30 -35 -40 Robin Sulzgruber On (rational) Shi tableaux March 2017 23 / 33

  56. To n and p flush abaci (Anderson 2002) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . -14 -13 -12 -11 -10 40 35 30 25 20 15 10 5 0 -9 -8 -7 -6 -5 32 27 22 17 12 7 2 -3 -8 -4 -3 -2 -1 0 24 19 14 9 4 -1 -6 -11 -16 1 2 4 3 5 16 11 6 1 -4 -9 -14 -19 -24 6 7 9 8 10 8 3 -2 -7 -12 -17 -22 -27 -32 12 11 13 14 15 0 -5 -10 -15 -20 -25 -30 -35 -40 17 16 18 19 20 21 22 23 24 25 . . . . . . . . . . . . . . . Robin Sulzgruber On (rational) Shi tableaux March 2017 23 / 33

  57. Shift back to affine permutations (Lascoux 2001) Robin Sulzgruber On (rational) Shi tableaux March 2017 24 / 33

  58. Shift back to affine permutations (Lascoux 2001) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 4 3 5 6 7 9 8 10 12 11 13 14 15 17 16 18 19 20 21 22 23 24 25 . . . . . . . . . . . . . . . Robin Sulzgruber On (rational) Shi tableaux March 2017 24 / 33

  59. Shift back to affine permutations (Lascoux 2001) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . -14 -13 -12 -11 -10 -19 -18 -17 -16 -15 -9 -8 -7 -6 -5 -14 -13 -12 -11 -10 -4 -3 -2 -1 -9 -8 -6 -5 0 -7 1 2 4 -3 -1 0 3 5 -4 -2 6 7 9 2 5 8 10 1 3 4 12 10 11 13 14 15 6 7 8 9 17 16 18 19 20 11 12 13 14 15 21 22 23 24 25 16 17 18 19 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Robin Sulzgruber On (rational) Shi tableaux March 2017 24 / 33

  60. Shift back to affine permutations (Lascoux 2001) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . -14 -13 -12 -11 -10 -19 -18 -17 -16 -15 -9 -8 -7 -6 -5 -14 -13 -12 -11 -10 -4 -3 -2 -1 -9 -8 -6 -5 0 -7 w − 1 = [ − 7 , − 4 , 4 , 7 , 15] 1 2 4 -3 -1 0 3 5 -4 -2 6 7 9 2 5 8 10 1 3 4 12 10 11 13 14 15 6 7 8 9 17 16 18 19 20 11 12 13 14 15 21 22 23 24 25 16 17 18 19 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Robin Sulzgruber On (rational) Shi tableaux March 2017 24 / 33

  61. Shift back to affine permutations (Lascoux 2001) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . -14 -13 -12 -11 -10 -19 -18 -17 -16 -15 -9 -8 -7 -6 -5 -14 -13 -12 -11 -10 -4 -3 -2 -1 -9 -8 -6 -5 0 -7 w − 1 = [ − 7 , − 4 , 4 , 7 , 15] 1 2 4 -3 -1 0 3 5 -4 -2 w = [7 , − 1 , 11 , 3 , − 5] 6 7 9 2 5 8 10 1 3 4 12 10 11 13 14 15 6 7 8 9 17 16 18 19 20 11 12 13 14 15 21 22 23 24 25 16 17 18 19 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Robin Sulzgruber On (rational) Shi tableaux March 2017 24 / 33

  62. This is the end. Thank you! Robin Sulzgruber On (rational) Shi tableaux March 2017 25 / 33

  63. nl. Hl. h;3 * l;, r,ii," * [l-, 11 H,r,-, .r/ 4/ Shi coordinates Robin Sulzgruber On (rational) Shi tableaux March 2017 26 / 33

Recommend

A bijection between EW tableaux and permutation tableaux Thomas Selig joint work with Jason

A bijection between EW tableaux and permutation tableaux Thomas Selig joint work with Jason

A bijection between EW tableaux and permutation tableaux Thomas Selig joint work with Jason Smith and Einar Steingr msson SLC 78, Ottrott 28 March, 2017 Thomas Selig EW tableaux and permutation tableaux Ferrers diagram Definition A

660 views • 62 slides
Clausal Tableaux and Linear Strategies In Clausal Tableaux all sentences are clauses.

Clausal Tableaux and Linear Strategies In Clausal Tableaux all sentences are clauses.

10ai Clausal Tableaux and Linear Strategies In Clausal Tableaux all sentences are clauses. Clause Extension rule is derived from free variable -rule and -splitting. eg using Q(y) P(x,y) R(x) AUTOMATED REASONING Closure

70 views • 5 slides
Rational Robot A Test Automation Tool What is Rational Robot? Rational Robot is a complete

Rational Robot A Test Automation Tool What is Rational Robot? Rational Robot is a complete

Rational Robot A Test Automation Tool What is Rational Robot? Rational Robot is a complete set of components for automating the testing of Microsoft Windows client/server and Internet applications. (Rational Robot user guide) Rational

741 views • 41 slides
On some properties of permutation tableaux Alexander Burstein Iowa State University

On some properties of permutation tableaux Alexander Burstein Iowa State University

Outline Permutation Tableaux Row and Column Decomposition Statistics on Tableaux and Permutations Essential 1s Open Problems On some properties of permutation tableaux Alexander Burstein Iowa State University burstein@math.iastate.edu 4th

2.4k views • 163 slides
Clausal Tableaux and Linear Strategies Clausal Tableaux use only clausal sentences Clause

Clausal Tableaux and Linear Strategies Clausal Tableaux use only clausal sentences Clause

10ai Clausal Tableaux and Linear Strategies Clausal Tableaux use only clausal sentences Clause Extension rule is derived from free variable -rule and -splitting. eg using Q(y) P(x,y) R(x) AUTOMATED REASONING Closure rule

389 views • 7 slides
On the convergence of rational Ritz values Applications to rational interpolation of rational

On the convergence of rational Ritz values Applications to rational interpolation of rational

Problem Applications Lemma Results Examples On the convergence of rational Ritz values Applications to rational interpolation of rational functions Bernhard Beckermann Laboratoire Painlev e Universit e de Lille 1 France AECDSS

677 views • 38 slides
Rational preferences Idea: preferences of a rational agent must obey constraints. Rational

Rational preferences Idea: preferences of a rational agent must obey constraints. Rational

Rational preferences Idea: preferences of a rational agent must obey constraints. Rational preferences behavior describable as maximization of expected utility Rational decisions Constraints: Orderability ( A B ) ( B A ) (

197 views • 4 slides
Rational preferences Idea: preferences of a rational agent must obey constraints. Rational

Rational preferences Idea: preferences of a rational agent must obey constraints. Rational

Rational preferences Idea: preferences of a rational agent must obey constraints. Rational preferences behavior describable as maximization of expected utility Rational decisions Constraints: Orderability ( A B ) ( B A ) (

320 views • 5 slides
E XAMPLE 1 Identify the sum of product as rational or irrational. a. 5 + 8 rational / irrational

E XAMPLE 1 Identify the sum of product as rational or irrational. a. 5 + 8 rational / irrational

D AY 141 U NDERSTANDING C LOSURE WITH R ATIONAL N UMBERS E XAMPLE 1 Identify the sum of product as rational or irrational. a. 5 + 8 rational / irrational b. 16 rational / irrational 81 A rational number can be written as a ration of

214 views • 4 slides
Rational points, rational curves, rational varieties Rational and integral points We study

Rational points, rational curves, rational varieties Rational and integral points We study

Rational points, rational curves, rational varieties Rational and integral points We study solutions of diophantine equations: rational points = (nontrivial) rational solutions of equations, e.g., x 3 + y 3 + z 3 = 0 x 3 + y 3 + z 3 + t 3 = 0

1.34k views • 110 slides
Distribution of Symbols in Weighted Random Staircase Tableaux Pawe l Hitczenko based on a

Distribution of Symbols in Weighted Random Staircase Tableaux Pawe l Hitczenko based on a

Distribution of Symbols in Weighted Random Staircase Tableaux Pawe l Hitczenko based on a joint work, one with S. Janson (Uppsala U., Sweden), another with A. Parshall (Drexel) May 12, 2014 Staircase tableaux (Corteel-Williams (2009))

719 views • 56 slides
? Energy usage Noise level Safety (behavior towards hamsters/small children) Actions Optimal

? Energy usage Noise level Safety (behavior towards hamsters/small children) Actions Optimal

Contents Foundations of Artificial Intelligence What is an agent? 1 2. Rational Agents What is a rational agent? 2 Nature and Structure of Rational Agents and Their Environments The structure of rational agents 3 Wolfram Burgard, Bernhard

296 views • 6 slides
Rational Agents (Ch. 2) Rational agent An agent/robot must be able to perceive and interact with

Rational Agents (Ch. 2) Rational agent An agent/robot must be able to perceive and interact with

Rational Agents (Ch. 2) Rational agent An agent/robot must be able to perceive and interact with the environment A rational agent is one that always takes the best action (possibly expected best) Agent = Rational agent Consider the case of a

535 views • 39 slides
Outline of this lecture An introduction to Automated Reasoning with Analytic Tableaux; Today we

Outline of this lecture An introduction to Automated Reasoning with Analytic Tableaux; Today we

Outline of this lecture An introduction to Automated Reasoning with Analytic Tableaux; Today we will be looking into tableau methods for classical propositional logic (well discuss first-order tableaux later). Mathematical Logic Analytic

392 views • 11 slides
3. Tablo algoritms 16.12 Tablo (tableaux) metodi 1955.gad izgudroja Evert Willem Beth

3. Tablo algoritms 16.12 Tablo (tableaux) metodi 1955.gad izgudroja Evert Willem Beth

3. Tablo algoritms 16.12 Tablo (tableaux) metodi 1955.gad izgudroja Evert Willem Beth (1908-1964), plaka biogrfija un portrets. Sk. ar Method of analytic tableaux (Wikipedia). metode risina to pau uzdevumu, ko rezolciju metode

494 views • 27 slides
Orthogonal Rational Functions, Associated Rational Functions and Functions of the Second Kind

Orthogonal Rational Functions, Associated Rational Functions and Functions of the Second Kind

Introduction ORFs and ARFs Relations Favard theorem Orthogonal Rational Functions, Associated Rational Functions and Functions of the Second Kind Karl Deckers Department of Computer Science, Katholieke Universiteit Leuven, Heverlee,

691 views • 66 slides
Classic-like Analytic Tableaux for Non-Classical Logics Joo Marcos UFRN, BR & RUB, DE

Classic-like Analytic Tableaux for Non-Classical Logics Joo Marcos UFRN, BR & RUB, DE

Classic-like Analytic Tableaux for Non-Classical Logics Joo Marcos UFRN, BR & RUB, DE PhDs in Logic IX Bochum 24 May 2017 Tableaux Classical Logic More on finite-valued logics A Non-classical example Through Suszko Reduction

1.37k views • 112 slides
Completeness of Resolution using Tableaux A2ai Example . Given: B M, M L,

Completeness of Resolution using Tableaux A2ai Example . Given: B M, M L,

Completeness of Resolution using Tableaux A2ai Example . Given: B M, M L, M L B, B R, R A: Form a tableau such that B: Each clause with no literal occurs twice in a branch, and leaf nodes only can

378 views • 5 slides
17. Structs and Classes I C++ does not provide a built-in type for rational numbers Goal Rational

17. Structs and Classes I C++ does not provide a built-in type for rational numbers Goal Rational

Calculating with Rational Numbers Rational numbers ( ) are of the form n d with n and d in 17. Structs and Classes I C++ does not provide a built-in type for rational numbers Goal Rational Numbers, Struct Definition, Overlading Functions

360 views • 13 slides
Young tableaux and snakes Yuliy Baryshnikov joint work with Dan Romik (Hebrew University)

Young tableaux and snakes Yuliy Baryshnikov joint work with Dan Romik (Hebrew University)

Young tableaux and snakes Yuliy Baryshnikov joint work with Dan Romik (Hebrew University) Motivation A Young tableaux is a filling of Young diagram consisting of n boxes with numbers 1 , . . . , n increasing top-to-down and left-to-right. 1

731 views • 72 slides
Mathematical Logic Propositional Logic -Tableaux * Fausto Giunchiglia and Mattia Fumagalli

Mathematical Logic Propositional Logic -Tableaux * Fausto Giunchiglia and Mattia Fumagalli

Mathematical Logic Propositional Logic -Tableaux * Fausto Giunchiglia and Mattia Fumagalli University of Trento *Originally by Luciano Serafini and Chiara Ghidini Modified by Fausto Giunchiglia and Mattia Fumagalli 0 Tableaux Early work by

612 views • 29 slides
An Extension to Basic ME Tableaux (1) 11ai Example Given: 1. Rx Px, 2. Px Q, 3.

An Extension to Basic ME Tableaux (1) 11ai Example Given: 1. Rx Px, 2. Px Q, 3.

An Extension to Basic ME Tableaux (1) 11ai Example Given: 1. Rx Px, 2. Px Q, 3. Ra Rb, 4. Q Standard ME Tableau Resolution Refutation (5 = 2+1): Rx Q AUTOMATED REASONING (6 = 5+3): Rb Q Q Px1 Pa (7 =

566 views • 8 slides
Statistics on permutation tableaux Pawel Hitczenko Drexel University parts based on joint work

Statistics on permutation tableaux Pawel Hitczenko Drexel University parts based on joint work

Statistics on permutation tableaux Pawel Hitczenko Drexel University parts based on joint work with Sylvie Corteel (Paris-Sud) and parts with Svante Janson (Uppsala) LIPN, February 5, 2008 Permutation tableaux Permutation tableau T : a Ferrers

1.11k views • 50 slides
New developments on rational RBF Stefano De Marchi Department of Mathematics Tullio

New developments on rational RBF Stefano De Marchi Department of Mathematics Tullio

New developments on rational RBF Stefano De Marchi Department of Mathematics Tullio Levi-Civita University of Padova Montecatini, 14th February 2018 Outline From RBF to Rational RBF (RRBF) 1 2 Eigen-rational interpolant 3 Numerical

739 views • 45 slides

More recommend