The problem
Connect every pair of six dots and color each line red or blue. No matter how you choose, three dots have all three connecting lines the same color. Five dots can avoid that: make the edges of a five-sided cycle red and the remaining connections blue. The open question asks how fast the number of dots needed grows when the forced same-color group must be larger than three.[2]
Red and blue labels on all pairwise connections may look disorderly. How large must the set of points be before a same-color complete group is inevitable, and how does that threshold grow with the group's size? Define as the least for which every two-coloring of the complete graph on vertices contains a monochromatic -clique: vertices with all their connecting edges one color.
For six vertices, select one. At least three of its five edges share a color, say red. A red edge among those three neighbors completes a red triangle; if none is red, their three edges form a blue triangle. The five-cycle coloring avoids either triangle, so . The general asymptotic growth is the remaining target.[1] [2]
Scope
Asymptotic growth of the two-color diagonal Ramsey number R(k,k) as k tends to infinity.
What remains open
For all sufficiently large , the reviewed paper recalls an exponential lower estimate and proves an upper estimate for some fixed . These are selected established bounds, not a claim of current best constants.
Exponential growth means raising a fixed base to the growing group size; bases that remain apart leave a gap that grows exponentially. An improvement on one side is valuable without settling the sharp rate. This page does not assume that has a limit.[1] [2]
Why it matters
Arbitrary pairwise choices eventually force a completely uniform group. Equivalently, a sufficiently large network must have either many vertices all joined to each other or many with no joins between them. The threshold measures how long both kinds of order can be avoided.[2]
Treat red edges as connections in an ordinary graph and blue edges as absent connections. A monochromatic clique then gives either a completely connected group or a group with no internal connections. Ramsey growth quantifies how large both kinds of homogeneous group can be kept absent.
For a lower bound, take and color edges independently with equal probabilities. A fixed -vertex group is monochromatic with probability . The expected number of these groups among vertices is . If this is below one, some coloring has none. This gives an existence argument; it is different from proving that every coloring must contain a group.[2]
Definitions
3 terms
complete graph
A graph with one edge joining every pair of distinct vertices. On six vertices there are fifteen edges; their crossings in a drawing do not add vertices.[2]
monochromatic
All the relevant edges have the same color. A monochromatic triangle requires all three of its edges to agree; colors of edges leading outside it do not matter.[2]
exponential growth
Growth expressed by powers such as for a fixed base . Increasing by one multiplies that expression by ; a gap between fixed bases therefore compounds as the group size increases.[2]
Sources
- An exponential improvement for diagonal Ramsey
Notes on An exponential improvement for diagonal Ramsey
Fresh maintained Annals record still says forthcoming and gives acceptance June 30, 2025. Acceptance is not a publication day, so the original null remains. The abstract gives a selected exponential upper improvement; detailed theorem scope is read at the separately cited author preprint.
- An exponential improvement for diagonal Ramsey (author preprint)
Notes on An exponential improvement for diagonal Ramsey (author preprint)
First arXiv submission date; selected introduction and Theorem 1.1 freshly read in version 2, revised August 4, 2025. The theorem applies to sufficiently large group sizes. The PDF is not claimed byte-identical to a final journal version; no current best constant or growth-limit existence is asserted. The small-coloring and expectation examples are independently derived.