Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Theorem 1.1. For some absolute constant , every tree on vertices with maximum degree , whose bipartition classes have sizes , has
Context from the same page: the lower bound is Burr's (two constructions, Figure 1: disjoint blue cliques on and vertices, or on two sets of vertices, with all edges between them red); the constant "is very small due to the use of regularity methods, and is likely very far from optimal"; the double-star examples of Norin, Sun and Zhao show that "cannot be improved beyond "; the existence of answers a question of Stein (2020). For , the theorem gives for every tree with classes and whose maximum degree is at most .
Source. R. Montgomery, M. Pavez-Signé and J. Yan, Ramsey numbers of trees, arXiv:2509.07934v1 (9 September 2025; the PDF is dated September 10, 2025), 59 pages; Theorem 1.1 on p. 2, read on the page image of the retained PDF. Preprint: no journal record was found on 2026-09-17.
Read depth. Claims checked: the statement and the surrounding remarks on p. 2 were read clause by clause on the page image. The proof (Sections 2--7, pp. 3--59) was not read.
Proof pointer
Section 2.1 (p. 3) divides the proof into a stability part (Sections 4--5, regularity embedding lemmas and four stages of embedding attempts, ending either with a monochromatic or with a coloring close to one of Burr's two constructions) and an extremal part (Sections 6--7, one section per construction), which the authors call "rather involved"; Section 3 outlines the stability part.
Dependencies
External inputs named in the introduction: Haxell, Łuczak and Tingley's 2002 structure in the reduced graph, Szemerédi's regularity lemma, and the example of Komlós, Sárközy and Szemerédi that makes the extremal part delicate.
Bears on
- Problem 549: the positive restricted case. For trees with classes and the equality holds whenever , and the double stars show the degree condition cannot be removed.
- Problem 547: the exact value for trees with , which lies below the problem's bound since for , . The paragraph after the theorem (p. 2, read on the page image) records that Burr and Erdős "conjectured in 1976 that for any -vertex tree , when is even and when is odd, or in other words ", that Zhao showed this for all large even in 2011, and that it "follows directly from the Erdős-Sós conjecture", hence for large from the announced proof of that conjecture for large trees; these are the paper's attributions, not results proved in it.