Infinite log-concavity: developments and conjectures (Q1036515)

Given a sequence \( (a_k) = a_0,a_1,a_2,\cdots \) of real numbers, define a new sequence \(\mathcal {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 \(\mathcal{L}^i(a_k)\) is nonnegative for all \(i \geq 1\). In this paper the authors prove that the rows of Pascal's triangle are infinitely log-concave for the \(n\)th row for all \(n \leq 1450\). They also give a simple proof of a result of Uminsky and Yeats about regions of infinite log-concavity. In addition, this paper offers several conjectures.