Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

One important property of the Robinson-Schensted correspondence (RS) is that the longest increasing subsequence of the permutation $\sigma$ is $\lambda_1$, the first entry of the shape $\lambda(\sigma)$ of the tableaux associated to $\sigma$. Greene's theorem (sorry for the paywall) generalizes this result to $k$-increasing sequences and the sum $\lambda_1 + \dots + \lambda_k$.

Are there generalizations of Greene's theorem to other insertion algorithms? Such algorithms would would include RSK, Hecke insertion, Edelman-Greene insertion and any other variants you are aware of. In particular, it seems a generalization of this is known for the full RSK correspondence, but I am having difficulty finding a reference. Moreover, I was told of an article by Haiman on generalizations of RS that may include such results, but have never found it.

share|improve this question
The boycott be thanked, there is no paywall on Advances in Mathematics anymore. It's a good question, and I wouldn't be surprised if the straightforward RSK analogue (interpret the matrix of nonnegative integers as a "poset", with $k$ elements in every cell filled with integer $k$) would work as soon as one would sort out the failure of antisymmetry in these "posets". –  darij grinberg Mar 15 '13 at 17:44
I think the article of Haiman that you are thinking of is "Dual equivalence with applications, including a conjecture of Proctor", sciencedirect.com/science/article/pii/0012365X9290368P –  Michael Joyce Mar 15 '13 at 17:48

2 Answers 2

up vote 10 down vote accepted

For RSK the answer is "well known". You can find the statements neatly arranged in an article by Christian Krattenthaler http://arxiv.org/abs/math/0510676.

I think the right framework for this question is Sergey Fomin's theory of dual graded graphs. However, I don't think there are many other insertion algorithms where the Greene-Kleitman invariant is known. One is the insertion algorithm for shifted tableaux, and another, easy one is the pair (BinTree, BinWord).

In fact, whenever you have such a Greene-Kleitman invariant and whenever this invariant behaves well with respect to "promotion", you are in a good position to get a result parallel to http://arxiv.org/abs/math/0604140. For the pair (BinTree, BinWord) this is indeed the case (and interesting), but I never managed to write it up due to time constraints...

For Edelman-Greene the story is slightly different I think. If I recall correctly you can say at least a little bit about the shape of the word by staring long enough at the article by Christian Stump and Luis Serrano http://arxiv.org/abs/1009.4690 or myself http://arxiv.org/abs/1009.3919.


The Kleitman Greene invariants for some insertion algorithms (for the standard case, i.e., where the words are permutations) are described in Sergey Fomin's paper "Schensted algorithms for dual graded graphs":

1) Theorem 4.4.4: Young-Fibonacci insertion (due to Tom Roby and Sergey Fomin, perhaps the invariant for Janvier Nzeutchap's algorithm is different).

2) Just below Proposition 4.5.2: Shifted insertion (attributed to Worley and Bruce Sagan, see Richard Stanley's answer for the description in the semistandard case due to Luis Serrano)

3) Proposition 4.6.2: (BinTree, BinWord)-insertion (independently due to Xavier Viennot)

I'd be interested in learning about Kleitman-Greene invariants for other insertion algorithms. In particular, is it known for domino insertion (as described by Marc van Leeuwen, see also this paper by Thomas Lam)

share|improve this answer
If nothing else, you will be able to say something about the shape of the words in that article. –  Marc van Leeuwen Mar 16 '13 at 14:03
Sorry, I don't understand? –  Martin Rubey Mar 16 '13 at 15:39
I would be very interested in why this answer was downvoted. Could you please leave a comment? Thanks. –  Martin Rubey Mar 16 '13 at 15:49

For shifted RSK, see Section 3.5 of the thesis of Luis Guillermo Serrano Herrera at http://deepblue.lib.umich.edu/bitstream/handle/2027.42/77864/lserrano_1.pdf;jsessionid=B5A8F5AD166B6960A30EE5E16394A963?sequence=1.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.