Buck et al.'s three-run enumeration conjecture for flattened 2-Stirling permutations

From papers

Let Qn\mathcal{Q}_n denote the set of 22-Stirling permutations of order nn, and let flat3(Qn)\operatorname{flat}_3(\mathcal{Q}_n) denote those with exactly three runs. Then flat3(Qn)|\operatorname{flat}_3(\mathcal{Q}_n)| is given by

flat3(Qn)=2i=1n1(n1i)(j=2n1i(n1ij))+i=2n1(n1i)(j=2n1i(n1ij))+i=3n1(2i12)(n1i).\begin{aligned} |\operatorname{flat}_3(\mathcal{Q}_n)|={}&2\sum_{i=1}^{n-1}\binom{n-1}{i}\left(\sum_{j=2}^{n-1-i}\binom{n-1-i}{j}\right)\\ &+\sum_{i=2}^{n-1}\binom{n-1}{i}\left(\sum_{j=2}^{n-1-i}\binom{n-1-i}{j}\right)+\sum_{i=3}^{n-1}(2^{i-1}-2)\binom{n-1}{i}. \end{aligned}

Buck et al.'s three-run enumeration conjecture. The number of flattened 22-Stirling permutations of order nn with exactly three runs equals the displayed sum.

The formula was conjectured in the cited work and is presented here as a conjecture; the source gives no further resolution status.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Umesh Shankar, “Enumeration of flattened k-Stirling permutations with respect to descents”, arXiv:2307.07730 (2023).

Solutions 0

No solutions have been posted yet.