Biased Halfspaces, Noise Sensitivity, and Local Chernoff Inequalities

A halfspace is a function f :{-1,1}(n) -> {0,1} of the form f (x) = 1(a.x > t), where Sigma(i)a(i)(2) - 1. We show that if f is a halfspace with E[f] = epsilon and a' = max(i) broken vertical bar a(i)broken vertical bar , then the degree-1 Fourier weight of f isW(1) (f) = Theta (epsilon(2) log (1/epsilon)), and the maximal influence of f is I-max (f) = Theta(epsilon min (1,a'root log (1/epsilon))). These results, which determine the exact asymptotic order of W-1 (f) and I-max (f), provide sharp generalizations of theorems proved by Matulef, O'Donnell, Rubinfeld, and Servedio, and settle a conjecture posed by Kalai, Keller and Mossel. In addition, we present a refinement of the definition of noise sensitivity which takes into consideration the bias of the function, and show that (like in the unbiased case) halfspaces are noise resistant, and, in the other direction, any noise resistant function is well correlated with a halfspace. Our main tools are 'local' forms of the classical Chernoff inequality, like the following one proved by Devroye and Lugosi (2008): Let {x(i)} be independent random variables uniformly distributed in {-1,1}, and let a(i) epsilon R(>=)0 be such that Sigma(i)a(i)(2) = 1. If for some t >= 0 we have Pr [Sigma(i)a(i)x(i) > t] = epsilon, then Pr [Sigma(i) a(i)x(i) > t + delta] <= epsilon/2 holds for delta <= c/ root log (1/epsilon), where c is a universal constant.