arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2202.05096cs.LG
收藏

具有高斯边缘的半空间不可知学习交的近优统计查询下界

Near-Optimal Statistical Query Lower Bounds for Agnostically Learning Intersections of Halfspaces with Gaussian Marginals

Columbia University(哥伦比亚大学)

Daniel Hsu, Clayton Sanford, Rocco Servedio, Emmanouil-Vasileios Vlatakis-Gkaragkounis

摘要:

我们考虑了在具有挑战性的\emph{agnostic learning}模型中学习高斯分布下半空间的交集的问题。Diakonikolas等人(2021)的最新工作表明,任何用于不可知地学习$k$半空间在$\mathbb{R}^n$上的交集类的统计查询(SQ)算法都必须进行最多$n^{-\tildeΩ(\sqrt{\log k})}$的公差查询,或者必须进行$2^{n^{Ω(1)}}$查询。我们通过提高对$n^{-\tildeΩ(\log k)}$的公差要求来加强这一结果。该下限基本上是最佳可能的,因为Klivans等人(2008)的SQ算法使用容差$n^{-O(\log k)}$的$n^{O(\log k)}$查询不可知地将该类学习到任何恒定的过量误差。我们证明了我们的下界的两个变体,每个变体都结合了Diakonikolas et al.(2021)的成分和Dachman-Soled et al.(2014)的布尔设置的不可知SQ下界的不同早期方法(的扩展)。我们的方法还为不可知SQ学习“凸子空间juntas”类(由Vempala研究,2010年)和具有有界高斯表面积的集合类产生了下界;所有这些下界几乎都是最优的,因为它们基本上与Klivans等人(2008)的已知上界相匹配。

英文摘要:

We consider the well-studied problem of learning intersections of halfspaces under the Gaussian distribution in the challenging \emph{agnostic learning} model. Recent work of Diakonikolas et al. (2021) shows that any Statistical Query (SQ) algorithm for agnostically learning the class of intersections of $k$ halfspaces over $\mathbb{R}^n$ to constant excess error either must make queries of tolerance at most $n^{-\tildeΩ(\sqrt{\log k})}$ or must make $2^{n^{Ω(1)}}$ queries. We strengthen this result by improving the tolerance requirement to $n^{-\tildeΩ(\log k)}$. This lower bound is essentially best possible since an SQ algorithm of Klivans et al. (2008) agnostically learns this class to any constant excess error using $n^{O(\log k)}$ queries of tolerance $n^{-O(\log k)}$. We prove two variants of our lower bound, each of which combines ingredients from Diakonikolas et al. (2021) with (an extension of) a different earlier approach for agnostic SQ lower bounds for the Boolean setting due to Dachman-Soled et al. (2014). Our approach also yields lower bounds for agnostically SQ learning the class of "convex subspace juntas" (studied by Vempala, 2010) and the class of sets with bounded Gaussian surface area; all of these lower bounds are nearly optimal since they essentially match known upper bounds from Klivans et al. (2008).

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