Infinite log-concavity: developments and conjectures (Q1036515)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinite log-concavity: developments and conjectures |
scientific article |
Statements
Infinite log-concavity: developments and conjectures (English)
0 references
13 November 2009
0 references
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.
0 references
binomial coefficients
0 references
computer proof
0 references
Gaussian polynomial
0 references
infinite log-concavity
0 references
real roots
0 references
symmetric functions
0 references
Toeplitz matrices
0 references
0 references
0 references