Three-run enumeration conjecture for flattened Stirling permutations

From papers

Let Qn\mathcal{Q}_n denote the set of Stirling permutations of order nn, and let flat3(Qn)\operatorname{flat}_3(\mathcal{Q}_n) be the set of those with exactly three runs. Three-run enumeration conjecture. The number of Stirling permutations of order nn with exactly three runs is

flat3(Qn)=2k=1n1(n1k)(j=2n1k(n1kj))+k=2n1(n1k)(j=2n1k(n1kj))+k=3n1(2k12)(n1k).|\operatorname{flat}_3(\mathcal{Q}_n)| = 2\sum\limits_{k = 1}^{n-1} \binom{n-1}{k} \left( \sum\limits_{j = 2}^{n-1 - k} \binom{n-1 -k}{j} \right) + \sum\limits_{k = 2}^{n-1} \binom{n-1}{k} \left( \sum\limits_{j = 2}^{n-1 - k} \binom{n-1 -k}{j} \right) + \sum\limits_{k = 3}^{n-1} (2^{k-1} - 2)\binom{n-1}{k}.

This was computationally verified for 1n121\leq n\leq 12, but a proof is not supplied.

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

Adam Buck, Jennifer Elder, Azia A. Figueroa, Pamela E. Harris, Kimberly Harry and Anthony Simpson, “Flattened Stirling Permutations”, arXiv:2306.13034 (2023).

Solutions 0

No solutions have been posted yet.