Sign-reversing involution conjecture for plethysm coefficients

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

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

where πν=(νπ(i)πi+i)1il\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 S0SSTab(λ[μ])S_0\subset\operatorname{SSTab}(\lambda[\mu]) and a bijective map

ϕ ⁣:AA0AA0\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)ATS0}.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.

Sources & referencesView supporting material

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.