Proves six conjectures on reciprocals of partition subsum polynomials via Lean formalizations while correcting one statement.
Reciprocals of Subsum Polynomials
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We introduce the subsum polynomial of a partition $\lambda=(\lambda_1, \lambda_2, \ldots, \lambda_k)$ defined by $\mathrm{sp}(\lambda, x)=\prod_{i=1}^k(1+x^{\lambda_i})$. We study the sum of reciprocals of $\mathrm{sp}(\lambda, x)$ over all partitions of $n$. We prove arithmetic properties of related polynomials and offer connections to other combinatorial objects.
fields
math.CO 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Reciprocals of Partition Polynomials
Proves six conjectures on reciprocals of partition subsum polynomials via Lean formalizations while correcting one statement.