arxiv: v1 [math.co] 30 Aug 2017

Transcription

1 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals JANG SOO KIM AND MEESUE YOO arxiv: v [math.co] 30 Aug 207 Abstract. The hook length formula for d-complete posets states that the P -partition generating function for them is given by a product in terms of hook lengths. We give a new proof of the hook length formula using q-integrals. The proof is done by a case-by-case analysis consisting of two steps. First, we express the P -partition generating function for each case as a q-integral and then we evaluate the q-integrals. Several q-integrals are evaluated using partial fraction expansion identities and others are verified by computer. Contents. Introduction 2 2. Preliminaries Basic definitions and notation d-complete posets 5 3. Some properties of P -partitions 6 4. Semi-irreducible d-complete posets 8 5. q-integrals 9 6. P -partition generating functions to q-integrals Class : Shapes Class 2: Shifted shapes Class 3: Birds Class 4: Insets Class 5: Tailed insets Class 6: Banners Class 7: Nooks Class 8: Swivels Class 9: Tailed swivels Class 0: Tagged swivels Class : Swivel shifteds Class 2: Pumps Class 3: Tailed pumps Class 4: Near bats Class 5: Bat 2 7. Evaluation of the q-integrals Class 8 : Swivels Class 0 : Tagged Swivels Class 2: Shifted shapes Class 4 : Insets Class : Swivel shifted shapes 30 Appendix A. Figures of semi-irreducible d-complete posets 32 Acknowledgement 40 References 40 Date: August 3, Mathematics Subject Classification. Primary: 06A07; Secondary: 05A30, 05A5. Key words and phrases. Hook length formula, d-complete poset, P -partition, q-integral. The first author was supported by NRF grants #206RDAA and #206RA5A The second author was supported by NRF grants #206RA5A and #207RCB

2 2 JANG SOO KIM AND MEESUE YOO. Introduction The classical hook length formula due to Frame, Robinson and Thrall [] states that for a partition λ of n, the number f λ of standard Young tableaux of shape λ is given by () f λ n! x λ h(x), where h(x) is the hook length of the cell x in λ. One can naturally consider the shape λ as a poset P on the cells in λ. Then the P -partition generating function for the poset also has the following hook length formula: (2) σ:p N q σ x P q h(x), where the sum is over all P -partitions σ. See Section 2 for the definition of P -partitions. Using the theory of P -partitions, one can see that (2) implies (). There are also hook length formulas for the P -partition generating functions for the posets coming from shifted shapes and forests. Proctor [9] introduced d-complete posets, which include the posets of shapes, shifted shapes and forests. Proctor [8] proved that every d-complete poset can be decomposed into irreducible d-complete posets. He then classified all irreducible d-complete posets into 5 classes. To every element x in a d-complete poset a positive integer h(x) called the hook length is assigned. The d-complete posets have the following hook length property. Theorem. (Hook Length Formula for d-complete posets). For any d-complete poset P, we have q σ q, h(x) σ:p N x P where the sum is over all P -partitions σ. Theorem. was proved by Proctor [0], Nakada [6, 7], and generalized by Ishikawa and Tagawa [2, 3] to leaf posets. However, their proofs are only sketched in conference proceedings, and full proofs of the hook length formula (Theorem.) are not yet available in the literature. In this paper we give a new and complete proof of Theorem. using q-integrals. Our proof is based on case-by-case analysis. Several cases are proved by using partial fraction expansion identities and the remaining cases are verified by computer. We outline our proof of Theorem. as follows. We introduce semi-irreducible d-complete posets, which contain all irreducible d-complete posets. First, we show that in order to prove Theorem., it is sufficient to consider the semi-irreducible d- complete posets. Then we show that the P -partition generating function for each semi-irreducible d-complete poset can be written as a q-integral. Therefore, in order to compute the generating functions for 5 classes of semi-irreducible d-complete posets, we need to evaluate the corresponding 5 q-integrals. The first two of the 5 classes are shapes and shifted shapes which are well known to have the hook length formula. Hence we focus on considering the remaining 3 classes, but we also provide a proof for the class of shifted shapes using the q-integral technique. Among the q-integrals corresponding to the 3 classes, 2 of them have an arbitrary number of integration variables and other q-integrals have a fixed number of integration variables. In this paper we verify these q-integrals by computer and compute the remaining 2 q-integrals by hand. In the process of proving the q-integrals by hand, we utilize several partial fraction expansion identities (cf. [5], [6]). The rest of this paper is organized as follows. In Section 2, we give necessary definitions. In Section 3 we prove some properties of P -partition generating functions which are used later. In Section 4 we introduce semi-irreducible d-complete posets and prove that it suffices to consider them for showing the hook length formula for the d-complete posets. In Section 5 we consider a certain class of posets that includes all semi-irreducible d-complete posets. We express the P -partition generating function for an arbitrary poset in this class as a q-integral. In Section 6 using the result in the previous section we express the P -partition generating function for each

3 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 3 semi-irreducible d-complete poset as a q-integral. In Section 7 we evaluate the q-integrals obtained in the previous section. 2. Preliminaries In this section, we introduce basic definitions and notation that are used throughout this paper. We also recall some properties of d-complete posets. For the details, we refer the readers to [8, ]. 2.. Basic definitions and notation. We will use the following notation for q-series: (a; q) n ( a)( aq) ( aq n ), (a, a 2,..., a k ; q) n (a ; q) n (a k ; q) n. A partition is a weakly decreasing sequence µ (µ,..., µ k ) of nonnegative integers. Each µ i is called a part of µ. The size µ of µ is the sum of its parts. If the size of µ is n, we say that µ is a partition of n and write µ n. The length of µ is the number of nonzero parts in µ. We denote the set of partitions of length at most n by Par n. The staircase partition (n, n 2,...,, 0) is denoted by δ n. For a partition λ (λ,..., λ n ), the alternant a λ (x,..., x n ) is defined by a λ (x,..., x n ) det(x λj i ) n i,j. Two partitions are considered to be the same if they have the same nonzero parts. For example, (4, 3, ) (4, 3,, 0) (4, 3,, 0, 0). Thus, for a partition µ (µ,..., µ k ), we use the convention µ i 0 for i > k if it is necessary. For two partitions λ (λ,..., λ r ) and µ (µ,..., µ s ), we define λ + µ to be the partition (λ + µ,..., λ k + µ k ), where k max(r, s). For example, (3,, ) + (4, 3, 2,, 0) (7, 4, 3,, 0). Let λ (λ,..., λ n ) be a partition. The Young diagram of λ is the left-justified array of squares in which there are λ i squares in row i. The Young poset of λ is the poset whose elements are the squares in the Young diagram of λ with relation x y if x is weakly below and weakly to the right of y. See Figure. The transpose of λ is the partition λ whose ith part λ i is the number of parts of λ at least i. Figure. The Young diagram of λ (4, 3, ) on the left and its Young poset on the right. Throughout this paper, Hasse diagrams are rotated 45 counterclockwise unless otherwise stated. Therefore, smaller elements are located weakly to the right and weakly below larger elements. If λ has no equal nonzero parts, λ is called strict. For a strict partition λ, the shifted Young diagram of λ is the diagram obtained from the Young diagram of λ by shifting the ith row to the right by i units. The shifted Young poset of λ is defined similarly. See Figure 2. Figure 2. The shifted Young diagram of λ (6, 4, ) on the left and its shifted Young poset on the right.

