6-regular critical graph without critical edge

Problem 5.2 · arXiv:2508.08703

arXiv Question high confidence— first stated 2025-08-12

Status open high confidence

Problem 5.2 asks whether a 6-regular (4,1)-graph exists, i.e., a 6-regular 4-vertex-critical graph containing no critical edge. This is part of the still-open k=4 case of Dirac's 1970 conjecture (proved for k≥5 by Jensen in 2002). The source paper arXiv:2508.08703 resolves Erdős' stronger version of the problem for k>4 but explicitly leaves the k=4 case open; no follow-up resolving Problem 5.2 was found in the indexed literature as of May 2026.

Reviewer notes. No follow-up found. The k=4 case of Dirac's conjecture (existence of any 4-vertex-critical graph with no critical edge) remains open; Problem 5.2 is a refined question asking for a 6-regular example. The related paper arXiv:2310.12891 ('Vertex-critical graphs far from edge-criticality', published in Combinatorics, Probability and Computing) addresses large k but not k=4. The ResearchGate entry on a '6-regular 4-critical graph' concerns 4-edge-critical graphs (4-chromatic with all edges critical), a different concept.

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

Question. Does there exist a $6$-regular $(4,1)$-graph?

Context

This question is posed in relation to the still-open case $k=4$ of Erdős' problem. A $(4,1)$-graph is a $4$-vertex-critical graph containing no critical edge; the question asks whether a $6$-regular example of such a graph exists, motivated by structural properties of $4$-vertex-critical graphs established in the paper.

Source paper

Critical edge sets in vertex-critical graphs
Ema Skottova, Raphael Steiner · 2025-08-12
https://arxiv.org/abs/2508.08703