Burson–Eichhorn copartition-product non-negativity conjectures

Let Ca,b,m(q)\mathcal{C}_{a,b,m}(q) denote the infinite copartition-product generating function of Burson and Eichhorn, and let Ca,b,m;N,M(q)\mathcal{C}_{a,b,m;N,M}(q) denote its finite version. The infinite conjecture asserts that, whenever b∣ab\mid a, every coefficient is non-negative: [qn]Ca,b,m(q)≥0[q^n]\mathcal{C}_{a,b,m}(q)\ge 0 for all n≥0n\ge 0. The finite conjecture asserts that, whenever a+b=ma+b=m and N≤MN\le M, every coefficient is non-negative: [qn]Ca,b,m;N,M(q)≥0[q^n]\mathcal{C}_{a,b,m;N,M}(q)\ge 0 for all n≥0n\ge 0. The supplied sources identify these copartition products and parameter conditions but do not give their explicit product formulas.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

The conjectures remain open, but a September 2026 preprint claims several new parameter cases and a stronger initial positivity range.

The Burson–Eichhorn conjectures assert coefficientwise non-negativity for finite and infinite copartition-product generating functions under specified divisibility and truncation conditions. The infinite conjecture concerns parameters satisfying b∣ab\mid a; the finite conjecture additionally assumes a+b=ma+b=m and N≤MN\leq M.

Known results

  • Burson–Eichhorn et al. (2022) proved the infinite case a=ba=b.
  • The same paper recorded Craig’s earlier special case a=3a=3, b=1b=1, m=4m=4.
  • The finite conjecture was reduced to a recursion and was shown to imply the infinite conjecture, but not proved in general.

September 2026 claimed extensions

Haijun Li’s preprint Further results on non-negativity conjectures for copartition products claims the finite conjecture when a truncation parameter is 11 or residue parameters coincide, the infinite conjecture when a≡b(modm)a\equiv b\pmod m, and uniform non-negativity through degrees below a+2ma+2m. It also claims structural decompositions and eventual quasipolynomial behavior; these advances do not settle either conjecture in full.

Current status (as of September 2026): Several additional cases are claimed, but the finite and infinite conjectures remain open in general and the latest claims are unverified.

Sources

Solutions 0

No solutions have been posted yet.