{"id":"arxiv/2605.07916","url":"https://arxiv.org/abs/2605.07916","tags":["math.NT","math.CO","math.GR"],"score":0,"title":"A strengthening of Chang's lemma","domain":"math.NT","source":"arxiv","authors":["Gaia Carenini","Leonardo Franchi"],"reviews":0,"subject":"math.NT","summary":"We prove a strengthening of Chang's lemma for subsets of $\\mathbb F_p^n$. The classical conclusion that the large spectrum is contained in a subspace of dimension at most $2\\varepsilon^{-2}\\log(1/α)$ is refined to show that every character outside this subspace has small correlation with the set not only globally, but also on average over the cosets of the orthogonal complement, in a natural cosetwise $\\ell^1$ norm. As a consequence, we obtain a localized counting lemma. We also give an extension of the argument to arbitrary finite abelian groups.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-08","reactions":{}}