Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Source. Ruiliang Li, On an Erdős--Lovász problem: 3-critical 3-graphs of minimum degree 7, arXiv:2512.24850v1 (31 December 2025), Lemma 4.4 and proof, printed pp. 9--10 (PDF pp. 9--10).
Setup. The construction (5) of Theorem 4.1.
Dependencies. Lemma 4.3.
Used in. Theorem 1.2.
Bears on. #834: a step in the example behind the yes answer under the chromatic reading of "-critical".
Statement
The hypergraph of Theorem 4.1 admits a proper 3-coloring. Hence .
Rewritten proof
Use the three color classes
Direct comparison with the 22-edge list shows that none of its triples is contained in a class in (1), so this is a proper weak 3-coloring and . Lemma 4.3 gives . Hence .