Sign-reversing involution conjecture for plethysm coefficients

About 15 years old · traced to

Let λ\lambda, μ\mu, and ν\nu be partitions, let l=l(ν)l=l(\nu), and set

A={(π,T)∣π∈Sl, T∈SSTab⁡(λ[μ];π∗ν)},A=\{(\pi,T)\mid \pi\in S_l,\ T\in\operatorname{SSTab}(\lambda[\mu];\pi*\nu)\},

where π∗ν=(νπ(i)−πi+i)1≤i≤l\pi*\nu=(\nu_{\pi(i)}-\pi_i+i)_{1\leq i\leq l}. Let SSTab⁡(λ[μ])\operatorname{SSTab}(\lambda[\mu]) denote the relevant set of semistandard tableaux, and let sgn⁡(π)\operatorname{sgn}(\pi) be the sign of π\pi.

Sign-reversing cancellation conjecture. There are a subset S0⊂SSTab⁡(λ[μ])S_0\subset\operatorname{SSTab}(\lambda[\mu]) and a bijective map

ϕ ⁣:A∖A0⟶A∖A0\phi\colon A\setminus A_0\longrightarrow A\setminus A_0

such that, if ϕ(π,T)=(π′,T′)\phi(\pi,T)=(\pi',T'), then sgn⁡(π)=−sgn⁡(π′)\operatorname{sgn}(\pi)=-\operatorname{sgn}(\pi'), where

A0={(π,T)∈A∣T∈S0}.A_0=\{(\pi,T)\in A\mid T\in S_0\}.

Such a sign-reversing pairing would cancel all terms outside A0A_0 in the alternating formula aλ[μ]ν=∑(π,T)∈Asgn⁡(π)a_{\lambda[\mu]}^{\nu}=\sum_{(\pi,T)\in A}\operatorname{sgn}(\pi) and would provide a combinatorial interpretation of the plethysm coefficient. The supplied text presents this as an expected conjecture and gives no evidence of a resolution.

References

Primary source

Kazuto Iijima, “The first term of plethysms”, arXiv:1108.4915 (2011).

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.