Partition-folding bijection conjecture for Macdonald polynomials

Let μ=(μ1,,μk,1m)\mu=(\mu_1,\ldots,\mu_k,1^m) and let ν=(μ1,,μk1,μk+1,1m1)\nu=(\mu_1,\ldots,\mu_{k-1},\mu_k+1,1^{m-1}), where m>0m>0 and μk<μk1\mu_k<\mu_{k-1}. Two permutations are μ\mu-equivalent when they lie in the same generalized dual equivalence class for μ\mu. The inverse descent set is the descent set of the inverse permutation. For a partition μ\mu, let φμ\varphi_\mu be the sequence of bijections taking (1n)(1^n) to μ\mu, and let SS(λ)\mathrm{SS}(\lambda) denote the relevant set of permutations associated with λ\lambda.

Partition-folding bijection conjecture. There exists a bijection φ\varphi on permutations that preserves the inverse descent set such that, if uu and vv are μ\mu-equivalent, then φ(u)\varphi(u) and φ(v)\varphi(v) are ν\nu-equivalent. In particular, for any partition μ\mu,

H~μ(X;q,t)=λ(uSS(λ)qinvμ(φμ(u))tmajμ(φμ(u)))sλ(X),\widetilde{H}_{\mu}(X;q,t)=\sum_{\lambda}\left(\sum_{u\in\mathrm{SS}(\lambda)}q^{\mathrm{inv}_{\mu}(\varphi_{\mu}(u))}t^{\mathrm{maj}_{\mu}(\varphi_{\mu}(u))}\right)s_{\lambda}(X),

where φμ\varphi_\mu is the unique sequence of bijections taking (1n)(1^n) to μ\mu.

The conjecture strengthens the preceding generalized dual equivalence statement by proposing explicit bijections that fold partitions toward more general shapes. The source reports that it had been tested for partitions up to size 1111, but the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Sami Assaf, “Toward the Schur expansion of Macdonald polynomials”, arXiv:1703.07457 (2017).

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.