Equality of the parking-function and Gelfand-pair polynomials

Let Γ\varGamma be a finite Abelian group, and for each n1n\geq 1 let Γn~\widetilde{\varGamma^{n}} be the quotient of Γn\varGamma^n by its diagonal subgroup. In the cyclic case, define

Cn(q)=αqdimVα,C_n(q)=\sum_\alpha q^{\dim V_\alpha},

where αVα\bigoplus_\alpha V_\alpha is the decomposition into irreducibles of IndSnΓn~Sn(1)\operatorname{Ind}^{\widetilde{\varGamma^{n}} \rtimes S_n}_{S_n}(1). Also, let S(n)S(n) be the set of sequences b=(b1,,bn)Nn\mathbf{b}=(b_1,\dots,b_n)\in\mathbb{N}^n satisfying i=1jbij\sum_{i=1}^j b_i\geq j for j=1,,nj=1,\dots,n and i=1nbi=n\sum_{i=1}^n b_i=n, and define

Sn(q)=bS(n)q(nb1,,bn).S_n(q)=\sum_{\mathbf{b}\in S(n)}q^{\binom{n}{b_1,\ldots,b_n}}.

Equality conjecture. The polynomials Cn(q)C_n(q) and Sn(q)S_n(q) are identical for all n1n\geq 1. This would identify the dimension-generating polynomial arising from the multiplicity-free Gelfand-pair representation with the corresponding polynomial over parking-function sequences. The source gives no resolution or further evidence for this equality, so its status remains open.

Sources & referencesView supporting material

Primary source

Kürşat Aker and Mahir Bilen Can, “From Parking Functions to Gelfand Pairs”, arXiv:1002.1519 (2010).

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.