Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. For every r≥3r\ge3, an rr-uniform hypergraph on nn vertices in which no 3r−33r-3 vertices span three edges has o(n2)o(n^2) edges. In the authors' notation, gn(v,e,r)g_n(v,e,r) is the largest number of edges of an rr-uniform hypergraph on nn vertices in which the union of any ee edges has more than vv 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 r≥3r\geq3. Then the following hold. gn(3r−3,3,r)=o(n2)g_n(3r-3,3,r)=o(n^2)" (display (4), Section 1). Forbidding every rr-uniform hypergraph with 3r−33r-3 vertices and 33 edges therefore leaves o(n2)o(n^2) edges, so the problem's dr(3)d_r(3) is at most 3r−3=(r−2)⋅3+33r-3=(r-2)\cdot3+3. The theorem's second part, display (5), shows that gn(3r−3,3,r)/nc→∞g_n(3r-3,3,r)/n^c\to\infty for every c<2c<2, so the bound has no power saving. The proof (Section 4) uses Szemerédi's regularity lemma; the authors note that the case r=3r=3 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 e=3e=3 of Problem 1178 for every r≥3r\ge3: together with the Brown–Erdős–Sós lower bound dr(e)≥(r−2)e+3d_r(e)\ge(r-2)e+3, the theorem gives dr(3)=3r−3d_r(3)=3r-3, the conjectured value. Nothing for e≥4e\ge4.

Depends on. The Brown–Erdős–Sós lower bound, which supplies the matching lower half dr(3)≥3r−3d_r(3)\ge3r-3.

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 dr(3)=3r−3d_r(3)=3r-3 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.