arXiv:1904.00371v1 [math.CO] 31 Mar 2019 shape h oklnt of length hook the e.g. c [ correspondence Hillman–Grassl whe the size, by their given by graded is partitions proof plane reverse of number the to [ tablea standard Thrall for and formula Robinson, hook-length Frame, classical the to pr reduces Combinatorial Grassmannian. ( the tion of cohomology equivariant the hr [ where where hr h ethn iei h rnia pcaiaino h se)S (skew) the of specialization principal the is side and hand left the where entry where fteho-eghfruadet tne [ Stanley to due formula hook-length the of ( d h oklnt oml o h ubro tnadYugtablea Young standard of number the for formula hook-length The Swsprilyspotdb h utainRsac Counc Research Australian the by supported partially was TS phrases. and words Key 2010 shape of tableaux Young semistandard of number the count To [ In stecnetof content the is ) [ , λ ′ OKCNETFRUAUIGECTDYOUNG EXCITED USING FORMULA HOOK-CONTENT Ban08 1.1 n MPP18 λ/µ b stecnuaepriinto partition conjugate the is E eiseduethe use instead we , ahmtc ujc Classification. Subject Mathematics x ( atrzto n iesm ojcue n usin rela formula questions hook-content and conjectures our for some that give hook-length show and Naruse’s factorization we Furthermore, to analogous shapes. diagrams Young cited Abstract. λ ( aeas engvni [ in given been also have ) ] q λ/µ = ) = , stesto xie on igas[ diagrams Young excited of set the is ) MPP18 P ,a ], 1 1 − − i ℓ q =1 q s x s NTLN IILVADTAI SCRIMSHAW TRAVIS AND KIRILLOV N. ANATOL q λ λ/µ aao fEuto ( Equation of -analog ecntutaho-otn oml n its and formula hook-content a construct We ( stenatural the is (1 i d , − ,...,q , . . . q, , (1 Sag90 s in 1) d λ f ,q q, , okcnet oklnt,ectdYugdiagram. Young excited hook-length, hook-content, ned eseta hntkn h limit the taking when that see we Indeed, . (1 λ λ/µ λ i ,q q, , a icvrdb aue[ Naruse by discovered was , fe eoigthe removing After . okcnetformula hook-content 2 n eeecstherein). references and ] := . . . , n − 2 FRT54 . . . , 1. | 1 λ/µ = ) , q DIAGRAMS 0 aao of -analog Introduction , Kon18 λ = ) 0 | D hntaking When . ! . . . , D ∈E n a ic ennmru ros(see, proofs numerous seen since has and ] X 51,0A0 05E10. 05A10, 05A17, q ∈E 1.1 ( b 1 X = ) λ/µ ( , ( λ λ/µ a ie as given was ) ) MPP18 Sta71 ) d q ∈ ( x Y ) i,j b λ/µ d ( (see, λ q ∈ Y ) Y ) ∈ b ihisnatural its with ]: λ ( d λ Y \ 1 λ .When ]. ∈ D \ ) e.g. − D λ µ atr qain( Equation factor, h [ HG76 1 1 q = n ( 1 h [ , d lDP170102648. il [ Kre05 − + h ( q Nar14 ) ∅ d e oits to ted λ Sta99 ( , eoti the obtain we , ) q q u c j ′ , aao sn ex- using -analog h − ( ]. )] µ ( d i i,j q uafrskew for mula )] , = rmhssuyof study his from ] a simple a has ) h .12)and 7.21.2]) Thm , q IN09 , xfis rvnby proven first ux eacombinatorial a re , ∅ q λ q qain( Equation , aao ie by given -analog -analog. n maximum and and ] oso Equa- of oofs hrfunction chur 1.3 q xo skew of ux sequal is ) → q -analog h ( ,we 1, d (1.4) (1.1) (1.2) (1.3) 1.1 is ) ) 2 A.KIRILLOVANDT.SCRIMSHAW obtain a formula for the number of semistandard Young tableaux of shape λ and maximum entry n. The goal of this note is examine a natural hook-content generalization of Naruse’s hook-length formula by combining Equation (1.1) and Equation (1.4). We show that the result has a simple factorization as a product of q-integers of binomials in n. Our result gives rise to many interesting conjectures and questions related to our formula, the natural q-analog of f λ/µ, and results related to representation theory. In particular, we note that our formula (when q → 1) does not count the number of semistandard skew tableaux of shape λ/µ. Thus, finding a combinatorial formula (in particular using excited Young diagrams) for the principal specializations of skew Schur functions n−1 sλ/µ(1,q,...,q , 0, 0,...) remains an open problem. Yet, our results might aid in understanding the re- lationship between excited Young diagrams and the representation theory of the symmetric group Sn and/or gln as

