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 2.2 and proof, printed p. 4 (PDF p. 4).
Dependencies. None.
Used in. Proposition 4.5.
Bears on. #834: the certificate criterion by which the paper checks edge-criticality of its example under the chromatic reading of "-critical".
Statement
Under the paper's standing convention that hypergraphs are finite, simple (with no repeated edges), and have no empty edge, consider an edge of a hypergraph with . Then exactly when some 2-coloring of makes its only monochromatic edge.
Rewritten proof
Suppose first that has a proper 2-coloring. The same coloring of cannot be proper for , since . Every edge other than is non-monochromatic, so must be its unique monochromatic edge.
Conversely, given a 2-coloring of whose only monochromatic edge is , no edge of is monochromatic, so the same coloring is a proper 2-coloring of .