Hook lengths and shifted parts of partitions Guo-Niu Han To cite this version: Guo-Niu Han Hook lengths and shifted parts of partitions The Ramanujan Journal, 009, 9 p <hal-00395690> HAL Id: hal-00395690 https://halarchives-ouvertesfr/hal-00395690 Submitted on 6 Jun 009 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not The documents may come from teaching and research institutions in France or abroad, or from public or private research centers L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés
Hook lengths and shifted parts of partitions Guo-Niu HAN 008//7 Dedicated to George Andrews, on the occasion of his seventieth birthday ABSTRACT Some conjectures on partition hook lengths, recently stated by the author, have been proved and generalized by Stanley, who also needed a formula by Andrews, Goulden and Jackson on symmetric functions to complete his derivation Another identity on symmetric functions can be used instead The purpose of this note is to prove it Introduction The hook lengths of partitions are widely studied in the Theory of Partitions, in Algebraic Combinatorics and Group Representation Theory The basic notions needed here can be found in [St99, p87; La0, p] A partition λ is a sequence of positive integers λ (λ, λ,,λ l ) such that λ λ λ l > 0 The integers (λ i ) i,,,l are called the parts of λ, the number l of parts being the length of λ denoted by l(λ) The sum of its parts λ +λ + +λ l is denoted by λ Let n be an integer, a partition λ is said to be a partition of n if λ n We write λ n Each partition can be represented by its Ferrers diagram For each box v in the Ferrers diagram of a partition λ, or for each box v in λ, for short, define the hook length of v, denoted by h v (λ) or h v, to be the number of boxes u such that u v, or u lies in the same column as v and above v, or in the same row as v and to the right of v The product of all hook lengths of λ is denoted by The hook length plays an important role in Algebraic Combinatorics thanks to the famous hook formula due to Frame, Robinson and Thrall [FRT54] () f λ n!, where f λ is the number of standard Young tableaux of shape λ Key words and phrases partitions, hook lengths, hook formulas, symmetric functions Mathematics Subject Classifications 05A5, 05A7, 05A9, 05E05, P8
For each partition λ let λ\ be the set of all partitions µ obtained from λ by erasing one corner of λ By the very construction of the standard Young tableaux and () we have () f λ and then (3) n f µ In this note we establish the following perturbation of formula (3) Define the g-function of a partition λ of n to be n (4) g λ (x) (x + λ i i), where λ i 0 for i l(λ) + i Theorem Let x be a formal parameter For each partition λ we have g λ (x + ) g λ (x) (5) g µ (x) Theorem is proved in Section Some equivalent forms of Theorem and remarks are given in Section 4 As an application we prove (see Section 3) the following result due to Stanley [St08] Theorem Let p, e and s be the usual symmetric functions [Ma95, ChapI] Then n ( ) x + k (6) p k k e n k H λ g λ(x + n)s λ k0 λ n Recently, the author stated some conjectures on partition hook lengths [Ha08a], which were suggested by hook length expansion techniques (see [Ha08b]) Later, Conjecture 3 in [Ha08a] was proved by Stanley [St08] One step of his proof is formula (6), based on a result by Andrews, Goulden and Jackson [AGJ88] In this paper we provide a simple and direct proof of formula (6) Remark Let D be the difference operator defined by By iterating formula (5) we obtain D(f(x)) f(x + ) f(x) D n g λ(x) f λ, which is precisely the hook length formula ()
Let Proof of Theorem () ǫ(x) g λ(x + ) g λ (x) g µ (x) We see that ǫ(x) is a polynomial in x whose degree is less than or equal to n Moreover Furthermore, [x n ]ǫ(x) [x n ] g λ(x + ) g λ (x) 0 [x n ]g λ (x + ) n n (λ i i + ) n + (λ i i) n + [x n ]g λ (x) i i and [x n ]ǫ(x) [x n ] g λ(x + ) g λ (x) n 0 The last equality is guaranteed by (3), so that ǫ(x) is a polynomial in x whose degree is less than and equal to n To prove that ǫ(x) is actually zero, it suffices to find n distinct values for x such that ǫ(x) 0 In the following we prove that ǫ(i λ i ) 0 for i λ i for i,,,n If λ i λ i+, or if the i-th row has no corner, the factor x+λ i i lies in g λ (x) and also in g µ (x) for all µ λ\ The factor (x+)+λ i+ (i+) x + λ i i is furthermore in g λ (x + ), so that ǫ(i λ i ) 0 Next, if λ i λ i+ +, or if the i-th row has a corner, the factor x+λ i i lies in g λ (x) and g µ (x) for all µ λ \, except for µ λ, which is the partition obtained from λ by erasing the corner from the i-th row In this case equality () becomes ǫ(i λ i ) g λ(i λ i + ) g λ (i λ i ) For proving Theorem, it remains to prove ǫ(i λ i ) 0 or () g λ(i λ i + ) g λ (i λ i ) 3
Consider the following product (3) g λ (x + ) g λ (x) n j (x + λ j j + ) n j (x + λ j j) The set of all j n such that λ j > λ j+ is denoted by T For j n and j T (which implies that j i and λ j λ j λ j+ ), the numerator contains x + λ j+ (j + ) + x + λ j j and the denominator also contains x + λ j j x + λ j j After cancellation of those common factors, (3) becomes (4) g λ (x + ) g λ (x) j B (x + λ j j + ) j T (x + λ j j) where B {} {i + i T } Letting x i λ i in (4) yields (5) g λ (i λ i + ) g λ (i λ i ) j B (i λ i + λ j j + ) j T (i λ i + λ j j) We distinguish the factors in the right-hand side of (5) as follows (C) For j B and j > i, i λ i + λ j j + (λ i λ j + j i ) h v (λ), where v is the box (i, λ j + ) in λ (C) For j B and j i, i λ i + λ j j + h v (λ), where v is the box (j,λ i ) in λ (C3) For j T and j > i, i λ i +λ j j (λ i λ j +j i) h u (λ ), where u is the box (i, λ j ) in λ (C4) For j T and j < i, i λ i + λ j j h u (λ ), where u is the box (j,λ i ) in λ (C5) For j T and j i, i λ i + λ j j i λ i + λ i i See Fig 3 and 4 for an example Since each j B such that j > i is associated with j T and j i, the right-hand side of (5) is positive and can be re-written (6) g λ (i λ i + ) g λ (i λ i ) v h v(λ) u h u(λ ), where v, u range over the boxes described in (C)-(C4) Finally / is equal to the right-hand side of (6), since the hook lengths of all other boxes cancel We have completed the proof of () 4
For example, consider the partition λ 5533 and i 4 We have λ 553 and 4 5 6 3 4 5 4 6 3 4 4 5 6 Fig Hook lengths of λ 3 4 5 Fig Hook lengths of λ On the other hand, T {,4,5}, B {,3,5,6} and g λ (x + ) g λ (x) Letting x i λ i 4 3 yields g λ () g λ () (6)()( )( 4) (4)( )( 3) (x + 5)(x + )(x 3)(x 5) (x + 3)(x )(x 4) 6 4 4 3 v v v X v Fig 3 The boxes v in λ u u X Fig 4 The boxes u in λ 3 Proof of Theorem Let R n (x) be the right-hand side of (6) By Theorem R n (x) ( gλ (x + n ) + g µ (x + n ) ) s λ λ n R n (x ) + g µ (x + n ) s λ λ n R n (x ) + g µ (x + n ) s λ R n (x ) + µ n λ : µ n 5 g µ (x + n ) p s µ,
where the next to last equality is λ : s λ p s µ by using Pieri s rule [Ma95, p73] We obtain the following recurrence for R n (x) (3) R n (x) R n (x ) + p R n (x) Let L n (x) be the left-hand side of (6) Using elementary properties of binomial coefficients n ( ) x + k L n (x) p k k e n k k0 n ( ) ( ) x + k x + k e n + ( + )p k k k e n k k n ( ) x + k L n (x ) + p p k e n k k (3) k L n (x ) + p L n (x) We verify that L (x) R (x) and L n (0) R n (0), so that L n (x) R n (x) by (3) and (3) 4 Equivalent forms and further remarks Let λ λ λ λ l be a partition of n The set of all j n such that λ j > λ j+ is denoted by T and let B {} {i + i T } Those two sets can be viewed as the in-corner and out-corner index sets, respectively Notice that # B # T + For each i T we define λ i to be the partition of n obtained form λ by erasing the right-most box from the i-th row Hence (4) λ \ {λ i i T } We verify that (4) g λ i (x) g λ(x)(x + λ i i ) (x + λ i i)(x n) From Theorem g λ (x + ) g λ (x) i T g λ (x)(x + λ i i ) (x + λ i i)(x n) 6 H i λ
or (43) i T i Let us re-write (3) (44) ( x + λ i i ) n x + (x n)g λ(x + ) g λ (x) n By subtracting (43) from (44) we obtain the following equivalent form of Theorem Theorem 4 We have (45) i x + λ i i x (x n)g λ(x + ) g λ (x) i T By the definitions of T and B we have (x n)g λ (x + ) i B (46) (x + λ i i + ) g λ (x) i T (x + λ, i i) so that Theorem is also equivalent to the following result Theorem 4 We have (47) i x + λ i i x i B (x + λ i i + ) i T (x + λ i i) i T For example, take λ 5533 Then T,4,5 and B,3,5,6 {, +,4 +,5 + } A B C Fig 4 in-corner a b c d Fig 4 out-corner Hence λ 5433, λ 4 553 and λ 5 55330 Equality (47) becomes 5 x 4 + 4 x + x + 3 (x 5)(x 3)(x + )(x + 5) x (x 4)(x )(x + 3) 7x 38x 75 (x 4)(x )(x + 3) 7
Theorems 4 and 4 can be proved directly using the method used in the proof of Theorem First, we must verify that the numerator in the right-hand side of (45) is a polynomial in x whose degree is less than ( ) # T By the partial fraction expansion technique it suffices to verify that (47) is true for all x i λ i (i T ) This direct proof contains the main part of the proof of Theorem However it does not make use of the fundamental relation (3) or (44) Thus, the following corollary of Theorem 4 makes sense Corollary 44 We have (48) n Proof Let # T k The right-hand side of (47) has the following form Cx k + x k + We now evaluate the coefficient C By (46) we can write C A B with n A [x n ]x (x + λ i i) (λ i i)(λ j j) and where i B [x n ](x n) B i<j n B n i<j n i<j n A + i<j n n (x + λ i i + ) i (λ i i + )(λ j j + ) n (λ i i + ), (λ i i + )(λ j j + ) (λ i i + ) ( ) (λ i i)(λ j j) + (λ i i) + (λ j j) + i<j n A + A + (λ i i) + i<j n (n i)(λ i i) + (n )(λ i i) + 8 j n ( ) n (λ j j) + ( ) n (j )(λ j j) + ( ) n
Finally C A B (n )(λ i i) n(λ i i) + ( ) n (λ i i) + n ( ) ( ) n + n n + n n ( ) n + n (λ i i + ) ( ) n (λ i i) + n (λ i i) + n References [AGJ88] Andrews, G; Goulden, I; Jackson, D M, Generalizations of Cauchy s summation formula for Schur functions, Trans Amer Math Soc, 30 (988), pp 805 80 [FRT54] Frame, J Sutherland; Robinson, Gilbert de Beauregard; Thrall, Robert M, The hook graphs of the symmetric groups, Canadian J Math, 6 (954), pp 36 34 [Ha08a] Han, Guo-Niu, Some conjectures and open problems about partition hook length, Experimental Mathematics, in press, 5 pages, 008 [Ha08b] Han, Guo-Niu, Discovering hook length formulas by an expansion technique, Elec J Combin, vol 5(), Research paper, R33, 4 pages, 008 [La0] Lascoux, Alain, Symmetric Functions and Combinatorial Operators on Polynomials, CBMS Regional Conference Series in Mathematics, Number 99, 00 [Ma95] Macdonald, Ian G, Symmetric Functions and Hall Polynomials, Second Edition, Clarendon Press, Oxford, 995 [St99] Stanley, Richard P, Enumerative Combinatorics, vol, Cambridge University Press, 999 [St08] Stanley, Richard P, Some combinatorial properties of hook lengths, contents, and parts of partitions, arxiv:08070383 [mathco], 8 pages, 008 IRMA UMR 750 Université Louis Pasteur et CNRS, 7, rue René-Descartes F-67084 Strasbourg, France guoniu@mathu-strasbgfr 9