Near-Optimal Statistical Query Hardness of Learning Halfspaces with Massart Noise

We study the problem of PAC learning halfspaces with Massart noise. Given labeled samples (x, y) from a distribution D on ℝd × ± 1 such that the marginal Dx on the examples is arbitrary and the label y of example x is generated from the target halfspace corrupted by a Massart adversary with flipping probability η(x) ≤ η ≤ 1/2, the goal is to compute a hypothesis with small misclassification error. The best known poly(d, 1/ε)-time algorithms for this problem achieve error of η+ε, which can be far from the optimal bound of OPT+ε, where OPT = Ex ~ Dx [η(x)]. While it is known that achieving OPT+o(1) error requires super-polynomial time in the Statistical Query model, a large gap remains between known upper and lower bounds. In this work, we essentially characterize the efficient learnability of Massart halfspaces in the Statistical Query (SQ) model. Specifically, we show that no efficient SQ algorithm for learning Massart halfspaces on ℝd can achieve error better than Omega(η), even if OPT = 2^-logc (d), for any universal constant c ∈ (0, 1). Furthermore, when the noise upper bound η is close to 1/2, our error lower bound becomes η - oη(1), where the oη(1) term goes to 0 when η approaches 1/2. Our results provide strong evidence that known learning algorithms for Massart halfspaces are nearly best possible, thereby resolving a longstanding open problem in learning theory.