反射 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.
数学の検証
主要結論には公開されたカーネル検証済みの証明があり、論文との対応も確認されています。これは外部査読とは別の検証です。
検証基準