Almost-valuative invariants of connected split matroids: The cd-index

Abstract

We derive a formula for matroid invariants $Ψ$ on a large family of matroids, provided that $Ψ$ is almost-valuative, namely, it satisfies a hyperplane-cut formula. Our primary application is to the cd-index $Ψ_{cd}$ of the base polytope $\mathscr{P}(M)$, a polynomial in two non-commutative variables that compactly encodes the number of face-flags $\mathcal{F} = \{σ_1 \subset \dots \subset σ_s \}$ with prescribed dimensions $\dim σ_i = d_i$. This generalizes recent work by Ferroni and Schröter on the $f$-vector of $\mathscr{P}(M)$, yielding a formula that can be understood as a valuative part plus an error term that surprisingly depends only on modular pairs of cyclic flats. This enables computations requiring only the following data: the evaluations of $Ψ$ on hypersimplices $Δ_{k,n}$ and cuspidal matroids $Λ^{r,h}_{k,n}$; and counts $λ(r,h)$ and $μ(a,b;α,β)$ of cyclic flats and modular pairs of cyclic flats in $M$, respectively, satisfying specific rank and cardinality conditions. We compute these for the cd-index, yielding explicit results for sparse paving matroids and rank-2 matroids.