Identifier
Identifier
Values
['A',1] generating graphics... => 1
['A',2] generating graphics... => 2
['B',2] generating graphics... => 2
['G',2] generating graphics... => 2
['A',3] generating graphics... => 6
['B',3] generating graphics... => 8
['C',3] generating graphics... => 8
['A',4] generating graphics... => 22
['B',4] generating graphics... => 46
['C',4] generating graphics... => 46
['D',4] generating graphics... => 30
['F',4] generating graphics... => 94
['A',5] generating graphics... => 101
['B',5] generating graphics... => 340
['C',5] generating graphics... => 340
['D',5] generating graphics... => 212
['A',6] generating graphics... => 573
['B',6] generating graphics... => 3210
['C',6] generating graphics... => 3210
['D',6] generating graphics... => 1924
['E',6] generating graphics... => 3662
['A',7] generating graphics... => 3836
['B',7] generating graphics... => 36336
['C',7] generating graphics... => 36336
['D',7] generating graphics... => 21280
['E',7] generating graphics... => 131046
['A',8] generating graphics... => 29228
['B',8] generating graphics... => 484636
['C',8] generating graphics... => 484636
['D',8] generating graphics... => 277788
['E',8] generating graphics... => 18210722
click to show generating function       
Description
The largest coefficient in the Poincaré polynomial of the Weyl group of given Cartan type.
The Poincaré polynomial of a Weyl group $W$ is
$$ \sum_{w\in W} q^{\ell(w)} = \prod_i [d_i]_q, $$
where $\ell$ denotes the Coxeter length, $d_1,\dots$ are the degrees (or exponents) of $W$ and $[n]_q=1 +\dots+q^{n-1}$ is the $q$-integer.
Thus, this statistic records the frequency of the most common length in the group.
References
[1] Gaichenkov, M. The growth of maximum elements for the reflection group $D_n$ MathOverflow:336756
Code
def statistic(C):
    from sage.combinat.q_analogues import q_int
    return max(prod(q_int(d, q) for d in WeylGroup(C).degrees()).list())

Created
Jul 22, 2019 at 22:51 by Martin Rubey
Updated
Aug 07, 2019 at 11:03 by Martin Rubey