{"id":"arxiv/2604.05768","url":"https://arxiv.org/abs/2604.05768","tags":["math.DS","math.CO"],"score":0,"title":"On the Furstenberg-Katznelson constant for the IP Szemeredi theorem over finite fields","domain":"math.DS","source":"arxiv","authors":["Or Shalom"],"reviews":0,"subject":"math.DS","summary":"Bergelson et al. observed that Furstenberg's proof of Szemeredi's theorem provides a positive lower bound on the density of arithmetic progressions in sets of positive density in the integers. Namely, for every $δ\\in(0,1]$ and every $k\\in \\mathbb{N}$, there exists a positive constant $c=c(k,δ)>0$ such that $$\\{n\\in \\mathbb{N} : d(E\\cap (E-n)\\cap\\dots\\cap (E-(k-1)n))>c(k,δ)\\} \\neq \\emptyset$$ whenever $d(E)\\ge δ$. Similarly, Furstenberg and Katznelson proved the IP Szemeredi theorem, establishing in particular the existence of a constant $c_{\\mathrm{IP}}=c_{\\mathrm{IP}}(k,δ)>0$ such that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-07","reactions":{}}