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

Less than 1 year old · traced to

Let r,d∈Z≥0r,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

r≤⌈d2⌉r\leq\left\lceil\frac{d}{2}\right\rceil

or

d≥⌈2r−13⌉,d\geq\left\lceil\frac{2r-1}{3}\right\rceil,

then there is no connected graph GG such that

(reg⁡(R/J(G)), deg⁡hR/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 d≥2d\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.

References

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.