Log-concavity and related properties of the cycle index polynomials (Q1913997): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:13, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Log-concavity and related properties of the cycle index polynomials |
scientific article |
Statements
Log-concavity and related properties of the cycle index polynomials (English)
0 references
9 July 1996
0 references
Let \(X_0 = 1\), \(X_1, X_2, \dots\) be a log-concave sequence of nonnegative real numbers (i.e., \(X^2_i \geq X_{i - 1} X_{i + 1}\) for all \(i \geq 1)\), and let \(A_n\) be the cycle index polynomial of the symmetric group of order \(n\), i.e., the \(A_n\)'s are defined by \[ \sum_{n \geq 0} A_n u^n = \exp \Bigl( \sum_{j \geq 1} X_j u^j/j \Bigr). \] Then the main theorem of this paper asserts that \(A_{n - 1} A_{n + 1} \leq A^2_n \leq {n + 1 \over n} A_{n - 1} A_{n + 1}\). This implies that the coefficients of the formal power series \(\exp (g(u))\) are log-concave whenever the coefficients of the formal power series \(g(u)\) satisfy a condition slighlty weaker than log-concavity. As corollaries, the authors are able to show log-concavity of several familiar sequences, for which it was not known previously. The proof of the first inequality is inductively and actually establishes that the difference \(A^2_n - A_{n - 1} A_{n + 1}\) can be written as a polynomial with nonnegative coefficients in the expressions \(X_j\) and \(X_j X_k - X_{j - 1} X_{k + 1}\), \(j \leq k\). The second inequality is proven combinatorially, by working with what the authors call ``marked permutations''. Finally, it is shown that the same inequalities will hold for \(n\) sufficiently large without assuming log-concavity for the \(X_j\)'s, as long as only a finite number of \(X_j\)'s is nonzero.
0 references
marked permutations
0 references
log-concave sequence
0 references
cycle index polynomial of the symmetric group
0 references
formal power series
0 references
log-concavity
0 references
inequality
0 references