Chapoton-type identity for parabolic Tamari lattices

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(y1)+1)r1Mα(yy1,x(y1)x(y1)+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.

Sources & referencesView supporting material

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.