Stembridge's monomial immanant nonnegativity conjecture

About 1 year old · traced to

Let AA) be a totally nonnegative n×nn\times n matrix, meaning that all its minors are nonnegative, and let λ⊢n\lambda\vdash n be a partition. For a class function ϕλ\phi^{\lambda} on Sn\mathfrak{S}_n, write Imm⁡ϕλ(A)\operatorname{Imm}_{\phi^{\lambda}}(A) for its immanant; here the image of ϕλ\phi^{\lambda} under the characteristic map is the monomial symmetric function mλm_{\lambda}. Stembridge's conjecture.

Imm⁡ϕλ(A)≥0.\operatorname{Imm}_{\phi^{\lambda}}(A)\geq 0.

This strengthens Schur's and Stembridge's inequalities for immanants and has remained a longstanding open problem in the stated generality.

References

Primary source

Naihuan Jing, Yinlong Liu and Jian Zhang, “Immanant inequalities and weight spaces”, arXiv:2508.20382 (2025).

Additional references

3 papers in this index state this conjecture (2022–2025). The statement above is taken from the most recent of them; the others are arXiv:2506.23082, arXiv:2205.14835.

Source: https://arxiv.org/abs/2508.20382 Stembridge (year not given)

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.