Weighted Root Deletions and Coefficientwise Toeplitz Positivity
Manuscript 28 September 2026 · Online 28 September 2026
Abstract
For independent indeterminates \(a,x_1,\ldots,x_N,y_1,\ldots,y_N\), we prove that the sequence \(b_k=a e_k(X)+\sum_i y_i e_k(X\setminus x_i)\) is coefficientwise totally nonnegative: every minor of its upper Toeplitz matrix has nonnegative integer coefficients. In particular, this holds for the coefficients of \((uD_z+v)\prod_i(1+x_i z)\), coefficientwise in \(u,v,X\). The proof realizes the sequence as sums of bordered principal minors of a star-shaped Gram pencil. A maximal-weight compression in a Schur module expresses the necessary Schur-complement characters as traces against orthogonal projections. An additional letter-content grading separates the independent root weights and yields explicit squared-norm coefficient certificates. This resolves the derivative-plus-constant branch of an AIM total-positivity question, not its other operator conjectures. The note is unrefereed and makes no absolute priority claim.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete theorem (D+a branch)
- Categories
- math.CO · math.CA
- Manuscript
- 28 September 2026
- Online release
- 28 September 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Weighted Root Deletions and Coefficientwise Toeplitz Positivity,” EulerSolve Research Papers, AIM-LINEAR_ALGEBRA-0012, 2026. https://doi.org/10.5281/zenodo.23012273.
BibTeX
@misc{Ferudun2026WeightedRootDeletions,
author = {Ferudun, Alper},
title = {Weighted Root Deletions and Coefficientwise Toeplitz Positivity},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-linear-algebra-0012/},
doi = {10.5281/zenodo.23012273},
note = {AIM-LINEAR_ALGEBRA-0012; unrefereed preprint}
}