Wiki
Wiki

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

Updated


Claim. Three results of the paper that posed the question give families of graphs GG that are Ramsey size linear, that is, r(G,Hn)≤CG nr(G,H_n)\le C_G\,n for every graph HnH_n of size nn without isolated vertices (Definition 1, p. 390):

  • Theorem 4 (p. 393; theorem_4): a connected graph GG with q(G)≤p(G)+1q(G)\le p(G)+1 is Ramsey size linear.
  • Corollary 2 (p. 392; corollary_2): for every tree Tp−1T_{p-1} on p−1≥1p-1\ge1 vertices and every graph HnH_n of size nn without isolated vertices, r(K1+Tp−1,Hn)≤2(p−1)nr(K_1+T_{p-1},H_n)\le2(p-1)n.
  • Theorem 5 (p. 394; theorem_5): if ext(G,n)≤cn3/2\mathrm{ext}(G,n)\le cn^{3/2}, then r(G,Hn)≤(32c2+8)nr(G,H_n)\le(32c^2+8)n for every graph HnH_n of size nn without isolates.

Each family lies inside the hypothesis of the corrected Statement of Problem 566, so each result answers that Statement yes for the graphs it covers.

Covers. The corrected Statement (every subgraph on k≥2k\ge2 vertices has at most 2k−32k-3 edges) for three classes of GG. On two and three vertices the bound holds in every graph, so only subgraphs on k≥4k\ge4 vertices need checking (elementary checks made here).

  • Connected GG with q≤p+1q\le p+1: a subgraph keeps at most the graph's cyclomatic number, 22, so a subgraph on kk vertices has at most k+1≤2k−3k+1\le2k-3 edges for k≥4k\ge4. Connectedness is needed: K4∪2K2K_4\cup2K_2 has 88 vertices and 88 edges and contains K4K_4.
  • K1+Tp−1K_1+T_{p-1}: a subgraph on kk vertices containing the apex has at most (k−1)+(k−2)=2k−3(k-1)+(k-2)=2k-3 edges, and one avoiding it is a forest with at most k−1k-1 edges; the whole graph meets the bound with equality.
  • ext(G,n)≤cn3/2\mathrm{ext}(G,n)\le cn^{3/2}: a subgraph SS with p≥3p\ge3 vertices and q≥2p−2q\ge2p-2 edges would give, by the standard random deletion bound, ext(G,n)≥ext(S,n)=Ω(n2−(p−2)/(q−1))\mathrm{ext}(G,n)\ge\mathrm{ext}(S,n)=\Omega(n^{2-(p-2)/(q-1)}), and 2−(p−2)/(q−1)≥2−(p−2)/(2p−3)>3/22-(p-2)/(q-1)\ge2-(p-2)/(2p-3)>3/2, contradicting the hypothesis.

The density question for all graphs meeting the hypothesis is not settled. None of the three results covers K3,3K_{3,3} or K5−(K1,2∪K2)K_5-(K_{1,2}\cup K_2), and Theorem 5 covers Q3Q_3 only if ext(Q3,n)=O(n3/2)\mathrm{ext}(Q_3,n)=O(n^{3/2}), which is open (Problems 567 and 576).

Depends on. Nothing in this wiki; the results rest on the cited paper alone.

Acceptance. Refereed: P. Erdős, R. J. Faudree, C. C. Rousseau and R. H. Schelp, Ramsey size linear graphs, Combin. Probab. Comput. 2 (1993), no. 4, 389--399, received 12 March 1993 and printed in the December 1993 issue, the month this page is dated by; the day is a placeholder. The site labels the problem OPEN; its commentary credits the paper with Ramsey size linearity for graphs on nn vertices with at most n+1n+1 edges, omitting the connectedness Theorem 4 requires, and is not an acceptance.

Read depth. The statements of Theorems 3, 4 and 5 and Corollary 2 were checked clause by clause; their proofs (pp. 392--395) were checked for structure only. Nothing is independently reviewed in this corpus.