The omega invariant of a matroid

TL;DR

This paper introduces and studies the omega-invariant, the highest-degree coefficient of the g-polynomial of a matroid, establishing conditions for its nonnegativity and providing formulas and computations for special cases.

Contribution

It defines the omega-invariant of a matroid, explores its properties, and offers simplified formulas and explicit calculations for specific cases.

Findings

Omega-invariant is nonnegative under certain connectivity and minor conditions.

Provides simplified formulas for computing omega-invariant.

Calculates omega-invariant for cases with small rank or small difference between size and rank.

Abstract

The third author introduced the $g$-polynomial $g_M(t)$ of a matroid, a covaluative matroid statistic which is unchanged under series and parallel extension. The $g$-polynomial of a rank $r$ matroid $M$ has the form $g_1 t + g_2 t^2 + \cdots + g_r t^r$. The coefficient $g_1$ is Crapo's classical $\beta$-invariant. In this paper, we study the coefficient $g_r$, which we term the $\omega$-invariant of $M$. We show that, if $M/F$ is connected for every proper flat $F$ of $M$, and $\omega(N)$ is nonnegative for every minor $N$ of $M$, then all the coefficients of $g_M(t)$ are nonnegative. We give several simplified versions of Ferroni's formula for $\omega(M)$, and compute $\omega(M)$ when $r$ or $|E(M)|-2r$ is small.