Chapoton-type identity for parabolic Tamari lattices

About 8 years old · traced to

Let n>0n>0 and let α=(α1,α2,…,αr)\alpha=(\alpha_1,\alpha_2,\ldots,\alpha_r) be a composition of nn into rr parts. Let Hα(x,y)H_{\alpha}(x,y) be the polynomial defined on order ideals of the relevant partial order on the transpositions of the parabolic quotient, and let Mα(x,y)M_{\alpha}(x,y) be the generating function of the Möbius function of the core label order of the parabolic Tamari lattice Tα\mathcal{T}_{\alpha}. Chapoton-type identity. The following identity holds if and only if α\alpha has at most one part exceeding 11:

Hα(x,y)=(x(y−1)+1)r−1Mα(yy−1,x(y−1)x(y−1)+1).H_{\alpha}(x,y)=\Bigl(x(y-1)+1\Bigr)^{r-1}M_{\alpha}\left(\frac{y}{y-1},\frac{x(y-1)}{x(y-1)+1}\right).

This conjecture generalizes a connection between Möbius-function generating functions and order-ideal polynomials to parabolic quotients of the symmetric group. The paper reports computational evidence for the stated characterization.

References

Primary source

Henri Mühle, “Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric Group”, arXiv:1809.01405 (2021).

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.