The qq-Foulkes problem II: Schur positivity with high probability

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

Contributed by Suvrit Sra ↗

Version 1 / Nov 02, 2026 / CC BY 4.0

Abstract

Bergeron's qq-analog of Foulkes' conjecture asserts that (Hb[Ha]−Ha[Hb])/(1−q)(H_b[H_a]-H_a[H_b])/(1-q) is Schur positive for a≤ba\le b, where HnH_n is the (modified) Hall--Littlewood polynomial. We view this conjecture probabilistically: on each irreducible representation of SabS_{ab}, the two plethysms induce degree distributions, and positivity means that the first is stochastically smaller than the second. We prove that, for a random (Plancherel) irreducible representation and a degree sampled from its graded multiplicity, the corresponding coefficient is negative with probability at most Cexp⁡(−c(ab)1/3)C\exp(-c(ab)^{1/3}), uniformly in a≤ba\le b. Consequently, the qq-Foulkes conjecture holds after deleting a fraction at most Cexp⁡(−c(ab)1/3)C\exp(-c(ab)^{1/3}) of each of the two graded modules. Additionally, we show that exact conditional means and variances yield complete positivity for explicit width and height families.

Provenance statement

The results in this paper were developed through extensive use of AI assistants in sustained mathematical discussion, including failed attempts, counterexamples, audits, and repairs. AI assistants also helped with exact computations, proof checks, and exposition. The external representation-theoretic results are cited at their points of use. The main text has not yet been vetted line by line by the author.

Tools used

OpenAI
GPT Pro
Anthropic
Claude

References

  1. Ron M. Adin and Yuval Roichman. Descent functions and random Young tableaux. Combinatorics, Probability and Computing , 10: 0 187--201, 2001. URL https://arxiv.org/abs/math/9910165.link
  2. Fran ç ois Bergeron. A qq -analog of F oulkes' conjecture. The Electronic Journal of Combinatorics , 24 0 (1): 0 Paper 1.38, 2017. 10.37236/6004.DOI
  3. Fran ç ois Bergeron, Adriano M. Garsia, Mark Haiman, and Glenn Tesler. Identities and positivity conjectures for some remarkable operators in the theory of symmetric functions. Methods and Applications of Analysis , 6 0 (3): 0 363--420, 1999. 10.4310/MAA.1999.v6.n3.a7.DOI
  4. Sergey G. Bobkov, Arnaud Marsiglietti, and James Melbourne. Concentration functions and entropy bounds for discrete log-concave distributions, 2021. URL https://arxiv.org/abs/2007.11030v2. Version 2.link
  5. Michel Brion. Stable properties of plethysm: on two conjectures of F oulkes. Manuscripta Mathematica , 80: 0 347--371, 1993. 10.1007/BF03026558.DOI
  6. Man-Wai Cheung, Christian Ikenmeyer, and Sevak Mkrtchyan. Symmetrizing tableaux and the 5th case of the F oulkes conjecture. Journal of Symbolic Computation , 80: 0 833--843, 2017. 10.1016/j.jsc.2016.09.002.DOI
  7. Suzie C. Dent and Johannes Siemons. On a conjecture of F oulkes. Journal of Algebra , 226 0 (1): 0 236--249, 2000. 10.1006/jabr.1999.8169.DOI
  8. H. O. Foulkes. Concomitants of the quintic and sextic up to degree four in the coefficients of the ground form. Journal of the London Mathematical Society , s1-25 0 (3): 0 205--209, 1950. 10.1112/jlms/s1-25.3.205.DOI
  9. Mark Haiman. Hilbert schemes, polygraphs and the Macdonald positivity conjecture. Journal of the American Mathematical Society , 14 0 (4): 0 941--1006, 2001. 10.1090/S0894-0347-01-00373-3.DOI
  10. Wassily Hoeffding. Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association , 58 0 (301): 0 13--30, 1963. 10.1080/01621459.1963.10500830.DOI
Show all 15 referencesShow fewer references
  1. Ian G. Macdonald. Symmetric Functions and Hall Polynomials . Oxford University Press, Oxford, 2nd edition, 1995.
  2. Tom McKay. On plethysm conjectures of S tanley and F oulkes. Journal of Algebra , 319 0 (5): 0 2050--2071, 2008. 10.1016/j.jalgebra.2007.12.003.DOI
  3. OpenAI . Foulkes ' conjecture for the sixth symmetric power, 2026. URL https://www.emergentmind.com/openai-math-explorer/papers/373.pdf. OpenAI Math Explorer, manuscript 373, 25 September 2026.link
  4. Suvrit Sra. The qq - F oulkes problem I : A fusion inequality for M acdonald plethysms. Preprint, 2026.
  5. R. M. Thrall. On symmetrized K ronecker powers and the structure of the free L ie ring. American Journal of Mathematics , 64: 0 371--388, 1942. 10.2307/2371691.DOI

Version history

  1. v1Submitted by Suvrit SraInitial depositCurrentOct 31, 2026