The diagonal-word generating-function corollary for parking functions

For a parking function PFPF, let area(PF)\operatorname{area}(PF), dinv(PF)\operatorname{dinv}(PF), and ides(PF)\operatorname{ides}(PF) be its statistics, let Ac(τ)\mathcal{A}_c(\tau) be the set of parking functions with composition cc and diagonal word τ\tau, and define

Ccτ=PFAc(τ)tarea(PF)qdinv(PF)Qides(PF).\mathcal{C}_c^\tau=\sum_{PF\in\mathcal{A}_c(\tau)}t^{\operatorname{area}(PF)}q^{\operatorname{dinv}(PF)}Q_{\operatorname{ides}(PF)}.

The diagonal-word generating-function conjecture. For ba1b\leq a-1 and every permutation τ\tau, one has

Ca,bτ+Cb+1,a1τ=q(Cb,aτ+Ca1,b+1τ).\mathcal{C}_{a,b}^\tau+\mathcal{C}_{b+1,a-1}^\tau=q\left(\mathcal{C}_{b,a}^\tau+\mathcal{C}_{a-1,b+1}^\tau\right).

This is presented as the generating-function corollary of the stronger bijection conjecture: the factor qq records the increase of dinv\operatorname{dinv}, while preservation of the diagonal word permits the identity for each τ\tau. The source gives no resolution.

Sources & referencesView supporting material

Primary source

Angela Hicks, “A Parking Function Bijection supporting the Haglund-Morse-Zabrocki Conjectures”, arXiv:1210.2705 (2012).

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.