λ λ/µ λ ν sλ/µ = X cµ,ν sν , f = X cµ,ν f , ν ν λ where cµ,ν are the Littlewood–Richardson coefficients.

Acknowledgements. AK grateful to the RIMS and the IPMU for fruitful atmo- sphere and conditions for research, and financial support. TS would like to thank Kyoto University for its hospitality during his visit in March, 2019. This work has also been supported by JSPS KAKENHI 1605057. This work benefited from computations using SageMath [Sag19, SCc08].

2. Preliminaries A partition is a weakly decreasing sequence of positive integers. We equate a partition λ = (λ1, λ2,...,λℓ) with a set of cells {(i, j) | 1 ≤ j ≤ ℓ, 1 ≤ i ≤ λj } via the Young diagram of λ. We will consider our Young diagrams using English convention. For a partition µ ⊆ λ, we form the skew partition λ/µ as the set of 2 cells λ \ µ. More generally, we call any finite set of cells D ⊆ Z>0 a diagram. The size of a diagram |D| is the number of cells in D. ′ ′ ′ ′ Let λ = (λ1, λ2,...,λm)= {(j, i) | (i, j) ∈ λ}, where m = λ1, be the conjugate partition to λ. Let

′ c(d) := j − i, h(d) := λi − j + λj − i +1, be the content and hook length, respectively, of a cell d ∈ λ. Recall that the content of a cell d is the diagonal the cell lies on and the hook length is the number of boxes in the row and column to the right and below, respectively, d, including also d (i.e., the size of the largest hook shape whose corner is at d). Let λ/µ be a skew partition with |λ/µ| = n. A standard tableau of (skew) shape λ/µ is a bijection T : λ/µ →{1,...,n} such that every row (resp. column) is increasing when read left to right (resp. top to bottom). Let f λ/µ denote the number of standard tableau of shape λ/µ. A semistandard tableau of (skew) shape λ/µ is a function T : λ/µ → Z>0 such that rows are weakly increasing and columns are strictly increasing. Let SSTn(λ/µ) denote the set of semistandard Young tableaux of shape λ/µ with maximum entry n, and we simply write SST(λ/µ) when n = ∞. We will simply write λ for λ/µ when µ = ∅. Following [IN09], define an elementary excitation on a diagram D to take a cell (i, j) ∈ D such that (i+1, j), (i, j +1), (i+1, j +1) ∈/ D and forming a new diagram HOOK-CONTENT FORMULA USING EXCITED YOUNG DIAGRAMS 3 by (D \{(i, j)}) ∪{(i +1, j + 1)}. Pictorially, an elementary excitation moves the cell in (i, j) (locally) as

−→ .

Define the set of excited Young diagrams E(λ/µ) to be all diagrams obtained from µ using a sequence of elementary excitations such that the resulting diagram is contained inside λ.

3. Hook-content formula using excited Young diagrams

Let [n]q! = [n]q[n − 1]q ··· [1]q denote the q-factorial. We define

λ/µ 1 fq := [|λ/µ|]q! X Y [h(d)]q D∈E(λ/µ) d∈λ\D

λ/µ λ/µ λ/µ as the natural q-analog of f . Note that limq→1 fq = f by Equation (1.1). Theorem 3.1. Let µ ⊆ λ. We have n+c(d) 1 − q λ/µ Hλ/µ(n; q) := [|λ/µ|]q! X Y = fq Y [n + c(d)]q . 1 − qh(d) D∈E(λ/µ) d∈λ\D d∈λ/µ Proof. We first note that

Cλ/µ(q) := Y [n + c(d)]q d∈λ\D does not depend on the choice of excited Young diagram D ∈ E(λ/µ) as an ele- mentary excitation moves a box along a diagonal j − i, which does not change its content. Thus, we take Cλ/µ(q) to be with D = µ. Hence, we have 1 − qn+c(d) Hλ/µ(n; q) = [|λ/µ|]q! X Y 1 − qh(d) D∈E(λ/µ) d∈λ\D

[n + c(d)]q = [|λ/µ|]q! X Y [h(d)]q D∈E(λ/µ) d∈λ\D

1 λ/µ = Cλ/µ(q)[|λ/µ|]q! X Y = Cλ/µ(q)fq [h(d)]q D∈E(λ/µ) d∈λ\D as desired.  As a special case of Theorem 3.1 when µ = ∅, Equation (1.4) implies that

