Bergeron's Gaussian-polynomial inequality conjecture

Let a,b,c,da,b,c,d be positive integers satisfying

0<ab<cd,ad=bc.0<a\leq b<c\leq d,\qquad ad=bc.

The Gaussian polynomial (nk)q\binom{n}{k}_q is the qq-analogue of the binomial coefficient, and f(q)g(q)f(q)\geq g(q) means that f(q)g(q)f(q)-g(q) has non-negative coefficients. Bergeron's conjecture. The difference

(b+cb)q(a+da)q\binom{b+c}{b}_q-\binom{a+d}{a}_q

is symmetric and coefficientwise non-negative. The source presents this as the Gaussian-polynomial consequence of Vessenes' conjecture; it notes that symmetry is clear, while the non-negativity question was the subject of the paper's special cases and was not resolved in general there.

Sources & referencesView supporting material

Primary source

Tewodros Amdeberhan and David Callan, “Gaussian inequality”, arXiv:2304.03395 (2023).

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.