Contents

-

An arithmetic analogue of Fox’s triangle removal argument

Pooya Hatami1, Sushant Sachdeva2, Madhur Tulsani3
1∗ Institute for Advanced Study, Princeton, NJ, USA. This work was done when the author was a student at University of Chicago.
2Department of Computer Science, Yale University, USA. Part of this work was done when the author was a student at Princeton University, and was visiting TTI Chicago.
3Toyota Technological Institute at Chicago.

Abstract

We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group F2n. A triangle in F2n is a triple (x,y,z) such that x+y+z=0. The triangle removal lemma for F2n states that for every ε>0 there is a δ>0, such that if a subset A of F2n requires the removal of at least ε2n elements to make it triangle-free, then it must contain at least δ22n triangles.

This problem was first studied by Green [Gre05] who proved a lower bound on δ using an arithmetic regularity lemma. Regularity-based lower bounds for triangle removal in graphs were recently improved by Fox, and we give a direct proof of an analogous improvement for triangle removal in F2n.

The improved lower bound was already known to follow (for triangle-removal in all groups) using Fox’s removal lemma for directed cycles and a reduction by Král, Serra, and Vena~\cite{KSV09} (see [Fox11, CF13]). The purpose of this note is to provide a direct Fourier-analytic proof for the group F2n.