Hong–Zhang's log-concavity conjecture for power coefficients of the divisor-sum series

From papers

Let

f(q)=n=1σ(n)qnnf(q)=\sum_{n=1}^{\infty}\sigma(n)\,\frac{q^n}{n}

and, for mNm\in\mathbb{N}, let bm,nb_{m,n} denote the coefficient of qnq^n in f(q)mf(q)^m, with bm,n=0b_{m,n}=0 otherwise. Hong–Zhang's conjecture. There exists a constant C>1C>1 such that, for all m2m\geq 2 and 1nCm1\leq n\leq C^m,

bm,n2bm,n1bm,n+1.b_{m,n}^2\geq b_{m,n-1}b_{m,n+1}.

This asserts log-concavity in an initial range of the coefficient sequence for every power of the divisor-sum generating series. The conjecture is attributed to Hong and Zhang; the material supplied here gives no resolution, so its status remains open.

Progress summary

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

Sources & referencesView supporting material

Primary source

Bernhard Heim and Markus Neuhauser, “Horizontal and Vertical Log-Concavity”, arXiv:2010.05231 (2021).

Solutions 0

No solutions have been posted yet.