Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Source. Proposition 3.1, p. 6 (Section 3, pp. 5--6), of J. Barát, "Intersecting and 2-intersecting hypergraphs with maximal covering number: the Erdős-Lovász theme revisited," J. Combin. Des. 29 (2021), no. 3, 193--209. The edition read, and whose pages are cited, is identified on the source card.
Statement
Setting (pp. 2--3). A hypergraph is -intersecting when any two edges share at least two vertices. In a -intersecting -uniform hypergraph any edge with one vertex removed still meets every edge, so ; the paper studies those with , its maximal covering number in this setting. Its standard example is , all -subsets of a -element set. The hypergraphs considered are simple: no edge is repeated (p. 1).
Proposition 3.1 (p. 6). "There are precisely two non-isomorphic 4-uniform 2-intersecting hypergraphs that have covering number 3, namely and the complement of the Fano plane."
The complement of the Fano plane, the 7 complements of the lines of the Fano plane, is the biplane of order 2 (p. 3). The -uniform analogue is Proposition 2.7 (p. 4): the only -uniform -intersecting hypergraph with maximum covering number is , the biplane of order 1.
Read depth. Claims checked: the statement was read on the print and the case analysis followed in outline. Nothing here is independently reviewed.
Proof pointer
pp. 5--6, a case analysis by hand on the incidence matrix. Since no two vertices cover, every pair of rows has a column with zeros in both; this fixes the first four rows and seven columns up to isomorphism. Requiring every pair of the remaining edges to share two vertices leaves few completions: one gives , one gives the complement of the Fano plane, and each of the others either forces an edge meeting another in one vertex or keeps a -cover that no admissible new edge can avoid.
Dependencies
None outside Section 3.
Bears on
No Erdős problem is linked to this result. It bears on the paper's own Problem 2.1 (p. 3), which asks whether there are infinitely many for which is the only -intersecting -uniform hypergraph with maximal covering number, and whether there are infinitely many other examples. The proposition settles only the case , where is not the only example; it decides neither question.