4 4 JANG SOO KIM AND MEESUE YOO By abuse of notation, we identify a partition λ with its Young diagram and also with its Young poset if there is no possible confusion. For a strict partition λ, the shifted Young diagram of λ is denoted by λ. Similarly, the shifted Young poset of λ will also be written as λ. For a Young diagram or a shifted Young diagram λ, a semistandard Young tableau of shape λ is a filling of λ with nonnegative integers such that the integers are weakly increasing in each row and strictly increasing in each column. A reverse plane partition of shape λ is a filling of λ with nonnegative integers such that the integers are weakly increasing in each row and each column. See Figures 3 and Figure 3. A semistandard Young tableau of shape (4, 3, ) on the left and a reverse plane partition of shape (4, 3, ) on the right Figure 4. A semistandard Young tableau of shifted shape (6, 4, ) on the left and a reverse plane partition of shifted shape (6, 4, ) on the right. We denote by SSYT(λ) and RPP(λ) the set of semistandard Young tableaux of shape λ and the set of reverse plane partitions of shape λ, respectively. Note that there is a natural bijection from RPP(λ) to SSYT(λ) which sends a reverse plane partition T to the semistandard Young tableau obtained from T by adding i to each entry in the ith row. For example, the reverse plane partitions and the semistandard Young tableaux in Figures 3 and 4 are mapped to each other by this bijection. Let λ be a strict partition. For T SSYT(λ ) or T RPP(λ ), the leftmost entry in each row is called a diagonal entry. We define the reverse diagonal sequence rdiag(t ) to be the sequence of diagonal entries in the non-increasing order. For example, if T and T 2 are the semistandard Young tableau and the reverse plane partition in Figure 4, respectively, then rdiag(t ) (3,, 0) and rdiag(t 2 ) (, 0, 0). Now we recall basic properties of P -partitions. See [4, Chapter 3] for more details. Let P be a poset with n elements. A P -partition is a map σ : P N such that x P y implies σ(x) σ(y). In other words, a P -partition is just an order-reversing map from P to N. For an integer m 0, we denote by P m (P ) the set of all P -partitions σ with min(σ) m. We also define P(P ) P 0 (P ). For a P -partition σ, the size σ of σ is defined by σ x P σ(x). For a poset P, we define GF q (P ) to be the P -partition generating function: GF q (P ) q σ. σ P(P ) The following definitions allow us to build d-complete posets starting from a chain. Definition 2.. Let P be a poset containing a chain C {x < x 2 < < x n }. For λ Par n, we denote by D(P, C, λ) the poset obtained by taking the disjoint union of P and (λ + δ n+ ) and identifying x n, x n,..., x with the diagonal elements of (λ + δ n+ ).

5 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 5 Definition 2.2. Let n and k be positive integers. Let X {(λ (i), n i, s i ) : i k}, where n i and s i are positive integers with s i + n i n, λ (i) Par ni. We define P n (X) to be the poset constructed as follows. Let P 0 be a chain x < x 2 < < x n with n elements, called diagonal entries. For i k, we define P i D(P i, C i, λ (i) ) where C i {x si < x si+ < < x si+n i }. Then we define P n (X) P k. We also define P m n (X) to be the poset obtained from P n (X) by attaching a chain with m elements above x n. See Figure 5 for an example. We say that an element y P n (X) is of level i if y x i and y x i, see Figure 6. Figure 5. The poset P 2 3 (X) for X {((2),, ), ((2, ), 2, ), ((6, 5, 3), 3, ), (, 2, 2)}, where λ (4, 2) and µ (5, 4, 2). x 3 x 2 level 3 x level 2 level Figure 6. The poset P 3 (X) for X {((),, ), ((4, 2), 2, ), ((5, 4, 2), 3, ), (, 2, 2)}. This poset has 6 elements of level, elements of level 2 and 9 elements of level 3. In this paper the diagonal entries of P m n (X) will be represented by black squares in the Hasse diagram as shown in Figures 5 and d-complete posets. In this subsection we define d-complete posets following [8]. Let P be a poset. A diamond in P consists of four elements w, x, y, z where z covers x and y, and both x and y cover w. In this case, z is called the top, w is called the bottom, and x and y are the sides. For k 3, a double-tailed diamond poset d k () can be constructed from a diamond, by attaching a chain of length k 3 above the top z, and below the bottom w. Thus d k () has 2k 2 elements. The k 2 elements above the two incomparable elements x and y are called neck elements. For k 3, an interval [w, z] is called a d k -interval if it is isomorphic to d k (). Moreover, for k 4, an interval is a d k -interval if it is isomorphic to d k() \ {t}, where t is the maximal element of d k (). Now we define d-complete posets and the hook lengths of their elements. Definition 2.3. A poset P is called d-complete if it satisfies the following conditions for any k 3: () if I is a d k -interval, then there exists an element z such that z covers the maximal element(s) of I and I {z} is a d k -interval, (2) if [w, z] is a d k -interval then z does not cover any elements of P outside [w, z], and

6 6 JANG SOO KIM AND MEESUE YOO x z y { k 2 w } k 2 Figure 7. A diamond d 3 () (left) and a doubled-tailed diamond poset d k () (right). Here, the Hasse diagrams are drawn in the usual way. (3) there are no d k intervals which differ only in the minimal elements. Definition 2.4. Let P be a d-complete poset. For any element z P, we define its hook length, denoted by h(z), recursively as follows: () if z is not in the neck of any d k -interval, then h(z) is the number of elements in P which are less than or equal to z, i.e., the number of elements of the principal order ideal generated by z. (2) If z is in the neck of some d k -interval, then we can take the unique element w P such that [w, z] is a d l -interval, for some l k. If we let x and y be the two incomparable elements in this d l -interval, then h(z) h(x) + h(y) h(w). We say that a d-complete poset P has the hook length property if P satisfies the hook length formula in Theorem.. It is not hard to see from the definition that, if P is d-complete and connected, then P has a unique maximal element and for each w P, every saturated chain from w to has the same length (see [8, Proposition in 3]). A top tree element x P is an element such that every element y x is covered by at most one other element, and the top tree of P consists of all top tree elements. Given P a connected d-complete poset with top tree T, an element y P is called acyclic if y T and it is not in the neck of any d k -interval for any k 3. Definition 2.5. For d-complete posets P and P 2, suppose that P has an acyclic element x and P 2 has the unique maximal element y. The slant sum P x \ y P 2 of P and P 2 at x and y is the poset obtained by taking the disjoint union of P and P 2 with additional covering relation x < y. A d-complete poset P is called irreducible if it is connected and it cannot be written as a slant sum of two non-empty d-complete posets. In [8], Proctor showed that any connected d- complete poset P can be uniquely decomposed into a slant sum of irreducible d-complete posets. Furthermore, he classified all irreducible d-complete posets which are connected and contain at least two elements into 5 disjoint classes. For the list of 5 classes of irreducible d-complete posets, see [8, Table ]. 3. Some properties of P -partitions In this section we prove two lemmas that will be used later in this paper. Definition 3.. For a poset P, let P + be the poset obtained from P by adding a new element which is greater than all elements in P. If P has a unique maximal element, we define P to be the poset obtained from P by removing the maximal element.

7 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 7 Note that (P + ) P for any poset P. If P has a unique maximal element, (P ) + P. There is a simple relation between GF q (P + ) and GF q (P ). Lemma 3.2. For a poset P with p elements, we have GF q (P + ) q p+ GF q(p ). Proof. Let z be the unique maximal element of P +. For σ P(P + ), if σ(z) k and σ is the restriction of σ to P, we have σ P k (P ). Thus GF q (P + ) q σ q σ +k q τ +kp+k q p+ GF q(p ). σ P(P + ) k0 σ P k (P ) k0 τ P(P ) Definition 3.3. Let P be a poset in which there is a unique maximal element y and a specified element y 2 covered by y. For integers m, k, we define D m,k (P ) to be the poset obtained from P by adding a disjoint chain z m > > z > z 0 > z > > z k and a new element y 0 with additional covering relations z > y 0, z 0 > y, z > y 2 and y 0 > y. See Figure 8. We also define D k (P ) to be the poset obtained from D m,k (P ) by removing the elements z m,..., z and y 0. z m z 2 z z 0 z z 2 z k z 0 z z 2 z k y 0 y y 2 P y y 2 P Figure 8. The posets D m,k (P ) on the left and D k (P ) on the right. The following lemma will be used later to decompose the P -partition generating function of d-complete posets. Lemma 3.4. Let P {y, y 2,..., y p } be a poset in which y is the unique maximal element and y 2 is covered by y. Then ( ) q p+ GF q (D m,k (P )) (q p+k+ GF q (P + ) + ( q 2p+2k+2 ) GF q (D k (P )). ; q) m+2 (q; q) k Proof. By applying Lemma 3.2 repeatedly, we have GF q (D m,k (P )) (q p+k+3 GF q (D m,k (P ) {z,..., z m }). ; q) m Note that D m,k (P ) {z,..., z m } is the poset obtained from D k (P ) by adding a new element y 0 which covers y. Let A (resp. A 2 ) be the set of P -partitions σ of D m,k (P ) {z,..., z m } such that σ(y 0 ) < σ(z 0 ) (resp. σ(y 0 ) σ(z 0 )). Then GF q (D m,k (P ) {z,..., z m }) q σ + q σ. σ A σ A 2 By considering the value of σ(y 0 ) separately, one can see that q σ q t q σ q t q (t+)(p+k+) σ A t 0 σ P t+ (D k (P )) t 0 qp+k+ q p+k+2 GF q(d k (P )). σ P(D k (P )) Let D k (P ) be the poset obtained from D k(p ) by adding a new element y 0 and the covering relations y < y 0 < z 0. By Lemma 3.2, ( ) q σ q σ q p+k+2 q σ q p+k+2 q σ + q σ, σ A 2 σ P(D k (P )) σ B σ B 2 σ P((D k (P )) ) q σ

