Wiki
Wiki

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 22-intersecting when any two edges share at least two vertices. In a 22-intersecting rr-uniform hypergraph any edge with one vertex removed still meets every edge, so τ≤r−1\tau\le r-1; the paper studies those with τ=r−1\tau=r-1, its maximal covering number in this setting. Its standard example is (2r−2r)\binom{2r-2}{r}, all rr-subsets of a (2r−2)(2r-2)-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 (64)\binom{6}{4} 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 33-uniform analogue is Proposition 2.7 (p. 4): the only 33-uniform 22-intersecting hypergraph with maximum covering number is (43)\binom{4}{3}, 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 (64)\binom{6}{4}, 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 22-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 rr for which (2r−2r)\binom{2r-2}{r} is the only 22-intersecting rr-uniform hypergraph with maximal covering number, and whether there are infinitely many other examples. The proposition settles only the case r=4r=4, where (64)\binom{6}{4} is not the only example; it decides neither question.