Abstract:Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.

Abacus models for parabolic quotients of affine Weyl groups

Modified affine Hecke algebras and quiver Hecke algebras of type A

Cambrian combinatorics on quiver representations (type A)

Parabolic double cosets in Coxeter groups

Affine and cyclotomic webs

Sharpness versus bluntness in affine Weyl groups

Macdonald identities, Weyl-Kac denominator formulas and affine Grassmannians

On $J$-folded alcove paths and combinatorial representations of affine Hecke algebras

Abacus-histories and the combinatorics of creation operators

An Analogue of Ladder Representations for Classical Groups

Affine $\imath$quantum groups and Steinberg varieties of type C

Quotients of buildings by groups acting freely on chambers

0-Hecke Modules, Domino Tableaux, and Type-$B$ Quasisymmetric Functions

Abstract representation theory of Dynkin quivers of type A

Wreath Macdonald polynomials, quiver varieties, and quasimap counts

Deformations of permutation representations of Coxeter groups

Parabolic Tamari Lattices in Linear Type B

Ehrhart polynomials, Hecke series, and affine buildings

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Punctured surfaces, quiver mutations, and quotients of Coxeter groups