| A proof of Green’s conjecture regarding the removal properties of sets of linear equations (2009) | |||||||||||||||
Abstract | |||||||||||||||
| 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(n p−ℓ) 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 [7] related to algorithms for testing properties of boolean functions. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||