The -Foulkes problem II: Schur positivity with high probability
Version 1 / Nov 02, 2026 / CC BY 4.0
Abstract
Bergeron's -analog of Foulkes' conjecture asserts that is Schur positive for , where is the (modified) Hall--Littlewood polynomial. We view this conjecture probabilistically: on each irreducible representation of , 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 , uniformly in . Consequently, the -Foulkes conjecture holds after deleting a fraction at most 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
Tools used
- OpenAI
- GPT Pro
- Anthropic
- Claude
References
- 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
- Fran ç ois Bergeron. A -analog of F oulkes' conjecture. The Electronic Journal of Combinatorics , 24 0 (1): 0 Paper 1.38, 2017. 10.37236/6004.DOI
- 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
- 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
- Michel Brion. Stable properties of plethysm: on two conjectures of F oulkes. Manuscripta Mathematica , 80: 0 347--371, 1993. 10.1007/BF03026558.DOI
- 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
- 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
- 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
- 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
- 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
- Ian G. Macdonald. Symmetric Functions and Hall Polynomials . Oxford University Press, Oxford, 2nd edition, 1995.
- 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
- 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
- Suvrit Sra. The - F oulkes problem I : A fusion inequality for M acdonald plethysms. Preprint, 2026.
- 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
- v1 · 32 pagesSubmitted by Suvrit SraInitial depositCurrentOct 31, 2026