Extended Horn cone conjecture for Newell–Littlewood coefficients

Let Parn{\operatorname{Par}}_n be the set of partitions with at most nn parts, and let EH(n){\operatorname{EH}}(n) be the extended Horn cone cut out by the extended Horn inequalities on (ParnQ)3({\operatorname{Par}}_n^{\mathbb Q})^3. Define

EH(n)=EH(n){(λ,μ,ν)(Parn)3:λ+μ+ν is even}.\overline{{\operatorname{EH}}}(n)={\operatorname{EH}}(n)\cap\{(\lambda,\mu,\nu)\in({\operatorname{Par}}_n)^3: |\lambda|+|\mu|+|\nu|\text{ is even}\}.

Extended Horn cone conjecture. If (λ,μ,ν)EH(n)(\lambda,\mu,\nu)\in\overline{{\operatorname{EH}}}(n), then

Nλ,μ,ν>0.N_{\lambda,\mu,\nu}>0.

This conjecture asserts that the extended Horn inequalities, together with the parity condition, characterize positivity of Newell–Littlewood coefficients. The source gives the conjecture in the context of its proof of a theorem referring to the GOY conjecture, but provides no resolution here.

Sources & referencesView supporting material

Primary source

Shiliang Gao, Gidon Orelowitz, Nicolas Ressayre and Alexander yong, “Newell-Littlewood numbers III: eigencones and GIT-semigroups”, arXiv:2107.03152 (2022).

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.