×

限制多项式阈值函数的灵敏度。 (英语) Zbl 1366.68096号

摘要:我们给出了多项式阈值函数的平均灵敏度和噪声灵敏度的第一个非平凡上界。更具体地说,对于变量(n)上的布尔函数(f)等于实数多元总次数多项式(d)的符号,我们证明了
\(\项目符号\)
(f)的平均灵敏度最高为(O(n^{1-1/(4d+6)})。(我们还给出了界(O(n^{1-1/2^d}))的组合证明。)
\(\项目符号\)
(f)与噪声率(δ)的噪声灵敏度最高为(O(δ{1/(4d+6)})。以前,只有度(d=1)情况的边界是已知的(分别是平均灵敏度和噪声灵敏度的(O(sqrt{n})和(O(\sqrt{delta}))。
我们重点介绍了我们的结果在学习理论中的一些应用,其中我们的边界立即产生了新的不可知学习算法,并解决了第二作者等人的一个公开问题。[“通过高斯表面积学习几何概念”,载于:第49届IEEE计算机科学基础研讨会论文集,FOCS'08。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。541–550 (2008;doi:10.1109/FOCS.2008.64)].
我们结果的证明使用了(i)不变性原理E.莫塞尔等[Ann.Math.(2)171,No.1,295–341(2010;Zbl 1201.60031号)],(ii)由于A.Carbery公司J.赖特【数学研究快报8,第3期,233-248(2001年;兹伯利0989.26010)](iii)通过超压缩得到的多项式阈值函数随机约束的新结构定理。
这些结构结果可能具有独立的意义,因为它们提供了一个通用模板,用于将布尔超立方体上定义的多项式阈值函数相关的问题转换为高斯空间中定义的多项式阈函数。

MSC公司:

65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
68问题32 计算学习理论
94立方厘米 交换理论,布尔代数的应用;布尔函数(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] [1] NOGAALON、GREGORYGUTIN、ANDMICHAELKRIVELEVICH:具有较大控制比的算法。《算法杂志》,50(1):118–1312004年。[doi:10.1016/j.jalgor.2003.09.003]9
[2] [2] JAMESASPNES、RICHARDBEIGEL、MERRICKL。安德鲁·福斯特:投票多项式的表达能力。组合数学,14(2):135–1481994。STOC'91的初步版本。[doi:10.1007/BF01215346]2
[3] [3] 罗伯特比尔斯、哈里伯曼、理查德克利夫、米歇列莫斯卡、安德罗纳尔德·沃尔夫:多项式的量子下限。美国医学杂志,48(4):778–7972001。FOCS’98的初步版本。[doi:10.1145/502090.502097]2
[4] [4] RICHARDBEIGEL:电路复杂性的多项式方法。程序中。第八届IEEE复杂性理论结构会议(SCT’93),第82-95页。IEEE组件。Soc.出版社,1993年。[doi:10.1109/SCT.1993.336538]2
[5] [5] 迈克尔本·奥尔·安德纳森利尼亚尔:集体抛硬币,稳健的投票方案和最低限度的班扎夫价值。程序中。第26届FOCS,第408-416页。IEEE组件。Soc.出版社,1985年。[doi:10.1109/SFCS.1985.15]2
[6] [6] ITAIBENJAMINI,GILKALAI,ANDODEDSCHRAMM:布尔函数的噪声敏感性和渗流应用。高等科学研究院。出版物。数学。,90(1):5–43, 1999. 另请参阅arXiv。[doi:10.1007/BF02698830]2《计算理论》,第10卷(1),2014年,第1–2622页,《多项式阈值函数的灵敏度》
[7] [7] ERICBLAIS,RYANO'DONNELL,ANDKARLWIMMER:任意产品分布下的多项式回归。机器学习,80(2-3):273-2942010。2008年COLT的初步版本。[doi:10.1007/s10994-010-5179-6]6
[8] [8] ANTHONYCARBERY and JAMESWRIGHT:Rn中凸体上多项式的分布不等式和Lq范数不等式。《数学研究快报》,8(3):233-2482001年。[doi:10.4310/MRL.2001.v8.n3.a1]5,8,13
[9] [9] ILIASDIAKONIKOLAS、PARIKSHITGOPALAN、RAGESHJAISWAL、ROCCOA。SERVEDIO和EMANUELEVIOLA:有限的独立愚弄了半场。SIAM J.计算。,39(8):3441–3462, 2010. FOCS’09的初步版本。另请参阅ECCC。[doi:10.1137/100783030]4,9
[10] [10] ILIASDIAKONIKOLAS、PRAHLADHHARSHA、ADAMKLIVANS、RAGHUMEKA、PRASAD RAGHAVENDRA、ROCCOA。SERVEDIO,ANDLI-YANGTAN:限制多项式阈值函数的平均灵敏度和噪声灵敏度。程序中。第42届STOC,第533–542页。ACM出版社,2010年。[doi:10.1145/1806689.1806763]1
[11] [11] ILIASDIAKONIKOLAS、PRASADRAGHAVENDRA、ROCCOSERVEDIO、ANDLI-YANGTAN:多项式阈值函数的平均灵敏度和噪声灵敏度。2009年技术报告。出现在SIAM J.Comput。[arXiv:0909.5011]1,3,5,12,13
[12] [12] 洛可可州伊利亚斯德亚科尼科拉斯。SERVEDIO,LI-YANGTAN,ANDANDREWWAN:低阶多项式阈值函数的正则引理和低权逼近器。计算理论,10(2):27-532014。CCC’10的初步版本。另请参见atarXiv。[doi:10.4086/toc.2014.v010a002]5
[13] [13] CRAIGGOTSMAN ANDHANLINIAL:阈值函数的谱特性。Combinatorica,14(1):35-501994。[doi:10.1007/BF01305949]2、4
[14] [14] JOHANHáSTAD:一些最佳不可接近性结果。美国医学杂志,48(4):798–8592001。STOC'97中的初步版本。[doi:10.1145/502090.502098]2
[15] [15] 大卫·豪斯勒:用于神经网络和其他学习应用的PAC模型的决策理论推广。通知。和计算。,100(1):78–150, 1992. ALT'90的初步版本。[doi:10.1016/0890-5401(92)90010-D]6
[16] [16] SVANTEJANSON:高斯希尔伯特空间。剑桥大学。出版社,1997年。[doi:10.1017/CBO9780511526169]22
[17] [17] JEFFKAHN,GILKALAI,ANDNATHANLINIAL:变量对布尔函数的影响。程序中。第29届FOCS,第68-80页。IEEE组件。Soc.出版社,1988年。[doi:10.1109/SFCS.1988.21923]2
[18] [18] 阿达姆塔曼卡莱。克利夫兰人、伊莎曼苏尔人、安卓科亚人。SERVEDIO:不可知的学习半空间。SIAM J.计算。,37(6):1777–1805, 2008. FOCS’05的初步版本。[doi:10.1137/060649057]2,6《计算理论》,第10卷(1),2014年,第1–2623页,普拉哈夏,阿达姆克利文斯,安德拉胡梅卡
[19] [19] 吉尔卡莱:社会选择理论中的噪音敏感性和混乱。《组合数学与计算机科学的盛宴》,第173-212页。施普林格,2010年。[doi:10.1007/978-3642-13580-48]2·Zbl 1206.91033号
[20] [20] 丹尼尔姆。KANE:d阶多项式阈值函数的高斯表面积和噪声敏感性。计算。复杂性,20(2):389–4122011。另请参见atarXiv。[doi:10.1007/s00037011-0012-6]5·Zbl 1230.68169号
[21] [21]丹尼尔。凯恩:弱反集中高斯混沌的结构定理及其在多项式阈值函数研究中的应用。程序中。第53届FOCS,第91-100页。IEEE组件。Soc.出版社,2012年。[doi:10.1109/FOCS.2012.52]5
[22] [22]迈克尔。罗伯特·凯恩斯。安德琳达塞利·夏皮尔:走向高效的不可知论学习。机器学习,17(2-3):115–1411994。COLT’92初版。[doi:10.1007/BF00993468]6
[23] [23]SUBHASHKHOT、GUYKINDLER、ELCHANANMOSEL、ANDRYANO'DONNELL:MAX-CUT和其他2变量CSP的最佳不可接近性结果?SIAM J.计算。,37(1):319– 357, 2007. FOCS’04中的初步版本。另请参阅ECCC。[doi:10.1137/S0097539705447372]2
[24] [24]阿达姆。克里凡斯、莱亚诺·唐奈尔、安道尔。SERVEDIO:学习半空间的交点和阈值。J.计算。系统科学。,68(4):808–840, 2004. FOCS'02中的初步版本。[doi:10.1016/j.jcss.2003.11.002]2,6
[25] [25]阿达姆。克利万斯,瑞安·唐纳尔,安德罗科。SERVEDIO:通过高斯曲面学习几何概念。程序中。第49届FOCS,第541-550页。IEEE组件。Soc.出版社,2008年。[doi:10.1109/FOCS.2008.64]2,6
[26] [26]阿达姆。克利夫兰-安道克。SERVEDIO:在时间2\tilde{}O(n1/3)中学习DNF。J.计算。系统科学。,68(2):303–318, 2004. STOC'01中的初步版本。[doi:10.1016/j.jcss.2003.07.007]2
[27] [27]NATHANLINIAL、YISHAYMANSOUR、ANDNOAMNISAN:恒定深度电路、傅里叶变换和可学习性。美国医学杂志,40(3):607–6201993年。FOCS’89的初步版本。[doi:10.1145/174130.174138]2
[28] [28]SHACHARLOVETT,IDOBEN-ELIEZER,ANDARIELYADIN:多项式阈值函数:结构、近似和伪随机性。电子。计算上的协作。复杂性(ECCC),16:1182009.ECCC。另见atarXiv.5
[29] [29]RAGHUMEKA ANDAVIDZUCKERMAN:多项式阈值函数的伪随机生成器。SIAM J.计算。,42(3):1275–1301, 2013. STOC'10中的初步版本。另请参阅arXiv。[doi:10.1137/100811623]4
[30] [30]ELCHANANMOSSEL,RYANO'DONNELL,ANDKRZYSZTOFOLESZKIEWICZ:低影响函数的噪声稳定性:不变性和最优化。数学年鉴。,171(1):295–341, 2010. FOCS’05中的初步版本。[doi:10.4007/annals.2010.171.295]5,8,13《计算理论》,第10卷(1),2014年,第1–2624页,《多项式阈值函数的灵敏度》
[31] [31]RYANO'DONNELL:NP.J.计算中的硬度放大。系统科学。,69(1):68–94, 2004. STOC'02中的初步版本。[doi:10.1016/j.jcss.2004.01.001]2
[32] [32]RYANO'DONNELL:布尔函数分析。剑桥大学出版社,2014年。参见此处的在线版本。8
[33] [33]YUVALPERES:加权多数的噪声稳定性。2004年技术报告。[arXiv:math/0412377]5
[34] [34]ROCCOA公司。SERVEDIO:每个线性阈值函数都有一个低权重近似器。计算。复杂性,16(2):180–2092007。初步版本为CCC’06。[doi:10.1007/s0037-007-02287]4,9
[35] [35]亚历山大。谢尔斯托夫:将AC0与深度2多数电路分离。SIAM J.计算。,38(6):2113–2129, 2009. STOC'07初版。[doi:10.1137/08071421X]2
[36] [36]亚历山大。谢尔斯托夫:模式矩阵法。SIAM J.计算。,40(6):1969–2000, 2011. 2008年STOC的初步版本。另请参见表Xiv。[doi:10.1137/080733644]2
[37] [37]姚云石:受布尔变量影响的量子黑盒复杂性下限和多项式逼近度。信息处理快报,75(1-2):79-832000。另请参见atarXiv。[doi:10.1016/S0020-0190(00)00069-7]2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。