Wiki
Wiki

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

Updated


Claim. Theorem 4.1 of P. Erdős and F. Galvin, Some Ramsey-type theorems, paged at Theorem 4.1 of the library's source card, with the partition its proof gives: for every φ:N→N\varphi:\mathbb{N}\to\mathbb{N} there is a partition N=C1∪C2\mathbb{N}=C_1\cup C_2 (with φ\varphi first taken strictly increasing, write x=2ryx=2^ry with yy odd; x∈C2x\in C_2 if y≥φ(2r+1)y\ge\varphi(2^{r+1}), else x∈C1x\in C_1) such that, for every infinite sequence x1<x2<⋯x_1<x_2<\cdots of positive integers, if the sums of consecutive terms CFS({x1,x2,…})\mathrm{CFS}(\{x_1,x_2,\ldots\}) lie in one class, then that class is C2C_2 and xn>φ(n)x_n>\varphi(n) for all nn. Since CFS⊆FS\mathrm{CFS}\subseteq\mathrm{FS}, a sequence whose finite sums all lie in one class has xn>φ(n)x_n>\varphi(n) for every nn. With two colors, finite sums that do not contain all colors lie in one class, so with φ=f\varphi=f no sequence with an<f(n)a_n<f(n) for even one nn qualifies, and for k=2k=2 no ff has the property Problem 948 asks for. The same holds for colorings of all integers and sequences that may begin with nonpositive terms: color the nonpositive integers arbitrarily and apply the theorem with φ(m)=max⁡j≤2mf(j)\varphi(m)=\max_{j\le2m}f(j) to the positive tail xm=am0+mx_m=a_{m_0+m}, whose finite sums are among those of the whole sequence (one authored line).

Covers. The case k=2k=2 (two colors) for every ff, which is Erdős's original monochromatic question; Erdős's 1977 report ([Er77c], p. 57) credited the coloring to Galvin without proof. The case k=1k=1 fails trivially, and the paper's Problem 4.2 records the case of three classes as unknown. Every number of colors is the accepted full claim of 2026.

Depends on. Nothing in this wiki; the result rests on the cited paper alone.

Acceptance. Refereed: P. Erdős and F. Galvin, Some Ramsey-type theorems, Discrete Math. 87 (1991), no. 3, 261--269 (received 3 January 1989). Reviewed: the site's curator, T. F. Bloom, credits Galvin's coloring with the negative answer for k=2k=2 in the problem's commentary, on the page labeled SOLVED (last edited 5 July 2026).

Dating. The page is dated by the issue month, February 1991 in the Crossref record; the day is a placeholder.