- FindStat

Identifier

Mp00148: Finite Cartan types —to root poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
Mp00202: Integer partitions —first row removal⟶ Integer partitions
St000712: Integer partitions ⟶ ℤ

Values

['A',1] => ([],1) => [1] => [] => 1
['A',2] => ([(0,2),(1,2)],3) => [2,1] => [1] => 4
['B',2] => ([(0,3),(1,3),(3,2)],4) => [3,1] => [1] => 4
['G',2] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => [5,1] => [1] => 4
['A',3] => ([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6) => [3,2,1] => [2,1] => 20
['B',3] => ([(0,7),(1,8),(2,7),(2,8),(4,5),(5,3),(6,5),(7,6),(8,4),(8,6)],9) => [5,3,1] => [3,1] => 45
['C',3] => ([(0,7),(1,8),(2,7),(2,8),(4,5),(5,3),(6,5),(7,6),(8,4),(8,6)],9) => [5,3,1] => [3,1] => 45
['A',4] => ([(0,8),(1,7),(2,7),(2,9),(3,8),(3,9),(5,4),(6,4),(7,5),(8,6),(9,5),(9,6)],10) => [4,3,2,1] => [3,2,1] => 64
['B',4] => ([(0,13),(1,12),(2,13),(2,15),(3,12),(3,15),(5,11),(6,7),(7,4),(8,9),(9,10),(10,7),(11,6),(11,10),(12,8),(13,5),(13,14),(14,9),(14,11),(15,8),(15,14)],16) => [7,5,3,1] => [5,3,1] => 360
['C',4] => ([(0,13),(1,12),(2,13),(2,15),(3,12),(3,15),(5,11),(6,7),(7,4),(8,9),(9,10),(10,7),(11,6),(11,10),(12,8),(13,5),(13,14),(14,9),(14,11),(15,8),(15,14)],16) => [7,5,3,1] => [5,3,1] => 360
['D',4] => ([(0,10),(1,9),(2,8),(3,8),(3,9),(3,10),(5,11),(6,11),(7,11),(8,5),(8,6),(9,5),(9,7),(10,6),(10,7),(11,4)],12) => [5,3,3,1] => [3,3,1] => 60
['A',5] => ([(0,11),(1,10),(2,10),(2,13),(3,11),(3,14),(4,13),(4,14),(6,8),(7,9),(8,5),(9,5),(10,6),(11,7),(12,8),(12,9),(13,6),(13,12),(14,7),(14,12)],15) => [5,4,3,2,1] => [4,3,2,1] => 64

search for individual values

searching the database for the individual values of this statistic

/ search for generating function

searching the database for statistics with the same generating function

click to show known generating functions

$F_{1} = q$

$F_{2} = 3\ q^{4}$

$F_{3} = q^{20} + 2\ q^{45}$

Description

The number of semistandard Young tableau of given shape, with entries at most 4.
This is also the dimension of the corresponding irreducible representation of

$GL_4$ .

Map

first row removal

Description

Removes the first entry of an integer partition

Map

to root poset

Description

The root poset of a finite Cartan type.
This is the poset on the set of positive roots of its root system where

$\alpha \prec \beta$ if

$\beta - \alpha$ is a simple root.

Map

Greene-Kleitman invariant

Description

The Greene-Kleitman invariant of a poset.
This is the partition

$(c_1 - c_0, c_2 - c_1, c_3 - c_2, \ldots)$ , where

$c_k$ is the maximum cardinality of a union of

$k$ chains of the poset. Equivalently, this is the conjugate of the partition

$(a_1 - a_0, a_2 - a_1, a_3 - a_2, \ldots)$ , where

$a_k$ is the maximum cardinality of a union of

$k$ antichains of the poset.