Infinite log-concavity: developments and conjectures - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Discrete Mathematics and Theoretical Computer Science Year : 2009

Infinite log-concavity: developments and conjectures


Given a sequence $(a_k)=a_0,a_1,a_2,\ldots$ 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)$ $\textit{infinitely log-concave}$ if $\mathcal{L}^i(a_k)$ is nonnegative for all $i \geq 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 $n$th row for all $n \leq 1450$. We can 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.
Étant donné une suite $(a_k)=a_0,a_1,a_2,\ldots$ de nombres réels, on définit une nouvelle suite $\mathcal{L}(a_k)=(b_k)$ où $b_k=a_k^2-a_{k-1}a_{k+1}$. Alors $(a_k)$ est log-concave si et seulement si $(b_k)$ est une suite non négative. On dit que $(a_k)$ est $\textit{infiniment log-concave}$ si $\mathcal{L}^i(a_k)$ est non négative pour tout $i \geq 1$. Boros et Moll ont conjecturé que les lignes du triangle de Pascal sont infiniment log-concave. Utilisant un ordinateur et une version plus forte de log-concavité, on vérifie leur conjecture pour la $n$ième ligne, pour tout $n \leq 1450$. On peut aussi utiliser nos méthodes pour donner une preuve simple d'un résultat récent de Uminsky et Yeats à propos des régions de log-concavité infini. Reliées à ces idées, on examine des questions à propos des colonnes du triangle de Pascal, des $q$-analogues, des fonctions symétriques, des polynômes avec racines réelles, et des matrices de Toeplitz. De plus, on offre plusieurs conjectures.
Fichier principal
Vignette du fichier
dmAK0153.pdf (236.89 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-01185370 , version 1 (20-08-2015)



Peter R. W. Mcnamara, Bruce E. Sagan. Infinite log-concavity: developments and conjectures. 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), 2009, Hagenberg, Austria. pp.635-646, ⟨10.46298/dmtcs.2678⟩. ⟨hal-01185370⟩


54 View
711 Download



Gmail Facebook X LinkedIn More