Affordable Access

Improved Bounds for Progression-Free Sets in C^n₈

  • Petrov, Fedor
  • Pohoata, Cosmin
Publication Date
Feb 12, 2020
Caltech Authors
External links


Let G be a finite group, and let r₃(G) represent the size of the largest subset of G without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that r₃(C₄^n) ≤ (3.611)^n, where C_m denotes the cyclic group of order m. For finite abelian groups G≅∏^n_(i=1), where m₁,…,m_n denote positive integers such that m₁ |…|m_n, this also yields a bound of the form r₃(G)⩽(0.903)^(rk₄(G))|G|, with rk₄(G) representing the number of indices i ∈ {1,…, n} with 4 |m_i. In particular, r₃(Cn₈) ≤ (7.222)^n. In this paper, we provide an exponential improvement for this bound, namely r₃(Cn₈) ≤ (7.0899)^n.

Report this publication


Seen <100 times