arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1909.02159math.ACcs.LGmath.CO
收藏

函数类通过序复形的自由分解

Free resolutions of function classes via order complexes

Georgia Institute of Technology(佐治亚理工学院);University of California, Berkeley(加州大学伯克利分校);Microsoft Research AI(微软研究院人工智能部门)

Justin Chen, Christopher Eur, Greg Yang, Mengyuan Zhang

摘要:

函数类是有限集上布尔函数的集合,是理论计算机科学的基本研究对象。我们研究与第三作者先前定义的函数类相关的理想的代数性质。我们考虑了交闭函数类的广泛的家庭,并描述细胞自由分解的理想相关联的偏序集的顺序复合。对于函数类所产生的拟阵,多面体胞腔复形,更一般的间隔科恩-麦考利偏序集,我们表明,多阶贝蒂数是纯的,并给出组合的默比乌斯函数。然后,我们应用我们的方法来获得VC维的一些重要的家庭在学习理论中的函数类的界限。

英文摘要:

Function classes are collections of Boolean functions on a finite set, which are fundamental objects of study in theoretical computer science. We study algebraic properties of ideals associated to function classes previously defined by the third author. We consider the broad family of intersection-closed function classes, and describe cellular free resolutions of their ideals by order complexes of the associated posets. For function classes arising from matroids, polyhedral cell complexes, and more generally interval Cohen-Macaulay posets, we show that the multigraded Betti numbers are pure, and are given combinatorially by the Möbius functions. We then apply our methods to derive bounds on the VC dimension of some important families of function classes in learning theory.

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

↑