8 8 JANG SOO KIM AND MEESUE YOO where B (resp. B 2 ) is the set of σ P((D k (P )) ) such that σ(y 0 ) σ(z ) (resp. σ(y 0 ) < σ(z )). First, observe that q σ GF q (D k (P )). σ B For the sum over σ B 2, by considering the value of σ(z ) separately, we have q σ q t q σ q σ σ B 2 t 0 t 0 σ P t+ (P + ) q t+(t+)(p+)+t(k ) σ P t (C k ) σ P(P + ) q p+ q p+k+ GF q (P + ), (q; q) k q σ σ P(C k ) where C k is a chain with k elements. By combining the above identities, we obtain the stated formula for GF q (D m,k (P )). 4. Semi-irreducible d-complete posets In this section we introduce semi-irreducible d-complete posets. We show that in order to prove the hook length property of the d-complete posets it suffices to consider the semi-irreducible d-complete posets. Definition 4.. A d-complete poset P is semi-irreducible if it is obtained from an irreducible d-complete poset by attaching a chain with arbitrary number of elements (possibly 0) below each acyclic element. We give the complete description of 5 semi-irreducible d-complete poset classes in Section 6 upon the computation of the q-integrals. These include all irreducible d-complete posets. See Appendix A for the figures of the semi-irreducible d-complete posets. We will prove the following theorem by a case-by-case analysis in Sections 6 and 7. Theorem 4.2. Every semi-irreducible d-complete poset has the hook length property. Now we show that the above theorem implies the hook length properties of the d-complete posets. First we need the following lemma. Lemma 4.3. Let P 0 be an irreducible d-complete poset with k acyclic elements y,..., y k. Suppose that P,..., P k are (possibly empty) connected d-complete posets having the hook length property. Let P be the poset obtained from P 0 by attaching P i below y i for each i k, i.e., P ( (P 0 y \ v P ) y2 \ v2 P 2 ) yk \ vk P k ), where v i is the unique maximal element of P i. Then P also has the hook length property. Proof. First, observe that (3) GF q (P ) σ P(P ) q σ t,...,t k 0 σ 0 P(P 0) σ 0(y i)t i q σ0 k i σ i P ti (P i) q σ q σi. Let p i P i for i k. Since each P i has the hook length property, we have (4) q σi q tipi q σi q tipi q. h(u) u P i σ i P ti (P i) Then by (3) and (4) we have (5) GF q (P ) σ i P(P i) t,...,t k 0 σ 0 P(P 0) σ 0(y i)t i q σ0 k i ( q tipi ) q h(u) u P i

9 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 9 For an integer n 0, denote by C n a chain with n elements. Using the relation q σi qtipi, (q; q) pi we can rewrite (5) as (6) GF q (P ) t,...,t k 0 σ 0 P(P 0) σ 0(y i)t i σ i P ti (C pi ) q σ0 k i (q; q) pi σ i P ti (C pi ) q σi. q h(u) u P i Let P be the semi-irreducible d-complete poset obtained from P 0 by attaching C pi below y i for each i. Then (7) GF q (P ) k q σ0 q σi. t,...,t k 0 σ 0 P(P 0) σ 0(y i)t i i σ i P ti (C pi ) By (6) and (7), we obtain ( ) k (8) GF q (P ) GF q (P ) (q; q) pi. q h(u) i u P i On the other hand, by Theorem 4.2, (9) GF q (P ) q h(u) u P By (8) and (9), we obtain q h P (u) u P 0 (0) GF q (P ) u P 0 k q k. h(u) q h P (u) (q; q) i u C pi u P 0 i pi q h P (u) k q. h(u) u P i Since y i s are acyclic elements, we have h P (u) h P (u) for all u P 0. Thus the right hand side of (0) is equal to u P /( qh(u) ) and P has the hook length property. Assuming Theorem 4.2 we can prove the hook length formula of the d-complete posets. Theorem 4.4. Every d-complete poset has the hook length property. Proof. Let P be a d-complete poset. We prove the theorem by induction on the number of irreducible components of P. If P is disconnected, by induction hypothesis each connected component has the hook length property. Now we assume that P is connected. If P is irreducible, the theorem is true by Theorem 4.2. Suppose that P is not irreducible. Let P 0 be the irreducible component of P containing the unique maximum element of P. Then P is obtained from P 0 by attaching several (possibly empty) d-complete posets below each acyclic element of P 0. By induction hypothesis, the attached d-complete posets have the hook length property. By Lemma 4.3, P also has the hook length property, which completes the proof. i The rest of this paper is devoted to prove Theorem q-integrals In this section we prove that the P -partition generating function for P n (X) can be expressed as a q-integral, where P n (X) is the poset in Definition 2.2. The q-integral of a function f(x) over [a, b] is defined by b ( f(x)d q x ( q) f(bq i )bq i f(aq i )aq i), a where it is assumed that 0 < q < and the sum absolutely converges. i0

10 0 JANG SOO KIM AND MEESUE YOO For a multivariable function f(x,..., x n ) and a partition λ (λ,..., λ n ), we denote f(q λ ) f(q λ,..., q λn ). We define the multivariate q-integral over the simplex {(x,..., x n ) : 0 x x n } by xn xn x2 f(x,..., x n )d q x d q x n f(x,..., x n )d q x d q x n. 0 x x n Then we obtain the following lemma. Lemma 5.. We have 0 x x n f(x,..., x n )d q x d q x n ( q) n µ Par n q µ f(q µ ). Remark 5.2. The definition of a multiple q-integral naturally extends to a multiple q-integral over a convex polytope (see [4]). The q-integral in Lemma 5. is over the order polytope of a chain. Kim and Stanton [4, Theorem 4.] showed that for a poset P, the q-integral over the order polytope of P is the generating function for the (P, ω)-partitions, where ω is the labeling of P determined by the order of integration. The following lemma will be used in Section 7. Lemma 5.3. Let f(x,..., x n ) be a homogeneous function of degree d in variables x,..., x n, i.e., f(tx,..., tx n ) t d f(x,..., x n ). Then f(x,..., x n )x k nd q x... d q x n 0 x x n q q n+k+d f(x,..., x n )d q x... d q x n. 0 x x n Proof. By Lemma 5., the left hand side is equal to ( q) n q µ +kµn f(q µ,..., q µn ) µ µ n 0 Considering λ (λ,..., λ n ) given by λ i µ i µ n, the above sum can be written as ( q) n µ n0 q µn(n+k+d) λ Par n q λ f(q λ ). By Lemma 5. again, the above sum is equal to the right hand side of the formula in this lemma. Recall that that every semi-irreducible d-complete poset can be written as P m n (X). By Lemma 3.2, we have GF q (P m n (X)) (q Pn(X) + ; q) m GF q (P n (X)). We will show that GF q (P n (X)) can be written as a q-integral. First, we need some lemmas. Lemma 5.4. Let n and k be positive integers and X {(λ (i), n i, s i ) : i k}, where n i and s i are positive integers with s i + n i n and λ (i) Par ni. For µ (µ,..., µ n ) Par n, let µ [i] (µ si, µ si+,..., µ si+n i ). Then we have GF q (P n (X)) q n k i (n i)li q µ q T µ[i], µ Par n µ:strict i T SSYT((δ ni ++λ (i) ) ) rdiag(t )µ [i]

