You have 3 free guides left 😟
Unlock your guides
You have 3 free guides left 😟
Unlock your guides

5.2 Van der Waerden numbers and their properties

2 min readjuly 25, 2024

Van der Waerden numbers are crucial in Ramsey theory, guaranteeing monochromatic arithmetic progressions in colored sets. They're denoted as w(k,r), where k is the progression length and r is the number of colors used.

Calculating these numbers is tough, with exact values known only for small k and r. They grow rapidly, bounded by complex formulas. Properties like and help understand their behavior, but many mysteries remain unsolved.

Van der Waerden Numbers: Definition and Basic Properties

Definition of Van der Waerden numbers

Top images from around the web for Definition of Van der Waerden numbers
Top images from around the web for Definition of Van der Waerden numbers
  • Van der Waerden numbers denoted as [w(k,r)](https://www.fiveableKeyTerm:w(k,r))[w(k, r)](https://www.fiveableKeyTerm:w(k,_r)) represent smallest positive integer nn guaranteeing of length kk for any rr- of {1,2,...,n}\{1, 2, ..., n\}

  • kk (length of arithmetic progression) and rr (number of colors) determine specific

  • Significance in Ramsey theory guarantees existence of certain structures in colored sets and relates to on arithmetic progressions

Calculation of Van der Waerden numbers

  • Small Van der Waerden numbers include [w(3,2)](https://www.fiveableKeyTerm:w(3,2))=9[w(3, 2)](https://www.fiveableKeyTerm:w(3,_2)) = 9, [w(4,2)](https://www.fiveableKeyTerm:w(4,2))=35[w(4, 2)](https://www.fiveableKeyTerm:w(4,_2)) = 35, and [w(5,2)](https://www.fiveableKeyTerm:w(5,2))=178[w(5, 2)](https://www.fiveableKeyTerm:w(5,_2)) = 178

  • Growth rate increases rapidly with kk and rr, bounded above by w(k,r)2222(k1)rw(k, r) \leq 2^{2^{2^{2^{(k-1)}}}}\cdot r and below by w(k,r)rk1w(k, r) \geq r^{k-1}

  • Computational challenges arise as exact values known only for small kk and rr, becoming increasingly difficult to calculate for larger parameters ()

Properties of Van der Waerden numbers

  • Monotonicity states if k1k2k_1 \leq k_2 and r1r2r_1 \leq r_2, then w(k1,r1)w(k2,r2)w(k_1, r_1) \leq w(k_2, r_2), as larger parameters require more elements to guarantee desired structure

  • Subadditivity property w(k,r1+r2)w(k,r1)+w(k,r2)1w(k, r_1 + r_2) \leq w(k, r_1) + w(k, r_2) - 1 proved by combining separate colorings and applying

  • Symmetry w(k,r)=w(r,k)w(k, r) = w(r, k) holds for k=2k = 2, relating to Ramsey numbers through inequality w(k,r)R(k,k,...,k)w(k, r) \leq R(k, k, ..., k) (rr times)

Bounds for Van der Waerden numbers

  • Upper bounds include w(k,r)2222(k1)rw(k, r) \leq 2^{2^{2^{2^{(k-1)}}}}\cdot r and w(k,2)2222k+9w(k, 2) \leq 2^{2^{2^{2^{k+9}}}}

  • Lower bounds derived from w(p+1,2)p2pw(p + 1, 2) \geq p \cdot 2^p for prime pp and w(k,r)rk1w(k, r) \geq r^{k-1}

  • Large discrepancy between upper and lower bounds highlights gaps in knowledge, with exact values unknown for most kk and rr

  • Recent developments improve bounds for specific cases and establish connections to other areas of mathematics (additive combinatorics) and computer science (complexity theory)

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Glossary
Glossary