11/3 non-tight fractional chromatic bound for {C₄,C₅}-free planar

Status solved medium confidence

The Xu–Zhu theorem quoted in the catalog gives the strictly better universal bound χ_f(G)≤7/2=11/3−1/6, thereby confirming the informal conjecture.

Cited literature (1)

• proof Planar graphs without cycles of length 4 or 5 are (7m:2m)-DP-colorable (2025)
  Xiaoyan Xu, Xuding Zhu · arXiv preprint · arXiv:2511.12914

  The Xu–Zhu theorem quoted in the catalog gives the strictly better universal bound χ_f(G)≤7/2=11/3−1/6, thereby confirming the informal conjecture.

  Read the literature-status audit

Reviewer notes. These status corrections report results attributed to existing papers or to the final source version. Graph-Theory-LLM-Proofs located and checked the implication; it is not credited as the author of the result. Audit caveat: The deduction is complete, but it relies on the stated 2025 DP-coloring theorem, whose preprint and proof I have not independently inspected here; the exact optimal constant remains open.

Auto-reviewed 2026-09-01 with gpt-5.6-sol.