Published September 28, 2026 | Version 1.0

Weighted Root Deletions and Coefficientwise Toeplitz Positivity

Authors/Creators

  • 1. Mercury Software GmbH

Description

For independent indeterminates a, x_1,...,x_N, y_1,...,y_N, we prove that the sequence b_k = a e_k(X) + sum_i y_i e_k(X without 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 (u D_z + v) product_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.

Unrefereed preprint. AI-assisted tools supported research, computation, proof development and manuscript preparation; the author remains responsible for the final text. No independent peer review or formal verification is claimed. The result is a complete theorem for independently weighted single-root-deletion polynomials, not a complete solution of all of AIM-LINEAR_ALGEBRA-0012. The prior anonymous affine result is credited in the manuscript.

Files

AIM-LINEAR_ALGEBRA-0012-paper.pdf

Files (140.7 kB)

Name Size Download all
md5:45ac8ac2ffa1d58f30a2ccddbd063990
93.0 kB Preview Download
md5:6a5d18f253f308fbbb44a4715cd283a9
44.6 kB Preview Download
md5:6e6595031e2e7b1e87714ae048a9480c
3.1 kB Preview Download