Reduced words and a formula of Macdonald
|
|
- Grant Gordon
- 5 years ago
- Views:
Transcription
1 Reduced words and a formula of Macdonald Sara Billey University of Washington Based on joint work with: Alexander Holroyd and Benjamin Young preprint arxiv: Graduate Student Combinatorics Conference 07 April 8, 07
2 Outline Permutations and Reduced Words Macdonald s Reduced Word Formula Generalizations of Macdonald s Formula Open Problems
3 Permutations Permutations are fundamental objects in mathematics, computer science, game theory, economics, physics, chemistry and biology. Notation. S n is the symmetric group of permutations on n letters. w S n is a bijection from [n] := {,,..., n} to itself denoted in one-line notation as w = [w(), w(),..., w(n)]. s i = (i i + ) = adjacent transposition for i < n. Example. w = [,,,, 5] S 5 and s = [,,, 5, ] S 5. ws = [,,, 5, ] and s w = [, 5,,, ].
4 Permutations Presentation of the Symmetric Group. Fact. S n is generated by s, s,..., s n with relations s i s i = (s i s j ) = if i j > (s i s i+ ) = For each w S n, there is some expression w = s a s a s ap. If p is minimal, then l(w) = length of w = p, s a s a s ap is a reduced expression for w, a a... a p is a reduced word for w.
5 Reduced Words and Reduced Wiring Diagrams Example. and are reduced words for [,, ]. Example. 565 is a reduced word for [,, 6, 5, 7,, ] S
6 Reduced Words Key Notation. R(w) is the set of all reduced words for w. Example. R([,, ]) = {, }. Example. R([,,, ]) has 6 elements: Example. R([5,,,, ]) has 768 elements.
7 Counting Reduced Words Question. How many reduced words are there for w?
8 Counting Reduced Words Question. How many reduced words are there for w? Theorem.(Stanley, 98) For w n 0 := [n, n,...,, ] S n, R(w n 0 ) = ( n )! n n 5 n (n ). Observation: The right side is equal to the number of standard Young tableaux of staircase shape (n, n,..., ).
9 Counting Standard Young Tableaux Defn. A partition of a number n is a weakly decreasing sequence of positive integers such that n = λ i = λ. λ = (λ λ λ k > 0) Partitions can be visualized by their Ferrers diagram (6, 5, ) Def. A standard Young tableau T of shape λ is a bijective filling of the boxes by,,..., n with rows and columns increasing. Example. T = The standard Young tableaux (SYT) index the bases of S n -irreps.
10 Counting Standard Young Tableaux Hook Length Formula.(Frame-Robinson-Thrall, 95) If λ is a partition of n, then n! #SYT (λ) = c λ h c where h c is the hook length of the cell c, i.e. the number of cells directly to the right of c or below c, including c. Example. Hook lengths of λ = (5,, ): 7 5 9! So, #SYT (5,, ) = 7 5 = 6. Remark. Notable other proofs by Greene-Nijenhuis-Wilf 79 (probabalistic), Krattenthaler 95 (bijective), Novelli-Pak-Stoyanovskii 97 (bijective), Bandlow 08.
11 Counting Reduced Words Theorem.(Edelman-Greene, 987) For all w S n, R(w) = a λ,w #SYT (λ) for some nonnegative integer coefficients a λ,w with λ l(w) in a given interval in dominance order. Proof via an insertion algorithm like the RSK: a = a a... a p (P(a), Q(a)). P(a) is strictly increasing in rows and columns has reading word equal to a reduced word for w. Q(a) can be any standard tableau of the same shape as P(a). Corollary. Every reduced word for w 0 inserts to the same P tableau of staircase shape δ, so R(w 0 ) = #SYT (δ).
12 Random Reduced Word The formula R(w) = a λ,w #SYT (λ) gives rise to an easy way to choose a random reduced word for w using the Hook Walk Algorithm (Greene-Nijenhuis-Wilf) for random STY of shape λ. Algorithm. Input: w S n, Output: a a... a p R(w) chosen uniformly at random.. Choose a P-tableau for w in proportion to #SYT (sh(p)).. Set λ = sh(p).. Loop for k from n down to. Choose one of the k empty cells c in λ with equal probability. Apply hook walk from c.. Hook walk: If c is in an outer corner of λ, place k in that cell. Otherwise, choose a new cell in the hook of c uniformly. Repeat step until c is an outer corner.
13 Random Reduced Word Def. For a = a a... a p R(w), let B(a) be the random variable counting the number of braids in a, i.e. consecutive letters i, i +, i or i +, i, i +. Examples. B() = and B() = Question. What is the expected value of B on R(w)?
14 Random Reduced Word Def. For a = a a... a p R(w), let B(a) be the random variable counting the number of braids in a, i.e. consecutive letters i, i +, i or i +, i, i +. Examples. B() = and B() = Question. What is the expected value of B on R(w)? Thm.(Reiner, 005) For all n, the expected value of B on R(w 0 ) is exactly.
15 Random Reduced Word Angel-Holroyd-Romik-Virag: Random Sorting Networks (007) Conjecture. Assume a a... a p R(w 0 ) is chosen uniformly at random. The distribution of s in the permutation matrix for w = s a s a s ap/ converges as n approaches infinity to the projected surface measure of the -sphere.
16 Random Reduced Word Alexander Holroyd s picture of a uniformly random 000-element sorting network (selected trajectories shown):
17 Macdonald s Formula Thm.(Macdonald, 99) For w 0 S n, a R(w 0 ) a a a ( n ) =
18 Macdonald s Formula Thm.(Macdonald, 99) For w 0 S n, a R(w 0 ) a a a ( n ) = ( ) n!
19 Macdonald s Formula Thm.(Macdonald, 99) For w 0 S n, a R(w 0 ) a a a ( n ) = ( ) n! Question.(Holroyd) Is there an efficient algorithm to choose a reduced word randomly with P(a a... a ( n ) proportional to ) a a a ( n )?
20 Consequences of Macdonald s Formula Thm.(Young, 0) There exists a Markov growth process using Little s bumping algorithm adding one crossing in a wiring diagram at a time to obtain a random reduced word for w 0 S n in ( n) steps. Image credit: Kristin Potter.
21 Consequences of Macdonald s Formula The wiring diagram for a random reduced word for w 0 S 600 chosen with Young s growth process.
22 Macdonald s Formula The permutation matrix for the product of the first half of a random reduced word for w 0 S 600 chosen with Young s growth process.
23 Macdonald s Formula Thm.(Macdonald, 99) For any w S n with l(w) = p, a R(w) a a a p = p!s w (,,,...) where S w (,,,...) is the number of monomials in the corresponding Schubert polynomial. Question.(Young, Fomin, Kirillov,Stanley, Macdonald, ca 990) Is there a bijective proof of this formula?
24 Macdonald s Formula Thm.(Macdonald, 99) For any w S n with l(w) = p, a R(w) a a a p = p!s w (,,,...) where S w (,,,...) is the number of monomials in the corresponding Schubert polynomial. Question.(Young, Fomin, Kirillov,Stanley, Macdonald, ca 990) Is there a bijective proof of this formula? Answer. Yes! Based on joint work with Holroyd and Young, and builds on Young s growth process.
25 Schubert polynomials History. Schubert polynomials were originally defined by Lascoux-Schützenberger early 980 s. Via work of Billey-Jockusch-Stanley, Fomin-Stanley, Fomin-Kirillov, Billey-Bergeron in the early 990 s we know the following equivalent definition. Def. For w S n, S w (x, x,... x n ) = D RP(w) x D where RP(w) are the reduced pipe dreams for w, aka rc-graphs. Example. A reduced pipe dream D for w = [, 6,,, 5, ] where x D = x x x x
26 Bijective Proof of Macdonald s Formula To show: a R(w) a a a p = p! #RP(w)
27 Bijective Proof of Macdonald s Formula To show: a R(w) a a a p = p! #RP(w) Def. b b... b p is a bounded word for a a... a p provided b i a i for each i. Def. The pair (a, b) = ((a a... a p ), (b b... b p )) is a bounded pair for w provided a R(w) and b is a bounded word for a. Def. A word c = c c... c p is a sub-staircase word provided c i i for each i.
28 Bijective Proof of Macdonald s Formula To show: a R(w) a a a p = p! #RP(w) Want: A bijection BP(w) cd(w) where BP(w) := bounded pairs for w, cd(w) := cd-pairs for w of the form (c, D) where D is a reduced pipe dream for w and c is a sub-staircase word of the same length as w.
29 Bijective Proof of Macdonald s Formula a: b: c: D: M M M M M
30 Transition Equations Thm.(Lascoux-Schützenberger,98) For all w id, let (r < s) be the largest pair of positions inverted in w in lexicographic order. Then, S w = x r S wtrs + S w where the sum is over all w such that l(w) = l(w ) and w = wt rs t ir with 0 < i < r. Call this set T (w).
31 Transition Equations Thm.(Lascoux-Schützenberger,98) For all w id, let (r < s) be the largest pair of positions inverted in w in lexicographic order. Then, S w = x r S wtrs + S w where the sum is over all w such that l(w) = l(w ) and w = wt rs t ir with 0 < i < r. Call this set T (w). Example. If w = [756], then r = 5, s = 7 S w = x 5 S [756] + S [756] + S [756] So, T (w) = {[756], [756]}.
32 Little s Bijection Theorem.(David Little, 00) There exists a bijection from R(w) to w T (w)r(w ) which preserves the ascent set provided T (w) is nonempty. Theorem. (Hamaker-Young, 0) Little s bijection also preserves the Coxeter-Knuth classes and the Q-tableaux under the Edelman-Greene correspondence. Furthermore, every reduced word for any permutation with the same Q tableau is connected via Little bumps.
33 Little Bumps Example. The Little bump applied to a = 565 in col.
34 Push and Delete operators Let a = a... a k be a word. Define the decrement-push, increment-push, and deletion of a at column t, respectively, to be P t a = (a,..., a t, a t, a t+,..., a k ); P + t a = (a,..., a t, a t +, a t+,..., a k ); D t a = (a,..., a t, a t+,..., a k );
35 Bounded Bumping Algorithm Input: (a, b, t 0, d), where a is a word that is nearly reduced at t 0, and b is a bounded word for a, and d {, +}. Output: Bump d t 0 (a, b) = (a, b, i, j, outcome).. Initialize a a, b b, t t 0.. Push in direction d at column t, i.e. set a P d t a and b P d t b.. If b t = 0, return (D t a, D t b, a t, t, deleted) and stop.. If a is reduced, return (a, b, a t, t, bumped) and stop. 5. Set t Defect t (a ) and return to step.
36 Generalizing the Transition Equation. We use the bounded bumping algorithm applied to the (r, s) crossing in a reduced pipe dream for w to bijectively prove S w = x r S wtrs + S w.. We use the bounded bumping algorithm applied to the (r, s) crossing to give a bijection BP(w) BP(wt rs ) [, p] w T (w) BP(w ).
37 Bijective Proof of Macdonald s Formula a R(w) a a a p = p!s w (,,,...) a: b: c: D: M M M M M
38 q-analog of Macdonald s Formula Def. A q-analog of any integer sequence f, f,... is a family of polynomials f (q), f (q),... such that f i () = f i. Examples. The standard q-analog of a positive integer k is [k] = [k] q := + q + q + + q k. The standard q-analog of the factorial k! is defined to be [k] q! := [k][k ] []. Macdonald conjectured a q-analog of his formula using [k], [k] q!.
39 q-analog of Macdonald s Formula Theorem.(Fomin and Stanley, 99) Given a permutation w S n with l(w) = p, a R(w) [a ] [a ] [a p ] q comaj(a) = [p] q! S w (, q, q,...) where comaj(a) = i. a i <a i+ Remarks. Our bijection respects the q-weight on each side so we get a bijective proof for this identity too. The key lemma is a generalization of Carlitz s proof that l(w) and comaj(w) are equidistributed on S n and another generalization of the Transition Equation.
40 Another generalization of Macdonald s formula Fomin-Kirillov, 997. We have the following identity of polynomials in x for the permutation w 0 S n : a R(w 0 ) (x + a ) (x + a ( n ) ) = ( ) n! i<j n x + i + j. i + j Remarks. Our bijective proof of Macdonald s formula plus a bijection due to Lenart, Serrano-Stump give a new proof of this identity answering a question posed by Fomin-Kirillov. The right hand side is based on Proctor s formula for reverse plane partitions and Wach s characterization of Schubert polynomials for vexillary permutations.
41 Open Problems Open. Is there a common generalization for the Transition Equation for Schubert polynomials, bounded pairs, and its q-analog? Open. Is there a nice formula for rpp λ (x) or [rpp λ (x)] q for an arbitrary partition λ as in the case of staircase shapes as noted in the Fomin-Kirillov Theorem? Open. What is the analog of Macdonald s formula for Grothendieck polynomials and what is the corresponding bijection?
Coxeter-Knuth Classes and a Signed Little Bijection
Coxeter-Knuth Classes and a Signed Little Bijection Sara Billey University of Washington Based on joint work with: Zachary Hamaker, Austin Roberts, and Benjamin Young. UC Berkeley, February, 04 Outline
More informationCoxeter-Knuth Graphs and a signed Little Bijection
Coxeter-Knuth Graphs and a signed Little Bijection Sara Billey University of Washington http://www.math.washington.edu/ billey AMS-MAA Joint Meetings January 17, 2014 0-0 Outline Based on joint work with
More informationPatterns in Standard Young Tableaux
Patterns in Standard Young Tableaux Sara Billey University of Washington Slides: math.washington.edu/ billey/talks Based on joint work with: Matjaž Konvalinka and Joshua Swanson 6th Encuentro Colombiano
More informationA bijective proof of Macdonald s reduced word formula
Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, A bijective proof of Macdonald s reduced word formula Sara C. Billey and Alexander E. Holroyd and Benjamin J. Young
More informationTableau models for Schubert polynomials
Séminaire Lotharingien de Combinatoire 78B (07) Article #, pp. Proceedings of the 9 th Conference on Formal Power Series and Algebraic Combinatorics (London) Tableau models for Schubert polynomials Sami
More informationRandom sorting networks
Random sorting networks Eric Marberg Math 4991: Capstone Project in Pure Mathematics 1 / 26 Primary reference for this expository talk: Random sorting networks by Angel, Holroyd, Ramik, and Virág (2006)
More informationA PROOF OF PIERI S FORMULA USING GENERALIZED SCHENSTED INSERTION ALGORITHM FOR RC-GRAPHS.
A PROOF OF PIERI S FORMULA USING GENERALIZED SCHENSTED INSERTION ALGORITHM FOR RC-GRAPHS. MIKHAIL KOGAN AND ABHINAV KUMAR Abstract. We provide a generalization of the Schensted insertion algorithm for
More informationALGEBRAIC COMBINATORICS
ALGEBRAIC COMBINATORICS Sami Assaf & Anne Schilling A Demazure crystal construction for Schubert polynomials Volume 1, issue (018), p. 5-7. The journal
More informationCombinatorial Structures
Combinatorial Structures Contents 1 Permutations 1 Partitions.1 Ferrers diagrams....................................... Skew diagrams........................................ Dominance order......................................
More informationStandard Young Tableaux Old and New
Standard Young Tableaux Old and New Ron Adin and Yuval Roichman Department of Mathematics Bar-Ilan University Workshop on Group Theory in Memory of David Chillag Technion, Haifa, Oct. 14 1 2 4 3 5 7 6
More informationInvolutions by Descents/Ascents and Symmetric Integral Matrices. Alan Hoffman Fest - my hero Rutgers University September 2014
by Descents/Ascents and Symmetric Integral Matrices Richard A. Brualdi University of Wisconsin-Madison Joint work with Shi-Mei Ma: European J. Combins. (to appear) Alan Hoffman Fest - my hero Rutgers University
More informationFactorization of the Robinson-Schensted-Knuth Correspondence
Factorization of the Robinson-Schensted-Knuth Correspondence David P. Little September, 00 Abstract In [], a bijection between collections of reduced factorizations of elements of the symmetric group was
More informationTHE KNUTH RELATIONS HUAN VO
THE KNUTH RELATIONS HUAN VO Abstract We define three equivalence relations on the set of words using different means It turns out that they are the same relation Motivation Recall the algorithm of row
More informationBalanced Labellings and Schubert Polynomials. Sergey Fomin. Curtis Greene. Victor Reiner. Mark Shimozono. October 11, 1995.
Balanced Labellings and Schubert Polynomials Sergey Fomin Curtis Greene Victor Reiner Mark Shimozono October 11, 1995 Abstract We study balanced labellings of diagrams representing the inversions in a
More informationarxiv: v2 [math.co] 28 Aug 2014
arxiv:405.966v [math.co] 8 Aug 04 Richard Stanley through a crystal lens and from a random angle Anne Schilling Dedicated to Richard Stanley on the occasion of his seventieth birthday Abstract. We review
More informationThe Littlewood-Richardson Rule
REPRESENTATIONS OF THE SYMMETRIC GROUP The Littlewood-Richardson Rule Aman Barot B.Sc.(Hons.) Mathematics and Computer Science, III Year April 20, 2014 Abstract We motivate and prove the Littlewood-Richardson
More informationCOMBINATORIAL RULES FOR THREE BASES OF POLYNOMIALS
Séminaire Lotharingien de Combinatoire 74 (2015) Article B74a COMBINATORIAL RULES FOR THREE BASES OF POLYNOMIALS COLLEEN ROSS AND ALEXANDER YONG In memory of Alain Lascoux who inspired this paper one night
More informationALTERNATING SIGNS OF QUIVER COEFFICIENTS arxiv:math/ v2 [math.co] 14 Aug 2003
ALTERNATING SIGNS OF QUIVER COEFFICIENTS arxiv:math/0307014v2 [math.co] 14 Aug 2003 ANDERS SKOVSTED BUCH 1. Introduction In joint work with Fulton [10] we established a formula for the cohomology class
More informationA NATURAL GENERALISATION OF BALANCED TABLEAUX
A NATURAL GENERALISATION OF BALANCED TABLEAUX FRANÇOIS VIARD Abstract. We introduce the notion of type that allows us to define new families of tableaux, which include both balanced and standard Young
More informationCHAINS OF MAXIMUM LENGTH IN THE TAMARI LATTICE
CHAINS OF MAXIMUM LENGTH IN THE TAMARI LATTICE SUSANNA FISHEL AND LUKE NELSON Abstract. The Tamari lattice T n was originally defined on bracketings of a set of n+1 objects, with a cover relation based
More informationDUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS
DUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS EDWARD E. ALLEN, JOSHUA HALLAM, AND SARAH K. MASON Abstract. We describe a combinatorial formula for
More informationCOMBINATORIAL RULES FOR THREE BASES OF POLYNOMIALS. In memory of Alain Lascoux, who inspired this paper one night in Osaka 1.
COMBINATORIAL RULES FOR THREE BASES OF POLYNOMIALS COLLEEN ROSS AND ALEXANDER YONG ABSTRACT. We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x 1 x 2...]. First
More informationIlse Fischer. A SYMMETRY THEOREM ON A MODIFIED JEU DE TAQUIN arxiv:math/ v1 [math.co] 23 Dec 2001
A SYMMETRY THEOREM ON A MODIFIED JEU DE TAQUIN arxiv:math/01163v1 [math.co] 3 Dec 001 Ilse Fischer Institut für Mathematik der Universität Klagenfurt Universitätsstrasse 65-67 A-900 Klagenfurt Austria.
More informationSome Combinatorial Properties of Schubert Polynomials
Journal of Algebraic Combinatorics 2 (1993), 345-374 1993 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Some Combinatorial Properties of Schubert Polynomials SARA C. BILLEY1, WILLIAM
More informationOn Descents in Standard Young Tableaux arxiv:math/ v1 [math.co] 3 Jul 2000
On Descents in Standard Young Tableaux arxiv:math/0007016v1 [math.co] 3 Jul 000 Peter A. Hästö Department of Mathematics, University of Helsinki, P.O. Box 4, 00014, Helsinki, Finland, E-mail: peter.hasto@helsinki.fi.
More informationDUALITY OF ANTIDIAGONALS AND PIPE DREAMS
Séminaire Lotharingien de Combinatoire 58 (2008) Article B58e DUALITY OF ANTIDIAGONALS AND PIPE DREAMS NING JIA AND EZRA MILLER The cohomology ring H (Fl n ) of the manifold of complete flags in a complex
More informationBoolean Product Polynomials and the Resonance Arrangement
Boolean Product Polynomials and the Resonance Arrangement Sara Billey University of Washington Based on joint work with: Lou Billera and Vasu Tewari FPSAC July 17, 2018 Outline Symmetric Polynomials Schur
More informationResults and conjectures on the number of standard strong marked tableaux
FPSAC 013, Paris, France DMTCS proc. (subm.), by the authors, 1 1 Results and conjectures on the number of standard strong marked tableaux Susanna Fishel 1 and Matjaž Konvalinka 1 School of Mathematical
More informationSARA C. BILLEY AND STEPHEN A. MITCHELL
AFFINE PARTITIONS AND AFFINE GRASSMANNIANS SARA C. BILLEY AND STEPHEN A. MITCHELL Abstract. We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group
More informationALTERNATING FORMULAS FOR K-THEORETIC QUIVER POLYNOMIALS
ALTERNATING FORMULAS FOR K-THEORETIC QUIVER POLYNOMIALS EZRA MILLER Abstract. The main theorem here is the K-theoretic analogue of the cohomological stable double component formula for quiver polynomials
More informationSHIFTED K-THEORETIC POIRIER-REUTENAUER BIALGEBRA
SHIFTED K-THEORETIC POIRIER-REUTENAUER BIALGEBRA ADAM KEILTHY, REBECCA PATRIAS, LILLIAN WEBSTER, YINUO ZHANG, SHUQI ZHOU Abstract We use shifted K-theoretic jeu de taquin to show that the weak K-Knuth
More informationDual Schubert Polynomials
Mentor: Pavel Galashin Fifth Annual PRIMES Conference May 17, 2015 Table of Contents 1 2 Inversions Definition For a permutation ω, we define l(ω) = {(ω(i), ω(j) i < j and ω(i) > ω(j)}, which is also known
More informationOperators on k-tableaux and the k-littlewood Richardson rule for a special case. Sarah Elizabeth Iveson
Operators on k-tableaux and the k-littlewood Richardson rule for a special case by Sarah Elizabeth Iveson A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of
More informationarxiv:math/ v2 [math.ag] 15 Aug 2000
arxiv:math/0004137v2 [math.ag] 15 Aug 2000 A LITTLEWOOD-RICHARDSON RULE FOR THE K-THEORY OF GRASSMANNIANS ANDERS SKOVSTED BUCH Abstract. We prove an explicit combinatorial formula for the structure constants
More informationEnumeration on row-increasing tableaux of shape 2 n
Enumeration on row-increasing tableaux of shape 2 n Rosena R. X. Du East China Normal University, Shanghai, China Joint work with Xiaojie Fan and Yue Zhao Shanghai Jiaotong University June 25, 2018 2/38
More informationA combinatorial approach to the q, t-symmetry relation in Macdonald polynomials
A combinatorial approach to the q, t-symmetry relation in Macdonald polynomials Maria Monks Gillespie Department of Mathematics University of California, Berkeley Berkeley, CA, U.S.A. monks@math.berkeley.edu
More informationq-alg/ v2 15 Sep 1997
DOMINO TABLEAUX, SCH UTZENBERGER INVOLUTION, AND THE SYMMETRIC GROUP ACTION ARKADY BERENSTEIN Department of Mathematics, Cornell University Ithaca, NY 14853, U.S.A. q-alg/9709010 v 15 Sep 1997 ANATOL N.
More informationMULTI-ORDERED POSETS. Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A06 MULTI-ORDERED POSETS Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States lbishop@oxy.edu
More informationThe contributions of Stanley to the fabric of symmetric and quasisymmetric functions
The contributions of Stanley to the fabric of symmetric and quasisymmetric functions Sara C. Billey and Peter R. W. McNamara Dedicated to A E S L N T Y A D I C H R R on the occasion of his 70th birthday.
More informationFactorial Schur functions via the six vertex model
Factorial Schur functions via the six vertex model Peter J. McNamara Department of Mathematics Massachusetts Institute of Technology, MA 02139, USA petermc@math.mit.edu October 31, 2009 Abstract For a
More informationA DECOMPOSITION OF SCHUR FUNCTIONS AND AN ANALOGUE OF THE ROBINSON-SCHENSTED-KNUTH ALGORITHM
A DECOMPOSITION OF SCHUR FUNCTIONS AND AN ANALOGUE OF THE ROBINSON-SCHENSTED-KNUTH ALGORITHM S. MASON Abstract. We exhibit a weight-preserving bijection between semi-standard Young tableaux and semi-skyline
More informationSkew Schubert Polynomials
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2002 Skew Schubert Polynomials Cristian Lenart
More informationCylindric Young Tableaux and their Properties
Cylindric Young Tableaux and their Properties Eric Neyman (Montgomery Blair High School) Mentor: Darij Grinberg (MIT) Fourth Annual MIT PRIMES Conference May 17, 2014 1 / 17 Introduction Young tableaux
More informationRow-strict quasisymmetric Schur functions
Row-strict quasisymmetric Schur functions Sarah Mason and Jeffrey Remmel Mathematics Subject Classification (010). 05E05. Keywords. quasisymmetric functions, Schur functions, omega transform. Abstract.
More informationarxiv:math/ v1 [math.co] 15 Sep 1999
ON A CONJECTURED FORMULA FOR QUIVER VARIETIES ariv:math/9909089v1 [math.co] 15 Sep 1999 ANDERS SKOVSTED BUCH 1. Introduction The goal of this paper is to prove some combinatorial results about a formula
More informationThe weighted hook length formula III: Shifted tableaux
The weighted hook length formula III: Shifted tableaux Matjaž Konvalinka Submitted: Jan 12, 2011; Accepted: Apr 22, 2011; Published: May 8, 2011 Mathematics Subject Classification: 05A17, 05A19, 05E10
More informationEQUIDISTRIBUTION AND SIGN-BALANCE ON 321-AVOIDING PERMUTATIONS
Séminaire Lotharingien de Combinatoire 51 (2004), Article B51d EQUIDISTRIBUTION AND SIGN-BALANCE ON 321-AVOIDING PERMUTATIONS RON M. ADIN AND YUVAL ROICHMAN Abstract. Let T n be the set of 321-avoiding
More informationarxiv:math/ v1 [math.co] 27 Nov 2006
arxiv:math/0611822v1 [math.co] 27 Nov 2006 AN EXTENSION OF THE FOATA MAP TO STANDARD YOUNG TABLEAUX J. HAGLUND,1 AND L. STEVENS Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104-6395,
More informationTower tableaux and Schubert polynomials
Tower tableaux and Schubert polynomials Olcay Coşkun, Müge Taşkın Boğaziçi Üniversitesi, Matematik Bölümü 332 Bebek, Istanbul, Turkey. arxiv:1303.7389v2 [math.co] 2 Aug 2013 Abstract We prove that the
More informationPLANE PARTITIONS AMY BECKER, LILLY BETKE-BRUNSWICK, ANNA ZINK
PLANE PARTITIONS AMY BECKER, LILLY BETKE-BRUNSWICK, ANNA ZINK Abstract. Throughout our study of the enumeration of plane partitions we make use of bijective proofs to find generating functions. In particular,
More informationPermutation patterns, Stanley symmetric functions, and generalized Specht modules
Permutation patterns, Stanley symmetric functions, and generalized Specht modules Sara Billey a,1, Brendan Pawlowski a,1, a University of Washington, Department of Mathematics, Box 354350, Seattle, WA
More informationA MARKOV CHAIN ON THE SYMMETRIC GROUP WHICH IS SCHUBERT POSITIVE?
A MARKOV CHAIN ON THE SYMMETRIC GROUP WHICH IS SCHUBERT POSITIVE? THOMAS LAM AND LAUREN WILLIAMS Abstract. We study a multivariate Markov chain on the symmetric group with remarkable enumerative properties.
More informationCatalan functions and k-schur positivity
Catalan functions and k-schur positivity Jonah Blasiak Drexel University joint work with Jennifer Morse, Anna Pun, and Dan Summers November 2018 Theorem (Haiman) Macdonald positivity conjecture The modified
More informationGENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX. Jaejin Lee
Korean J. Math. 8 (00), No., pp. 89 98 GENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX Jaejin Lee Abstract. Eğecioğlu and Remmel [] gave a combinatorial interpretation
More informationNUMATA, Yasuhide. (joint work w/ S. Okamura and K. Nakada.)
On a framework for Hillman Grassl algorithms NUMATA, Yasuhide Shinshu univ. (joint work w/ S. Okamura and K. Nakada.) Introduction Notation Outline 1 Introduction Notation The classical Hillman Grassl
More informationThe Rule of Three for commutation relations
The Rule of Three for commutation relations Jonah Blasiak Drexel University joint work with Sergey Fomin (University of Michigan) May 2016 Symmetric functions The ring of symmetric functions Λ(x) = Λ(x
More informationRSK VIA LOCAL TRANSFORMATIONS
RSK VIA LOCAL TRANSFORMATIONS SAM HOPKINS 1. Introduction The Robinson Schensted Knuth correspondence is a map from n n N- matrices (i.e., matrices with nonnegative integer entries) to pairs of semistandard
More informationAbacus-tournament Models of Hall-Littlewood Polynomials
Abacus-tournament Models of Hall-Littlewood Polynomials Andrew J. Wills Dissertation submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements
More informationMore about partitions
Partitions 2.4, 3.4, 4.4 02 More about partitions 3 + +, + 3 +, and + + 3 are all the same partition, so we will write the numbers in non-increasing order. We use greek letters to denote partitions, often
More informationPATTERN AVOIDANCE AND RATIONAL SMOOTHNESS OF SCHUBERT VARIETIES SARA C. BILLEY
PATTERN AVOIDANCE AND RATIONAL SMOOTHNESS OF SCHUBERT VARIETIES SARA C. BILLEY Let w be an element of the Weyl group S n, and let X w be the Schubert variety associated to w in the ag manifold SL n (C
More informationEnumeration of Parabolic Double Cosets for Coxeter Groups
Enumeration of Parabolic Double Cosets for Coxeter Groups Sara Billey University of Washington Based on joint work with: Matjaž Konvalinka, T. Kyle Petersen, William Slofstra and Bridget Tenner based on
More informationON DECOMPOSITION OF THE PRODUCT OF DEMAZURE ATOMS AND DEMAZURE CHARACTERS. Anna, Ying Pun A DISSERTATION. Mathematics
ON DECOMPOSITION OF THE PRODUCT OF DEMAZURE ATOMS AND DEMAZURE CHARACTERS Anna, Ying Pun A DISSERTATION in Mathematics Presented to the Faculties of the University of Pennsylvania in Partial Fulfillment
More informationTableau sequences, open diagrams, and Baxter families
Tableau sequences, open diagrams, and Baxter families Sophie Burrill a, Julien Courtiel a, Eric Fusy b, Stephen Melczer c, Marni Mishna a, a Department of Mathematics, Simon Fraser University, Burnaby,
More informationA PATTERN THEOREM FOR RANDOM SORTING NETWORKS
A PATTERN THEOREM FOR RANDOM SORTING NETWORKS OMER ANGEL, VADIM GORIN, AND ALEXANDER HOLROYD Abstract. A sorting network is a shortest path from 2 n to n 2 in the Cayley graph of the symmetric group S
More informationA Murnaghan-Nakayama Rule for k-schur Functions
A Murnaghan-Nakayama Rule for k-schur Functions Anne Schilling (joint work with Jason Bandlow, Mike Zabrocki) University of California, Davis October 31, 2012 Outline History The Murnaghan-Nakayama rule
More informationCyclic sieving for longest reduced words in the hyperoctahedral group
FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 983 994 Cyclic sieving for longest reduced words in the hyperoctahedral group T. K. Petersen 1 and L. Serrano 2 1 DePaul University, Chicago, IL 2 University
More informationREPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97])
REPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97]) MICHAEL WALTER. Diagrams and Tableaux Diagrams and Tableaux. A (Young) diagram λ is a partition of a natural number n 0, which we often
More informationSCHUBERT POLYNOMIALS FOR THE CLASSICAL GROUPS. Sara C. Billey
SCHUBERT POLYNOMIALS FOR THE CLASSICAL GROUPS Sara C. Billey Author supported by the National Physical Science Consortium, IBM and UCSD. 1980 Mathematics Subject Classication (1985 Revision). Primary Primary
More informationDIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO
DIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO Abstract. In this paper, we give a sampling of the theory of differential posets, including various topics that excited me. Most of the material is taken from
More informationarxiv: v1 [math.co] 5 Apr 2018
ON RANDOM SHIFTED STANDARD YOUNG TABLEAUX AND 13-AVOIDING SORTING NETWORKS arxiv:1804.01795v1 [math.co] 5 Apr 018 SVANTE LINUSSON, SAMU POTKA AND ROBIN SULZGRUBER Abstract. We study shifted standard Young
More informationAFFINE INSERTION AND PIERI RULES FOR THE AFFINE GRASSMANNIAN
AFFINE INSERTION AND PIERI RULES FOR THE AFFINE GRASSMANNIAN THOMAS LAM, LUC LAPOINTE, JENNIFER MORSE, AND MARK SHIMOZONO Abstract. We study combinatorial aspects of the Schubert calculus of the affine
More informationA Formula for the Specialization of Skew Schur Functions
A Formula for the Specialization of Skew Schur Functions The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher
More informationGROWTH DIAGRAMS FOR THE SCHUBERT MULTIPLICATION. 1. Introduction
GROWTH DIAGRAMS FOR THE SCHUBERT MULTIPLICATION CRISTIAN LENART Abstract. We present a partial generalization to Schubert calculus on flag varieties of the classical Littleood-Richardson rule, in its version
More informationarxiv: v1 [math-ph] 18 May 2017
SHIFTED TABLEAUX AND PRODUCTS OF SCHUR S SYMMETRIC FUNCTIONS KEIICHI SHIGECHI arxiv:1705.06437v1 [math-ph] 18 May 2017 Abstract. We introduce a new combinatorial object, semistandard increasing decomposition
More informationCrossings and Nestings in Tangled Diagrams
Crossings and Nestings in Tangled Diagrams William Y. C. Chen 1, Jing Qin 2 and Christian M. Reidys 3 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071, P. R. China 1 chen@nankai.edu.cn,
More informationNoncommutative Schur P -functions and the shifted plactic monoid
Noncommutative Schur P -functions and the shifted plactic monoid by Luis Guillermo Serrano Herrera A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy
More informationSCHUR FUNCTIONS AND DOMINO TABLEAUX GENERALISATION TO K-THEORY
SCHUR FUNCTIONS AND DOMINO TABLEAUX GENERALISATION TO K-THEORY FLORENCE MAAS-GARIÉPY. Introduction. Symmetric functions, partitions and Young tableaux.. Symmetric functions.. Partitions and Young tableaux..
More informationA Pieri rule for skew shapes
A Pieri rule for skew shapes Sami H. Assaf 1 Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA Peter R. W. McNamara Department of Mathematics, Bucknell University,
More informationIt is well-known (cf. [2,4,5,9]) that the generating function P w() summed over all tableaux of shape = where the parts in row i are at most a i and a
Counting tableaux with row and column bounds C. Krattenthalery S. G. Mohantyz Abstract. It is well-known that the generating function for tableaux of a given skew shape with r rows where the parts in the
More informationarxiv: v1 [math.co] 21 Jan 2019
A symplectic refinement of shifted Hecke insertion arxiv:1901.06771v1 [math.co] 21 Jan 2019 Eric Marberg Department of Mathematics Hong Kong University of Science and Technology eric.marberg@gmail.com
More informationA Pieri-type formula and a factorization formula for K-k-Schur February functions 22, / 37
A Pieri-type formula and a factorization formula for K-k-Schur functions Motoki TAKIGIKU The University of Tokyo February 22, 2018 A Pieri-type formula and a factorization formula for K-k-Schur February
More informationON THE ASYMPTOTIC DISTRIBUTION OF PARAMETERS IN RANDOM WEIGHTED STAIRCASE TABLEAUX
ON THE ASYMPTOTIC DISTRIBUTION OF PARAMETERS IN RANDOM WEIGHTED STAIRCASE TABLEAUX PAWE L HITCZENKO AND AMANDA PARSHALL Abstract In this paper, we study staircase tableaux, a combinatorial object introduced
More informationarxiv: v1 [math.co] 25 May 2011
arxiv:1105.4986v1 [math.co] 25 May 2011 Gog and Magog triangles, and the Schützenberger involution Hayat Cheballah and Philippe Biane Abstract. We describe an approach to finding a bijection between Alternating
More informationTHE REPRESENTATIONS OF THE SYMMETRIC GROUP
THE REPRESENTATIONS OF THE SYMMETRIC GROUP LAUREN K. WILLIAMS Abstract. In this paper we classify the irreducible representations of the symmetric group S n and give a proof of the hook formula for the
More informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationGRÖBNER GEOMETRY OF VERTEX DECOMPOSITIONS AND OF FLAGGED TABLEAUX
GRÖBNER GEOMETRY OF VERTEX DECOMPOSITIONS AND OF FLAGGED TABLEAUX ALLEN KNUTSON, EZRA MILLER, AND ALEXANDER YONG ABSTRACT. We relate a classic algebro-geometric degeneration technique, dating at least
More informationNOTES ABOUT SATURATED CHAINS IN THE DYCK PATH POSET. 1. Basic Definitions
NOTES ABOUT SATURATED CHAINS IN THE DYCK PATH POSET JENNIFER WOODCOCK 1. Basic Definitions Dyck paths are one of the many combinatorial objects enumerated by the Catalan numbers, sequence A000108 in [2]:
More informationA new proof of a theorem of Littlewood
A new proof of a theorem of Littlewood Jason Bandlow Department of Mathematics University of California, Davis Davis, California, USA jbandlow@math.ucdavis.edu Michele D Adderio Department of Mathematics
More informationQUASISYMMETRIC (k, l)-hook SCHUR FUNCTIONS
QUASISYMMETRIC (k, l)-hook SCHUR FUNCTIONS SARAH K. MASON AND ELIZABETH NIESE Abstract. We introduce a quasisymmetric generalization of Berele and Regev s hook Schur functions and prove that these new
More informationOn certain family of B-modules
On certain family of B-modules Piotr Pragacz (IM PAN, Warszawa) joint with Witold Kraśkiewicz with results of Masaki Watanabe Issai Schur s dissertation (Berlin, 1901): classification of irreducible polynomial
More informationLittlewood Richardson polynomials
Littlewood Richardson polynomials Alexander Molev University of Sydney A diagram (or partition) is a sequence λ = (λ 1,..., λ n ) of integers λ i such that λ 1 λ n 0, depicted as an array of unit boxes.
More informationREDUCED WORD MANIPULATION: PATTERNS AND ENUMERATION
REDUCED WORD MANIPULATION: PATTERNS AND ENUMERATION BRIDGET EILEEN TENNER Abstract. We develop the technique of reduced word manipulation to give a range of results concerning reduced words and permutations
More informationIncreasing and Decreasing Subsequences
Increasing and Decreasing Subsequences Richard P. Stanley M.I.T. Permutations Permutations First lecture: increasing and decreasing subsequences Permutations First lecture: increasing and decreasing
More informationEnumerative Combinatorics with Fillings of Polyominoes
Enumerative Combinatorics with Fillings of Polyominoes Catherine Yan Texas A&M Univesrity GSU, October, 204 2 Outline. Symmetry of the longest chains Subsequences in permutations and words Crossings and
More informationLARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS
Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.
More informationarxiv: v1 [math.co] 16 Aug 2018
AN ORTHOSYMPLECTIC PIERI RULE arxiv:1808.05589v1 [math.co] 16 Aug 2018 ANNA STOKKE University of Winnipeg Department of Mathematics and Statistics Winnipeg, Manitoba Canada R3B 2E9 Abstract. The classical
More informationAN ALGORITHMIC SIGN-REVERSING INVOLUTION FOR SPECIAL RIM-HOOK TABLEAUX
AN ALGORITHMIC SIGN-REVERSING INVOLUTION FOR SPECIAL RIM-HOOK TABLEAUX BRUCE E. SAGAN AND JAEJIN LEE Abstract. Eğecioğlu and Remmel [2] gave an interpretation for the entries of the inverse Kostka matrix
More informationCharacters, Derangements and Descents for the Hyperoctahedral Group
Characters, Derangements and Descents for the Hyperoctahedral Group Christos Athanasiadis joint with Ron Adin, Sergi Elizalde and Yuval Roichman University of Athens July 9, 2015 1 / 42 Outline 1 Motivation
More informationarxiv: v1 [math.co] 28 Feb 2012
Computational and Theoretical Challenges On Counting Solid Standard Young Tableaux Shalosh B. EKHAD and Doron ZEILBERGER 1 Very Important: This article is accompanied by the Maple package http://www.math.rutgers.edu/~zeilberg/tokhniot/solidsyt.
More informationAsymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 8:, 06, #6 arxiv:50.0890v4 [math.co] 6 May 06 Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard
More information