arXiv++ Combinatorics

We establish a sufficient condition for infinite log-concavity and apply it to five families of combinatorial sequences. We give a new proof of infinite log-concavity for the Boros--Moll coefficient sequences $(d_k(n))_{k=0}^n$ for fixed $n$. For the transposed sequences $(d_\ell(\ell+k))_{k\ge0}$, we prove Zhao's conjecture on infinite log-concavity for every fixed integer $\ell\ge3$. For the normalized sequences in Euler's difference table, we confirm the infinite log-concavity conjecture of Chen, Gu, Ma and Wang under essential iteration, in which both endpoints are discarded after each step. We also confirm a conjecture of Medina, Moll and Rowland on the infinite log-concavity of the coefficient sequences of polynomials arising from iterated primitives of $\log(1+x)$. Finally, we answer a question of Brändén and Chasse by showing that, for positive integers $d$, the sequence $(k^d)_{k\ge0}$ is infinitely log-concave if and only if $d\ne2$. For every real $d\ge3$, all its iterates are positive at every index $k\ge1$. The proofs combine holomorphic estimates with finite computer-assisted verification.

The Riemann hypothesis is equivalent to $F(x)$ belonging to the Laguerre--Pólya class. Brändén [J. Reine Angew. Math., 2011] proved that if an entire function in the Laguerre--Pólya class has nonnegative Taylor coefficients, then its coefficient sequence is infinitely log-concave. Consequently, the Riemann hypothesis implies the infinite log-concavity of $(λ_n)_{n\ge0}$. In this paper, we prove that the sequence $(λ_n)_{n\ge0}$ is strictly infinitely log-concave. This resolves a conjecture of Zhu [Math. Z., 2023]. The proof combines explicit complex-analytic estimates for the iterated logarithmic ratios, rigorous interval arithmetic for a finite range of indices, and a global closure argument.

We study the Pascal determinantal arrays $\PD_k$, whose entries $\PD_k(i,j)$ are the $k\times k$ minors of the lower-triangular Pascal matrix $P=( \binom{a}{b} )_{a,b\ge 0}$. We prove an exact factorization of the row-wise log-concavity operator: \[ \LC(\PD_k)=\PD_{k-1}\Had\PD_{k+1}, \] where $\LC(a)_j=a_j^2-a_{j-1}a_{j+1}$ and $\Had$ denotes the Hadamard (entrywise) product. This identity is established by an elementary algebraic manipulation implicitly based on the idea of start of David rule. We further prove a general inequality asserting that the log-concavity operator is submultiplicative under Hadamard products of log-concave arrays: $\LC(A\Had X)\ge\LC(A)\Had\LC(X)$. Combining the factorization with this inequality yields a uniform algebraic proof that every row of every array $\PD_k$ ($k\ge 1$) is infinitely log-concave, extending the celebrated theorem of Brändén for the particular case of Pascal's triangle ($\PD_1$) to the entire determinantal hierarchy. Applications include the log-convexity of $\{\PD_k(i,j)\}_{k\ge 0}$ in the determinantal order $k$ and a family of determinantal Hadamard inequalities.

We show that Stieltjes moment sequences are infinitely log-convex, which parallels a famous result that (finite) Pólya frequency sequences are infinitely log-concave. We introduce the concept of $q$-Stieltjes moment sequences of polynomials and show that many well-known polynomials in combinatorics are such sequences. We provide a criterion for linear transformations and convolutions preserving Stieltjes moment sequences. Many well-known combinatorial sequences are shown to be Stieltjes moment sequences in a unified approach and therefore infinitely log-convex, which in particular settles a conjecture of Chen and Xia about the infinite log-convexity of the Schröder numbers. We also list some interesting problems and conjectures about the log-convexity and the Stieltjes moment property of the (generalized) Apéry numbers.

McNamara and Sagan conjectured that if $a_0,a_1, a_2, \ldots$ is a Pólya frequency (PF) sequence, then so is $a_0^2, a_1^2 -a_0a_2, a_2^2-a_1a_3, \ldots$. We prove this conjecture for a natural class of PF-sequences which are interpolated by polynomials. In particular, this proves that the columns of Pascal's triangle are infinitely log-concave, as conjectured by McNamara and Sagan. We also give counterexamples to the first mentioned conjecture. Our methods provide families of nonlinear operators that preserve the property of having only real and non-positive zeros.

The Boros-Moll polynomials $P_m(a)$ arise in the evaluation of a quartic integral. It has been conjectured by Boros and Moll that these polynomials are infinitely log-concave. In this paper, we show that $P_m(a)$ is 2-log-concave for any $m\geq 2$. Let $d_i(m)$ be the coefficient of $a^i$ in $P_m(a)$. We also show that the sequence $\{i (i+1)(d_i^{\,2}(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ is log-concave. This leads another proof of Moll's minimum conjecture.

We study the effect on the zeros of generating functions of sequences under certain non-linear transformations. Characterizations of Pólya--Schur type are given of the transformations that preserve the property of having only real and non-positive zeros. In particular, if a polynomial $a_0+a_1z +\cdots+a_nz^n$ has only real and non-positive zeros, then so does the polynomial $a_0^2+ (a_1^2-a_0a_2)z+...+ (a_{n-1}^2-a_{n-2}a_n)z^{n-1}+a_n^2z^n$. This confirms a conjecture of Fisk, McNamara-Sagan and Stanley, respectively. A consequence is that if a polynomial has only real and non-positive zeros, then its Taylor coefficients form an infinitely log-concave sequence. We extend the results to transcendental entire functions in the Laguerre-Pólya class, and discuss the consequences to problems on iterated Turán inequalities, studied by Craven and Csordas. Finally, we propose a new approach to a conjecture of Boros and Moll.

Given a sequence (a_k) = a_0, a_1, a_2,... of real numbers, define a new sequence L(a_k) = (b_k) where b_k = a_k^2 - a_{k-1} a_{k+1}. So (a_k) is log-concave if and only if (b_k) is a nonnegative sequence. Call (a_k) "infinitely log-concave" if L^i(a_k) is nonnegative for all i >= 1. Boros and Moll conjectured that the rows of Pascal's triangle are infinitely log-concave. Using a computer and a stronger version of log-concavity, we prove their conjecture for the nth row for all n <= 1450. We also use our methods to give a simple proof of a recent result of Uminsky and Yeats about regions of infinite log-concavity. We investigate related questions about the columns of Pascal's triangle, q-analogues, symmetric functions, real-rooted polynomials, and Toeplitz matrices. In addition, we offer several conjectures.