arXiv++ Combinatorics

Billey, Konvalinka, Petersen, Solfstra, and Tenner recently presented a method for counting parabolic double cosets in Coxeter groups, and used it to compute $p_n$, the number of parabolic double cosets in $S_n$, for $n\leq13$. In this paper, we derive a new formula for $p_n$ and an efficient polynomial time algorithm for evaluating this formula. We use these results to compute $p_n$ for $n\leq5000$ and to prove an asymptotic formula for $p_n$ that was conjectured by Billey et al.

In the early 1970's, Richard Stanley and Kenneth Johnson introduced and laid the groundwork for studying the order polynomial of partially ordered sets (posets). Decades later, Hamaker, Patrias, Pechenik, and Williams introduced the term "doppelgangers": equivalence classes of posets under the equivalence relation given by equality of the order polynomial. We provide necessary and sufficient conditions on doppelgangers through application of both old and novel tools, including new recurrences and the Ur-operation: a new generalized poset operation. In addition, we prove that the doppelgangers of posets P of bounded height $|P|-k$ may be classified up to systems of $k$ diophantine equations in $2^{O(k^2)}$ time, and similarly that the order polynomial of such posets may be computed in $O(|P|)$ time.