Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For every , an -uniform hypergraph on vertices in which no vertices span three edges has edges. In the authors' notation, is the largest number of edges of an -uniform hypergraph on vertices in which the union of any edges has more than vertices, and Theorem 1.7 of P. Erdős, P. Frankl and V. Rödl, The asymptotic number of graphs not containing a fixed subgraph and a problem for hypergraphs having no exponent, Graphs Combin. 2 (1986), no. 1, 113--121, reads: "Suppose . Then the following hold. " (display (4), Section 1). Forbidding every -uniform hypergraph with vertices and edges therefore leaves edges, so the problem's is at most . The theorem's second part, display (5), shows that for every , so the bound has no power saving. The proof (Section 4) uses Szemerédi's regularity lemma; the authors note that the case is the theorem of Ruzsa and Szemerédi, recorded on Problem 716. The library card erdos_1986_asymptotic_number_graphs_not_containing_fixed digests the paper.
Covers. The case of Problem 1178 for every : together with the Brown–Erdős–Sós lower bound , the theorem gives , the conjectured value. Nothing for .
Depends on. The Brown–Erdős–Sós lower bound, which supplies the matching lower half .
Acceptance. Refereed publication in Graphs and Combinatorics (the
publisher's record: volume 2, issue 1, pp. 113--121, issued December 1986
with no day recorded; this page is dated the issue's first day). The site
labels the problem OPEN, so its commentary crediting the theorem with
is not listed as reviewed evidence. The text cited is the
scan in the Rényi Institute's Erdős archive,
https://users.renyi.hu/~p_erdos/1986-17.pdf. This claim is partial, so the
problem stays open.