Madani–Kiani's maximal-clique regularity conjecture for binomial edge ideals

About 4 years old · traced to

Let GG be a simple graph, let SS be the polynomial ring used to define its binomial edge ideal JGJ_G, and let c(G)c(G) be the number of maximal cliques of GG. Madani–Kiani's conjecture.

reg⁡(S/JG)≤c(G).\operatorname{reg}(S/J_G)\leq c(G).

The conjecture was proved for closed graphs, generalized block graphs, chordal graphs, fan graphs of complete graphs, P4P_4-free graphs, block graphs, and semi-block graphs, among other classes. The source states that it was subsequently proved for all graphs with a sharp bound, so the conjecture is resolved.

References

Primary source

Priya Das, “Recent results on homological properties of binomial edge ideal of graphs”, arXiv:2209.01201 (2023).

Progress summary

Refreshed
Claimed solved

A paper claims the proposed bound has been proved for every graph, but the scan found no independent verification.

Madani–Kiani conjectured that the regularity of a graph's binomial edge ideal is at most its number of maximal cliques. The conjecture was originally open in general, despite many established special cases.

Known results

  • Closed graphs: reg⁡(S/JG)≤c(G)\operatorname{reg}(S/J_G)\leq c(G) (Ene, Herzog, Hibi, 2012).
  • Chordal graphs: the conjectured bound holds (Ene, Herzog, Hibi, 2018).
  • Further special classes include generalized block, fan, P4P_4-free, block, and semi-block graphs.

All-graph proof and 2022 confirmation

Malayeri, Saeedi Madani, and Kiani claim an all-graph proof (publication date not stated in the scan): they establish the sharper inequality reg⁡(S/JG)≤η(G)\operatorname{reg}(S/J_G)\leq\eta(G), where η(G)≤c(G)\eta(G)\leq c(G), implying the conjecture. A 2022 survey presents this result as resolving the conjecture. No retrieved source reports a gap, retraction, or independent verification.

Current status (as of September 2026): An all-graph proof is claimed, with the sharper bound reg⁡(S/JG)≤η(G)≤c(G)\operatorname{reg}(S/J_G)\leq\eta(G)\leq c(G), but the resolution remains unverified in this report.

Sources

Solutions 0

No solutions have been posted yet.