posets of alternating sign matrices and totally symmetric
play

Posets of alternating sign matrices and totally symmetric - PowerPoint PPT Presentation

Posets of alternating sign matrices and totally symmetric self-complementary plane partitions Jessica Striker North Dakota State University May 18, 2015 Some failed attempts to find a certain bijection, and what has come of it Jessica


  1. ASM and TSSCPP posets (S. 2011) ASM TSSCPP Idea: Transform one poset into the other while preserving the number of order ideals Problem: Doesn’t work What came of it:

  2. Tetrahedral poset family (S. 2011) Factorials Binomial Catalan objects Coefficients SSYT Tournaments ? ASM TSSCPP TSSCPP ASM ∩ TSSCPP TSSCPP ∩ TSSCPP TSPP

  3. Outline 1 Alternating sign matrices and totally symmetric self-complementary plane partitions 2 Poset structures 3 Toggle group dynamics 4 A permutation case bijection

  4. Toggles act on order ideals Define a toggle, t e , for each e ∈ P .

  5. Toggles act on order ideals Toggles t e add e when possible.

  6. Toggles act on order ideals Toggles t e add e when possible.

  7. Toggles act on order ideals Toggles t e remove e when possible.

  8. Toggles act on order ideals Toggles t e remove e when possible.

  9. Toggles act on order ideals Toggles t e do nothing otherwise.

  10. Toggles act on order ideals Toggles t e do nothing otherwise.

  11. Toggles act on order ideals Let P be a poset and J ( P ) its set of order ideals. Definition For each element e ∈ P define its toggle t e : J ( P ) → J ( P ) as follows.  X ∪ { e } if e / ∈ X and X ∪ { e } ∈ J ( P )   t e ( X ) = X \ { e } if e ∈ X and X \ { e } ∈ J ( P )  X otherwise 

  12. Toggles generate a group Definition (Cameron and Fon-der-Flaass 1995) The toggle group T ( J ( P )) is the subgroup of the symmetric group S J ( P ) generated by { t e } e ∈ P . Toggle group actions are compositions of toggles that act on order ideals.

  13. Alternating sign matrix 0 0 1 0 1 0 -1 1 0 0 1 0 0 1 0 0

  14. Alternating sign matrix ↔ fully-packed loop 0 0 1 0 1 0 -1 1 0 0 1 0 0 1 0 0

  15. Fully-packed loop

  16. Fully-packed loops Start with an n × n grid.

  17. Fully-packed loops Add boundary conditions.

  18. Fully-packed loops Interior vertices adjacent to 2 edges.

  19. Gyration on fully-packed loops The nontrivial local move.

  20. Gyration on fully-packed loops

  21. Gyration on fully-packed loops Start with the even squares.

  22. Gyration on fully-packed loops Apply the nontrivial local move.

  23. Gyration on fully-packed loops Apply the nontrivial local move.

  24. Gyration on fully-packed loops Apply the nontrivial local move.

  25. Gyration on fully-packed loops Now consider the odd squares.

  26. Gyration on fully-packed loops Apply the nontrivial local move.

  27. Gyration on fully-packed loops Apply the nontrivial local move.

  28. Gyration on fully-packed loops Apply the nontrivial local move.

  29. Gyration on fully-packed loops − →

  30. Gyration on fully-packed loops − → 2 2 1 1 3 3 4 4 8 8 5 5 7 7 6 6

  31. The square is a circle Theorem (B. Wieland 2000) Gyration on an order n fully-packed loop rotates the link pattern by a factor of 2 n. Gyration exhibits resonance with pseudo-period 2 n . − → 2 1 2 3 1 3 4 8 4 8 5 5 7 7 6 6

  32. Gyration as a toggle group action How does this relate to the toggle group?

  33. Gyration as a toggle group action Start with a fully-packed loop

  34. Gyration as a toggle group action Biject to a height function 0 1 2 3 4 5 1 4 2 3 2 3 4 1 5 4 3 2 1 0

  35. Gyration as a toggle group action Biject to a height function 0 1 2 3 4 5 1 2 3 4 5 4 2 1 2 3 4 3 3 2 1 2 3 2 4 3 2 1 2 1 5 4 3 2 1 0

  36. Gyration as a toggle group action

  37. Gyration as a toggle group action

  38. Gyration as a toggle group action

  39. Gyration as a toggle group action 2 4 1 3 0 5 1 2 4 3 5 4 1 2 3 4 3 2 3 2 1 2 3 2 1 4 3 2 2 1 5 3 2 1 4 0

  40. Gyration as a toggle group action z y 2 4 1 3 0 5 1 4 2 3 5 4 2 1 2 3 4 3 x 3 2 1 2 3 2 4 1 3 2 2 1 5 3 2 1 4 0

  41. Gyration as a toggle group action z y 2 4 1 3 0 5 1 4 2 3 5 4 2 1 2 3 4 3 x 3 2 1 2 3 2 4 1 3 2 2 1 5 3 2 1 4 0

  42. Gyration as a toggle group action z y 2 4 1 3 0 5 1 4 2 3 5 4 2 1 2 3 4 3 x 3 2 1 2 3 2 4 1 3 2 2 1 5 3 2 1 4 0

  43. Gyration as a toggle group action z y 2 4 1 3 0 5 4 1 2 3 5 4 2 1 2 3 4 3 x 3 2 1 2 3 2 4 1 3 2 2 1 5 3 2 1 4 0

  44. Gyration as a toggle group action z y 2 4 1 3 0 5 1 4 2 3 3 4 2 1 2 3 4 3 x 3 2 1 2 3 2 4 1 3 2 2 1 5 3 2 1 4 0

  45. Gyration as a toggle group action Theorem (N. Williams and S. 2012) Gyration on fully-packed loops is equivalent to toggling even then odd ranks in the ASM poset. z y x

  46. Gyration as a toggle group action Theorem (N. Williams and S. 2012) Gyration on fully-packed loops is equivalent to toggling even then odd ranks in the ASM poset. z y x

Recommend


More recommend