Green's conjecture and testing linear-invariant properties

A system of linear equations in p unknowns Mx = b is said to have the removal property if every set S ⊆ {1, . . . , n} which contains o(np− ) solutions of Mx = b can be turned into a set S containing no solution of Mx = b, by the removal of o(n) elements. Green [GAFA 2005] proved that a single homogenous linear equation always has the removal property, and conjectured that every set of homogenous linear equations has the removal property. In this paper we confirm Green’s conjecture by showing that every set of linear equations (even non-homogenous) has the removal property. We also discuss some applications of our result in theoretical computer science, and in particular, use it to resolve a conjecture of Bhattacharyya, Chen, Sudan and Xie [4] related to algorithms for testing properties of boolean functions. 1 Background on removal lemmas The (triangle) removal lemma of Ruzsa and Szemer´edi [18], which is by now a cornerstone result in combinatorics, states that a graph on n ...

• Type: Conference
• Year: 2009
• Where: STOC
• Authors: Asaf Shapira
• Keywords: Algorithms, Linear Equations, Removal Lemma, Removal Property, STOC 2009