Edge-width four torus 5-choosability

Conjecture 4 · arXiv:2407.18800

arXiv Conjecture high confidence— first stated 2024-07-26

Status open high confidence

Conjecture 4 of arXiv:2407.18800 — that every graph drawn on the torus with edge-width at least four is 5-choosable — remains open as of May 2026. The conjecture is proposed as an important intermediate step toward the full 5-choosability characterization of toroidal graphs (Conjecture 3 of the same paper). Postle's prior result that the edge-width of a graph critical for 5-list coloring is at most logarithmic in its genus confirms the conjecture when 4 is replaced by a sufficiently large constant, but the case of edge-width exactly four is unresolved. No follow-up paper settling the conjecture was found in a web search.

Reviewer notes. No follow-up paper resolving Conjecture 4 was found. The conjecture is recent (July 2024). Postle's logarithmic edge-width bound for 5-list-critical graphs (cited in the source paper) already implies the conjecture for sufficiently large edge-width constants, but edge-width 4 remains open. The source paper itself makes partial progress by characterizing 5-list-coloring criticality under an additional cyclic-triangle structure condition.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Conjecture. Every graph drawn on the torus with edge-width at least four is 5-choosable.

Context

This is proposed as an important intermediate step towards Conjecture 3, focusing on toroidal graphs with no non-contractible cycle of length less than four. Postle proved that the edge-width of a graph critical for 5-list coloring is at most logarithmic in its genus, so the conjecture holds when four is replaced by a sufficiently large constant.

Source paper

Towards Characterization of 5-List-Colorability of Toroidal Graphs
Zdeněk Dvořák, Félix Moreno Peñarrubia · 2024-07-26
https://arxiv.org/abs/2407.18800