pith. machine review for the scientific record. sign in

arxiv: 2512.21800 · v2 · submitted 2025-12-25 · 🧮 math.CO · math.AC

Recognition: unknown

Chromatic numbers from edge ideals: Graph classes with vanishing syzygies are polynomially chi-bounded

Authors on Pith no claims yet
classification 🧮 math.CO math.AC
keywords graphgraphsbetaomegaboundedclassesedgechromatic
0
0 comments X
read the original abstract

The chromatic number $\chi$ of a graph is bounded from below by its clique number $\omega,$ but it can be arbitrary large. Perfect graphs are defined by $\chi=\omega$ for all induced subgraphs. An interesting relaxation are $\chi$-bounded graph classes, where $\chi\leq f(\omega).$ It is not always possible to achieve this with a polynomial $f.$ The edge ideal $I_G$ of a graph $G$ is generated by monomials $x_ux_v$ for each edge $uv$ of $G.$ The bi-graded betti numbers $\beta_{i,j}(I)$ are central algebraic geometric invariants. We study the graph classes where for some fixed $i,j$ that syzygy vanishes, that is, $\beta_{i,j}(I_G)=0.$ We prove that $\chi\leq f(\omega),$ where $f$ is a polynomial of degree $2j-2i-4.$ For the elementary special case $\beta_{i,2i+2}(I_G)=0,$ this amounts to that $(i+1)K_2$-free graphs are ${\omega-1+2i \choose 2i}$-colorable, improving on an old combinatorial result by Wagon. We also show that triangle-free graphs with $\beta_{i,j}(I_G)=0$ are $(j-1)$-colorable. Complexity wise, we show that these colorings can be derived in time $O(n^3)$ for graphs on $n$ vertices. Moreover, we show that for almost all graphs with parabolic $i,j,$ there are better bounds on $\chi.$

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Generalized Andr\'asfai graphs and special Betti diagrams of edge ideals

    math.AC 2026-05 unverdicted novelty 6.0

    Removing a suitable Hamiltonian cycle from generalized Andrásfai graphs GA(t,k) yields edge ideals with regularity t+2, projective dimension t(k-2), and a generalized special Betti diagram.