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

About 6 years old · traced to

Let

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

and, for m∈Nm\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 m≥2m\geq 2 and 1≤n≤Cm1\leq n\leq C^m,

bm,n2≥bm,n−1bm,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.

References

Primary source

Bernhard Heim and Markus Neuhauser, “Horizontal and Vertical Log-Concavity”, arXiv:2010.05231 (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.