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

主要結論には公開されたカーネル検証済みの証明があり、論文との対応も確認されています。これは外部査読とは別の検証です。

検証基準
成果一覧へ戻る
戻る: 数学