Stembridge’s monomial-immanant nonnegativity problem

For every integer n≥1n\ge 1, every integer 1≤r≤n1\le r\le n, every real matrix A=(aij)∈Rn×nA=(a_{ij})\in\mathbb{R}^{n\times n} whose minors of orders at most rr are nonnegative, and every partition λ⊢n\lambda\vdash n with ℓ(λ)≤r\ell(\lambda)\le r, is the monomial immanant ϕλ[A]≥0\phi^\lambda[A]\ge 0, where ϕλ\phi^\lambda is the class function dual to the Young permutation character and ϕλ[A]=∑σ∈Snϕλ(σ)∏i=1naiσ(i)\phi^\lambda[A]=\sum_{\sigma\in\mathfrak{S}_n}\phi^\lambda(\sigma)\prod_{i=1}^n a_{i\sigma(i)}?

Equivalent formulations 1Other wordings

Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.

  1. Schur-positivity formulation

    For every skew partition λ/μ\lambda/\mu and every partition ν\nu, is the immanant Imm⁡ϕν(Hλ/μ)\operatorname{Imm}_{\phi^\nu}(H_{\lambda/\mu}) Schur-positive?

    source: Background supplied with the source

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A new paper proves the conjecture for one important family of shapes, but the full problem for arbitrary shapes remains open.

Stembridge’s problem asks whether Imm⁡ϕν(Hλ/μ)\operatorname{Imm}_{\phi^\nu}(H_{\lambda/\mu}) is Schur-positive for every skew partition λ/μ\lambda/\mu and partition ν\nu. The general assertion remains untreated beyond substantial special cases.

Known results

  • Haiman proved Schur-positivity for immanants associated with arbitrary symmetric-group characters.
  • Dong, Wu, and Gao (2023) proved the hook-partition case using nonnegative combinations of Stanley–Stembridge characters.

September 2026 hook-partition result

A September 2026 preprint by Xiangshuai Dong, Tingzeng Wu, and Xing Gao reports nonnegativity for all hook partitions. This confirms progress on the structured hook family, but does not address arbitrary partitions; the reported advance is unverified here.

Current status (as of September 2026): The hook-partition case is claimed in specialist preprints, while arbitrary partitions remain open and no general resolution is recorded.

Sources

Solutions 0

No solutions have been posted yet.