Proof of Moll's minimum conjecture

DOI10.1016/J.EJC.2012.11.002MaRDI QIDQ1940366zbMATH OpenOpenAlexWikidataFDO

Authors William Y. C. Chen, Ernest X. W. Xia

Publication date 6 March 2013

Published in European Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0904.0841

zbMATH Keywords

Boros-Moll polynomials

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial inequalities (05A20) Arithmetic combinatorics; higher degree uniformity (11B30) Sequences (mod (m)) (11B50) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: Let $d_i(m)$ denote the coefficients of the Boros-Moll polynomials. Moll's minimum conjecture states that the sequence ${i(i+1)(d_i^2(m)-d_{i-1}(m)d_{i+1}(m))}_{1leqileqm}$ attains its minimum with $i=m$. This conjecture is a stronger than the log-concavity conjecture proved by Kausers and Paule. We give a proof of Moll's conjecture by utilizing the spiral property of the sequence ${d_i(m)}_{0leqileqm}$, and the log-concavity of the sequence ${i!d_i(m)}_{0leqileqm}$.

Recommendations

• A short proof of Moll's minimal conjecture
• 2-log-concavity of the Boros-Moll polynomials
• The reverse ultra log-concavity of the Boros-Moll polynomials
• Brändén's conjectures on the Boros-Moll polynomials
• The greatest lower bound of a Boros-Moll sequence

Cited in

(12)

• Proof of a conjecture of McEliece regarding the expansion index of the minimal trellis
• A short proof of Moll's minimal conjecture
• Partially 2-colored permutations and the Boros-Moll polynomials
• A Computer Proof of Moll’s Log-Concavity Conjecture
• Kreisel's Conjecture with minimality principle
• 2-log-concavity of the Boros-Moll polynomials
• The greatest lower bound of a Boros-Moll sequence
• The concavity and convexity of the Boros-Moll sequences
• A hypergeometric inequality
• Skew log-concavity of the Boros-Moll sequences
• The unimodality of a polynomial coming from a rational integral. Back to the original proof
• Brändén's conjectures on the Boros-Moll polynomials

This page was built for publication: Proof of Moll's minimum conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1940366)