English

Partitions and elementary symmetric polynomials -- an experimental approach

Combinatorics 2024-08-27 v1 Number Theory

Abstract

Given a partition λ\lambda, we write ej(λ)e_j(\lambda) for the jthj^{\textrm{th}} elementary symmetric polynomial eje_j evaluated at the parts of λ\lambda and ejpA(n)e_jp_A(n) for the sum of ej(λ)e_j(\lambda) as λ\lambda ranges over the set of partitions of nn with parts in AA. For ejpA(n)e_jp_A(n), we prove analogs of the classical formula for the partition function, p(n)=1/nk=0n1σ1(nk)p(k)p(n)=1/n \sum_{k=0}^{n-1}\sigma_1(n-k)p(k), where σ1\sigma_1 is the sum of divisors function. We prove several congruences for e2p4(n)e_2p_4(n), the sum of e2e_2 over the set of partitions of nn into four parts. Define the function prej(λ)\textrm{pre}_j(\lambda) to be the multiset of monomials in ej(λ)e_j(\lambda), which is itself a partition. If A\mathcal A is a set of partitions, we define prej(A)\textrm{pre}_j(\mathcal A) to be the set of partitions prej(λ)\textrm{pre}_j(\lambda) as λ\lambda ranges over A\mathcal A. If P(n)\mathcal P(n) is the set of all partitions of nn, we conjecture that the number of odd partitions in pre2(P(n))\textrm{pre}_2(\mathcal P(n)) is at least the number of distinct partitions. We prove some results about pre2(B(n))\textrm{pre}_2(\mathcal B(n)), where B(n)\mathcal B(n) is the set of binary partitions of nn. We conclude with conjectures on the log-concavity of functions related to ejp(n)e_jp(n), the sum of ej(λ)e_j(\lambda) for all λP(n)\lambda\in \mathcal P(n).

Keywords

Cite

@article{arxiv.2408.13346,
  title  = {Partitions and elementary symmetric polynomials -- an experimental approach},
  author = {Cristina Ballantine and George Beck and Mircea Merca},
  journal= {arXiv preprint arXiv:2408.13346},
  year   = {2024}
}

Comments

17 pages

R2 v1 2026-06-28T18:22:35.056Z