反射 Newton 变换与峰多项式系数的凹性
Reflected Newton Transforms and Concavity of Peak-Polynomial Coefficients
研究概述
以多项式的向后差分为坐标,研究反射 Newton 变换。其非负输入恰好给出在两端补零后仍保持凹性的对称系数序列;由此得到逐系数不等式,并解决两个峰多项式系数问题。
原始公开问题
Bencs 猜想 6.4:峰多项式系数的对数凹性
Ferenc Bencs: Some coefficient sequences related to the descent polynomial — Conjecture 6.4: symmetry and log-concavity of peak-polynomial coefficients in the rising binomial basis.
Alexander Diaz-Lopez, Pamela E. Harris, Erik Insko and Mohamed Omar: A proof of the peak polynomial positivity conjecture — Unnumbered introductory question on log-concavity of peak-polynomial coefficients in the forward binomial basis.
原文摘要(英文)
We study a polynomial transform defined by reflected backward differences. We use the backward differences at a fixed center as its input coordinates, called Newton data. In these coordinates, its rising-binomial coefficients are obtained from an explicit matrix with symmetric, tent-shaped columns. This formula determines the kernel of the transform and shows that its image on nonnegative Newton data is exactly the cone of symmetric sequences that remain concave after zero padding at the two endpoints. Every integral sequence in this cone has an explicit preimage with integral Newton data. The same representation gives strong coefficientwise log-concavity for arbitrary multivariate nonnegative Newton data, both in the rising basis and in forward binomial bases. We also characterize when the recurrence starts with the zero polynomial and prove that the two-unit shift of the difference center required by the positivity criterion is sharp. As applications, peak-polynomial coefficients in Bencs's rising basis are positive integers, symmetric and ordinarily concave, proving his log-concavity conjecture. We determine their exact maximum plateau and all log-concavity equality cases. The forward-basis result answers a question of Diaz-Lopez, Harris, Insko and Omar at every integer center at or beyond the last peak.
数学审核
主要结论拥有公开的内核检查证明包,并已审核其与论文的对应关系。这与外部同行评审是不同的验证。
审核标准