n−1 b(λ) Hλ(n; q) sλ(1,q,...,q , 0, 0,...)= q . (3.1) [|λ|]q! Corollary 3.2. Let µ ⊆ λ. Then we have n + c(d) H (n;1) = |λ/µ|! = f λ/µ n + c(d). λ/µ X Y h(d) Y D∈E(λ/µ) d∈λ\D d∈λ/µ Proof. This follows from Theorem 3.1 by taking the limit q → 1 with applying L’Hˆopital’s rule and Naruse’s hook-length formula (Equation (1.1)).  We note that we could have proven Corollary 3.2 directly using a similar argu- ment to Theorem 3.1 and Naruse’s hook-length formula. Furthermore, Corollary 3.2 is equivalent to Naruse’s hook-length formula. To simplify our notation, we write Hλ/µ(n) := Hλ/µ(n; 1). 4 A.KIRILLOVANDT.SCRIMSHAW

Corollary 3.3. Assume Corollary 3.2 holds, then we have H (n) lim λ/µ = f λ/µ. n→∞ n|λ/µ| Proof. Note that (n + c(d))/n → 1 as n → ∞, and the claim follows from Corol-  lary 3.2 and the degree of Hλ/µ(n) (which is a polynomial in n) is |λ/µ|.

To obtain the classical hook-content formula for λ and µ = ∅, we must divide Hλ/µ(n) by |λ|! as in Equation (3.1). Therefore, we define the polynomial H (n) H (n) := λ/µ , λ/µ |λ/µ|!

n and note that Hλ(n)= |SST (λ)| by the hook-content formula. Example 3.4. The excited Young diagrams E(3321/21) are

First, we compute

3321/21 10 9 8 7 6 5 4 3 2 fq = q + q +3q +6q +8q +8q +9q + 10q +5q +4q +5. (3.2) Completing the computation and factoring the result, we see that

3321/21 H3321/21(n; q)= fq [n − 3]q[n − 2]q[n − 1]q[n]q[n + 1]q[n + 2]q.

3321/21 We remark that fq = H3321/21(4; q)/[6]q!. By taking q → 1, we obtain 61 H (n)= (n − 3)(n − 2)(n − 1)n(n + 1)(n + 2). 3321/21 720 as f 3321/21 = 61. Example 3.5. There are five excited diagrams of type (553, 321):

which yields the q-standard tableau number of (q6 + q5 + q4 + q3 + q2 + q + 1) · a(q) f 553/321 = , (3.3) q (q + 1) · (q4 + q3 + q2 + q + 1) HOOK-CONTENT FORMULA USING EXCITED YOUNG DIAGRAMS 5 where a(q)= q12 +2q11 +4q10 +7q9 + 12q8 + 14q7 + 17q6 + 18q5 + 18q4 + 14q3 + 11q2 +7q +5, and a hook-content formula (and q → 1 version) of 553/321 2 H553/321(n; q)= fq [n − 1]q[n]q[n + 1]q[n + 2]q[n + 3]q[n + 4]q, 91 H (n)= (n − 1)n(n + 1)(n + 2)(n + 3)2(n + 4). 553/321 5040

It is not obvious that Hλ/µ(n) is an integer for all integers n ≥ ℓ, where ℓ is the length of λ. However, we have verified this in numerous cases and have the following conjecture.

Conjecture 3.6. Let λ = (λ1, λ2,...,λℓ) be a partition. Let n ≥ ℓ be an integer. Then Hλ/µ(n) ∈ Z≥0.

Thus, if Conjecture 3.6 is true, a natural question to ask is what does Hλ/µ(n) count? A first guess would likely be semistandard skew tableaux of shape λ/µ and maximum entry n, but this is not the case. Indeed, we have H3321/21(4) = 61, but there are 204 semistandard skew tableaux of shape 3321/21 and maximum entry 4. Therefore, we suggest the following problem.

Problem 3.7. Assuming Conjecture 3.6, determine what objects count Hλ/µ(n). n−1 We note that the principal specialization sλ/µ(1,q,...,q , 0,...) was consid- ered in [MPP18, Sec. 8]. Yet this cannot be related to our q-hook-content formula as they have different q → 1 limits as noted above. λ/µ We note that fq (and hence Hλ/µ(n; q)/[|λ/µ|]q for a fixed integer n ∈ Z>0) is λ/µ not symmetric nor unimodal as seen in Equation (3.2). In fact, fq is not always polynomial by Equation (3.3) in contrast to Conjecture 3.6. Furthermore, even λ/µ when fq ∈ Z≥0[q], the value Hλ/µ(n; q)/[|λ/µ|]q! is not always a polynomial for a fixed integer n ≥ ℓ:

