Higher Order Turán Inequalities for the Partition Function

Abstract

The Turán inequalities and the higher order Turán inequalities arise in the study of Maclaurin coefficients of an entire function in the Laguerre-Pólya class. A real sequence $\{a_n\}$ is said to satisfy the Turán inequalities if for $n\ge 1$, $a_n^2-a_{n-1}{a}_{n+1}\ge 0$. It is said to satisfy the higher order Turán inequalities if for $n\ge 1$, $4(a_n^2-a_{n-1}{a}_{n+1})(a_{n+1}^2-a_n{a}_{n+2})-(a_n{a}_{n+1}-a_{n-1}{a}_{n+2}{)}^2\ge 0$. A sequence satisfying the Turán inequalities is also called log-concave. For the partition function $p(n)$, DeSalvo and Pak showed that for $n>25$, the sequence $\{p(n){\}}_{n>25}$ is log-concave, that is, $p(n{)}^2-p(n-1)p(n+1)>0$ for $n>25$. It was conjectured by Chen that $p(n)$ satisfies the higher order Turán inequalities for $n\ge 95$. In this paper, we prove this conjecture by using the Hardy-Ramanujan-Rademacher formula to derive an upper bound and a lower bound for $p(n+1)p(n-1)/p(n{)}^2$. Consequently, for $n\ge 95$, the Jensen polynomials $g_{3,n-1}(x)=p(n-1)+3p(n)x+3p(n+1)x^2+p(n+2)x^3$ have only real zeros. We conjecture that for any positive integer $m\ge 4$ there exists an integer $N(m)$ such that for $n\ge N(m)$, the polynomials ${\sum }_{k=0}^m\left(\genfrac{}{}{0ex}{}{m}{k}\right)p(n+k)x^k$ have only real zeros. This conjecture was independently posed by Ono.

23 pages