Identifier
Identifier
Values
['A',1] generating graphics... => 2
['A',2] generating graphics... => 5
['B',2] generating graphics... => 6
['G',2] generating graphics... => 8
['A',3] generating graphics... => 14
['B',3] generating graphics... => 20
['C',3] generating graphics... => 20
['A',4] generating graphics... => 42
['B',4] generating graphics... => 70
['C',4] generating graphics... => 70
['D',4] generating graphics... => 50
['F',4] generating graphics... => 105
['A',5] generating graphics... => 132
['B',5] generating graphics... => 252
['C',5] generating graphics... => 252
['D',5] generating graphics... => 182
['A',6] generating graphics... => 429
['B',6] generating graphics... => 924
['C',6] generating graphics... => 924
['D',6] generating graphics... => 672
['E',6] generating graphics... => 833
['A',7] generating graphics... => 1430
['B',7] generating graphics... => 3432
['C',7] generating graphics... => 3432
['D',7] generating graphics... => 2508
['E',7] generating graphics... => 4160
['A',8] generating graphics... => 4862
['B',8] generating graphics... => 12870
['C',8] generating graphics... => 12870
['D',8] generating graphics... => 9438
['E',8] generating graphics... => 25080
['A',9] generating graphics... => 16796
['B',9] generating graphics... => 48620
['C',9] generating graphics... => 48620
['D',9] generating graphics... => 35750
['A',10] generating graphics... => 58786
['B',10] generating graphics... => 184756
['C',10] generating graphics... => 184756
['D',10] generating graphics... => 136136
click to show generating function       
Description
The Catalan number of an irreducible finite Cartan type.
The Catalan number of an irreducible finite Cartan type is defined as the product
$$ Cat(W) = \prod_{i=1}^n \frac{d_i+h}{d_i}$$
where
*$W$ is the Weyl group of the given Cartan type,
* $n$ is the rank of $W$,
* $d_1 \leq d_2 \leq \ldots \leq d_n$ are the degrees of the fundamental invariants of $W$, and
* $h = d_n$ is the corresponding Coxeter number.
The Catalan number $Cat(W)$ counts various combinatorial objects, among which are
* noncrossing partitions inside $W$,
* antichains in the root poset,
* regions within the fundamental chamber in the Shi arrangement,
* dimensions of several modules in the context of the diagonal coininvariant ring and of rational Cherednik algebras.
For a detailed treatment and further references, see [1].
References
[1] Armstrong, D. Generalized noncrossing partitions and combinatorics of Coxeter groups MathSciNet:2561274 arXiv:math/0611106
[2] wikipedia:Complex reflection group
Code
def statistic(ct):
    return ReflectionGroup(ct).catalan_number()
Created
Jun 23, 2013 at 12:31 by Christian Stump
Updated
Nov 21, 2017 at 09:21 by Christian Stump