An improved lower bound for arithmetic regularity

From MaRDI portal



Abstract: The arithmetic regularity lemma due to Green [GAFA 2005] is an analogue of the famous Szemer{'e}di regularity lemma in graph theory. It shows that for any abelian group G and any bounded function f:Go[0,1], there exists a subgroup HleG of bounded index such that, when restricted to most cosets of H, the function f is pseudorandom in the sense that all its nontrivial Fourier coefficients are small. Quantitatively, if one wishes to obtain that for 1−epsilon fraction of the cosets, the nontrivial Fourier coefficients are bounded by epsilon, then Green shows that |G/H| is bounded by a tower of twos of height 1/epsilon3. He also gives an example showing that a tower of height Omega(log1/epsilon) is necessary. Here, we give an improved example, showing that a tower of height Omega(1/epsilon) is necessary.












This page was built for publication: An improved lower bound for arithmetic regularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5360402)