Nonnegativity of the g-polynomial of split matroids
Abstract
We prove that the g-polynomial of every split matroid has nonnegative coefficients, establishing Speyer's conjecture for a class closed under taking minors and containing all paving and copaving matroids. Our proof uses a deletion--contraction identity obtained by constructing an auxiliary split matroid. We first show that every simple, cosimple, connected split matroid M has an element e for which both the deletion M∖ e and the contraction M/e are connected. More generally, let M be any connected split matroid of rank k on a ground set E with |E|≥4. Suppose that e∈ E is such that both M∖ e and M/e are connected. For every v∈ E∖{e}, we construct a connected elementary split matroid Ne,v of rank k−1 on E∖{e,v} satisfying gM(t)=gM∖ e(t)+gM/e(t)+t gNe,v(t). Using a fixed total order on E, we prescribe the proper cyclic flats of Ne,v and their ranks. The identity follows from the covaluative formula of Ferroni and Schröter together with recurrences for its correction polynomials, derived from Ferroni's enumeration of admissible Delannoy paths for Schubert matroids. Since all three matroids on the right have fewer elements, the identity supplies the induction step in the proof of nonnegativity.
Related
- On the nonnegativity of monomial immanants for hook partitions
- Proof of a nonnegativity conjecture of Prellberg--Stanton
- Entrywise nonnegativity of the inverse relative gain array in dimension six
- Nonnegativity Shapes Predictive Uncertainty: Complementary Model Fits and Quantile Construction
- Real-rootedness of the Z-polynomials of sparse paving matroids and strict interlacing for uniform matroids
BibTeX
@misc{gao2026nonnegativity,
title = {{Nonnegativity of the $g$-polynomial of split matroids}},
author = {Alice L. L. Gao and Matthew H. Y. Xie},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.35550},
eprint = {2609.35550},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.35550},
}
RIS
TY - UNPB
TI - Nonnegativity of the g-polynomial of split matroids
AU - Alice L. L. Gao
AU - Matthew H. Y. Xie
PY - 2026
DA - 2026/09/28
PB - arXiv
DO - 10.48550/arxiv.2609.35550
UR - https://arxiv.org/abs/2609.35550
AB - We prove that the g-polynomial of every split matroid has nonnegative coefficients, establishing Speyer's conjecture for a class closed under taking minors and containing all paving and copaving matroids. Our proof uses a deletion--contraction identity obtained by constructing an auxiliary split matroid. We first show that every simple, cosimple, connected split matroid M has an element e for which both the deletion M∖ e and the contraction M/e are connected. More generally, let M be any connected split matroid of rank k on a ground set E with |E|≥4. Suppose that e∈ E is such that both M∖ e and M/e are connected. For every v∈ E∖{e}, we construct a connected elementary split matroid N_e,v of rank k−1 on E∖{e,v} satisfying g_M(t)=g_M∖ e(t)+g_M/e(t)+t g_N_e,v(t). Using a fixed total order on E, we prescribe the proper cyclic flats of N_e,v and their ranks. The identity follows from the covaluative formula of Ferroni and Schröter together with recurrences for its correction polynomials, derived from Ferroni's enumeration of admissible Delannoy paths for Schubert matroids. Since all three matroids on the right have fewer elements, the identity supplies the induction step in the proof of nonnegativity.
ER -