OFFSET
1,2
COMMENTS
Let Syl_2(n) denote the Sylow 2-subgroup of the symmetric group S_n. Then a(n) is the number of double cosets Syl_2(n)wSyl_2(n).
FORMULA
Define a symmetric function T_k recursively by T_0 = p_1 (power sum), and T_k is the plethysm h_2[T_{k-1}] for k>0. If n has the binary expansion 2^{a_0} + 2^{a_1} + ..., then set $U_n = T_{a_0}T_{a_1}... Then a_n = <U_n,U_n> (usual scalar product on symmetric functions).
CROSSREFS
KEYWORD
nonn
AUTHOR
Richard Stanley, Feb 21 2023
STATUS
approved