{"id":"arxiv/2606.23659","url":"https://arxiv.org/abs/2606.23659","tags":["math.CO"],"score":0,"title":"A Resolution of Erdős Problem 550 on Tree versus Complete Multipartite Ramsey Numbers","domain":"math.CO","source":"arxiv","authors":["Eric Li"],"reviews":0,"subject":"math.CO","summary":"We resolve Erdős Problem 550, originally asked as question (2) of Erdős, Faudree, Rousseau, and Schelp. Precisely, for fixed integers $k\\geq 2$ and $1\\leq m_1\\leq \\cdots \\leq m_k$, we prove that, for every sufficiently large $n$ and every $n$-vertex tree $T$, $R(T,K_{m_1,\\ldots,m_k}) \\leq (k-1)(R(T,K_{m_1,m_2})-1)+m_1$. The proof combines an off-Turán tree-embedding theorem, proved by regularity and whole-edge allocation, with a compactness theorem for bounded-rank hypergraph obstructions. The full and unconditional proof has been formally verified in Lean.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}