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), Proposition 3.5 and proof, printed pp. 6--7 (PDF pp. 6--7).
Dependencies. None.
Used in. Theorem 1.1.
Bears on. #834: shows that the degree bound six under the transversal reading of "-critical" cannot be lowered.
Statement
The complete 3-uniform hypergraph is transversal-critical of order three and satisfies .
Rewritten proof
No two vertices form a transversal: the other three vertices themselves form an edge. Every three vertices do form a transversal, since two 3-subsets of a five-element set must intersect. Hence .
For an edge , write for the two vertices outside . Every other 3-subset contains or , so is a transversal of . No single vertex meets all edges of this deletion: among the four triples avoiding a given vertex, at most one is . Therefore for every .
Finally, each vertex belongs to triples, so the hypergraph is 6-regular.