11 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals where l i is the number of elements of level i in P n (X). Proof. Let P 0 be the set of P n (X)-partitions. Let P be the set of P n (X)-partitions τ with the condition that if an element x of level i covers an element y of level i, then τ(x) < τ(y). For σ P 0, define f(σ) be the map τ : P n (X) N given by τ(x) σ(x) + n l(x), where l(x) is the level of x. It is not hard to verify that the map f is a bijection from P 0 to P with f(σ) σ + n i (n i)l i. Thus, we have GF q (P n (X)) q n i (n i)li q τ. τ P For every τ P, we have τ(x ) > τ(x 2 ) > > τ(x n ). By the construction of P n (X), one can easily see that k q τ q µ q T µ[i], τ P i which completes the proof. µ Par n µ:strict Lemma 5.5. For λ, µ Par n we have T SSYT((δ n++λ) ) rdiag(t )µ T SSYT((δ ni ++λ (i) ) ) rdiag(t )µ [i] 2) q T µ ( )(n aλ+δn (q µ ) n j (q; q). λ j+n j Proof. If µ has two equal parts, then both sides are zero. Thus it suffices to consider the case µ ν + δ n for some ν Par n. Subtracting i from every entry in the ith row gives a bijection from SSYT((δ n+ + λ) ) to RPP((δ n+ + λ) ). Thus T SSYT((δ n++λ) ) rdiag(t )ν+δ n q T In [4, Theorem 8.7], it is shown that T RPP((δ n++λ) ) rdiag(t )ν T RPP((δ n++λ) ) rdiag(t )ν By the above two identities, we obtain the lemma. q T + n i (i )(λi+n+ i). n q T q ν+δn i (i )(λi+n+ i) ( ) 2) (n aλ+δn (q ν+δn ) n j (q; q). λ j+n j The following result implies that GF q (P n (X)) can be expressed as a q-integral. Theorem 5.6. Let n and k be positive integers and X {(λ (i), n i, s i ) : i k}, where n i and s i are positive integers with s i + n i n, λ (i) is a partition with n i parts. Suppose that for every j n, there is i k such that s i j < j + s i + n i. Then GF q (P n (X)) n q i (n i)li ( q) n k 0 x x n i where l i is the number of elements of level i in P n (X). Proof. Let f(x,..., x n ) k i ( ) (n i 2 ) aλ (i) +δ ni (x si, x si+,..., x si+n i ) ni j (q; q) λ (i) j +ni j d q x d q x n, ( ) (n i 2 ) aλ (i) +δ ni (x si, x si+,..., x si+n i ) ni j (q; q). λ (i) j +ni j

12 2 JANG SOO KIM AND MEESUE YOO By Lemmas 5.4 and 5.5, the left hand side is GF q (P (X)) q n i (n i)li q µ f(q µ ). µ Par n µ:strict On the other hand, the right hand side is q n i (n i)li ( q) n f(x,..., x n )d q x d q x n q n i (n i)li q µ f(q µ ). 0 x x n µ Par n If µ i µ j for some i < j, then we have µ i µ i+. In this case, by the given condition, we have f(q µ ) 0. Therefore, we only need to consider the partitions µ Par n which are strict. Hence, we obtain the desired identity. 6. P -partition generating functions to q-integrals In this section we express the P -partition generating function for each semi-irreducible d- complete poset as a q-integral using Theorem 5.6. See Appendix A for the list of all semi-irreducible d-complete posets and their figures. Note that for a partition λ Par n, we have () u λ q h(u) i<j n ( qλi λj+j i ) n i (q; q), λ i+n i q i<j n ( qλi λj+j i ) h(u) n u (λ+δ n+) i (q; q) λ i+n i i j n ( ). q2n+ i j+λi+λj+ In this section, when a d-complete poset is given, l i denotes the number of elements of level i in the poset. 6.. Class : Shapes. A semi-irreducible d-complete poset of class is P n (X ), where n 3 and X {(λ, n, ), (µ, n, )}, with λ, µ Par n, see Figure 0. For i n, we have l i λ n+ i + µ n+ i + 2i. By Theorem 5.6, GF q (P n (X )) q (n 2) 2( n 3) n i i(λi++µi+) Since u P n(x ) ( q) n 0 x x n q i<j n ( qλi λj+j i )( q µi µj+j i ) h(u) n i (q; q) λ i+n i(q; q) µi+n i the hook length property for class is equivalent to a λ+δn (x,..., x n )a µ+δn (x,..., x n )d q x d q x n 0 x x n a λ+δn (x,..., x n )a µ+δn (x,..., x n ) n i (q; q) d q x d q x n. λ i+n i(q; q) µi+n i n i,j q λi+µj+2n i j+, q (n 2)+2( n 3)+ n i i(λi++µi+) ( q) n i<j n ( qλi λj+j i )( q µi µj+j i ) n i,j (. qλi+µj+2n i j+ ) This is the special case k of Warnaar s integral [5, Theorem.4].

13 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals Class 2: Shifted shapes. A semi-irreducible d-complete poset of class 2 is P n (X 2 ), where n 4 and X 2 {(µ, n, )}, with µ Par n, see Figure. For i n, we have l i µ n+ i + i. By Theorem 5.6, GF q (P n (X 2 )) q (n+ 3 ) n i iµi+ ( q) n 0 x x n By (), the hook length property for class 2 is equivalent to (2) a µ+δn (x,..., x n )d q x d q x n 0 x x n a µ+δn (x,..., x n ) n i (q; q) d q x d q x n. µ i+n i q (n+ 3 )+ n i iµi+ ( q) n i<j n ( qµi µj+j i ) i j n ( q2n+ i j+µi+µj+ ), which is proved in [4, Theorem 8.6] using the connection between reverse plane partitions and q-integrals. In Section 7 we give a new prove of (2) by explicitly computing the q-integral Class 3: Birds. A semi-irreducible d-complete poset of class 3 is P m 2 (X 3 ), where X 3 {(λ, 2, ), (µ, 2, ), ((m),, )}, with λ (λ, λ 2 ) and µ (µ, µ 2 ), see Figure 2. We have l λ 2 + µ 2 + m +, l 2 λ + µ + 3. Thus GF q (P 2 (X 3 )) q (λ2+µ2+m+) a µ+δ2 (x, x 2 ) a λ+δ2 (x, x 2 ) ) ( q) 2 a(m)(x d q x d q x 2. (q; q) µ+(q; q) µ2 (q; q) λ+(q; q) λ2 (q; q) m 0 x x 2 The hook length property for Class 3 is equivalent to GF q (P2 m (X 3 )) q (λ2+µ2+m+) ( q) 2 (q λ + µ +m+5 ; q) m c P2 m(x3;m)( qh(c) ) qλ λ2+ (q; q) λ+(q; q) λ2 or, 0 x x 2 0 x x 2 q µ µ2+ (q; q) µ+(q; q) µ2 a µ+δ2 (x, x 2 ) a λ+δ2 (x, x 2 ) a(m)(x ) d q x d q x 2 (q; q) µ+(q; q) µ2 (q; q) λ+(q; q) λ2 (q; q) m (q; q) m x m a λ+δ2 (x, x 2 )a µ+δ2 (x, x 2 )d q x d q x 2 (q λ + µ +m ; q) m i j ( qλi+µj+m+5 i j ), q λ2+µ2+m+ ( q)2 ( q λ + µ +2m+4 )( q λ λ2+ )( q µ µ2+ ) ( q λ + µ +m+4 ) 2 2 i j (. qλi+µj+m+5 i j ) This formula has been verified by computer Class 4: Insets. A semi-irreducible d-complete poset of class 4 is Pn+(X m 4 ), where n 2, k 0 and X 4 {(λ, n, ), (µ, n +, ), ((k),, n)}, with λ Par n and µ Par n+, see Figure 3. In this poset, l j λ n j + µ n j+2 + 2j for j n, l n µ 2 + n + k and l n+ µ + n +. By applying Lemma 3.2 and Theorem 5.6, we obtain GF q (P λ+n 2 n+ (X 4 )) GF (q λ + µ +n2 +k+3 q (P n+ (X 4 )), ; q) λ+n 2 where GF q (P n+ (X 4 )) q ( n i ((i+)λi+iµi+)+ 6 n(n )(2n+5)++k) ( q) n+ 0 x x n+ a (k) (x n ) (q; q) k

14 4 JANG SOO KIM AND MEESUE YOO ( )(n 2 ) aλ+δn (x,..., x n ) ( )(n+ 2 ) aµ+δn+ (x,..., x n+ ) n i (q; q) n+ λ i+n i i (q; q) d q x d q x n+. µ i+n+ i An explicit computation of the hook lengths in the poset P λ+n 2 n+ (X 4 ) gives u P λ +n 2 n+ (X 4) q h(u) (q; q) k n j ( +n j+k+ q λ + µ +λj+n2 ) (q λ + µ +n2 +k+2 ; q) λ+n n+ i ( q λ + µ µi+n(n )+k+i ) i n+ j n i<j n+ ( qµi µj+j i ) n+ i (q; q) µ i+n+ i q µi+λj+2n i j+ i<j n ( qλi λj+j i ) n i (q; q). λ i+n i Thus the hook length property for class 4 is equivalent to (3) x k na λ+δn (x,..., x n )a µ+δn+ (x,..., x n+ )d q x d q x n+ 0 x x n+ ( )q n i ((i+)λi+iµi+)+ 6 n(n )(2n+5)++k ( q) n+ n j n+ i ( ( +n j+k+ ) q λ + µ +λj+n2 q λ + µ µi+n(n )+k+i ) q λ + µ +n2 +k+2 i<j n+ ( qµi µj+j i ) i<j n ( qλi λj+j i ) ( q µi+λj+2n i j+. ) We prove this identity in Section 7.5. i n+ j n 6.5. Class 5: Tailed insets. A semi-irreducible d-complete poset of class 5 is P λ+ 3 (X 5 ) with λ Par 2, µ Par 3 and X 5 {(λ, 2, ), (µ, 3, ), (, 2, 2), ((),, )}. See Figure 4. In this poset, l λ 2 + µ 3 + 2, l 2 λ + µ and l 3 µ + 4. In this case, where GF q (P λ+ 3 (X 5 )) GF (q λ + µ +0 q (P 3 (X 5 )), ; q) λ+ 2 GF q (P 3 (X 5 )) q ( i i(λi+µi+)+7) a λ+δ2 (x, x 2 ) ( q) 3 0 x x 2 x 3 (q; q) λ+(q; q) λ2 a µ+δ 3 (x, x 2, x 3 ) 3 j (q; q) µ j+3 j a δ 2 (x 2, x 3 ) q Then the hook length property for class 5 is equivalent to the following identity x a δ2 (x 2, x 3 )a λ+δ2 (x, x 2 )a µ+δ3 (x, x 2, x 3 )d q x d q x 2 d q x 3 0 x x 2 x 3 a()+δ (x ) d q x d q x 2 d q x 3. q ( )q 2 i i(λi+µi+)+7 ( q) 4 ( q λ λ2+ )( q λ + µ +λ+0 )( q λ + µ +λ2+9 ). q λ + µ +9 i<j 3 ( qµi µj+j i ) 2 3 i j ( qλi+µj+7 i j ) 3 i ( q λ + µ µi+4+i ). This formula has been verified by computer.

15 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals Class 6: Banners. A semi-irreducible d-complete poset of class 6 is P m 4 (X 6 ) with m 0 and X 6 {(µ, 4, ), ((m),, 2)} for µ Par 4. See Figure 5. In this poset, we have l µ 4 +, l 2 µ 3 + m + 2, l 3 µ and l 4 µ + 4. Then GF q (P4 m (X 6 )) GF (q µ +m+ q (P 4 (X 6 )), ; q) m where 3 GF q (P 4 (X 6 )) q ( i iµi++2m+0) a µ+δ4 (x, x 2, x 3, x 4 ) ( q) x x 2 x 3 x 4 j (q; q) µ j+4 j a (m)(x 2 ) (q; q) m d q x d q x 2 d q x 3 d q x 4. Hence the hook length property for class 6 is equivalent to the following identity 0 x x 2 x 3 x 4 x m 2 a µ+δ4 (x, x 2, x 3, x 4 )d q x d q x 2 d q x 3 d q x 4 q 3 i iµi++2m+0 ( q) 4 4 i ( q µ +2m+0 q µi µj+j i qµi+5 i ) q µ +m+0 q µi+µj+m+0 i j. i<j 4 This formula has been verified by computer Class 7: Nooks. In this case, a semi-irreducible d-complete poset of class 7 is P λ+2 4 (X 7 ) with X 7 {(λ, 3, ), (, 2, ), (µ, 3, 2), (, 2, 3)}, where λ (λ, λ 2, λ 3 ) Par 3 and µ (µ, µ 2, 0) Par 2. See Figure 6. Also, we have l λ 3 +, l 2 λ 2 + 3, l 3 λ + µ and l 4 µ + 4. Thus, where GF q (P λ+2 4 (X 7 )) GF (q λ + µ +3 q (P 4 (X 7 )), ; q) λ+2 3 GF q (P 4 (X 7 )) q ( i iλi+µ2+3) a λ+δ3 (x, x 2, x 3 ) ( q) x x 2 x 3 x 4 i (q; q) λ i+3 i a δ 2 (x, x 2 ) q a µ+δ3 (x 2, x 3, x 4 ) (q; q) µ+2(q; q) µ2+ The hook length property for class 7 means the following identity 0 x x 2 x 3 x 4 aδ 2 (x 3, x 4 ) d q x d q x 2 d q x 3 d q x 4. q (x x 2 )(x 3 x 4 )a λ+δ3 (x, x 2, x 3 )a µ+δ3 (x 2, x 3, x 4 )d q x d q x 2 d q x 3 d q x 4 q 3 i iλi+µ2+3 ( q) 6 ( q µ+2 )( q µ2+ )( q µ µ2+ ) (q λ + µ +0 ; q) 3 3 i i<j 3 ( qλi λj+j i ) 3 i 2 j ( q λ + µ λi µj+3+i+j ). q λ + µ +λi+5 i (q λi+4 i ; q) 2 This formula has been verified by computer.

16 6 JANG SOO KIM AND MEESUE YOO 6.8. Class 8: Swivels. For a semi-irreducible d-complete poset of class 8, there are 4 subclasses: Class 8-(): P λ+2 4 (X () 8 ) for λ Par 3 and X () 8 {(λ, 3, ), ((2),, ), (, 2, ), (, 3, 2), (, 2, 3)}, Class 8-(2): P λ+3 5 (X (2) 8 ) for λ Par 4 and X (2) 8 {(λ, 4, ), ((, 0), 2, ), (, 2, 2), (, 3, 3), (, 2, 4)}, Class 8-(3): P λ+3 5 (X (2) 8 ) for λ Par 4 and X (2) 8 {(λ, 4, ), ((, ), 2, ), (, 2, 2), (, 3, 3), (, 2, 4)}, Class 8-(4): P λ+4 6 (X (3) 8 ) for λ Par 4 and X (3) 8 {(λ, 5, ), (, 3, ), (, 2, 3), (, 3, 4), (, 2, 5)}. See Figures 7, 8, 9 and 20. We consider the 4 subclasses separately. Class 8-(): In this case, l λ 3 + 3, l 2 λ 2 + 3, l 3 λ + 4 and l 4 4. Then, where GF q (P 4 (X () 8 GF q (P λ+2 4 (X () 8 )) GF (q λ +5 q (P 4 (X () 8 ; q) )), λ+2 3 q ( i iλi+9) a λ+δ3 (x, x 2, x 3 ) )) ( q) x x 4 i (q; q) λ i+3 i a δ 2 (x, x 2 ) a δ 3 (x 2, x 3, x 4 ) q a (2)+δ (x ) ( q)( q 2 ) ( q) 2 ( q 2 ) a δ 2 (x 3, x 4 ) d q x d q x 4. q Hence, the hook length property for class 8-() is equivalent to (4) x 2 (x x 2 )(x 3 x 4 )a δ3 (x 2, x 3, x 4 )a λ+δ3 (x, x 2, x 3 )d q x d q x 4 0 x x 4 q 3 i iλi+9 ( q) 9 ( + q) (q λ +0 ; q) 2 ( q λ +4 ) 3 i q λ +λi+7 i (q λi+6 i ; q) 2 (q λ λi+5+i ; q) 2 i<j 3 ( q λi λj+j i ). This formula has been verified by computer. Class 8-(2): In this case, l λ 4 +, l 2 λ 3 + 4, l 3 λ 2 + 4, l 4 λ + 5 and l 5 4. Then, where GF q (P 5 (X (2) 8 GF q (P λ+3 5 (X (2) 8 )) GF (q λ +9 q (P 5 (X (2) 8 ; q) )), λ+3 4 q ( i iλi+29) a λ+δ4 (x, x 2, x 3, x 4 ) )) ( q) x x 5 i (q; q) a (,0)+δ 2 (x, x 2 ) λ i+4 i ( q)( q 2 ) a δ 2 (x 2, x 3 ) a δ 3 (x 3, x 4, x 5 ) q ( q) 2 ( q 2 ) a δ 2 (x 4, x 5 ) q d q x d q x 5. Hence, the hook length property for class 8-(2) is equivalent to (5) (x 2 x 2 2)(x 2 x 3 )(x 4 x 5 )a δ3 (x 3, x 4, x 5 )a λ+δ4 (x, x 2, x 3, x 4 )d q x d q x 5 0 x x 5 q 4 i iλi+29 ( q) ( + q) 2 (q λ +5 ; q 2 ) 2 ( q λ +8 ) 4 i q λ +λi+22 i (q λi+5 i ; q 2 ) 2 ( q λ λi+9+i ) i<j 4 q λi λj+j i q λi+λj+3 i j. This formula has been verified by computer. Class 8-(3): In this case, l λ 4 + 2, l 2 λ 3 + 4, l 3 λ 2 + 4, l 4 λ + 5 and l 5 4. Then, GF q (P λ+3 5 (X (3) 8 )) GF (q λ +20 q (P 5 (X (3) 8 ; q) )), λ+3

17 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 7 where GF q (P 5 (X (3) 8 4 q ( i iλi+33) a λ+δ4 (x, x 2, x 3, x 4 ) )) ( q) x x 5 i (q; q) a (,)+δ 2 (x, x 2 ) λ i+4 i ( q)( q 2 ) a δ 2 (x 2, x 3 ) a δ 3 (x 3, x 4, x 5 ) q ( q) 2 ( q 2 ) a δ 2 (x 4, x 5 ) q Hence, the hook length property for class 8-(3) is equivalent to d q x d q x 5. (6) x x 2 (x x 2 )(x 2 x 3 )(x 4 x 5 )a δ3 (x 3, x 4, x 5 )a λ+δ4 (x, x 2, x 3, x 4 )d q x d q x 5 0 x x 5 q 4 i iλi+33 ( q) ( + q) 4 q λ +λi+23 i q λi λj+j i (q λ +6 ; q) 2 ( q λ +9 ) (q λi+6 i ; q) 2 ( q λ λi+9+i ) q λi+λj+4 i j. i i<j 4 This formula has been verified by computer. Class 8-(4): In this case, l λ 5 +, l 2 λ 4 + 3, l 3 λ 3 + 5, l 4 λ 2 + 5, l 5 λ + 6 and l 6 4. Then, GF q (P λ+4 6 (X (4) 8 )) GF (q λ +25 q (P 6 (X (4) 8 ; q) )), λ+4 where GF q (P 6 (X (4) 8 5 q ( i iλi+48) a λ+δ5 (x,..., x 6 ) )) ( q) x x 6 i (q; q) a δ 3 (x, x 2, x 3 ) λ i+5 i ( q) 2 ( q 2 ) a δ 2 (x 3, x 4 ) a δ 3 (x 4, x 5, x 6 ) q ( q) 2 ( q 2 ) a δ 2 (x 5, x 6 ) q d q x d q x 6. Hence, the hook length property for class 8-(4) is equivalent to (7) (x 3 x 4 )(x 5 x 6 )a δ3 (x, x 2, x 3 )a δ3 (x 4, x 5, x 6 )a λ+δ5 (x,..., x 6 )d q x d q x 6 0 x x 6 q 5 i iλi+48 ( q) 4 ( + q) 2 (q λ +2 ; q) 4 5 i q λ +λi+29 i (q λi+6 i ; q) 3 i<j 5 q λi λj+j i q λ λi λj+i+j+7. We provide a proof of the hook length property for class 8-(4) in Theorem 7.2 by decomposing the P -partition generating function for P λ+4 ) using Lemma (X (4) Class 9: Tailed swivels. For a semi-irreducible d-complete poset of class 9, there are 2 subclasses: Class 9-(): P λ+3 5 (X () 9 ), with λ Par 5 and X () 9 {(λ, 4, ), ((),, ), ((, 0), 2, ), (, 2, 2), (, 3, 3), (, 2, 4)}. Class 9-(2): P λ+3 5 (X (2) 9 ), with λ Par 5 and X (2) 9 {(λ, 4, ), ((),, ), ((, ), 2, ), (, 2, 2), (, 3, 3), (, 2, 4)}. See Figures 2 and 22. Class 9-(): We have l λ 4 + 2, l 2 λ 3 + 4, l 3 λ 2 + 4, l 4 λ + 5 and l 5 4. Then, where GF q (P 5 (X () 9 GF q (P λ+3 5 (X () 9 )) GF (q λ +20 q (P 5 (X () 9 ; q) )), λ+3 4 q ( i iλi+34) a λ+δ4 (x, x 2, x 3, x 4 ) )) ( q) x x 5 i (q; q) a()+δ (x ) λ i+4 i q

18 8 JANG SOO KIM AND MEESUE YOO a (,0)+δ 2 (x, x 2 ) ( q) 2 ( q 2 ) a δ 2 (x 2, x 3 ) a δ 3 (x 3, x 4, x 5 ) q ( q) 2 ( q 2 ) a δ 2 (x 4, x 5 ) d q x d q x 5. q Thus the hook length property for class 9-() is equivalent to the identity x (x 2 x 2 2)(x 2 x 3 )(x 4 x 5 )a δ3 (x 3, x 4, x 5 )a λ+δ4 (x, x 2, x 3, x 4 )d q x d q x 5 q 4 0 x x 5 i iλi+33 ( q) ( + q) 2 4 j ( q λ +λj j+23 ) (q λ +5 ; q 2 ) 2 ( q λ +9 ) 4 i (qλi+6 i ; q 2 ) 2 ( q λ λi+0+i ) i<j 4 q λi λj+j i q λi+λj+3 i j. This formula has been verified by computer. Class 9-(2): We have l λ 4 + 3, l 2 λ 3 + 4, l 3 λ 2 + 4, l 4 λ + 5 and l 5 4. Then, where GF q (P 5 (X (2) 9 GF q (P λ+3 5 (X (2) 9 )) GF (q λ +2 q (P 5 (X (2) 9 ; q) )), λ+3 4 q ( i iλi+37) a λ+δ4 (x, x 2, x 3, x 4 ) )) ( q) x x 5 i (q; q) a()+δ (x ) λ i+4 i q a (,)+δ 2 (x, x 2 ) ( q) 2 ( q 2 ) a δ 2 (x 2, x 3 ) a δ 3 (x 3, x 4, x 5 ) q ( q) 2 ( q 2 ) a δ 2 (x 4, x 5 ) d q x d q x 5. q Thus the hook length property for class 9-(2) is equivalent to the identity x 2 x 2 (x x 2 )(x 2 x 3 )(x 4 x 5 )a δ3 (x 3, x 4, x 5 )a λ+δ4 (x, x 2, x 3, x 4 )d q x d q x 5 q 4 0 x x 5 i iλi+37 ( q) 4 ( + q) j ( q λ +λj j+24 ) (q λ +6 ; q) 2 ( q λ +20 ) 4 i (qλi+7 i ; q) 2 ( q λ λi+0+i ) This formula has been verified by computer. i<j 4 q λi λj+j i q λi+λj+4 i j Class 0: Tagged swivels. A semi-irreducible d-complete poset of class 0 is P λ+4 6 (X 0 ) with X 0 {(λ, 5, ), (, 2, ), ((), 2, 2), (, 2, 3), (, 3, 4), (, 2, 5)}, where λ Par 5 and l λ 5 +, l 2 λ 4 + 3, l 3 λ 3 + 5, l 4 λ 2 + 5, l 5 λ + 6, l 6 4. See Figure 23. In this case, where GF q (P 6 (X 0 )) q ( ( q) 6 GF q (P λ+4 6 (X 0 )) 5 i iλi+48) 0 x x 6 GF (q λ +25 q (P 6 (X 0 )), ; q) λ+4 a λ+δ5 (x,..., x 5 ) 5 i (q; q) λ i+5 i a δ 2 (x, x 2 ) q a (,0)+δ 2 (x 2, x 3 ) a δ 2 (x 3, x 4 ) a δ 3 (x 4, x 5, x 6 ) (q; q) 2 q ( q) 2 ( q 2 ) a δ 2 (x 5, x 6 ) d q x d q x 6. q Hence the hook length property for class 0 is equivalent to the identity (8) (x x 2 )(x 2 2 x 2 3)(x 3 x 4 )(x 5 x 6 )a δ3 (x 4, x 5, x 6 )a λ+δ5 (x,..., x 5 )d q x d q x 6 0 x x 6 ( ) q 5 i iλi+48 ( q) 3 ( + q) 2 5 q λ +λi i+29 (q λ +22 ; q) 3 (q λi+6 i ; q) 2 ( q λ λi+4+i ) i i<j 5 q λi λj+j i q λi+λj+5 i j.

19 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 9 We provide a proof of the hook length property for class 0 in Theorem 7.3 by decomposing the P -partition generating function for P λ+4 6 (X 0 ) using Lemma Class : Swivel shifteds. A semi-irreducible d-complete poset of class is P λ+n n+ (X ) with n 3, k, ɛ {0, } and X {(λ, n, ), ((k ), 3, n ), (, 2, n), ((ɛ),, )} n 2 {(, 2, i)}. In this case we have l λ n +, l j λ n+ j + j +, for 2 j n, l n+ k + 3. See Figure 24. Then GF q (P λ+n n+ (X )) GF (q λ + 2 n(n+3)+k+3 q (P n+ (X )), ; q) λ+n where n GF q (P n+ (X )) q ( i iλi+ 6 n(n2 +6n )) ( ) (n 2) aλ+δn (x,..., x n ) ( q) n+ n i (q; q) λ i+n i 0 x x n+ a (k )+δ 3 (x n, x n, x n+ ) a n 2 δ 2 (x n, x n+ ) ( q)(q; q) k+ q i i a δ2 (x i, x i+ ) d q x d q x n+. q Hence, the hook length property for the poset of class is equivalent to the following identity a λ+δn (x,..., x n ) a (k )+δ3 (x n, x n, x n+ ) (x n x n+ ) 0 x x n+ n j (x i x i+ )d q x d q x n+ n 2 i ( )(n+ 2 ) n q i iλi+ 6 n(n2 +6n ) ( q) n+4 (q k ; q) 2 (q λ +k+ 2 n(n+3) ; q) 3 q λ +λj+k+ 2 n(n+5)+2 j (q λj+n+ j ; q) 2 ( q λ λj+k+ 2 n(n+)+j 2 ) i<j n q λi λj+j i q 2n+4 i j+λi+λj. We provide a proof of the hook length property for class in Theorem 7.7 by decomposing the P -partition generating function for P λ+n n+ (X ) using Lemma Class 2: Pumps. A semi-irreducible d-complete poset of class 2 is P λ+3 6 (X 2 ), where X 2 {(, 3, ), (, 2, ), (λ, 4, 2), (, 2, 3), (, 3, 4), (, 2, 5)}, with λ Par 3. See Figure 25. In this case, l, l 2 3, l 3 λ 3 + 4, l 4 λ 2 + 4, l 5 λ + 5, l 6 4. Then, GF q (P λ+3 6 (X 2 )) GF (q λ +22 q (P 6 (X 2 )), ; q) λ+3 where 3 GF q (P 6 (X 2 )) q ( i iλi+42) a δ3 (x, x 2, x 3 ) ( q) 6 ( q) 2 ( q 2 ) a δ 2 (x, x 2 ) q a λ+δ 4 (x 2, x 3, x 4, x 5 ) 3 i (q; q) λ i+4 i 0 x x 6 a δ2 (x 3, x 4 ) q a δ 3 (x 4, x 5, x 6 ) ( q) 2 ( q 2 ) a δ 2 (x 5, x 6 ) d q x d q x 6. q The hook length property for class 2 is equivalent to the following identity (9) (x x 2 )(x 3 x 4 )(x 5 x 6 )a δ3 (x, x 2, x 3 )a δ3 (x 4, x 5, x 6 ) 0 x x 6 a λ+δ4 (x 2, x 3, x 4, x 5 )d q x d q x 6

20 20 JANG SOO KIM AND MEESUE YOO ( )q 3 i iλi+42 ( q) 2 ( q 3 ) 2 ( q 4 )(q λ +5 ; q) 3 3 i ( q λi+4 i )( q λ +λi+25 i ) (q λi+8 i ; q) 3 i<j 3 q λi λj+j i (q λi+λj+5 i j ; q) 2. It takes too much time to verify (9) using our testing code. In what follows we modify (9) so that the resulting integral can be verified by our testing code. By [4, Lemma 5.7] we have a λ+δ4 (x 2, x 3, x 4, x 5 ) 3 i ( qλi+4 i ) ( q) 3 Thus, (9) is equivalent to (20) f(x,..., x 6 )a λ+δ3 (y, y 2, y 3 )d q y d q y 2 d q y 3 d q x d q x 6 D q 3 i iλi+42 ( q) 5 ( q 3 ) 2 ( q 4 )(q λ +5 ; q) 3 x 2 y x 3 y 2 x 4 y 3 x 5 a λ+δ3 (y, y 2, y 3 )d q y d q y 2 d q y 3. 3 i q λ +λi+25 i (q λi+8 i ; q) 3 i<j 3 q λi λj+j i (q λi+λj+5 i j ; q) 2, where D is the list of inequalities 0 x x 2 y x 3 y 2 x 4 y 3 x 5 x 6 and f(x,..., x 6 ) (x x 2 )(x 3 x 4 )(x 5 x 6 )a δ3 (x, x 2, x 3 )a δ3 (x 4, x 5, x 6 ), Using [4, Lemma 5.7], we can change the order of integration to obtain that the left hand side of (20) is equal to ( y f(x,..., x 6 )a λ+δ3 D q, y 2 q, y ) 3 q 3 d q x d q x 6 d q y d q y 2 d q y 3 q q λ 6 f(x,..., x 6 )a λ+δ3 (y, y 2, y 3 )d q x d q x 6 d q y d q y 2 d q y 3. Hence, (20) is equivalent to (2) g(y, y 2, y 3 )a λ+δ3 (y, y 2, y 3 )d q y d q y 2 d q y 3 0 y y 2 y 3 where g(y, y 2, y 3 ) q 3 i (i+)λi+48 ( q) 5 ( q 3 ) 2 ( q 4 )(q λ +5 ; q) 3 D 3 i 0 x x 2 y x 3 y 2 x 4 y 3 x 5 x 6 x6 y3 y2 y x2 y 3 y 3 y 2 y 0 0 q λ +λi+25 i (q λi+8 i ; q) 3 i<j 3 f(x,..., x 6 )d q x... d q x 6 q λi λj+j i (q λi+λj+5 i j ; q) 2, (x x 2 )(x 3 x 4 )(x 5 x 6 )a δ3 (x, x 2, x 3 )a δ3 (x 4, x 5, x 6 )d q x... d q x 6. We can evaluate g(y, y 2, y 3 ) by our testing code. Interestingly, it has many factors: (22) g(y, y 2, y 3 ) q 2 y 4 y 2 (y y 2 )(y 2 )(y 2 y 3 )(qy 3 )(y 3 q)(y 3 ) 2 By using (22), we have verified (2) by our testing code. (qy y q 2 y 2 y 3 qy 2 2y 3 qy 2 2 qy y 3 + y 2 y 3 ) (q 2 + q + ) 4 (q 2 + ) 2 (q + ) Class 3: Tailed pumps. A semi-irreducible d-complete poset of class 3 is P λ+3 6 (X 3 ), where X 3 {((),, ), (, 2, ), (, 3, ), (λ, 4, 2), (, 2, 3), (, 3, 4), (, 2, 5)}, with λ Par 2. See Figure 26. We have l 2, l 2 3, l 3 4, l 4 λ 2 + 4, l 5 λ + 5, l 6 4. In this case, GF q (P λ+3 6 (X 3 )) GF (q λ +23 q (P 6 (X 3 )), ; q) λ+3

21 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 2 where 2 i iλi+47) GF q (P 6 (X 3 )) q ( ( q) 6 0 x x 6 a ()+δ (x ) q a δ 2 (x, x 2 ) q a δ 3 (x, x 2, x 3 ) ( q) 2 ( q 2 ) a (λ,λ 2,0,0)+δ 4 (x 2, x 3, x 4, x 5 ) ( q) 2 i (q; q) a δ 2 (x 3, x 4 ) a δ 3 (x 4, x 5, x 6 ) λ i+4 i q ( q) 2 ( q 2 ) a δ 2 (x 5, x 6 ) d q x d q x 6. q The hook length property for class 3 is equivalent to the identity x (x x 2 )(x 3 x 4 )(x 5 x 6 )a δ3 (x, x 2, x 3 )a δ3 (x 4, x 5, x 6 ) 0 x x 6 a (λ,λ 2,0,0)+δ 4 (x 2, x 3, x 4, x 5 )d q x d q x 6 ( )q 2 i iλi+47 ( q) 7 ( + q) 2 (q; q) 7 (q 3 ( qλ λ2+ )( q λ +23 ) ; q) 3 (q λ +3 ; q) 5 2 (q λi+3 i ; q) 2 ( q λ +λi+26 i ) (q λi+9 i. ; q) 5 i This formula has been verified by computer Class 4: Near bats. A semi-irreducible d-complete poset of class 4 is P m+3 6 (X 4 ), with X 4 {((2),, ), (, 2, ), (, 3, ), ((m), 4, 2), (, 2, 3), (, 3, 4), (, 2, 5)}, and m 0. See Figure 27. We have l 3, l 2 3, l 3 4, l 4 4, l 5 m + 5, l 6 4. Then, GF q (P6 m+3 (X 4 )) (q m+24 GF q (P 6 (X 4 )), ; q) m+3 where GF q (P 6 (X 4 )) q (m+52) ( q) 6 0 x x 6 a (2)+δ (x ) a δ 2 (x, x 2 ) a δ 3 (x, x 2, x 3 ) (q; q) 2 q ( q) 2 ( q 2 ) a (m,0,0,0)+δ 4 (x 2, x 3, x 4, x 5 ) (q; q) m+3 ( q) 2 ( q 2 ) a δ 2 (x 3, x 4 ) a δ 3 (x 4, x 5, x 6 ) q ( q) 2 ( q 2 ) a δ 2 (x 5, x 6 ) d q x d q x 6. q Thus the hook length property for the posets of class 4 is equivalent to the identity x 2 (x x 2 )(x 3 x 4 )(x 5 x 6 )a δ3 (x, x 2, x 3 )a δ3 (x 4, x 5, x 6 ) 0 x x 6 a (m,0,0,0)+δ4 (x 2, x 3, x 4, x 5 )d q x d q x 6 ( )qm+52 ( q) 20 ( + q) 4 (q m+ ; q) 3 (q m+24 ; q) 2 ( + q m+3 ) (q; q) (q 4 ; q) 5 (q m+9 ; q) 9. This formula has been verified by computer Class 5: Bat. A semi-irreducible d-complete poset of class 5 is P 3 6 (X 5 ), with X 5 {((3),, ), (, 2, ), (, 3, ), (, 4, 2), (, 2, 3), (, 3, 4), (, 2, 5)}, and l 4, l 2 3, l 3 4, l 4 4, l 5 5, l 6 4. See Figure 28. Then, GF q (P6 3 (X 5 )) (q 25 GF q (P 6 (X 5 )), ; q) 3 where GF q (P 6 (X 5 )) q 57 a (3)+δ (x ) ( q) 6 a δ 2 (x, x 2 ) a δ 3 (x, x 2, x 3 ) 0 x x 6 (q; q) 3 q ( q) 2 ( q 2 ) a δ 4 (x 2, x 3, x 4, x 5 ) a δ 2 (x 3, x 4 ) a δ 3 (x 4, x 5, x 6 ) ( q)(q; q) 2 (q; q) 3 q ( q) 2 ( q 2 ) a δ 2 (x 5, x 6 ) d q x d q x 6. q Hence the hook length property for the posets of class 5 is equivalent to the identity

22 22 JANG SOO KIM AND MEESUE YOO 0 x x 6 x 3 (x x 2 )(x 3 x 4 )(x 5 x 6 )a δ3 (x, x 2, x 3 )a δ3 (x 4, x 5, x 6 ) This formula has been verified by computer. a δ4 (x 2, x 3, x 4, x 5 )d q x d q x 6 ( )q57 ( q) 8 ( + q) 3 (q; q) 2 3(q 25 ; q) 3 (q; q) 7 (q 5 ; q) 9 ( q 9. ) 7. Evaluation of the q-integrals In this section we complete the proof of the hook length property of d-complete posets by evaluating the corresponding q-integrals obtained in the previous section. Observe that since the q-integral for class i {3, 5, 6, 7, 8, 9, 0, 2, 3, 4, 5} is an integral of a polynomial with a fixed number of variables, it can be verified by computer. We say that these q-integrals are of finite type. The q-integrals of finite type except classes 8-(4), 0 and 2 can be verified by a brute-force computation within a reasonable amount of time. Recall that we modified the q-integral for class 2 in Section 6.2 so that the resulting q-integral can be verified by a brute-force computation. In this section we do similar things for classes 8-(4) and 0. After necessary modification, all q-integrals of finite type can be verified by a brute-force computation. We provide testing code which computes the following integral when n is given as a specific integer and f is a polynomial f(x,..., x n )d q x... d q x n. 0 x x n The testing code evaluates the above q-integrals simply expanding f(x,..., x n ) and using the facts b x k d q x ( q)(bk+ a k+ ) q k+, 0 x x n a x a... xan n d q x... d q x n n i q q a+ +ai+i. We have verified all q-integrals (modified if necessary) of finite type using our testing code and a computer with 3.5 GHz Intel Core i7 and 32 GB memory, which took about hours in total as shown below. sage: load("check_d_complete.sage") sage: test_all() Testing Class3() True It took 0 hours 0 minutes seconds. Testing Class5() True It took 0 hours 0 minutes seconds. Testing Class6() True It took 0 hours 0 minutes seconds. Testing Class7() True It took 0 hours 0 minutes seconds. Testing Class8_() True It took 0 hours 0 minutes seconds. Testing Class8_2() True It took 2 hours 6 minutes seconds. Testing Class8_3()

23 HOOK LENGTH PROPERTY OF d-complete POSETS VIA q-integrals 23 True It took hours 40 minutes seconds. Testing Class8_4() True It took 0 hours 0 minutes seconds. Testing Class9_() True It took hours 57 minutes seconds. Testing Class9_2() True It took hours 56 minutes seconds. Testing Class0() True It took 0 hours 0 minutes seconds. Testing Class2() True It took 0 hours 24 minutes seconds. Testing Class3() True It took 2 hours 4 minutes seconds. Testing Class4() True It took 0 hours 5 minutes seconds. Testing Class5() True It took 0 hours 0 minutes seconds. All checked! It took hours 3 minutes seconds. Since the q-integrals for classes, 2, 4 and are not of finite type, they have to be proved by hand. Note that the hook length properties for class (shapes) and class 2 (shifted shapes) are well known. Hence it remains to consider classes 4 and. We also give another proof of the hook length formula for class 2. To prove the hook length property for classes 2, 4 and, we utilize some partial fraction expansion identities. Throughout this section we use the following notation. For a partition µ Par n and an integer l n, we define µ (l) i to be the partition whose parts are given by (23) µ (l) i The following lemma is useful in this section. { µ i + if i < l, µ i+ if i l. Lemma 7.. Let f(x,..., x n ) be a homogeneous function of degree d in variables x,..., x n, i.e., f(tx,..., tx n ) t d f(x,..., x n ). Then for a partition µ Par n, we have x k nf(x,..., x n )a µ+δn (x,..., x n )d q x... d q x n 0 x x n Proof. Since q q µ +(n+ 2 )+k+d a µ+δn (x,..., x n ) n ( ) n l l 0 x x n f(x,..., x n ) a µ (l) +δ n (x,..., x n )d q x... d q x n. n ( ) n l x µ l+n l n a µ (l) +δ n (x,..., x n ). l