Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This work proves Speyer's conjecture that the $g$-polynomial has nonnegative coefficients for the entire minor-closed class of split matroids, which subsumes all paving and copaving matroids. The authors achieve this by formulating an explicit three-term deletion-contraction recurrence, $g_M(t) = g_{M\setminus e}(t) + g_{M/e}(t) + t\,g_{N_{e,v}}(t)$, leveraging a newly constructed rank-reduced auxiliary split matroid $N_{e,v}$. Integrating this identity with Ferroni and Schröter's covaluative formula and Delannoy path recurrences enables an inductive proof that guarantees coefficient nonnegativity.
Speyer’s conjecture on $g$-polynomial coefficient nonnegativity is now proven for all split matroids, cracking a major open problem spanning paving and copaving structures via an unexpected three-term deletion-contraction recurrence.
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\setminus 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|\ge4$. Suppose that $e\in E$ is such that both $M\setminus e$ and $M/e$ are connected. For every $v\in E\setminus\{e\}$, we construct a connected elementary split matroid $N_{e,v}$ of rank $k-1$ on $E\setminus\{e,v\}$ satisfying \[ g_M(t)=g_{M\setminus 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.