Comparing the $\mathrm{v}$-number and $h$-polynomials of edge ideals

TL;DR

This paper investigates relationships between the v-number, h-polynomial degree, and other invariants of edge ideals of connected graphs, establishing bounds, classifications, and examples demonstrating all possible inequalities.

Contribution

It provides a comprehensive comparison of the v-number and h-polynomial degree, constructs graphs with prescribed invariants, and classifies extremal cases, advancing understanding of these algebraic invariants.

Findings

The v-number can be arbitrarily larger or smaller than the h-polynomial degree.

For any v ≤ d, there exists a connected graph with v-number v and h-degree d.

All thirteen inequalities among v-number, h-degree, and regularity can occur in connected graphs.

Abstract

In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected graph $H(v,d)$ with the $\mathrm{v}$-number equal to $v$ and the degree of $h$-polynomial equal to $d$. Additionally, we show that the sum of the $\mathrm{v}$-number and the degree of the $h$-polynomial is bounded above by $n$, the number of vertices of $G$, and we classify all graphs for which this sum is exactly $n$. Finally, we show that all thirteen possible inequalities among the three invariants, the $\mathrm{v}$-number, the degree of the $h$-polynomial, and the Castelnuovo-Mumford regularity, can occur in the case of edge ideals of connected graphs. Many of these examples rely on a minimal example of a graph whose $\mathrm{v}$-number is more than the degree of its $h$-polynomial. Using a computer search, we show that there are exactly two such graphs on 11 vertices and 25 edges, and no smaller example on fewer vertices, or 11 vertices and less than 25 edges.