Monomial Immanants of Totally Nonnegative Matrices

A mix of human-written and AI-generated textHuman understanding: some partsmath.CO — Combinatoricsmath.AG — Algebraic Geometrymath.RT — Representation Theory

Contributed by Qiyue Tang ↗

Version 1 / Nov 10, 2026 / CC BY 4.0

Abstract

We prove that every monomial immanant is nonnegative on the totally nonnegative real matrices, establishing a conjecture of Stembridge. We identify the corresponding normalized symmetric function of annular holonomy with a single cluster theta function.

Provenance statement

GPT-6-Pro was used in one principal research run, with a planned duration of 5.5 hours . GPT-6-Pro was also used for mathematical review, verification assistance, and manuscript editing. An additional independent audit by Rethlas-OSV will be provided in a later revision.

References

  1. M.-W. Cheung, T. Magee, T. Mandel, and G. Muller, Valuative independence and cluster theta reciprocity , preprint (2026), arXiv:2505.09585v2 (https://arxiv.org/abs/2505.09585v2).arXiv
  2. S. Clearman, B. Shelton, and M. Skandera, Path tableaux and combinatorial interpretations of immanants for class functions on SnS_n , Discrete Math. Theor. Comput. Sci. Proc. AO (2011), 233--244; published version (https://combinatorics.cis.strath.ac.uk/fpsac2011/proceedings/dmAO0122.pdf).link
  3. B. Davison and T. Mandel, Strong positivity for quantum theta bases of quantum cluster algebras , Invent. Math. 226 (2021), 725--843; arXiv:1910.12915v3 (https://arxiv.org/abs/1910.12915v3).arXiv
  4. X. Dong, T. Wu, and X. Gao, On the nonnegativity of monomial immanants for hook partitions , preprint (2026), arXiv:2609.36665v1 (https://arxiv.org/abs/2609.36665v1).arXiv
  5. V. V. Fock and A. B. Goncharov, Cluster X\mathcal X-varieties, amalgamation, and Poisson--Lie groups , in Algebraic Geometry and Number Theory , Progr. Math. 253 , Birkhäuser, 2006, 27--68; arXiv:math/0508408v2 (https://arxiv.org/abs/math/0508408v2).arXiv
  6. S. Fomin and A. Zelevinsky, Double Bruhat cells and total positivity , J. Amer. Math. Soc. 12 (1999), 335--380; arXiv:math/9802056 (https://arxiv.org/abs/math/9802056).arXiv
  7. S. Fomin and A. Zelevinsky, Total positivity: tests and parametrizations , Math. Intelligencer 22 (2000), no. 1, 23--33; arXiv:math/9912128 (https://arxiv.org/abs/math/9912128).arXiv
  8. A. Goncharov and L. Shen, Donaldson--Thomas transformations of moduli spaces of GG-local systems , Adv. Math. 327 (2018), 225--348; arXiv:1602.06479v2 (https://arxiv.org/abs/1602.06479v2).arXiv
  9. A. Goncharov and L. Shen, Quantum geometry of moduli spaces of local systems and representation theory , arXiv:1904.10491v4 (https://arxiv.org/abs/1904.10491v4) (2024).arXiv
  10. I. P. Goulden and D. M. Jackson, Immanants of combinatorial matrices , J. Algebra 148 (1992), no. 2, 305--324, doi:10.1016/0021-8693(92)90196-S (https://doi.org/10.1016/0021-8693(92)90196-S).DOI
Show all 21 referencesShow fewer references
  1. C. Greene, Proof of a conjecture on immanants of the Jacobi--Trudi matrix , Linear Algebra Appl. 171 (1992), 65--79, doi:10.1016/0024-3795(92)90250-E (https://doi.org/10.1016/0024-3795(92)90250-E).DOI
  2. M. Gross, P. Hacking, S. Keel, and M. Kontsevich, Canonical bases for cluster algebras , J. Amer. Math. Soc. 31 (2018), 497--608; arXiv:1411.1394v2 (https://arxiv.org/abs/1411.1394v2).arXiv
  3. M. Haiman, Hecke algebra characters and immanant conjectures , J. Amer. Math. Soc. 6 (1993), no. 3, 569--595; author's version (https://math.berkeley.edu/~mhaiman/ftp/heckeimm/jams1.pdf).link
  4. K. McNulty, Hook monomial immanants are Kazhdan--Lusztig positive , preprint (2026), arXiv:2610.39021v2 (https://arxiv.org/abs/2610.39021v2).arXiv
  5. K. McNulty, Haiman's conjecture for n≤10n\leq10: Kazhdan--Lusztig positivity of monomial immanants , preprint (2026), arXiv:2610.41555v2 (https://arxiv.org/abs/2610.41555v2).arXiv
  6. OpenAI, Elementary positivity of chromatic quasisymmetric functions , manuscript, September 24, 2026 (https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Elementary-Positivity-of-Chromatic-Quasisymmetric-Functions-September-24-2026/paper.pdf).link
  7. B. Rhoades and M. Skandera, Kazhdan--Lusztig immanants and products of matrix minors , J. Algebra 304 (2006), no. 2, 793--811, doi:10.1016/j.jalgebra.2005.07.017 (https://doi.org/10.1016/j.jalgebra.2005.07.017).DOI
  8. G. Schrader and A. Shapiro, Continuous tensor categories from quantum groups I: algebraic aspects , preprint (2017), arXiv:1708.08107 (https://arxiv.org/abs/1708.08107).arXiv
  9. L. Shen, Duals of semisimple Poisson--Lie groups and cluster theory of moduli spaces of GG-local systems , Int. Math. Res. Not. IMRN 2022 , no. 18, 14295--14318; arXiv:2003.07901v2 (https://arxiv.org/abs/2003.07901v2).arXiv
  10. J. R. Stembridge, Immanants of totally positive matrices are nonnegative , Bull. London Math. Soc. 23 (1991), no. 5, 422--428, doi:10.1112/blms/23.5.422 (https://doi.org/10.1112/blms/23.5.422).DOI
  11. J. R. Stembridge, Some conjectures for immanants , Canad. J. Math. 44 (1992), no. 5, 1079--1099, doi:10.4153/CJM-1992-066-1 (https://doi.org/10.4153/CJM-1992-066-1).DOI

Version history

  1. v1 · 25 pagesSubmitted by Qiyue TangInitial depositCurrentNov 08, 2026