leaf poset and multi-colored hook length property
TRANSCRIPT
![Page 1: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/1.jpg)
. . . . . .
.
......
Leaf poset and multi-colored hook lengthproperty
Masao Ishikawa
Department of Mathematics,Faculty of Science,Okayama University
Seminaire de Combinatoire et Theorie des NombresSeptember 26, 2017
Institut Camille Jordan , Universite Claude Bernard Lyon 1
joint work with Hiroyuki Tagawa
Masao Ishikawa Leaf poset and hook length property
![Page 2: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/2.jpg)
. . . . . .
Introduction
Masao Ishikawa Leaf poset and hook length property
![Page 3: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/3.jpg)
. . . . . .
.. Poset
.Definition (Poset)..
......
A poset (partially ordered set) is a pair (P,≤) of a (finite) set Pand a binary relation ≤ satisfying the axioms below:
...1 a ≤ a (reflexivity).
...2 if a ≤ b and b ≤ a, then a = b (antisymmetry).
...3 if a ≤ b and b ≤ c, then a ≤ c (transitivity).
Let |P | denote the number of elements of P.
.Definition (Cover)..
......
An element a is said to be covered by another element b ,written a <. b , if a < b and there is no element c such thata < c < b .
Masao Ishikawa Leaf poset and hook length property
![Page 4: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/4.jpg)
. . . . . .
.. Poset
.Definition (Poset)..
......
A poset (partially ordered set) is a pair (P,≤) of a (finite) set Pand a binary relation ≤ satisfying the axioms below:
...1 a ≤ a (reflexivity).
...2 if a ≤ b and b ≤ a, then a = b (antisymmetry).
...3 if a ≤ b and b ≤ c, then a ≤ c (transitivity).
Let |P | denote the number of elements of P.
.Definition (Cover)..
......
An element a is said to be covered by another element b ,written a <. b , if a < b and there is no element c such thata < c < b .
Masao Ishikawa Leaf poset and hook length property
![Page 5: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/5.jpg)
. . . . . .
.. Poset
.Definition (Poset)..
......
A poset (partially ordered set) is a pair (P,≤) of a (finite) set Pand a binary relation ≤ satisfying the axioms below:
...1 a ≤ a (reflexivity).
...2 if a ≤ b and b ≤ a, then a = b (antisymmetry).
...3 if a ≤ b and b ≤ c, then a ≤ c (transitivity).
Let |P | denote the number of elements of P.
.Definition (Cover)..
......
An element a is said to be covered by another element b ,written a <. b , if a < b and there is no element c such thata < c < b .
Masao Ishikawa Leaf poset and hook length property
![Page 6: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/6.jpg)
. . . . . .
.. Poset
.Definition (Poset)..
......
A poset (partially ordered set) is a pair (P,≤) of a (finite) set Pand a binary relation ≤ satisfying the axioms below:
...1 a ≤ a (reflexivity).
...2 if a ≤ b and b ≤ a, then a = b (antisymmetry).
...3 if a ≤ b and b ≤ c, then a ≤ c (transitivity).
Let |P | denote the number of elements of P.
.Definition (Cover)..
......
An element a is said to be covered by another element b ,written a <. b , if a < b and there is no element c such thata < c < b .
Masao Ishikawa Leaf poset and hook length property
![Page 7: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/7.jpg)
. . . . . .
.. Poset
.Definition (Poset)..
......
A poset (partially ordered set) is a pair (P,≤) of a (finite) set Pand a binary relation ≤ satisfying the axioms below:
...1 a ≤ a (reflexivity).
...2 if a ≤ b and b ≤ a, then a = b (antisymmetry).
...3 if a ≤ b and b ≤ c, then a ≤ c (transitivity).
Let |P | denote the number of elements of P.
.Definition (Cover)..
......
An element a is said to be covered by another element b ,written a <. b , if a < b and there is no element c such thata < c < b .
Masao Ishikawa Leaf poset and hook length property
![Page 8: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/8.jpg)
. . . . . .
.. Hasse diagram.Definition (Hasse diagram)..
......A poset can be visualized through its Hasse diagram, which depictsthe ordering relation.
.Example..
......
Let S = {a, b , c} be 3 element set, P = 2S the set of all subsets ofS . of a (finite) set P and the order ≤ is defined by inclusion ⊆.
{a, b , c}
{a, b} {a, c} {b , c}
{a} {b} {c}
∅
Masao Ishikawa Leaf poset and hook length property
![Page 9: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/9.jpg)
. . . . . .
.. Hasse diagram.Definition (Hasse diagram)..
......A poset can be visualized through its Hasse diagram, which depictsthe ordering relation.
.Example..
......
Let S = {a, b , c} be 3 element set, P = 2S the set of all subsets ofS . of a (finite) set P and the order ≤ is defined by inclusion ⊆.
{a, b , c}
{a, b} {a, c} {b , c}
{a} {b} {c}
∅
Masao Ishikawa Leaf poset and hook length property
![Page 10: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/10.jpg)
. . . . . .
.. (P , ω)-partition
Let P be a finite poset of cardinality p. Letω : P → [p] = {1, . . . , p} be a bijection, called a labeling of P..Definition ((P , ω)-partition)..
......
Let N denote the set of nonnegative integers.
...1 if a ≤ b , σ(a) ≥ σ(b) (order reversing).
...2 if a ≤ b and ω(a) > ω(b), then σ(a) > σ(b).
If ω is natural, i.e., s < t ⇒ ω(s) < ω(t), then a (P , ω)-partitionis just an order-reversing map σ : P → N. We then call σsimply a P-partition. Write A (P , ω) for the set of all(P , ω)-partitions σ : P → N. If ω is a natural labeling, wesimply write A (P). Let |σ| = ∑s∈P σ(s) denote the sum of theentries of σ.
Masao Ishikawa Leaf poset and hook length property
![Page 11: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/11.jpg)
. . . . . .
.. (P , ω)-partition
Let P be a finite poset of cardinality p. Letω : P → [p] = {1, . . . , p} be a bijection, called a labeling of P..Definition ((P , ω)-partition)..
......
Let N denote the set of nonnegative integers....1 if a ≤ b , σ(a) ≥ σ(b) (order reversing).
...2 if a ≤ b and ω(a) > ω(b), then σ(a) > σ(b).
If ω is natural, i.e., s < t ⇒ ω(s) < ω(t), then a (P , ω)-partitionis just an order-reversing map σ : P → N. We then call σsimply a P-partition. Write A (P , ω) for the set of all(P , ω)-partitions σ : P → N. If ω is a natural labeling, wesimply write A (P). Let |σ| = ∑s∈P σ(s) denote the sum of theentries of σ.
Masao Ishikawa Leaf poset and hook length property
![Page 12: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/12.jpg)
. . . . . .
.. (P , ω)-partition
Let P be a finite poset of cardinality p. Letω : P → [p] = {1, . . . , p} be a bijection, called a labeling of P..Definition ((P , ω)-partition)..
......
Let N denote the set of nonnegative integers....1 if a ≤ b , σ(a) ≥ σ(b) (order reversing)....2 if a ≤ b and ω(a) > ω(b), then σ(a) > σ(b).
If ω is natural, i.e., s < t ⇒ ω(s) < ω(t), then a (P , ω)-partitionis just an order-reversing map σ : P → N. We then call σsimply a P-partition. Write A (P , ω) for the set of all(P , ω)-partitions σ : P → N. If ω is a natural labeling, wesimply write A (P). Let |σ| = ∑s∈P σ(s) denote the sum of theentries of σ.
Masao Ishikawa Leaf poset and hook length property
![Page 13: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/13.jpg)
. . . . . .
.. (P , ω)-partition
.Example..
......
If P = 2{a,b ,c} is the Boolean poset.
ω 4
2 6 8
1 3 5
7
σ 0
1 0 0
3 2 3
3
Masao Ishikawa Leaf poset and hook length property
![Page 14: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/14.jpg)
. . . . . .
.. Hook Length Property
For a labeled poset (P , ω), we write
F(P , ω; q) =∑
σ∈A (P,ω)
q|σ|,
which we call the one variable generating function of (P , ω)-partitions.When ω is natural, we write F(P; q) for F(P , ω; q)..Definition..
......
We say that P has hook-length property if there exists a map h from Pto N satisfying
F(P; q) =∏x∈P
1
1 − qh(x).
If P has hook-length property, then h(x) is called the hook length ofx, and h is called the hook-length function. A hook-length poset is aposet which has hook length property. The hook-length propertywas first defined by B. Sagan.
Masao Ishikawa Leaf poset and hook length property
![Page 15: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/15.jpg)
. . . . . .
.. Colored Hook Length Property
Let (P , ω) be a labeled poset, and z = (z1, . . . , zk ) be variables.Assume there exists a sujective map c : P → {1, 2, . . . , k }, which wecall the color function. We write
Fc(P , ω; z) =∑
σ∈A (P ,ω)
zσ,
where zσ =∏
x∈P zσ(x)c(x)
. We call Fc(P , ω; z) the colored generating
function or multi-variable generating function..Definition..
......
We say that P has k -colored hook-length property if there exists a maph from P to Nk satisfying
F(P; q) =∏x∈P
1
1 − zh(x),
where zh(x) =∏
x∈P zh(x)
c(x). A colored hook-length poset is a poset
which has colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 16: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/16.jpg)
. . . . . .
.. (Shifted) diagrams.Definition..
......
A partiton is a nonincreasing sequence λ = (λ1, λ2, . . . ) of nonnegativeintegers with finitely many λi unequal to zero.
The length and weight ofλ, denoted by ℓ(λ) and |λ|, are the number and sum of the non-zero λi
respectively. A strict partition is a partition in which its parts are strictlydecreasing. If λ is a partition (resp. strict partition), then its diagramD(λ) (resp. shifted diagram S(λ)) is defined by
D(λ) = { (i, j) ∈ Z2 : 1 ≤ j ≤ λi}S(λ) = { (i, j) ∈ Z2 : i ≤ j ≤ λi + i − 1 }.
.Example (The diagram and shifted diagram for λ = (4, 3, 1))..
......
D(λ) = S(λ) =
Masao Ishikawa Leaf poset and hook length property
![Page 17: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/17.jpg)
. . . . . .
.. (Shifted) diagrams.Definition..
......
A partiton is a nonincreasing sequence λ = (λ1, λ2, . . . ) of nonnegativeintegers with finitely many λi unequal to zero. The length and weight ofλ, denoted by ℓ(λ) and |λ|, are the number and sum of the non-zero λi
respectively.
A strict partition is a partition in which its parts are strictlydecreasing. If λ is a partition (resp. strict partition), then its diagramD(λ) (resp. shifted diagram S(λ)) is defined by
D(λ) = { (i, j) ∈ Z2 : 1 ≤ j ≤ λi}S(λ) = { (i, j) ∈ Z2 : i ≤ j ≤ λi + i − 1 }.
.Example (The diagram and shifted diagram for λ = (4, 3, 1))..
......
D(λ) = S(λ) =
Masao Ishikawa Leaf poset and hook length property
![Page 18: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/18.jpg)
. . . . . .
.. (Shifted) diagrams.Definition..
......
A partiton is a nonincreasing sequence λ = (λ1, λ2, . . . ) of nonnegativeintegers with finitely many λi unequal to zero. The length and weight ofλ, denoted by ℓ(λ) and |λ|, are the number and sum of the non-zero λi
respectively. A strict partition is a partition in which its parts are strictlydecreasing.
If λ is a partition (resp. strict partition), then its diagramD(λ) (resp. shifted diagram S(λ)) is defined by
D(λ) = { (i, j) ∈ Z2 : 1 ≤ j ≤ λi}S(λ) = { (i, j) ∈ Z2 : i ≤ j ≤ λi + i − 1 }.
.Example (The diagram and shifted diagram for λ = (4, 3, 1))..
......
D(λ) = S(λ) =
Masao Ishikawa Leaf poset and hook length property
![Page 19: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/19.jpg)
. . . . . .
.. (Shifted) diagrams.Definition..
......
A partiton is a nonincreasing sequence λ = (λ1, λ2, . . . ) of nonnegativeintegers with finitely many λi unequal to zero. The length and weight ofλ, denoted by ℓ(λ) and |λ|, are the number and sum of the non-zero λi
respectively. A strict partition is a partition in which its parts are strictlydecreasing. If λ is a partition (resp. strict partition), then its diagramD(λ) (resp. shifted diagram S(λ)) is defined by
D(λ) = { (i, j) ∈ Z2 : 1 ≤ j ≤ λi}S(λ) = { (i, j) ∈ Z2 : i ≤ j ≤ λi + i − 1 }.
.Example (The diagram and shifted diagram for λ = (4, 3, 1))..
......
D(λ) = S(λ) =
Masao Ishikawa Leaf poset and hook length property
![Page 20: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/20.jpg)
. . . . . .
.. (Shifted) diagrams.Definition..
......
A partiton is a nonincreasing sequence λ = (λ1, λ2, . . . ) of nonnegativeintegers with finitely many λi unequal to zero. The length and weight ofλ, denoted by ℓ(λ) and |λ|, are the number and sum of the non-zero λi
respectively. A strict partition is a partition in which its parts are strictlydecreasing. If λ is a partition (resp. strict partition), then its diagramD(λ) (resp. shifted diagram S(λ)) is defined by
D(λ) = { (i, j) ∈ Z2 : 1 ≤ j ≤ λi}S(λ) = { (i, j) ∈ Z2 : i ≤ j ≤ λi + i − 1 }.
.Example (The diagram and shifted diagram for λ = (4, 3, 1))..
......
D(λ) = S(λ) =
Masao Ishikawa Leaf poset and hook length property
![Page 21: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/21.jpg)
. . . . . .
.. (Shifted) diagrams
.Definition..
......
We define the order on D(λ) (or S(λ)) by
(i1, j1) ≥ (i2, j2) ⇔ i1 ≤ i2 and j1 ≤ j2
We rotate the Hasse diagram of the poset by 45◦ counterclockwise.Hence a vertex in the north-east is bigger than a vertex in south-west.
Masao Ishikawa Leaf poset and hook length property
![Page 22: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/22.jpg)
. . . . . .
.. (Shifted) diagrams
.Definition..
......
We define the order on D(λ) (or S(λ)) by
(i1, j1) ≥ (i2, j2) ⇔ i1 ≤ i2 and j1 ≤ j2
We rotate the Hasse diagram of the poset by 45◦ counterclockwise.Hence a vertex in the north-east is bigger than a vertex in south-west.
Masao Ishikawa Leaf poset and hook length property
![Page 23: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/23.jpg)
. . . . . .
.. Examples
shape
−→
shifted shape −→
Masao Ishikawa Leaf poset and hook length property
![Page 24: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/24.jpg)
. . . . . .
d-complete poset
Masao Ishikawa Leaf poset and hook length property
![Page 25: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/25.jpg)
. . . . . .
.. d-complete poset
.Contents of this section..
......
...1 The d-complete posets arise from the dominantminuscule heaps of the Weyl groups of simply-lacedKac-Moody Lie algebras.
...2 Proctor gave completely combinatorial description ofd-complete poset, which is a graded poset withd-complete coloring.
...3 Proctor showed that any d-complete poset can beobtained from the 15 irreducible classes by slant-sum.
...4 The d-complete coloring is important for the multivariategenerating function. The content should be replaced bycolor for d-complete posets.
...5 Okada defined (q, t)-weight WP(π; q, t) for d-competeposets.
Masao Ishikawa Leaf poset and hook length property
![Page 26: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/26.jpg)
. . . . . .
.. d-complete poset
.Contents of this section..
......
...1 The d-complete posets arise from the dominantminuscule heaps of the Weyl groups of simply-lacedKac-Moody Lie algebras.
...2 Proctor gave completely combinatorial description ofd-complete poset, which is a graded poset withd-complete coloring.
...3 Proctor showed that any d-complete poset can beobtained from the 15 irreducible classes by slant-sum.
...4 The d-complete coloring is important for the multivariategenerating function. The content should be replaced bycolor for d-complete posets.
...5 Okada defined (q, t)-weight WP(π; q, t) for d-competeposets.
Masao Ishikawa Leaf poset and hook length property
![Page 27: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/27.jpg)
. . . . . .
.. d-complete poset
.Contents of this section..
......
...1 The d-complete posets arise from the dominantminuscule heaps of the Weyl groups of simply-lacedKac-Moody Lie algebras.
...2 Proctor gave completely combinatorial description ofd-complete poset, which is a graded poset withd-complete coloring.
...3 Proctor showed that any d-complete poset can beobtained from the 15 irreducible classes by slant-sum.
...4 The d-complete coloring is important for the multivariategenerating function. The content should be replaced bycolor for d-complete posets.
...5 Okada defined (q, t)-weight WP(π; q, t) for d-competeposets.
Masao Ishikawa Leaf poset and hook length property
![Page 28: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/28.jpg)
. . . . . .
.. d-complete poset
.Contents of this section..
......
...1 The d-complete posets arise from the dominantminuscule heaps of the Weyl groups of simply-lacedKac-Moody Lie algebras.
...2 Proctor gave completely combinatorial description ofd-complete poset, which is a graded poset withd-complete coloring.
...3 Proctor showed that any d-complete poset can beobtained from the 15 irreducible classes by slant-sum.
...4 The d-complete coloring is important for the multivariategenerating function. The content should be replaced bycolor for d-complete posets.
...5 Okada defined (q, t)-weight WP(π; q, t) for d-competeposets.
Masao Ishikawa Leaf poset and hook length property
![Page 29: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/29.jpg)
. . . . . .
.. d-complete poset
.Contents of this section..
......
...1 The d-complete posets arise from the dominantminuscule heaps of the Weyl groups of simply-lacedKac-Moody Lie algebras.
...2 Proctor gave completely combinatorial description ofd-complete poset, which is a graded poset withd-complete coloring.
...3 Proctor showed that any d-complete poset can beobtained from the 15 irreducible classes by slant-sum.
...4 The d-complete coloring is important for the multivariategenerating function. The content should be replaced bycolor for d-complete posets.
...5 Okada defined (q, t)-weight WP(π; q, t) for d-competeposets.
Masao Ishikawa Leaf poset and hook length property
![Page 30: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/30.jpg)
. . . . . .
.. d-complete poset
.Contents of this section..
......
...1 The d-complete posets arise from the dominantminuscule heaps of the Weyl groups of simply-lacedKac-Moody Lie algebras.
...2 Proctor gave completely combinatorial description ofd-complete poset, which is a graded poset withd-complete coloring.
...3 Proctor showed that any d-complete poset can beobtained from the 15 irreducible classes by slant-sum.
...4 The d-complete coloring is important for the multivariategenerating function. The content should be replaced bycolor for d-complete posets.
...5 Okada defined (q, t)-weight WP(π; q, t) for d-competeposets.
Masao Ishikawa Leaf poset and hook length property
![Page 31: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/31.jpg)
. . . . . .
.. Double-tailed diamond poset.Definition..
......
The double-tailed diamond poset dk (1) is the poset depictedbelow:
k − 2
k − 2
top
side side
bottom
A dk -interval is an interval isomorphic to dk (1).
A d−k
-interval (k ≥ 4) is an interval isomorphic todk (1) − {top}.A d−
3-interval consists of three elements x, y and w such that
w is covered by x and y.
Masao Ishikawa Leaf poset and hook length property
![Page 32: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/32.jpg)
. . . . . .
.. Double-tailed diamond poset.Definition..
......
The double-tailed diamond poset dk (1) is the poset depictedbelow:
k − 2
k − 2
top
side side
bottom
A dk -interval is an interval isomorphic to dk (1).
A d−k
-interval (k ≥ 4) is an interval isomorphic todk (1) − {top}.A d−
3-interval consists of three elements x, y and w such that
w is covered by x and y.
Masao Ishikawa Leaf poset and hook length property
![Page 33: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/33.jpg)
. . . . . .
.. Double-tailed diamond poset.Definition..
......
The double-tailed diamond poset dk (1) is the poset depictedbelow:
k − 2
k − 2
top
side side
bottom
A dk -interval is an interval isomorphic to dk (1).
A d−k
-interval (k ≥ 4) is an interval isomorphic todk (1) − {top}.A d−
3-interval consists of three elements x, y and w such that
w is covered by x and y.
Masao Ishikawa Leaf poset and hook length property
![Page 34: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/34.jpg)
. . . . . .
.. Double-tailed diamond poset.Definition..
......
The double-tailed diamond poset dk (1) is the poset depictedbelow:
k − 2
k − 2
top
side side
bottom
A dk -interval is an interval isomorphic to dk (1).
A d−k
-interval (k ≥ 4) is an interval isomorphic todk (1) − {top}.
A d−3
-interval consists of three elements x, y and w such thatw is covered by x and y.
Masao Ishikawa Leaf poset and hook length property
![Page 35: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/35.jpg)
. . . . . .
.. Double-tailed diamond poset.Definition..
......
The double-tailed diamond poset dk (1) is the poset depictedbelow:
k − 2
k − 2
top
side side
bottom
A dk -interval is an interval isomorphic to dk (1).
A d−k
-interval (k ≥ 4) is an interval isomorphic todk (1) − {top}.A d−
3-interval consists of three elements x, y and w such that
w is covered by x and y.
Masao Ishikawa Leaf poset and hook length property
![Page 36: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/36.jpg)
. . . . . .
.. Definition of d-complete poset
.Definition..
......
A poset P is d-complete if it satisfies the following threeconditions for every k ≥ 3:
...1 If I is a d−k
-interval, then there exists an element v suchthat v covers the maximal elements of I and I ∪ {v} is adk -interval.
...2 If I = [w , v] is a dk -interval and the top v covers u in P,then u ∈ I.
...3 There are no d−k
-intervals which differ only in the minimalelements.
Masao Ishikawa Leaf poset and hook length property
![Page 37: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/37.jpg)
. . . . . .
.. Definition of d-complete poset
.Definition..
......
A poset P is d-complete if it satisfies the following threeconditions for every k ≥ 3:
...1 If I is a d−k
-interval, then there exists an element v suchthat v covers the maximal elements of I and I ∪ {v} is adk -interval.
...2 If I = [w , v] is a dk -interval and the top v covers u in P,then u ∈ I.
...3 There are no d−k
-intervals which differ only in the minimalelements.
Masao Ishikawa Leaf poset and hook length property
![Page 38: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/38.jpg)
. . . . . .
.. Definition of d-complete poset
.Definition..
......
A poset P is d-complete if it satisfies the following threeconditions for every k ≥ 3:
...1 If I is a d−k
-interval, then there exists an element v suchthat v covers the maximal elements of I and I ∪ {v} is adk -interval.
...2 If I = [w , v] is a dk -interval and the top v covers u in P,then u ∈ I.
...3 There are no d−k
-intervals which differ only in the minimalelements.
Masao Ishikawa Leaf poset and hook length property
![Page 39: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/39.jpg)
. . . . . .
.. Definition of d-complete poset
.Definition..
......
A poset P is d-complete if it satisfies the following threeconditions for every k ≥ 3:
...1 If I is a d−k
-interval, then there exists an element v suchthat v covers the maximal elements of I and I ∪ {v} is adk -interval.
...2 If I = [w , v] is a dk -interval and the top v covers u in P,then u ∈ I.
...3 There are no d−k
-intervals which differ only in the minimalelements.
Masao Ishikawa Leaf poset and hook length property
![Page 40: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/40.jpg)
. . . . . .
.. Examples
rooted tree
shape
shifted shape
swivel
Masao Ishikawa Leaf poset and hook length property
![Page 41: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/41.jpg)
. . . . . .
.. Properties of d-complete posets
.Fact..
......
If P is a connected d-complete poset, then
(a) P has a unique maximal element.
(b) P is ranked, i.e., there exists a rank function r : P → Nsuch that r(x) = r(y) + 1 if x covers y.
.Fact..
......
(a) Any connected d-complete poset is uniquelydecomposed into a slant sum of one-element posets andslant-irreducible d-complete posets.
(b) Slant-irreducible d-complete posets are classified into 15families : shapes, shifted shapes, birds, insets, tailedinsets, banners, nooks, swivels, tailed swivels, taggedswivels, swivel shifts, pumps, tailed pumps, near bats,bat.
Masao Ishikawa Leaf poset and hook length property
![Page 42: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/42.jpg)
. . . . . .
.. Properties of d-complete posets
.Fact..
......
If P is a connected d-complete poset, then
(a) P has a unique maximal element.
(b) P is ranked, i.e., there exists a rank function r : P → Nsuch that r(x) = r(y) + 1 if x covers y.
.Fact..
......
(a) Any connected d-complete poset is uniquelydecomposed into a slant sum of one-element posets andslant-irreducible d-complete posets.
(b) Slant-irreducible d-complete posets are classified into 15families : shapes, shifted shapes, birds, insets, tailedinsets, banners, nooks, swivels, tailed swivels, taggedswivels, swivel shifts, pumps, tailed pumps, near bats,bat.
Masao Ishikawa Leaf poset and hook length property
![Page 43: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/43.jpg)
. . . . . .
.. Properties of d-complete posets
.Fact..
......
If P is a connected d-complete poset, then
(a) P has a unique maximal element.
(b) P is ranked, i.e., there exists a rank function r : P → Nsuch that r(x) = r(y) + 1 if x covers y.
.Fact..
......
(a) Any connected d-complete poset is uniquelydecomposed into a slant sum of one-element posets andslant-irreducible d-complete posets.
(b) Slant-irreducible d-complete posets are classified into 15families : shapes, shifted shapes, birds, insets, tailedinsets, banners, nooks, swivels, tailed swivels, taggedswivels, swivel shifts, pumps, tailed pumps, near bats,bat.
Masao Ishikawa Leaf poset and hook length property
![Page 44: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/44.jpg)
. . . . . .
.. Properties of d-complete posets
.Fact..
......
If P is a connected d-complete poset, then
(a) P has a unique maximal element.
(b) P is ranked, i.e., there exists a rank function r : P → Nsuch that r(x) = r(y) + 1 if x covers y.
.Fact..
......
(a) Any connected d-complete poset is uniquelydecomposed into a slant sum of one-element posets andslant-irreducible d-complete posets.
(b) Slant-irreducible d-complete posets are classified into 15families : shapes, shifted shapes, birds, insets, tailedinsets, banners, nooks, swivels, tailed swivels, taggedswivels, swivel shifts, pumps, tailed pumps, near bats,bat.
Masao Ishikawa Leaf poset and hook length property
![Page 45: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/45.jpg)
. . . . . .
.. Properties of d-complete posets
.Fact..
......
If P is a connected d-complete poset, then
(a) P has a unique maximal element.
(b) P is ranked, i.e., there exists a rank function r : P → Nsuch that r(x) = r(y) + 1 if x covers y.
.Fact..
......
(a) Any connected d-complete poset is uniquelydecomposed into a slant sum of one-element posets andslant-irreducible d-complete posets.
(b) Slant-irreducible d-complete posets are classified into 15families : shapes, shifted shapes, birds, insets, tailedinsets, banners, nooks, swivels, tailed swivels, taggedswivels, swivel shifts, pumps, tailed pumps, near bats,bat.
Masao Ishikawa Leaf poset and hook length property
![Page 46: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/46.jpg)
. . . . . .
.. Properties of d-complete posets
.Fact..
......
If P is a connected d-complete poset, then
(a) P has a unique maximal element.
(b) P is ranked, i.e., there exists a rank function r : P → Nsuch that r(x) = r(y) + 1 if x covers y.
.Fact..
......
(a) Any connected d-complete poset is uniquelydecomposed into a slant sum of one-element posets andslant-irreducible d-complete posets.
(b) Slant-irreducible d-complete posets are classified into 15families : shapes, shifted shapes, birds, insets, tailedinsets, banners, nooks, swivels, tailed swivels, taggedswivels, swivel shifts, pumps, tailed pumps, near bats,bat.
Masao Ishikawa Leaf poset and hook length property
![Page 47: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/47.jpg)
. . . . . .
.. Irreducible d-complete poset
.Definition (Filter)..
......
Let S be a subset of a poset P. If S satisfies the condition
x ∈ S and y ≥ x ⇒ y ∈ S
then S is said to be a filter.
.Irreducible d-complete posets..
......
...1 Proctor defined the notion of irreducible d-completeposets and classified them into 15 families.
...2 A filter of a d-complete poset is a d-complete poset .
...3 1) Shapes, 2) Shifted shapes, 3) Birds, 4) Insets, 5) Tailedinsets, 6) Banners, 7) Nooks, 8) Swivels, 9) Tailed swivels,10) Tagged swivels, 11) Swivel shifteds, 12) Pumps, 13)Tailed pumps, 14) Near bats, 15) Bat
Masao Ishikawa Leaf poset and hook length property
![Page 48: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/48.jpg)
. . . . . .
.. Irreducible d-complete poset
.Definition (Filter)..
......
Let S be a subset of a poset P. If S satisfies the condition
x ∈ S and y ≥ x ⇒ y ∈ S
then S is said to be a filter.
.Irreducible d-complete posets..
......
...1 Proctor defined the notion of irreducible d-completeposets and classified them into 15 families.
...2 A filter of a d-complete poset is a d-complete poset .
...3 1) Shapes, 2) Shifted shapes, 3) Birds, 4) Insets, 5) Tailedinsets, 6) Banners, 7) Nooks, 8) Swivels, 9) Tailed swivels,10) Tagged swivels, 11) Swivel shifteds, 12) Pumps, 13)Tailed pumps, 14) Near bats, 15) Bat
Masao Ishikawa Leaf poset and hook length property
![Page 49: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/49.jpg)
. . . . . .
.. Irreducible d-complete poset
.Definition (Filter)..
......
Let S be a subset of a poset P. If S satisfies the condition
x ∈ S and y ≥ x ⇒ y ∈ S
then S is said to be a filter.
.Irreducible d-complete posets..
......
...1 Proctor defined the notion of irreducible d-completeposets and classified them into 15 families.
...2 A filter of a d-complete poset is a d-complete poset .
...3 1) Shapes, 2) Shifted shapes, 3) Birds, 4) Insets, 5) Tailedinsets, 6) Banners, 7) Nooks, 8) Swivels, 9) Tailed swivels,10) Tagged swivels, 11) Swivel shifteds, 12) Pumps, 13)Tailed pumps, 14) Near bats, 15) Bat
Masao Ishikawa Leaf poset and hook length property
![Page 50: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/50.jpg)
. . . . . .
.. Irreducible d-complete poset
.Definition (Filter)..
......
Let S be a subset of a poset P. If S satisfies the condition
x ∈ S and y ≥ x ⇒ y ∈ S
then S is said to be a filter.
.Irreducible d-complete posets..
......
...1 Proctor defined the notion of irreducible d-completeposets and classified them into 15 families.
...2 A filter of a d-complete poset is a d-complete poset .
...3 1) Shapes, 2) Shifted shapes, 3) Birds, 4) Insets, 5) Tailedinsets, 6) Banners, 7) Nooks, 8) Swivels, 9) Tailed swivels,10) Tagged swivels, 11) Swivel shifteds, 12) Pumps, 13)Tailed pumps, 14) Near bats, 15) Bat
Masao Ishikawa Leaf poset and hook length property
![Page 51: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/51.jpg)
. . . . . .
.. Irreducible d-complete poset
.Definition (Filter)..
......
Let S be a subset of a poset P. If S satisfies the condition
x ∈ S and y ≥ x ⇒ y ∈ S
then S is said to be a filter.
.Irreducible d-complete posets..
......
...1 Proctor defined the notion of irreducible d-completeposets and classified them into 15 families.
...2 A filter of a d-complete poset is a d-complete poset .
...3 1) Shapes, 2) Shifted shapes, 3) Birds, 4) Insets, 5) Tailedinsets, 6) Banners, 7) Nooks, 8) Swivels, 9) Tailed swivels,10) Tagged swivels, 11) Swivel shifteds, 12) Pumps, 13)Tailed pumps, 14) Near bats, 15) Bat
Masao Ishikawa Leaf poset and hook length property
![Page 52: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/52.jpg)
. . . . . .
.. Shapes
.Definition (Shapes)..
......
1) Shapes
Masao Ishikawa Leaf poset and hook length property
![Page 53: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/53.jpg)
. . . . . .
.. Shifted shapes
.Definition (Shifted shapes)..
......
2) Shifted shapes
Masao Ishikawa Leaf poset and hook length property
![Page 54: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/54.jpg)
. . . . . .
.. Birds
.Definition (Birds)..
......
3) Birds
Masao Ishikawa Leaf poset and hook length property
![Page 55: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/55.jpg)
. . . . . .
.. Insets
.Definition (Insets)..
......
4) Insets
Masao Ishikawa Leaf poset and hook length property
![Page 56: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/56.jpg)
. . . . . .
.. Tailed insets
.Definition (Tailed insets)..
......
5) Tailed insets
Masao Ishikawa Leaf poset and hook length property
![Page 57: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/57.jpg)
. . . . . .
.. Banners
.Definition (Banners)..
......
6) Banners
Masao Ishikawa Leaf poset and hook length property
![Page 58: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/58.jpg)
. . . . . .
.. Nooks
.Definition (Nooks)..
......
7) Nooks
Masao Ishikawa Leaf poset and hook length property
![Page 59: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/59.jpg)
. . . . . .
.. Swivels
.Definition (Swivels)..
......
8) Swivels
Masao Ishikawa Leaf poset and hook length property
![Page 60: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/60.jpg)
. . . . . .
.. Tailed swivels
.Definition (Tailed swivels)..
......
9) Tailed swivels
Masao Ishikawa Leaf poset and hook length property
![Page 61: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/61.jpg)
. . . . . .
.. Tagged swivels
.Definition (Tagged swivels)..
......
10) Tagged swivels
Masao Ishikawa Leaf poset and hook length property
![Page 62: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/62.jpg)
. . . . . .
.. Swivel shifteds
.Definition (Swivel shifteds)..
......
11) Swivel shifteds
Masao Ishikawa Leaf poset and hook length property
![Page 63: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/63.jpg)
. . . . . .
.. Pumps
.Definition (Pumps)..
......
12) Pumps
Masao Ishikawa Leaf poset and hook length property
![Page 64: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/64.jpg)
. . . . . .
.. Tailed pumps
.Definition (Tailed pumps)..
......
13) Tailed pumps
Masao Ishikawa Leaf poset and hook length property
![Page 65: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/65.jpg)
. . . . . .
.. Near bats
.Definition (Near bats)..
......
14) Near bats
Masao Ishikawa Leaf poset and hook length property
![Page 66: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/66.jpg)
. . . . . .
.. Bat
.Definition (Bat)..
......
15) Bat
Masao Ishikawa Leaf poset and hook length property
![Page 67: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/67.jpg)
. . . . . .
.. Colored hook length property of d-complete posets
.Theorem (Peterson-Proctor)........d-complete poset has the colored hook-length property.
.Remark..
......
Recently, Jan Soo Kim and Meesue Yoo gave a proof of thehook-length property by q-integral.
Masao Ishikawa Leaf poset and hook length property
![Page 68: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/68.jpg)
. . . . . .
.. Colored hook length property of d-complete posets
.Theorem (Peterson-Proctor)........d-complete poset has the colored hook-length property.
.Remark..
......
Recently, Jan Soo Kim and Meesue Yoo gave a proof of thehook-length property by q-integral.
Masao Ishikawa Leaf poset and hook length property
![Page 69: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/69.jpg)
. . . . . .
Leaf Posets
Masao Ishikawa Leaf poset and hook length property
![Page 70: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/70.jpg)
. . . . . .
.. Leaf Posets
.Contents of this section..
......
...1 We define 6 family of posets, which we call the basic leafposets. (It is not possible to define “irreducibility”.)
...2 Leaf poset is defined as joint-sum of the basic leafposets. (“joint-sum” is a more genral notion than theslant-sum.)
...3 Any d-complete poset is a leaf poset.
...4 If two posets has colored hook-length property then theirjoint-sum has colored hook-length property.
...5 The colored hook-length property of the basic leaf posetsreduces to the Schur function identities.
Masao Ishikawa Leaf poset and hook length property
![Page 71: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/71.jpg)
. . . . . .
.. Leaf Posets
.Contents of this section..
......
...1 We define 6 family of posets, which we call the basic leafposets. (It is not possible to define “irreducibility”.)
...2 Leaf poset is defined as joint-sum of the basic leafposets. (“joint-sum” is a more genral notion than theslant-sum.)
...3 Any d-complete poset is a leaf poset.
...4 If two posets has colored hook-length property then theirjoint-sum has colored hook-length property.
...5 The colored hook-length property of the basic leaf posetsreduces to the Schur function identities.
Masao Ishikawa Leaf poset and hook length property
![Page 72: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/72.jpg)
. . . . . .
.. Leaf Posets
.Contents of this section..
......
...1 We define 6 family of posets, which we call the basic leafposets. (It is not possible to define “irreducibility”.)
...2 Leaf poset is defined as joint-sum of the basic leafposets. (“joint-sum” is a more genral notion than theslant-sum.)
...3 Any d-complete poset is a leaf poset.
...4 If two posets has colored hook-length property then theirjoint-sum has colored hook-length property.
...5 The colored hook-length property of the basic leaf posetsreduces to the Schur function identities.
Masao Ishikawa Leaf poset and hook length property
![Page 73: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/73.jpg)
. . . . . .
.. Leaf Posets
.Contents of this section..
......
...1 We define 6 family of posets, which we call the basic leafposets. (It is not possible to define “irreducibility”.)
...2 Leaf poset is defined as joint-sum of the basic leafposets. (“joint-sum” is a more genral notion than theslant-sum.)
...3 Any d-complete poset is a leaf poset.
...4 If two posets has colored hook-length property then theirjoint-sum has colored hook-length property.
...5 The colored hook-length property of the basic leaf posetsreduces to the Schur function identities.
Masao Ishikawa Leaf poset and hook length property
![Page 74: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/74.jpg)
. . . . . .
.. Leaf Posets
.Contents of this section..
......
...1 We define 6 family of posets, which we call the basic leafposets. (It is not possible to define “irreducibility”.)
...2 Leaf poset is defined as joint-sum of the basic leafposets. (“joint-sum” is a more genral notion than theslant-sum.)
...3 Any d-complete poset is a leaf poset.
...4 If two posets has colored hook-length property then theirjoint-sum has colored hook-length property.
...5 The colored hook-length property of the basic leaf posetsreduces to the Schur function identities.
Masao Ishikawa Leaf poset and hook length property
![Page 75: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/75.jpg)
. . . . . .
.. Leaf Posets
.Contents of this section..
......
...1 We define 6 family of posets, which we call the basic leafposets. (It is not possible to define “irreducibility”.)
...2 Leaf poset is defined as joint-sum of the basic leafposets. (“joint-sum” is a more genral notion than theslant-sum.)
...3 Any d-complete poset is a leaf poset.
...4 If two posets has colored hook-length property then theirjoint-sum has colored hook-length property.
...5 The colored hook-length property of the basic leaf posetsreduces to the Schur function identities.
Masao Ishikawa Leaf poset and hook length property
![Page 76: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/76.jpg)
. . . . . .
.. Basic Leaf Posets.Definition..
......
ginkgo(銀杏) bamboo(笹)ivy(蔦)
wisteria(藤)fir(樅)
chrysanthemum(菊)
Masao Ishikawa Leaf poset and hook length property
![Page 77: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/77.jpg)
. . . . . .
.. Basic Leaf Posets.Definition..
......
ginkgo(銀杏)
bamboo(笹)ivy(蔦)
wisteria(藤)fir(樅)
chrysanthemum(菊)
Masao Ishikawa Leaf poset and hook length property
![Page 78: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/78.jpg)
. . . . . .
.. Basic Leaf Posets.Definition..
......
ginkgo(銀杏) bamboo(笹)
ivy(蔦)
wisteria(藤)fir(樅)
chrysanthemum(菊)
Masao Ishikawa Leaf poset and hook length property
![Page 79: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/79.jpg)
. . . . . .
.. Basic Leaf Posets.Definition..
......
ginkgo(銀杏) bamboo(笹)ivy(蔦)
wisteria(藤)fir(樅)
chrysanthemum(菊)
Masao Ishikawa Leaf poset and hook length property
![Page 80: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/80.jpg)
. . . . . .
.. Basic Leaf Posets.Definition..
......
ginkgo(銀杏) bamboo(笹)ivy(蔦)
wisteria(藤)
fir(樅)chrysanthemum(菊)
Masao Ishikawa Leaf poset and hook length property
![Page 81: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/81.jpg)
. . . . . .
.. Basic Leaf Posets.Definition..
......
ginkgo(銀杏) bamboo(笹)ivy(蔦)
wisteria(藤)fir(樅)
chrysanthemum(菊)
Masao Ishikawa Leaf poset and hook length property
![Page 82: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/82.jpg)
. . . . . .
.. Basic Leaf Posets.Definition..
......
ginkgo(銀杏) bamboo(笹)ivy(蔦)
wisteria(藤)fir(樅)
chrysanthemum(菊)
basic leaf posets.Masao Ishikawa Leaf poset and hook length property
![Page 83: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/83.jpg)
. . . . . .
.Definition..
......
(i) m ≥ 2, α = (α1, α2, . . . , αm), β = (β1, β2, . . . , βm): strictpartitions
G(α, β, γ) :=β1 β2 β3 βm
α1
α2
α3
αm
γ
cγ
cγ
cγ
cγ = γ
ginkgo (銀杏)
Masao Ishikawa Leaf poset and hook length property
![Page 84: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/84.jpg)
. . . . . .
.Definition..
......
(ii) m ≥ 2, α = (α1, α2, . . . , αm), β = (β1, β2, . . . , βm−1),γ = (γ1, γ2): strict partition, v = 1, 2
β1 β2 β3 βm−1
α1
α2
α3
α4
αm
β1
cγv
cγv
cγv
γ1 γ2
B(α, β, γ, v) :=
bamboo (笹)
Masao Ishikawa Leaf poset and hook length property
![Page 85: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/85.jpg)
. . . . . .
.Definition..
......
(iii) α = (α1, α2, α3), β = (β1, β2, β3, β4, β5), γ = (γ1, γ2):strict partition for v = 1, 2
α2
α3
α2
β1 α1
γ1
α1γ1
α3
β1 β2 β3 β4 β5
γ2γ2
cγv
cγvI(α, β, γ, v) :=
ivy (蔦)
Masao Ishikawa Leaf poset and hook length property
![Page 86: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/86.jpg)
. . . . . .
.Definition..
......
(iv) m ≥ 2, α = (α1, α2, . . . , αm), β = (β1, β2), γ = (γ1, γ2):strict partition
β1 β2
γ1 γ2
β1 β2
γ1 γ2
g1 g2
α1
α2
α3
α4
α5
αm
γ1
chv
(g1, g2, hv)
:=
(β1, β2, γv) if m: even(γ1, γ2, βv) if m: odd
W(α, β, γ, v) =
wisteria (藤).
Masao Ishikawa Leaf poset and hook length property
![Page 87: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/87.jpg)
. . . . . .
.Definition..
......
(v) m ≥ 3,α = (α1, α2, α3),β = (β1, β2, . . . , βm−1),γ = (γ1, γ2): strict partitions,s, t ≥ 1 (1 ≤ s < t ≤ 3),
v =
s or t if m: even,1 or 2 if m: odd β1 β2 β3 β4 β5 β6 β7 βm−1
γ1 γ2
α1
α2α3γ1
αs
γ1
αs
γ1
g1
γ2
αt
γ2
αt
γ2
g2
β1
chv
(g1 , g2 , hv ) :=
(β1 , β2 , αv ) if m: even(αs , αt , γv ) if m: odd
F(α, β, γ, s, t , v) =
fir (樅).
Masao Ishikawa Leaf poset and hook length property
![Page 88: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/88.jpg)
. . . . . .
.Definition..
......
(vi) α = (α1, α2, α3), β = (β1, β2, β3, β4) and γ = (γ1, γ2):strict partitions, δ ≥ 0 for v = 1, 2, 3, 4
α2
α3
α2
α3
β1 β2 β3
γ1
β1 α1
γ1
γ2α1γ1 γ2
β4
γ2
cβvC(α, β, γ, v) =
chrysanthemum (菊).
Masao Ishikawa Leaf poset and hook length property
![Page 89: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/89.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset.
...1 1) Shapes, 3) Birds ⊆ Ginkgo
...2 2) Shifted shapes, 6) Banners ⊆Wisteria
...3 5) Tailed insets, 4) Insets ⊆ Bamboo
...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivelshifteds ⊆ Fir
...5 8) Swivels ⊆ Ivy
...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 90: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/90.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset.
...1 1) Shapes, 3) Birds ⊆ Ginkgo
...2 2) Shifted shapes, 6) Banners ⊆Wisteria
...3 5) Tailed insets, 4) Insets ⊆ Bamboo
...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivelshifteds ⊆ Fir
...5 8) Swivels ⊆ Ivy
...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 91: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/91.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset....1 1) Shapes, 3) Birds ⊆ Ginkgo
...2 2) Shifted shapes, 6) Banners ⊆Wisteria
...3 5) Tailed insets, 4) Insets ⊆ Bamboo
...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivelshifteds ⊆ Fir
...5 8) Swivels ⊆ Ivy
...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 92: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/92.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset....1 1) Shapes, 3) Birds ⊆ Ginkgo...2 2) Shifted shapes, 6) Banners ⊆Wisteria
...3 5) Tailed insets, 4) Insets ⊆ Bamboo
...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivelshifteds ⊆ Fir
...5 8) Swivels ⊆ Ivy
...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 93: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/93.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset....1 1) Shapes, 3) Birds ⊆ Ginkgo...2 2) Shifted shapes, 6) Banners ⊆Wisteria...3 5) Tailed insets, 4) Insets ⊆ Bamboo
...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivelshifteds ⊆ Fir
...5 8) Swivels ⊆ Ivy
...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 94: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/94.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset....1 1) Shapes, 3) Birds ⊆ Ginkgo...2 2) Shifted shapes, 6) Banners ⊆Wisteria...3 5) Tailed insets, 4) Insets ⊆ Bamboo...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivel
shifteds ⊆ Fir
...5 8) Swivels ⊆ Ivy
...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 95: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/95.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset....1 1) Shapes, 3) Birds ⊆ Ginkgo...2 2) Shifted shapes, 6) Banners ⊆Wisteria...3 5) Tailed insets, 4) Insets ⊆ Bamboo...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivel
shifteds ⊆ Fir...5 8) Swivels ⊆ Ivy
...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 96: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/96.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset....1 1) Shapes, 3) Birds ⊆ Ginkgo...2 2) Shifted shapes, 6) Banners ⊆Wisteria...3 5) Tailed insets, 4) Insets ⊆ Bamboo...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivel
shifteds ⊆ Fir...5 8) Swivels ⊆ Ivy...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆
Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 97: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/97.jpg)
. . . . . .
.. Goal of This Talk
.Property of leaf posets..
......
...1 Any d-complete poset is a leaf poset....1 1) Shapes, 3) Birds ⊆ Ginkgo...2 2) Shifted shapes, 6) Banners ⊆Wisteria...3 5) Tailed insets, 4) Insets ⊆ Bamboo...4 7) Nooks, 9) Tailed swivels, 10) Tagged swivels, 11) Swivel
shifteds ⊆ Fir...5 8) Swivels ⊆ Ivy...6 12) Pumps, 13) Tailed pumps, 14) Near bats, 15) Bat ⊆
Chrysanthemum
.Theorem........A leaf poset has multi-colored hook length property.
Masao Ishikawa Leaf poset and hook length property
![Page 98: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/98.jpg)
. . . . . .
.. Schur Function
.Definition (Schur Function)..
......
If λ = (λ1, . . . , λn) is a partition of length≤ n, then
sλ(x1, . . . , xn) =
∣∣∣∣∣∣∣∣∣∣∣xλ1+n−1
1. . . xλn
1...
. . ....
xλ1+n−1n . . . xλn
n
∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣∣xn−1
1. . . 1
.... . .
...xn−1
n . . . 1
∣∣∣∣∣∣∣∣∣∣.
The Schur functions are the irreducible characters of thepolynomial representations of the General Linear Group.
Masao Ishikawa Leaf poset and hook length property
![Page 99: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/99.jpg)
. . . . . .
.. Symmetric Functions.Theorem (Cauchy’s formula)..
......
If n is a positive integer, then
∑λ
sλ(x1, . . . , xn)sλ(y1, . . . , yn) =n∏
i=1
n∏j=1
11 − xiyj
.
.Proposition..
......
If n is a positive integer, then
n∏j=1
11 − txi
=∑r≥0
hr(x1, . . . , xn)tn,
n∏j=1
(1 + txi) =n∑
r=0
er(x1, . . . , xn)tn
where hr is the complete symmetric function and er is theelementary symmetric function.
Masao Ishikawa Leaf poset and hook length property
![Page 100: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/100.jpg)
. . . . . .
.. Symmetric Functions.Theorem (Cauchy’s formula)..
......
If n is a positive integer, then
∑λ
sλ(x1, . . . , xn)sλ(y1, . . . , yn) =n∏
i=1
n∏j=1
11 − xiyj
.
.Proposition..
......
If n is a positive integer, then
n∏j=1
11 − txi
=∑r≥0
hr(x1, . . . , xn)tn,
n∏j=1
(1 + txi) =n∑
r=0
er(x1, . . . , xn)tn
where hr is the complete symmetric function and er is theelementary symmetric function.
Masao Ishikawa Leaf poset and hook length property
![Page 101: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/101.jpg)
. . . . . .
.. Symmetric Functions
.Theorem (Pieri’s rule)..
......
If n is a positive integer and µ is a partition, then
sµ(x1, . . . , xn)hr(x1, . . . , xn) =∑λ
sλ(x1, . . . , xn),
where the sum runs over all partitions λ such that λ/µ is horizontalr-strip.
.Theorem (Littlewood’s formula)..
......
If n is a positive integer, then∑ν
sν(x1, . . . , xn) =∏
1≤i<j≤n
11 − xixj
where the sum runs over all partitions ν such that ν′ are evenpartitions.
Masao Ishikawa Leaf poset and hook length property
![Page 102: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/102.jpg)
. . . . . .
.. Symmetric Functions
.Theorem (Pieri’s rule)..
......
If n is a positive integer and µ is a partition, then
sµ(x1, . . . , xn)hr(x1, . . . , xn) =∑λ
sλ(x1, . . . , xn),
where the sum runs over all partitions λ such that λ/µ is horizontalr-strip.
.Theorem (Littlewood’s formula)..
......
If n is a positive integer, then∑ν
sν(x1, . . . , xn) =∏
1≤i<j≤n
11 − xixj
where the sum runs over all partitions ν such that ν′ are evenpartitions.
Masao Ishikawa Leaf poset and hook length property
![Page 103: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/103.jpg)
. . . . . .
.. Pre-Leaf Poset
.Definition..
......
If λ is a strict partition with length p = ℓ(λ), let
P(λ) = {(i, j) | 1 ≤ i ≤ p and i ≤ j ≤ i + λi}.
We say x = (i, j) ≥ y = (i′, j′) in P(λ) if i ≤ i′ and j ≤ j′.
.Example P(λ)..
......
If λ = (5, 3, 2) then P(λ) is as follows:
Masao Ishikawa Leaf poset and hook length property
![Page 104: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/104.jpg)
. . . . . .
.. Pre-Leaf Poset
.Definition..
......
If λ is a strict partition with length p = ℓ(λ), let
P(λ) = {(i, j) | 1 ≤ i ≤ p and i ≤ j ≤ i + λi}.
We say x = (i, j) ≥ y = (i′, j′) in P(λ) if i ≤ i′ and j ≤ j′.
.Example P(λ)..
......
If λ = (5, 3, 2) then P(λ) is as follows:
Masao Ishikawa Leaf poset and hook length property
![Page 105: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/105.jpg)
. . . . . .
.. Pre-Leaf Poset
.Definition (Pre-Leaf Poset)..
......
Let λ(k) (k = 1, . . . ,m) be strict partitions with ℓ(λ(k))= p(k), and let
s(k) be positive integers. Let
n = max{s(k) + p(k) − 1|k = 1, . . . ,m},C = {(i, i)|1 ≤ i ≤ n}.
Let P[(λ(k), s(k))1≤k≤m
]denote the set obtained by identifying
(s(k) + i − 1, s(k) + i − 1) in C and (i, i) in P(λ(k)).
.Definition (Order)..
......
We say x = (i, j) ≥ y = (i′, j′) in P[(λ(k), s(k))1≤k≤m
]if x and y are
both in some λ(i) and x ≥ y, or, x ∈ C and y ∈ λ(k) and i = j ≤ i′. Wecall P
[(λ(k), s(k))1≤k≤m
]the pre-leaf poset associated with
(λ(k), s(k))1≤k≤m. We call C the central chain of length n.
Masao Ishikawa Leaf poset and hook length property
![Page 106: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/106.jpg)
. . . . . .
.. Pre-Leaf Poset
.Definition (Pre-Leaf Poset)..
......
Let λ(k) (k = 1, . . . ,m) be strict partitions with ℓ(λ(k))= p(k), and let
s(k) be positive integers. Let
n = max{s(k) + p(k) − 1|k = 1, . . . ,m},C = {(i, i)|1 ≤ i ≤ n}.
Let P[(λ(k), s(k))1≤k≤m
]denote the set obtained by identifying
(s(k) + i − 1, s(k) + i − 1) in C and (i, i) in P(λ(k)).
.Definition (Order)..
......
We say x = (i, j) ≥ y = (i′, j′) in P[(λ(k), s(k))1≤k≤m
]if x and y are
both in some λ(i) and x ≥ y, or, x ∈ C and y ∈ λ(k) and i = j ≤ i′. Wecall P
[(λ(k), s(k))1≤k≤m
]the pre-leaf poset associated with
(λ(k), s(k))1≤k≤m. We call C the central chain of length n.
Masao Ishikawa Leaf poset and hook length property
![Page 107: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/107.jpg)
. . . . . .
.. Example (Pre-Leaf Poset).Example (Pre-Leaf Poset)..
......
If (λ(1), s(1)) = (421, 3), (λ(2), s(2)) = (10, 3),(λ(3), s(3)) = (31, 4), and (λ(4), s(4)) = (2, 5), then we have
Pre-Leaf Poset P[(λ(k), s(k))1≤k≤4
]
λ(1) = 421
λ(2) = 10
λ(3) = 31λ(4) = 2
Masao Ishikawa Leaf poset and hook length property
![Page 108: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/108.jpg)
. . . . . .
.. Notation
.Definition..
......
If λ is a strict partition, then we define the weight wP(λ) of P(λ)by
wP(λ)(i, j) :=
pi if i = j,qj−i if i < j
.
.Examle wP(λ)..
......
If λ = (5, 3, 2) then wP(λ) is as follows:
p1 q1 q2 q3 q4 q5
p2 q1 q2 q3
p3 q1 q2
Masao Ishikawa Leaf poset and hook length property
![Page 109: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/109.jpg)
. . . . . .
.. Notation
.Definition..
......
If λ is a strict partition, then we define the weight wP(λ) of P(λ)by
wP(λ)(i, j) :=
pi if i = j,qj−i if i < j
.
.Examle wP(λ)..
......
If λ = (5, 3, 2) then wP(λ) is as follows:
p1 q1 q2 q3 q4 q5
p2 q1 q2 q3
p3 q1 q2
Masao Ishikawa Leaf poset and hook length property
![Page 110: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/110.jpg)
. . . . . .
.. Notation.Definition..
......
If q = (. . . , q−1, q0, q1, q2 . . . ) be variables, then we use thenotation:
q[k ,l] =l∏
i=k
qi = qk · · · ql ,
(q)n =n∏
k=1
1 − k∏i=1
qi
= (1 − q1)(1 − q1q2) · · · (1 − q1 · · · qk ),
⟨q⟩n =n∏
k=1
1 − n∏i=k
qi
= (1 − qn)(1 − qn−1qn) · · · (1 − q1 · · · qk ).
Especially we write q[k ] for q[1,k ].
Masao Ishikawa Leaf poset and hook length property
![Page 111: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/111.jpg)
. . . . . .
.. Generating Function
.Definition..
......
Let P be a poset. If w is a weight of P and σ ∈ A (P), we write
wσ =∏x∈P
w(x)σ(x), F(P; w) =∑
σ∈A (P)
wσ.
.Theorem..
......
Let λ = (λ1, . . . , λm) be a strict partition, and x1, . . . , xm ∈ Z beintegers such that 0 ≤ x1 ≤ x2 ≤ · · · ≤ xm. Then we have
∑φ∈A (P(λ))
σ(i,i)=xi (1≤i≤m)
wσP(λ)
=
∏mi=1
pxi
i
∏1≤i<j≤m(1 − q[λj+1,λi])∏m
i=1⟨q⟩λi
× s(xm ,xm−1,...,x1)(q[λ1], . . . , q[λm]).
Masao Ishikawa Leaf poset and hook length property
![Page 112: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/112.jpg)
. . . . . .
.. Generating Function
.Definition..
......
Let P be a poset. If w is a weight of P and σ ∈ A (P), we write
wσ =∏x∈P
w(x)σ(x), F(P; w) =∑
σ∈A (P)
wσ.
.Theorem..
......
Let λ = (λ1, . . . , λm) be a strict partition, and x1, . . . , xm ∈ Z beintegers such that 0 ≤ x1 ≤ x2 ≤ · · · ≤ xm. Then we have
∑φ∈A (P(λ))
σ(i,i)=xi (1≤i≤m)
wσP(λ)
=
∏mi=1
pxi
i
∏1≤i<j≤m(1 − q[λj+1,λi])∏m
i=1⟨q⟩λi
× s(xm ,xm−1,...,x1)(q[λ1], . . . , q[λm]).
Masao Ishikawa Leaf poset and hook length property
![Page 113: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/113.jpg)
. . . . . .
.. Weight of Pre-Leaf Poset
.Definition (Weight)..
......
Let λ(k) be strict partitions with ℓ(λ(k))= p(k), and let s(k) be
positive integers for k = 1, . . . ,m. LetP = P
[(λ(k), s(k))1≤k≤m
]be the pre-leaf poset associated with
(λ(k), s(k))1≤k≤m, and let q(k) = (q(k)i
)1≤i≤λ1 be variables
associated with each diagonal of λ(k), and p = (pi)1≤i≤n bevariables associated with the central chain C . We write
w[(q(k))1≤k≤m, p
]for this weight.
Masao Ishikawa Leaf poset and hook length property
![Page 114: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/114.jpg)
. . . . . .
.. Weight of Pre-Leaf Poset.Example (Weight of Pre-Leaf Poset)..
......
If (λ(1), s(1)) = (421, 3), (λ(2), s(2)) = (10, 3), (λ(3), s(3)) = (31, 4),and (λ(4), s(4)) = (2, 5), then we have
Pre-Leaf Poset P[(λ(k), s(k))1≤k≤4
]
λ(1) = 421
λ(2) = 10
λ(3) = 31λ(4) = 2
p1 p2 p3 q(1)1
q(1)2
q(1)3
q(1)4
q(2)1
p4 q(1)1
q(1)2
q(3)1
p5 q(1)1
q(3)2
q(3)1
q(4)1
q(3)3
q(4)2
Masao Ishikawa Leaf poset and hook length property
![Page 115: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/115.jpg)
. . . . . .
.. Generating Function
.Theorem..
......
Let P = P[(λ(k), s(k))1≤k≤m
]be the pre-leaf poset associated with
(λ(k), s(k))1≤k≤m, and let q(k) = (q(k)i
)1≤i≤λ1 be variables associatedwith each diagonal of λ, and p = (pi)1≤i≤n be variables associatedwith the central chain C .
∑σ∈A (P)
wσP(λ)
=
∏mk=1
∏1≤i<j≤p(k)(1 − q
[λ(k)j
+1,λ(k)i
])
∏mk=1
∏p(k)
i=1⟨q⟩λ(k)i
×∑
λ=(λ1,...,λn)
n∏i=1
pλn+1−i
i
m∏k=1
sλ[n+2−sk−p(k),n+1−sk ](q(k)
[λ(k)1
], . . . , q(k)
[λ(k)
p(k)]).
where λ[i, j] stands for (λi , . . . , λj).
Masao Ishikawa Leaf poset and hook length property
![Page 116: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/116.jpg)
. . . . . .
Schur Function Identities
Masao Ishikawa Leaf poset and hook length property
![Page 117: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/117.jpg)
. . . . . .
.Lemma..
......
[ginkgo] ∑λ=(λ1,λ2,...,λm)∈P
wλm sλ(x1, . . . , xm)sλ(y1, . . . , ym)
=1 −∏m
i=1xiyi
(1 − w∏m
i=1xiyi)
∏mi,j=1
(1 − xiyj).
Masao Ishikawa Leaf poset and hook length property
![Page 118: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/118.jpg)
. . . . . .
.Lemma..
......
[ginkgo] ∑λ=(λ1,λ2,...,λm)∈P
wλm sλ(x1, . . . , xm)sλ(y1, . . . , ym)
=1 −∏m
i=1xiyi
(1 − w∏m
i=1xiyi)
∏mi,j=1
(1 − xiyj).
[bamboo]∑λ∈P
wλm s(λ1,...,λm−1)(x1, . . . , xm−1)s(λm−1,λm)(1, z2)sλ(y1, . . . , ym)
=
∏m−1i=1
(1 − z2xi∏m−1
k=1xk∏m
k=1yk )
(1 − wz2∏m−1
k=1xk∏m
k=1yk )∏m−1
i=1
∏mj=1
(1 − xiyj)
× 1∏mi=1
(1 − y−1i
z2∏m−1
k=1xk∏m
k=1yk ).
Masao Ishikawa Leaf poset and hook length property
![Page 119: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/119.jpg)
. . . . . .
.Lemma..
......
[ivy] ∑λ=(λ1,λ2,...,λ6)∈P
wλ6s(λ1,λ2,λ3)(x1, x2, x3)s(λ3,λ4)(1, z2)s(λ4,λ5,λ6)(x1, x2, x3)×s(λ1,...,λ5)(y1, . . . , y5)s(λ5,λ6)(1, z2)
=1
(1 − wz22
∏3k=1
x2k
∏5k=1
yk )∏3
i=1
∏5j=1
(1 − xiyj)
×∏5
i=1(1 − yiz2
2
∏3k=1
x2k
∏5k=1
yk )∏3i=1
(1 − x−1i
z22
∏3k=1
x2k
∏5k=1
yk )
× 1∏1≤i<j≤5(1 − y−1
iy−1
jz2∏3
k=1xk∏5
k=1yk ).
Masao Ishikawa Leaf poset and hook length property
![Page 120: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/120.jpg)
. . . . . .
.Lemma..
......
[wisteria]
∑λ=(λ1 ,λ2 ,...,λ2m)∈P
wλ2m sλ(y1 , . . . , y2m)m∏
i=1
s(λ2i−1 ,λ2i )(x1 , x2)
m−1∏i=1
s(λ2i ,λ2i+1)(1, z2)
=(1 − zm−1
2
∏2k=1
xmk
∏2mk=1
yk )(1 − zm2
∏2k=1
xmk
∏2mk=1
yk )
(1 − wzm−12
∏2k=1
xmk
∏2mk=1
yk )∏2
i=1
∏2mj=1
(1 − xi yj)∏
1≤i<j≤2m(1 − yi yj z2∏2
k=1xk ).
∑λ=(λ1 ,λ2 ,...,λ2m+1)∈P
wλ2m+1 sλ(y1 , . . . , y2m+1)m∏
i=1
s(λ2i−1 ,λ2i )(x1 , x2)
m∏i=1
s(λ2i ,λ2i+1)(1, z2)
=
∏2i=1
(1 − xi zm2
∏2k=1
xmk
∏2m+1k=1
yk )
(1 − wzm2
∏2k=1
xmk
∏2m+1k=1
yk )∏2
i=1
∏2m+1j=1
(1 − xi yj)∏
1≤i<j≤2m+1(1 − yi yj z2∏2
k=1xk ).
Masao Ishikawa Leaf poset and hook length property
![Page 121: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/121.jpg)
. . . . . .
.Lemma..
......
[fir]
∑λ=(λ1 ,λ2 ,...,λ2m)∈P
wλ2m s(λ1 ,...,λ2m−1)(y1 , . . . , y2m−1)s(λ2m−2 ,λ2m−1 ,λ2m)(z1 , z2 , z3)
×∏mi=1
s(λ2i−1 ,λ2i )(x1 , x2)
∏m−2i=1
s(λ2i ,λ2i+1)(1, z2)
=1
(1 − wzm−12
z3∏2
k=1xm
k
∏2m−1k=1
yk )∏2
i=1
∏2m−1j=1
(1 − xi yj)∏
1≤i<j≤2m−1(1 − yi yj z2∏2
k=1xk )
×
∏2m−1i=1
(1 − yi zm−12
z3∏2
k=1xm
k
∏2m−1k=1
yk )∏2i=1
(1 − xi zm−12
z3∏2
k=1xm−1
k
∏2m−1k=1
yk )∏2m−1
i=1(1 − y−1
izm−2
2z3∏2
k=1xm−1
k
∏2m−1k=1
yk ).
∑λ=(λ1 ,λ2 ,...,λ2m+1)∈P
wλ2m+1 s(λ1 ,...,λ2m)(y1 , . . . , y2m)s(λ2m−1 ,λ2m ,λ2m+1)(x1 , x2 , x3)
×∏mi=1
s(λ2i ,λ2i+1)(1, z2)
∏m−1i=1
s(λ2i−1 ,λ2i )(x1 , x2)
=1
(1 − wx3zm2
∏2k=1
xmk
∏2mk=1
yk )∏2
i=1
∏2mj=1
(1 − xi yj)∏
1≤i<j≤2m(1 − yi yj z2∏2
k=1xk )
×
∏2mi=1
(1 − x3yi zm2
∏2k=1
xmk
∏2mk=1
yk )∏2i=1
(1 − x3xi zm2
∏2k=1
xm−1k
∏2mk=1
yk )∏2m
i=1(1 − x3y−1
izm−1
2
∏2k=1
xm−1k
∏2mk=1
yk ).
Masao Ishikawa Leaf poset and hook length property
![Page 122: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/122.jpg)
. . . . . .
.Lemma..
......
[chrysanthemum]
∑λ=(λ1,...,λ6)∈P
wλ6s(λ1,λ2)(x1, x2)s(λ2,...,λ5)(1, z2, z3, z4)s(λ5,λ6)(x1, x2)×s(λ1,λ2,λ3)(y1, y2, y3)s(λ3,λ4)(x1, x2)s(λ4,λ5,λ6)(y1, y2, y3)
=
(1 −∏2k=1
x3k
∏3k=1
y2k
∏4k=2
zk )∏4
j=2(1 − zj
∏2k=1
x3k
∏3k=1
y2k
∏4k=2
zk )
(1 − w∏2
k=1x3
k
∏3k=1
y2k
∏4k=2
zk )∏2
i=1
∏3j=1
(1 − xi yj)∏3
i=1(1 − yi
∏2k=1
x2k
∏3k=1
yk∏4
k=2zk )
× 1∏4j=2
∏2i=1
(1 − xi z−1j
∏2k=1
xk∏3
k=1yk∏4
k=2zk )∏4
j=2
∏3i=1
(1 − y−1i
zj∏2
k=1xk∏3
k=1yk ).
Masao Ishikawa Leaf poset and hook length property
![Page 123: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/123.jpg)
. . . . . .
A Proof ofthe Schur Function Identities
Masao Ishikawa Leaf poset and hook length property
![Page 124: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/124.jpg)
. . . . . .
.. Schur Function Indentity
.Lemma..
......
If m is a nonnegative integer, then∑λ=(λ1,...,λ2m+1)
sλ(y1, . . . , y2m+1)s(λ2m+1)(x1, x2)
×m∏
i=1
s(λ2i−1,λ2i)(x1, x2)m∏
i=1
s(λ2i ,λ2i+1)(1, z2)
=1∏2
i=1
∏2m+1j=1
(1 − xiyj)∏
1≤i<j≤2m+1
(1 − yiyjz2
∏2k=1
xk
)
Masao Ishikawa Leaf poset and hook length property
![Page 125: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/125.jpg)
. . . . . .
.. Proof
By the Littlewood formula, we have∏1≤i<j≤2m+1
11 − tyiyj
=∑ν
t |ν|/2sν(y),
where the sum rons over all ν with ν′ even. Hence we can writeν = (ν1, ν1, ν2, ν2, . . . , νm, νm), where
ν1 ≥ ν2 ≥ · · · ≥ νm ≥ 0.
By the Pieri rule, we obtain
1∏2m+1j=1
(1 − x1yj)· R1 =
∑µ,ν
sµ(y)x∑m
k=1(µk−νk )+µm+1
1
m∏k=1
(x1x2)νk
m∏k=1
zνk2,
where the sum on the right-hand side µ runs over all partitions suchthat µ = (µ1, ν1, µ2, ν2, . . . , µm, νm, µm+1) with
µ1 ≥ ν1 ≥ µ2 ≥ ν2 ≥ · · · ≥ µm ≥ νm ≥ 0.
Masao Ishikawa Leaf poset and hook length property
![Page 126: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/126.jpg)
. . . . . .
.. Proof
Here we write
|µ| − |ν| =m∑
k=1
(µk − νk ) + µm+1 = µ1 − ν1 + · · ·+ µm − νm + µm+1
in short. We use the Pieri rule again and obtain
R =1∏2
i=1
∏2m+1j=1
(1 − xiyj)· R1 =
∑λ,µ,ν
sλ(y)x|µ|−|ν|1
x |λ|−|µ|2
m∏k=1
(x1x2)νk
m∏k=1
zνk2,
where λ in the sum in the right-hand side is of the formλ = (λ1, λ2, . . . , λ2m, λ2m+1) with
λ1 ≥ µ1 ≥ λ2 ≥ ν1 ≥ · · · ≥ λ2m−1 ≥ µm ≥ λ2m ≥ νm ≥ λ2m+1 ≥ µm+1 ≥ 0.
Here we write
|λ| − |µ| =m+1∑k=1
(λ2k−1 − µk ) +m∑
k=1
(λ2k − νk ).
Masao Ishikawa Leaf poset and hook length property
![Page 127: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/127.jpg)
. . . . . .
.. Proof
Note that∑µk
λ2k−1≥µk ≥λ2k
xµk−νk1
xλ2k−1−µk+λ2k−νk2
(x1x2)νk = s(λ2k−1,λ2k )(x1, x2)
holds for k = 1, 2, . . . ,m. Similarly,∑µk
λ2m+1≥µm+1≥0
xµm+1
1xλ2m+1−µm+1
2= s(λ2m+1)(x1, x2)
holds. Meanwhile, it is also easy to see that∑νk
λ2k ≥νk ≥λ2k+1
zνk2
= s(λ2k ,λ2k+1)(1, z2)
holds for k = 1, 2, . . . ,m. From these identities we coclude thar
RHS =∑λ
sλ(y)m∏
k=1
s(λ2k−1,λ2k )(x1, x2)m∏
k=1
s(λ2k ,λ2k+1)(1, z2)
Masao Ishikawa Leaf poset and hook length property
![Page 128: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/128.jpg)
. . . . . .
.. Wisteria Identity
.Theorem..
......
If m is nonnegative integer, then we have
∑λ=(λ1,λ2,...,λ2m)
wλ2m sλ(y1, . . . , y2m)m∏
i=1
s(λ2i−1,λ2i)(x1, x2)m−1∏i=1
s(λ2i ,λ2i+1)(1, z2)
=
(1 − zm−1
2
∏2k=1
xmk
∏2mk=1
yk
)(1 − wzm−1
2
∏2k=1
xmk
∏2mk=1
yk
)×
(1 − zm
2
∏2k=1
xmk
∏2mk=1
yk
)∏2
i=1
∏2mj=1
(1 − xiyj)∏
1≤i<j≤2m
(1 − yiyjz2
∏2k=1
xk
) .
Masao Ishikawa Leaf poset and hook length property
![Page 129: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/129.jpg)
. . . . . .
.. Proof
First we assume w = 0. If we put x = (x1, x2), y = (y1, . . . , y2m),z = (1, z2), X =
∏2k=1
xk , Y =∏2m
k=1yk , then the above identity
reads1(
1 − zm−12
XmY) (
1 − zm2
XmY) ∑ν=(µ1,...,µ2m−1)
sµ(y)s(µ2m−1)(x)
×m−1∏i=1
s(µ2i−1,µ2i)(x)m−1∏i=1
s(µ2i ,µ2i+1)(z)
=1∏2
i=1
∏2mj=1
(1 − xiyj)∏
1≤i<j≤2m (1 − yiyjz2X)
The left-hand side of this identity equals
L =1
1 − zm2
XmY
∑t≥0
∑µ
sµ+t2m(y) s(µ2m−1+t ,t)(x)
×m−1∏i=1
s(µ2i−1+t ,µ2i+t)(x)m−1∏i=1
s(µ2i+t ,µ2i+1+t)(z)
=∑u≥0
∑t≥0
∑µ
zu2
sµ+(t+u)2m(y) s(µ2m−1+t+u,t+u)(x)
×m−1∏i=1
s(µ2i−1+t+u,µ2i+t+u)(x)m−1∏i=1
s(µ2i+t+u,µ2i+1+t+u)(z)
Masao Ishikawa Leaf poset and hook length property
![Page 130: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/130.jpg)
. . . . . .
.. Proof
L =∑u≥0
∑t≥0
∑µ
zu2
sµ+(t+u)2m(y) s(µ2m−1+t+u,t+u)(x)
×m−1∏i=1
s(µ2i−1+t+u,µ2i+t+u)(x)m−1∏i=1
s(µ2i+t+u,µ2i+1+t+u)(z)
If we set λi = µi + t + u (i = 1, . . . , 2m − 1), λ2m = t + u, then weobtain
∑λ2m
u=0zu
2= s(λ2m)(1, z2), which implies
L =∑λ
sλ(y)m∏
i=1
s(λ2i−1,λ2i)(x)m−1∏i=1
s(λ2i ,λ2i+1)(z) · s(λ2m)(z).
This is true if we set y2m+1 = 0 in the identity of the above formula.The general case follows immediately from the w = 0 case. Thiscompete the proof. 2
Masao Ishikawa Leaf poset and hook length property
![Page 131: Leaf poset and multi-colored hook length property](https://reader031.vdocument.in/reader031/viewer/2022012519/6193e1dcceb39e3665644cbf/html5/thumbnails/131.jpg)
. . . . . .
Thank you!
Masao Ishikawa Leaf poset and hook length property