Crab Research
返回结果列表
组合数学

反射 Newton 变换与峰多项式系数的凹性

Reflected Newton Transforms and Concavity of Peak-Polynomial Coefficients

工作论文 · SSRN首次公开 修订

形式化是机器可检查的证明。证明助手的逻辑核心称为内核;它仅从已列明的基本逻辑原则出发,检查全部承重定理,不额外假设未经证明的定理。这称为 Kernel-Only 验证。

研究概述

以多项式的向后差分为坐标,研究反射 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.

公开摘要来源

MathematicsCombinatoricspeak polynomialspermutationsNewton seriesfinite differenceslog-concavitycoefficientwise log-concavityLean 4formal verification

数学审核

Kernel-Only

主要结论拥有公开的内核检查证明包,并已审核其与论文的对应关系。这与外部同行评审是不同的验证。

审核标准
返回结果列表
返回 数学