Joint symmetry conjecture for generalized q,t-Catalan polynomials

For r,sZr,s\in\mathbb{Z} and a,b0a,b\geq 0, define

Cr,s,a,b(q,t)=wDr,sword(NaEb)qarea(w)tarea(swr,s(w)).C_{r,s,a,b}(q,t)=\sum_{w\in\mathcal{D}^{\mathrm{word}}_{r,s}(\mathrm{N}^a\mathrm{E}^b)}q^{\mathsf{area}(w)}t^{\mathsf{area}(\operatorname{sw}_{r,s}^-(w))}.

Joint symmetry conjecture. For all r,sZr,s\in\mathbb{Z} and all a,b0a,b\geq 0,

Cr,s,a,b(q,t)=Cr,s,a,b(t,q).C_{r,s,a,b}(q,t)=C_{r,s,a,b}(t,q).

The conjecture extends the usual joint symmetry of q,t-Catalan-type polynomials to arbitrary integer slopes and rectangular endpoints. The text notes that bijectivity of the relevant sweep map would imply only the weaker specialization at one variable equal to 11; the general relation to nabla-type operators is presented as an open problem.

Sources & referencesView supporting material

Primary source

Drew Armstrong, Nicholas A. Loehr and Gregory S. Warrington, “Sweep maps: A continuous family of sorting algorithms”, arXiv:1406.1196 (2014).

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.