Turán Inequalities for Infinite Product Generating Functions
In the 1970s, Nicolas proved that the partition function p(n) is log-concave for n>25. In \cite{HNT21}, a precise conjecture on the log-concavity for the plane partition function $\func{pp}(n)$ for n>11 was stated. This was recently proven by Ono, Pujahari, and Rolen. In this paper, we provide a general picture. We associate to double sequences {gd(n)}d,n with gd(1)=1 and 0≤gd(n)−nd≤g1(n)(n−1)d−1 polynomials {Pngd(x)}d,n given by \begin{equation*} \sum_{n=0}^{\infty} P_n^{g_d}(x) \, q^n := \func{exp}\left( x \sum_{n=1}^{\infty} g_d(n) \frac{q^n}{n} \right) =\prod_{n=1}^{\infty} \left( 1 - q^n \right)^{-x f_d(n)}. \end{equation*} We recover p(n)=Pnσ1(1) and $\func{pp}\left( n\right) = P_n^{σ_2}(1)$, where σd(n):=∑ℓ∣nℓd and fd(n)=nd−1. Let n≥6. Then the sequence {Pnσd(1)}d is log-concave for almost all d if and only if n is divisible by 3. Let $\func{id}(n)=n$. Then $P_n^{\func{id}}(x) = \frac{x}{n} L_{n-1}^{(1)}(-x)$, where Ln(α)(x) denotes the α-associated Laguerre polynomial. In this paper, we invest in Turán inequalities \begin{equation*} Δ_{n}^{g_d}(x) := \left( P_n^{g_d}(x) \right)^2 - P_{n-1}^{g_d}(x) \, P_{n+1}^{g_d}(x) \geq 0. \end{equation*} Let n≥6 and 0≤x<2−n+412. Then n is divisible by 3 if and only if Δngd(x)≥0 for almost all d. Let n≥6 and n≡2(mod3). Then the condition on x can be reduced to x≥0. We determine explicit bounds. As an analogue to Nicolas' result, we have for $g_1= \func{id}$ that $Δ_{n}^{\func{id}}(x) \geq 0$ for all x≥0 and all n.