Berkovich–Uncu's corrected nonnegativity conjecture for GL,2(q)G_{L,2}(q)

For a positive integer LL, let GL,2(q)G_{L,2}(q) be the difference of the generating series for partitions with smallest part 22 and largest-minus-smallest part at most LL, and for partitions with smallest part at least 33 and largest-minus-smallest part at most LL. Write S0S\succeq 0 when every coefficient of the series SS is nonnegative. Berkovich and Uncu's conjecture.

L=3    GL,2(q)+q3+q9+q150;L=3\implies G_{L,2}(q)+q^3+q^9+q^{15}\succeq 0; L=4    GL,2(q)+q3+q90;L=4\implies G_{L,2}(q)+q^3+q^9\succeq 0; L5    GL,2(q)+q30.L\geq 5\implies G_{L,2}(q)+q^3\succeq 0.

The source explicitly says that it proves this conjecture in the paper, so the claim is solved.

Sources & referencesView supporting material

Primary source

Damanvir Singh Binner and Amarpreet Rattan, “On Conjectures Concerning the Smallest Part and Missing Parts of Integer Partitions”, arXiv:2006.15287 (2021).

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.