English

Sets avoiding $p$-term arithmetic progressions in ${\mathbb Z}_{q}^n$ are exponentially small

Number Theory 2020-12-18 v2 Combinatorics

Abstract

Pach and Palincza proved the following generalization of Ellenberg and Gijswijt's bound for the size of kk-term arithmetic progression-free subsets, where k{4,5,6}k\in \{4,5,6\}: Let m>0m>0 be an integer such that 66 divides mm and let k{4,5,6}k\in \{4,5,6\}. Then rk(Zmn)(0.948m)n r_k({\mathbb Z}_{m}^n)\leq (0.948m)^n if nn is sufficiently large. Building on the proof technique of Pach and Palincza's upper bound we generalize the Ellenberg and Gijswijt's bound in the following way: Let p>2p>2 be any integer and let q>2q>2 be a prime. Suppose that pqp\leq q. Then the there exists an n0Nn_0\in \mathbb N integer and a 0<δ(p,q)<10<\delta(p,q)<1 real number such that rp(Zqn)(δ(p,q)q)n r_p({\mathbb Z}_{q}^n)\leq (\delta(p,q)q)^n for each n>n0n>n_0.

Keywords

Cite

@article{arxiv.2012.08426,
  title  = {Sets avoiding $p$-term arithmetic progressions in ${\mathbb Z}_{q}^n$ are exponentially small},
  author = {Gábor Hegedüs},
  journal= {arXiv preprint arXiv:2012.08426},
  year   = {2020}
}

Comments

there is a fatal error in the proof of Lemma 1.9

R2 v1 2026-06-23T20:59:29.872Z