1: \begin{abstract} 

2: Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and

3: double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in

4: combinatorics and Lie theory, including the geometry and topology of

5: generalized flag varieties and the symmetry groups of regular polytopes.  The

6: set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$,

7: and is well-studied. In this article we look at a less studied object: the set of

8: all double cosets $W_I w W_J$ for $I, J \subseteq S$.

9: %%

10: Double coset are not uniquely presented by triples

11: $(I,w,J)$.  We describe what we call the lex-minimal presentation, and

12: prove that there exists a unique such object for each double coset.

13: Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$.

14: %%%

15: As an example, we present a formula for the number of parabolic double

16: cosets with a fixed minimal element when $W$ is the symmetric group

17: $S_n$ (in this case, parabolic subgroups are also known as Young

18: subgroups).  Our formula is almost always linear time computable in

19: $n$, and we show how it can be generalized to any Coxeter

20: group with little additional work.  We spell out formulas for all finite and

21: affine Weyl groups in the case that $w$ is the identity element.

22: \end{abstract}

23: