PAPER / ARXIV:2609.18166
Xi Chen , Animesh Fatehpuria , Shyamal Patel , Rocco Servedio
RESUMO
We study the challenging problem of learning depth-three circuits in the mistake-bound model of (realizable) online learning, which is a more difficult model than distribution-free PAC learning. Prior algorithms for this problem, due to Servedio and Tan [ST17], could only learn polynomial-size depth-three circuits of poly$(n)$ size over $\{0,1\}^n$ with a running time of $2^{n - \Omega(n/\log n)}$, and hence they ran in time $N^{1-o(1)}$ where $N=2^n$ is the running time of a naive memorization-based approach. In this work we substantially improve on the [ST17] result: for any constant $\gamma\geq1$, we give an algorithm that learns depth-three circuits of size $n^\gamma$ with running time \[ 2^{n-c_\gamma n}, \] where $c_\gamma>0$ depends only on $\gamma$ and not on $n$. Hence we achieve a polynomial savings over the naive approach for learning any polynomial-size depth-three circuit. The main driving force behind our improvement is an improved bound on the approximate degree of width-$k$ CNFs. Inspired by Szegedy [Sze04] and Magniez et al. [MNRS11], the rough idea of our construction is to use a Chebyshev polynomial to efficiently amplify the spectral gap of a carefully designed random walk. This is combined with a random-restriction-like approach to separately learn different subfunctions corresponding to different assignments to a randomly chosen set of variables, using the Perceptron algorithm over a specially designed feature space. A simplified warmup instantiation of our approach achieves $c_\gamma = \exp(-O(\gamma))$; by augmenting this warmup with further ingredients we obtain the sharp form of our result, which achieves $c_\gamma=\Omega(1)/\gamma$.
NO MESMO MAPA