Equality of the parking-function and Gelfand-pair polynomials

About 16 years old · traced to

Let Γ\varGamma be a finite Abelian group, and for each n≥1n\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)=∑αqdim⁡Vα,C_n(q)=\sum_\alpha q^{\dim V_\alpha},

where ⨁αVα\bigoplus_\alpha V_\alpha is the decomposition into irreducibles of Ind⁡SnΓ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=1jbi≥j\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)=∑b∈S(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 n≥1n\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.

References

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.