|
|
| Line 1: |
Line 1: |
| In [[mathematics]], the '''Robinson–Schensted correspondence''' is a [[bijection|bijective]] correspondence between [[permutation]]s and pairs of standard [[Young tableaux]] of the same shape. It has various descriptions, all of which are of algorithmic nature, it has many remarkable properties, and it has applications in [[combinatorics]] and other areas such as [[representation theory]]. The correspondence has been generalized in numerous ways, notably by Knuth to what is known as the [[Robinson–Schensted–Knuth correspondence]], and a further generalization to [[picture (mathematics)|picture]]s by Zelevinsky.
| | == but dare to Mars which are present in number one == |
|
| |
|
| The simplest description of the correspondence is using the '''Schensted algorithm''' {{harvs|author=Craige Schensted|last=Schensted|year=1961}}, a procedure that constructs one tableau by successively inserting the values of the permutation according to a specific rule, while the other tableau records the evolution of the shape during construction. The correspondence had been described, in a rather different form, much earlier by Robinson {{harvs|authorlink=Gilbert de Beauregard Robinson|last=Robinson|year=1938}}, in an attempt to prove the [[Littlewood–Richardson rule]]. The correspondence is often referred to as the '''Robinson–Schensted algorithm''', although the procedure used by Robinson is radically different from the Schensted–algorithm, and almost entirely forgotten.
| | Cattleya crazy siege [http://www.nrcil.net/fancybox/lib/rakuten_LV_104.html ルイヴィトン ハンドバッグ] to branches, and a pale golden willow root of rapidly added to the battle.<br><br>Whoosh! Whoosh! Whoosh!<br><br>vulture Li Yao, Ivan ghost, Dire Keita three were instantly turned blur, even three together from [http://www.nrcil.net/fancybox/lib/rakuten_LV_21.html ルイヴィトン 長財布 中古] the periphery, together with strangling the willow [http://www.nrcil.net/fancybox/lib/rakuten_LV_19.html ルイヴィトンのバック] tree diameter is probably about one meter eighty. Li Yao and Ivan body which extends out black streamer, covering the whole body, both [http://www.nrcil.net/fancybox/lib/rakuten_LV_97.html ルイヴィトンのキーケース] of them are obviously God has a black suit. Because [http://www.nrcil.net/fancybox/lib/rakuten_LV_106.html ルイヴィトン 中古] God has a black suit ...... so Li Yao and Ivan duo, do not use a shield.<br><br>'four people, three [http://www.nrcil.net/fancybox/lib/rakuten_LV_132.html ルイヴィトン2014新作] people have [http://www.nrcil.net/fancybox/lib/rakuten_LV_104.html ルイヴィトン 財布 メンズ エピ] turned black suit God?' distant peek Luo Feng jing.<br>Black God on Earth<br>not suit many, but dare to Mars which are present in number one, Li Yao were hit even notified, if not keep Yao-admission, dare to come? God has a black suit over [http://www.nrcil.net/fancybox/lib/rakuten_LV_12.html ルイヴィトンルイヴィトン] the world will always such people, the number of extremely rare. Each is has amazing strength.<br><br>' |
| Other methods of defining the correspondence include a [[nondeterministic algorithm]] in terms of [[jeu de taquin]].
| | 相关的主题文章： |
| | | <ul> |
| The bijective nature of the correspondence relates it to the [[enumerative combinatorics|enumerative]] identity:
| | |
| :<math>\sum_{\lambda\in\mathcal{P}_n} (t_\lambda)^2= n!</math>
| | <li>[http://brain007.gain.tw/viewthread.php?tid=1285&extra= http://brain007.gain.tw/viewthread.php?tid=1285&extra=]</li> |
| where <math>\mathcal{P}_n</math> denotes the set of [[Partition (number theory)|partition]]s of <math>n</math> (or of [[Young diagram]]s with ''n'' squares), and {{math|''t''<sub> ''λ''</sub>}} denotes the number of standard Young tableaux of shape {{math|''λ''}}.
| | |
| | | <li>[http://www.appclub8.com/forum.php?mod=viewthread&tid=104717&fromuid=91245 http://www.appclub8.com/forum.php?mod=viewthread&tid=104717&fromuid=91245]</li> |
| == The Schensted algorithm ==
| | |
| | | <li>[http://bbs.yingchengs.com/forum.php?mod=viewthread&tid=276031 http://bbs.yingchengs.com/forum.php?mod=viewthread&tid=276031]</li> |
| The Schensted algorithm starts from the permutation ''σ'' written in two-line notation
| | |
| | | </ul> |
| :<math>\sigma=\begin{pmatrix}1 & 2 & 3 & \cdots & n\\ \sigma_1 & \sigma_2 & \sigma_3 & \cdots & \sigma_n \end{pmatrix}</math>
| |
| | |
| where <math>\sigma_i=\sigma(i)</math>, and proceeds by constructing sequentially a sequence of (intermediate) ordered pairs of Young tableaux of the same shape:
| |
| | |
| :<math>(P_0,Q_0),\quad(P_1,Q_1),\quad(P_2,Q_2),\quad\ldots,\quad(P_n,Q_n),</math>
| |
| | |
| where <math>P_0=Q_0</math> are empty tableaux. The output tableaux are <math>P=P_n</math> and <math>Q=Q_n</math>. Once <math>P_{i-1}</math> is constructed, one forms <math>P_i</math> by ''inserting'' <math>\sigma_i</math> into <math>P_{i-1}</math>, and then <math>Q_i</math> by adding an entry ''i'' to <math>Q_{i-1}</math> in the square added to the shape by the insertion (so that <math>P_i</math> and <math>Q_i</math> have equal shapes for all ''i''). Because of the more passive role of the tableaux <math>Q_i</math>, the final one <math>Q_n</math>, which is part of the output and from which the previous <math>Q_i</math> are easily read off, is called the '''recording tableau'''; by contrast the tableaux <math>P_i</math> are called '''insertion tableaux'''.
| |
| | |
| === Insertion ===
| |
| [[Image:Young-Schensted.png|thumb|right|180px|Insertion of (4):
| |
| <br/>• (4) replaces (5) in the first row
| |
| <br/>• (5) replaces (8) in the second row
| |
| <br/>• (8) creates the third row]]
| |
| The basic procedure used to insert each <math>\sigma_i</math> is called '''Schensted insertion''' or '''row-insertion''' (to distinguish it from a variant procedure called column-insertion). Its simplest form is defined in terms of "incomplete standard tableaux": like standard tableaux they have distinct entries, forming increasing rows and columns, but some values (still to be inserted) may be absent as entries. The procedure takes as arguments such a tableau <math>T</math> and a value <math>x</math> not present as entry of <math>T</math>; it produces as output a new tableau denoted {{math|''T'' ← ''x''}} and a square <math>s</math> by which its shape has grown. The value <math>x</math> appears in the first row of {{math|''T'' ← ''x''}}, either having been added at the end (if no entries larger than <math>x</math> were present), or otherwise replacing the first entry <math>y>x</math> in the first row of <math>T</math>. In the former case <math>s</math> is the square where <math>x</math> is added, and the insertion is completed; in the latter case the replaced entry <math>y</math> is similarly inserted into the second row of <math>T</math>, and so on, until at some step the first case applies (which certainly happens if an empty row of <math>T</math> is reached).
| |
| | |
| More formally, the following [[pseudocode]] describes the row-insertion of a new value <math>x</math> into <math>T</math>.<ref>Adapted from {{citation|author=D. E. Knuth|authorlink=Donald Ervin Knuth|title = [[The Art of Computer Programming]]|volume=3|pages=50–51}}</ref>
| |
| # Set <math>i=1</math> and <math>j</math> to one more than the length of the first row of <math>T</math>.
| |
| # While <math>j>1</math> and <math>x<T_{i,j-1}</math>, decrease <math>j</math> by 1. (Now <math>(i,j)</math> is the first square in row <math>i</math> with either an entry larger than <math>x</math> in <math>T</math>, or no entry at all.)
| |
| # If the square <math>(i,j)</math> is empty in <math>T</math>, terminate after adding <math>x</math> to <math>T</math> in square <math>(i,j)</math> and setting <math>s=(i,j)</math>.
| |
| # Swap the values <math>x</math> and <math>T_{i,j}</math>. (This inserts the old <math>x</math> into row <math>i</math>, and saves the value it replaces for insertion into the next row.)
| |
| # Increase <math>i</math> by 1 and return to step 2.
| |
| | |
| The shape of <math>T</math> grows by exactly one square, namely <math>s</math>.
| |
| | |
| ==== Correctness ====
| |
| | |
| The fact that {{math|''T'' ← ''x''}} has increasing rows and columns, if the same holds for <math>T</math>, is not obvious from this procedure (entries in the same column are never even compared). It can however be seen as follows. At all times except immediately after step 4, the square <math>(i,j)</math> is either empty in <math>T</math> or holds a value greater than <math>x</math>; step 5 re-establishes this property because <math>(i,j)</math> now is the square immediately below the one that originally contained <math>x</math> in <math>T</math>. Thus the effect of the replacement in step 4 on the value <math>T_{i,j}</math> is to make it smaller; in particular it cannot become greater than its right or lower neighbours. On the other hand the new value is not less than its left neighbour (if present) either, as is ensured by the comparison that just made step 2 terminate. Finally to see that the new value is larger than its upper neighbour <math>T_{i-1,j}</math> if present, observe that <math>x>T_{i-1,j}</math> holds after step 5, and that decreasing <math>j</math> in step 2 only decreases the corresponding value <math>T_{i-1,j}</math>.
| |
| | |
| === Constructing the tableaux ===
| |
| | |
| The full Schensted algorithm applied to a permutation {{mvar|''σ''}} proceeds as follows.
| |
| # Set both {{mvar|''P''}} and {{mvar|''Q''}} to the empty tableau
| |
| # For <math>i</math> increasing from 1 to <math>n</math> compute {{math|''P'' ← ''σ''<sub>''i''</sub>}} and the square {{mvar|''s''}} by the insertion procedure; then replace {{mvar|''P''}} by {{math|''P'' ← ''σ''<sub>''i''</sub>}} and add the entry {{mvar|''i''}} to the tableau {{mvar|''Q''}} in the square {{mvar|''s''}}.
| |
| # Terminate, returning the pair <math>(P,Q)</math>.
| |
| | |
| The algorithm produces a pair of standard Young tableaux.
| |
| | |
| ==== Invertibility of the construction ====
| |
| | |
| It can be seen that given any pair {{math|(''P'',''Q'')}} of standard Young tableaux of the same shape, there is an inverse procedure that produces a permutation that will give rise to {{math|(''P'',''Q'')}} by the Schensted algorithm. It essentially consists of tracing steps of the algorithm backwards, each time using an entry of {{mvar|''Q''}} to find the square where the inverse insertion should start, moving the corresponding entry of {{mvar|''P''}} to the preceding row, and continuing upwards through the rows until an entry of the first row is replaced, which is the value inserted at the corresponding step of the construction algorithm. These two inverse algorithms define a bijective correspondence between permutations of ''n'' on one side, and pairs of standard Young tableaux of equal shape and containing ''n'' squares on the other side.
| |
| | |
| == Properties ==
| |
| | |
| One of the most fundamental properties, but not evident from the algorithmic construction, is symmetry:
| |
| | |
| * If the Robinson–Schensted correspondence associates tableaux {{math|(''P'',''Q'')}} to a permutation ''σ'', then it associates {{math|(''Q'',''P'')}} to the inverse permutation ''σ''<sup>−1</sup>.
| |
| | |
| This can be proven, for instance, by appealing to [[Viennot's geometric construction]].
| |
| | |
| Further properties, all assuming that the correspondence associates tableaux {{math|(''P'',''Q'')}} to the permutation ''σ'' = (''σ''<sub>1</sub>,...,''σ''<sub>''n''</sub>).
| |
| | |
| * In the pair of tableaux {{math|(''P''′,''Q''′)}} associated to the reversed permutation (''σ''<sub>''n''</sub>,...,''σ''<sub>1</sub>), the tableau ''P''′ is the transpose of the tableau ''P'', and ''Q''′ is a tableau determined by ''Q'', independently of ''P'' (namely the transpose of the tableau obtained from ''Q'' by the [[Schützenberger involution]]).
| |
| | |
| * The length of the [[longest increasing subsequence]] of ''σ''<sub>1</sub>,...,''σ''<sub>''n''</sub> is equal to the length of the first row of ''P'' (and of ''Q'').
| |
| | |
| * The length of the longest decreasing subsequence of ''σ''<sub>1</sub>,...,''σ''<sub>''n''</sub> is equal to the length of the first column of ''P'' (and of ''Q''), as follows from the previous two properties.
| |
| | |
| * The descent set <math>\{i:\sigma_i > \sigma_{i+1} \}</math> of <math>\sigma</math> equals the descent set <math>\{i:i+1</math> is in a row strictly below the row of <math>i\}</math> of ''Q''.
| |
| | |
| * Identify subsequences of <math>\pi</math> with their sets of indices. It is a theorem of Greene that for any <math>k\geq 1</math>, the size of the largest set that can be written as the union of at most <math>k</math> increasing subsequences is <math>\lambda_1+\dots+\lambda_k</math>. In particular, <math>\lambda_1</math> equals the largest length of an increasing subsequence of <math>\pi</math>.
| |
| | |
| * If <math>\sigma</math> is an [[Involution (mathematics)|involution]], then the number of fixed points of <math>\sigma</math> equals the number of columns of odd length in <math>\lambda</math>
| |
| <!-- list to be completed -->
| |
| | |
| ==See also==
| |
| [[Viennot's geometric construction]], which provides a diagrammatic interpretation of the correspondence.
| |
| | |
| ==Notes==
| |
| {{Reflist}}
| |
| | |
| ==References==
| |
| *{{Citation | last1=Fulton | first1=William | authorlink=William Fulton (mathematician) | title=Young Tableaux | publisher=[[Cambridge University Press]] | series=London Mathematical Society Student Texts | isbn=978-0-521-56144-0 | mr = 1464693 | year=1997 | volume=35}}.
| |
| *{{Citation | last1=Knuth | first1=Donald E. | authorlink=Donald Knuth | title=Permutations, matrices, and generalized Young tableaux | url=http://projecteuclid.org/euclid.pjm/1102971948 | mr = 0272654 | year=1970 | journal=[[Pacific Journal of Mathematics]] | volume=34 | pages=709–727}}
| |
| *{{Citation | doi=10.2307/2371609 | last1=Robinson | first1=G. de B. | authorlink=Gilbert de Beauregard Robinson | title=On the Representations of the Symmetric Group | year=1938 | journal=[[American Journal of Mathematics]] | volume=60 | issue=3 | pages=745–760 | jstor=2371609|id={{Zbl|0019.25102}}}}.
| |
| *{{citation|first=B. E.|last=Sagan|title=The Symmetric Group|series= Graduate Texts in Mathematics|volume=203|publisher=Springer-Verlag|location= New York|year= 2001|isbn= 0-387-95067-2}}.
| |
| *{{Citation | doi=10.4153/CJM-1961-015-3 | authorlink=Craige Schensted | last1=Schensted | first1=C. | title=Longest increasing and decreasing subsequences | mr = 0121305 | year=1961 | journal=[[Canadian Journal of Mathematics]] | volume=13 | pages=179–191}}.
| |
| *{{Citation | authorlink=Richard P. Stanley | last1=Stanley | first1=Richard P. | title=Enumerative Combinatorics, Vol. 2 | url=http://www-math.mit.edu/~rstan/ec/ | publisher=[[Cambridge University Press]] | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-56069-6 | mr = 1676282 | year=1999 | volume=62}}.
| |
| *{{Citation | author=Andrei Zelevinsky | last1=Zelevinsky | first1=A. V. | title=A generalization of the Littlewood–Richardson rule and the Robinson–Schensted–Knuth correspondence | doi=10.1016/0021-8693(81)90128-9 | mr = 613858 | year=1981 | journal=Journal of Algebra | volume=69 | issue=1 | pages=82–94}}.
| |
| | |
| ==External links==
| |
| *{{eom|id=R/r110120|title=Robinson–Schensted correspondence|first=M.A.A.|last= van Leeuwen}}
| |
| | |
| {{DEFAULTSORT:Robinson-Schensted correspondence}}
| |
| [[Category:Algebraic combinatorics]]
| |
| [[Category:Combinatorial algorithms]]
| |
| [[Category:Permutations]]
| |
| [[Category:Representation theory of finite groups]]
| |