Crab Research
Return to results
Combinatorics

Reflected Newton Transforms and Concavity of Peak-Polynomial Coefficients

Working Paper · SSRNFirst public Revised

A formalization is a machine-checkable proof. The proof assistant’s logical core, or kernel, checks every supporting theorem using only the stated basic logical principles, with no extra unproved theorem assumptions (Kernel-Only).

Overview

Using backward differences as polynomial coordinates, we describe a reflected Newton transform. Its nonnegative inputs give exactly the symmetric coefficient sequences that remain concave after zero padding at both endpoints; the resulting coefficientwise inequalities resolve two peak-polynomial coefficient questions.

Original public questions

Bencs Conjecture 6.4: peak-polynomial coefficient log-concavity

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.

Original abstract (English)

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.

Public abstract source

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

Mathematical review

Kernel-Only

The principal conclusions have a public kernel-checked proof package and reviewed correspondence with the paper. This is distinct from external peer review.

Review standard
Return to results
Back to Mathematics