Linear obstruction conjecture for regularity–hh-degree pairs of connected graphs

Let r,dZ0r,d\in\mathbb{Z}_{\ge 0}, and let GG be a connected graph. Write RR for the polynomial ring associated with GG, J(G)J(G) for its cover ideal, reg(R/J(G))\operatorname{reg}(R/J(G)) for the Castelnuovo–Mumford regularity, and hR/J(G)(t)h_{R/J(G)}(t) for the numerator of the Hilbert series of R/J(G)R/J(G). Linear obstruction conjecture. If either

rd2r\leq\left\lceil\frac{d}{2}\right\rceil

or

d2r13,d\geq\left\lceil\frac{2r-1}{3}\right\rceil,

then there is no connected graph GG such that

(reg(R/J(G)), deghR/J(G)(t))=(r,d).\bigl(\operatorname{reg}(R/J(G)),\ \deg h_{R/J(G)}(t)\bigr)=(r,d).

The claim extends the preceding obstruction that no connected graph realizes (1,d)(1,d) for d2d\geq 2. It is motivated by computations suggesting that unrealizable pairs are constrained by simple linear inequalities; the supplied source gives no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Jennifer Biermann, Trung Chau, Selvi Kara, Augustine O'Keefe, Joseph Skelton, Gabriel Sosa Castillo and Dalena Vien, “Realizable (reg, deg h)-Pairs for Cover Ideals via Independence Polynomials”, arXiv:2602.10376 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.