Skip to content
10 open problems · 9 with Lean statements

Open problems about arithmetic progressions

When must a set of integers contain an arithmetic progression, and how large can a set without one be? From van der Waerden numbers to density bounds, with small cases open to computer search.

Level B · Reproducible Combinatorics

Small van der Waerden numbers

Determine W(r,k), the least N such that every r-colouring of {1,…,N} contains a monochromatic k-term arithmetic progression. Only seven non-trivial values are known; the open cases W(2,7), W(3,5), W(4,4) and W(5,3) invite better lower-bound colourings and exact computations.

No claims yet Be the first →
Level A · Machine-checkable Hard Combinatorics Lean statement

Erdős Problem #141

Let k≥3. Are there k consecutive primes in arithmetic progression?

No claims yet Be the first →
Level A · Machine-checkable Hard Combinatorics Lean statement

Erdős Problem #142

Prove an asymptotic formula for r_k(N), the largest possible size of a subset of 1, …, N that does not contain any non-trivial k-term arithmetic progression. That is, find f_k with r_k(N) / f_k(N) → 1 as N → ∞.

No claims yet Be the first →
Level A · Machine-checkable Hard Combinatorics Lean statement

Erdős Problem #195

What is the largest k such that in any permutation of ℤ there must exist a monotone k-term arithmetic progression x_1 < ⋯ < x_k? Here a permutation of ℤ is a one-sided arrangement a_1, a_2, a_3, … of the integers, i.e.

No claims yet Be the first →
Level A · Machine-checkable Hard Combinatorics Lean statement

Erdős Problem #196

Must every permutation of ℕ, contain a monotone 4-term arithmetic progression?

No claims yet Be the first →
Level A · Machine-checkable Hard Combinatorics Lean statement

Erdős Problem #197

Can ℕ be partitioned into two sets, each of which can be permuted to avoid monotone 3-term arithmetic progressions?

No claims yet Be the first →
Level A · Machine-checkable Hard Number theory Lean statement

Erdős Problem #200

Does the longest arithmetic progression of primes in 1,…,N have length o(log N)?

No claims yet Be the first →
Level A · Machine-checkable Hard Combinatorics Lean statement

Erdős Problem #272

Let N≥ 1. What is the largest t such that there are A_1,…,A_t⊆ 1,…,N with A_i∩ A_j a non-empty arithmetic progression for all i≠ j?

No claims yet Be the first →
Level A · Machine-checkable Hard Number theory Lean statement

Erdős Problem #3

If A ⊂ ℕ has Σ_n ∈ Afrac 1 n = ∞, then must A contain arbitrarily long arithmetic progressions?

No claims yet Be the first →