MathLabs
TheoremProved

Exact evaluation R(3, 3) = 6

Statement

The Ramsey number R(3,3)R(3, 3) equals 66: every 22-coloring of the edges of K6K_6 contains a monochromatic K3K_3, while K5K_5 admits a coloring with no monochromatic K3K_3.

Why is it true?

A single vertex in K6K_6 has 55 neighbors; splitting them into 22 colors puts at least 33 in the same class, and whether those 33 have an edge of that color among themselves or not, a monochromatic triangle appears.

Proof sketch

**Step 1 (upper bound R(3,3)≤6R(3,3) \le 6).** Pick any vertex vv of K6K_6. Its 55 incident edges are colored red or blue. By the pigeonhole principle (⌈5/2⌉=3\lceil 5/2 \rceil = 3), at least 33 of these edges have the same color — say edges vu1,vu2,vu3vu_1, vu_2, vu_3 are all red.

**Step 2 (case split on {u1,u2,u3}\{u_1, u_2, u_3\}).** Look at the 33 edges inside the triangle {u1,u2,u3}\{u_1, u_2, u_3\}. If any one of them — say u1u2u_1u_2 — is red, then {v,u1,u2}\{v, u_1, u_2\} is a red K3K_3. Otherwise all 33 edges u1u2,u2u3,u3u1u_1u_2, u_2u_3, u_3u_1 are blue, so {u1,u2,u3}\{u_1, u_2, u_3\} itself is a blue K3K_3.

**Step 3 (lower bound R(3,3)>5R(3,3) > 5).** Label the vertices of K5K_5 by Z/5Z\mathbb{Z}/5\mathbb{Z}. Color edge ijij red if i−j≡±1(mod5)i - j \equiv \pm 1 \pmod 5 and blue if i−j≡±2(mod5)i - j \equiv \pm 2 \pmod 5. Both color classes form a 55-cycle, triangle-free, proving R(3,3)>5R(3,3) > 5 and hence R(3,3)=6R(3,3) = 6.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Marcelo Campos, Simon Griffiths, Robert Morris, Julian Sahasrabudhe (2023). An exponential improvement for diagonal Ramsey · arXiv:2303.09521
  2. Sam Mattheus, Jacques Verstraëte (2024). The asymptotics of r(4,t) · DOI:10.4007/annals.2024.199.2.8
  3. Ronald L. Graham, Bruce L. Rothschild, Joel H. Spencer (1990). Ramsey Theory (2nd ed.)