Archer et al.'s quasi-Stirling descent conjecture

Let M={12,22,,n2}\mathcal{M}=\{1^2,2^2,\ldots,n^2\}, and let QM\overline{\mathcal{Q}}_{\mathcal{M}} denote the set of quasi-Stirling permutations of M\mathcal{M}. For a permutation π=π1π2π2n\pi=\pi_1\pi_2\ldots\pi_{2n}, define

des(π)={iπi>πi+1, 1i2n1}+1.des(\pi)=|\{i\mid \pi_i>\pi_{i+1},\ 1\leq i\leq 2n-1\}|+1.

Archer et al.'s conjecture. The number of πQM\pi\in\overline{\mathcal{Q}}_{\mathcal{M}} with des(π)=ndes(\pi)=n is equal to

(n+1)n1.(n+1)^{n-1}.

This conjecture concerns the descent enumerator of quasi-Stirling permutations on the multiset in which every element occurs twice. It refines the known enumeration QM=n!Cn|\overline{\mathcal{Q}}_{\mathcal{M}}|=n!C_n, where CnC_n is the nnth Catalan number; the supplied text gives no evidence that the descent-count assertion has been resolved.

Sources & referencesView supporting material

Primary source

Sherry H. F. Yan and Xue Zhu, “Quasi-Stirling Polynomials on Multisets”, arXiv:2106.04347 (2021).

Additional references

2 papers in this index state this conjecture (2020–2021). The statement above is taken from the most recent of them; the others are arXiv:2002.00985.

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.