Wiki
Wiki

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 "33-critical" cannot be lowered.

Statement

The complete 3-uniform hypergraph K5(3)K_5^{(3)} is transversal-critical of order three and satisfies δ(K5(3))=6\delta(K_5^{(3)})=6.

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 τ(K5(3))=3\tau(K_5^{(3)})=3.

For an edge ee, write {u,v}\{u,v\} for the two vertices outside ee. Every other 3-subset contains uu or vv, so {u,v}\{u,v\} is a transversal of K5(3)−eK_5^{(3)}-e. No single vertex meets all edges of this deletion: among the four triples avoiding a given vertex, at most one is ee. Therefore τ(K5(3)−e)=2\tau(K_5^{(3)}-e)=2 for every ee.

Finally, each vertex belongs to (42)=6{4\choose2}=6 triples, so the hypergraph is 6-regular.