A Ridge-Saturation Characterization of $\alpha$-Critical $\mathbf {W}_p$ Graphs

TL;DR

This paper provides a comprehensive characterization of $ ext{alpha}$-critical $ extbf{W}_p$ graphs across multiple mathematical frameworks, revealing their structural properties and establishing bounds related to saturation and rigidity.

Contribution

It introduces an exact formula for the maximum $p$ for which a well-covered graph belongs to $ extbf{W}_p$, and clarifies the complement correspondence with explicit saturation-theoretic consequences.

Findings

Characterization in three equivalent languages: graph, independence complex, and complement.

Exact formula for the largest $p$ for well-covered graphs in $ extbf{W}_p$.

Counterexamples to the necessity of a local condition outside the triangle-free case.

Abstract

We characterize the graphs which are simultaneously $\alpha$-critical and members of the class $\mathbf W_p$. The characterization is stated in three equivalent languages. In the graph itself, such a graph is a well-covered graph whose codimension-one localization fibers all have size at least $p$ and whose edges are exactly covered by the cliques induced by those fibers. In the independence complex, it is a pure flag complex in which every ridge has degree at least $p$ and every missing edge is generated by the link of a ridge. In the complement, it is a $K_{r+1}$-saturated graph, where $r=\alpha(G)$, all maximal cliques have size $r$, and the minimum $(r-1)$-clique-codegree is at least $p$. This gives an exact formula for the largest $p$ for which a well-covered graph belongs to $\mathbf W_p$. We make this complement correspondence explicit, record saturation-theoretic consequences including dense-complement rigidity and $p$-sensitive edge and order bounds, and give a family of sharp examples showing that the local sufficient condition from the recent work of Hoang, Levit and Mandrescu is not necessary outside the locally triangle-free setting, for all $p\ge2$.