H3322/21(4; q) f(q) = 4 3 2 , [7]q! q + q + q + q +1 where f(q)= q12 +2q11 +4q10 +7q9 +12q8 +14q7 +17q6 +18q5 +18q4 +14q3 +11q2 +7q+5. Note also that f(q) is an irreducible polynomial over Q. Yet, we do have the following conjectures based on experimental evidence. λ/µ Conjecture 3.8. Let µ ⊆ λ be partitions. We have fq = a(q)/b(q), where a,b ∈ Z≥0[q] such that a(−1) ∈ Z≥0. Conjecture 3.9. Let µ ⊆ λ be partitions. Fix some integer n ≥ ℓ, where ℓ is the length of λ. We have Hλ/µ(n; q)/[|λ/µ|]q! = a(q)/b(q), where a,b ∈ Z≥0[q] such that a(−1) ∈ Z≥0. Note that g in both conjectures must be a product of cyclotomic polynomials since the denominator is a product of q-integers. The examples above also suggests the following problems. λ/µ Problem 3.10. Determine which partitions µ ⊆ λ such that fq ∈ Z≥0[q] and also for which n ∈ Z>0 such that Hλ/µ(n; q)/[|λ/µ|]q ∈ Z≥0[q]. Problem 3.11. For which partitions µ ⊂ λ the all terms in Naruse’s hook-length formula and its q-analog are integers and in Z≥0[q], respectively? 6 A.KIRILLOVANDT.SCRIMSHAW

References [Ban08] Jason Bandlow. An elementary proof of the hook formula. Electron. J. Combin., 15(1):Research paper 45, 14, 2008. [FRT54] J. S. Frame, G. de B. Robinson, and R. M. Thrall. The hook graphs of the symmetric groups. Canadian J. Math., 6:316–324, 1954. [HG76] A. P. Hillman and R. M. Grassl. Reverse plane partitions and tableau hook numbers. J. Combinatorial Theory Ser. A, 21(2):216–221, 1976. [IN09] Takeshi Ikeda and Hiroshi Naruse. Excited Young diagrams and equivariant Schubert calculus. Trans. Amer. Math. Soc., 361(10):5193–5221, 2009. [Kon18] Matjaz Konvalinka. A bijective proof of the hook-length formula for skew shapes. Eu- ropean J. Combin., 2018. To appear, arXiv:1703.08414. [Kre05] Victor Kreiman. Schubert classes in the equivariant K-theory and equivariant cohomol- ogy of the Grassmannian. Preprint, arXiv:math/0512204, 2005. [MPP18] Alejandro H. Morales, Igor Pak, and Greta Panova. Hook formulas for skew shapes I. q-analogues and bijections. J. Combin. Theory Ser. A, 154:350–405, 2018. [Nar14] Hiroshi Naruse. Schubert calculus and hook length formula, 2014. Talk slides at 73rd S´em. Lother. Combin., Strobl, Austria, http://www.emis.de/journals/SLC/wpapers/s73vortrag/naruse.pdf. [Sag90] Bruce E. Sagan. The ubiquitous Young tableau. In Invariant theory and tableaux (Min- neapolis, MN, 1988), volume 19 of IMA Vol. Math. Appl., pages 262–298. Springer, New York, 1990. [Sag19] The Sage Developers. Sage Mathematics Software (Version 8.7), 2019. http://www.sagemath.org. [SCc08] The Sage-Combinat community. Sage-Combinat: enhancing Sage as a toolbox for com- puter exploration in algebraic combinatorics, 2008. http://combinat.sagemath.org. [Sta71] Richard P. Stanley. Theory and application of plane partitions. I, II. Studies in Appl. Math., 50:167–188; ibid. 50 (1971), 259–279, 1971. [Sta99] Richard P. Stanley. Enumerative combinatorics. Vol. 2, volume 62 of Cambridge Stud- ies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin.

(A. Kirillov) Research Institute for Mathematical Sciences (RIMS), Kyoto Univer- sity, Kyoto 606-8502, Japan; the Kavli Institute for the Physics and Mathematics of the Universe (IPMU), 277-8583, Kashiwanoha, Japan; Department of Mathematics, Na- tional Research University Higher School of Economics (HES),7 Vavilova Str., 117312, Moscow, Russia E-mail address: [email protected] URL: http://www.kurims.kyoto-u.ac.jp/~kirillov/

(T. Scrimshaw) School of Mathematics and Physics, The University of Queensland, St. Lucia, QLD 4072, Australia E-mail address: [email protected] URL: https://people.smp.uq.edu.au/TravisScrimshaw/