The binomial-factor conjecture for exponent discrepancies

Define numbers ωmn\omega_m^n and ωmn\overline{\omega}_m^n by

d0pdntd=m>0(1tm)ωmn,ωmn=(m+n3n2),\sum_{d\geqslant0}p_d^nt^d=\prod_{m>0}(1-t^m)^{-\omega_m^n},\qquad \overline{\omega}_m^n=\binom{m+n-3}{n-2},

and set εmn=ωmnωmn\varepsilon_m^n=\overline{\omega}_m^n-\omega_m^n.

Exponent-discrepancy factorization conjecture. For every m6m\geqslant6 there exists an irreducible polynomial rm(t)Q[t]r_m(t)\in\mathbb{Q}[t] of degree at most m6m-6 such that

εmn=(n4)rm(n)for all n1.\varepsilon_m^n=\binom{n}{4}r_m(n)\qquad\text{for all }n\geqslant1.

In particular, εmn\varepsilon_m^n has degree at most m2m-2. The claim predicts a substantial degree drop for the error between the correct and predicted exponents, and would imply asymptotic agreement of the corresponding exponent sequences. The source reports computational checks for related claims but gives no resolution of this factorization statement.

Sources & referencesView supporting material

Primary source

Michele Graffeo, Sergej Monavari, Riccardo Moschetti and Andrea T. Ricolfi, “Enumeration of partitions via socle reduction”, arXiv:2501.10267 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.