魏茨曼标志
ECCC公司
电子关于计算复杂度

计算复杂性基础(CCF)

登录 | 注册 | 经典风格



报告>详细信息:

版次:

TR20-181第2版| 2022年8月5日17:15

稳健向日葵的单音电路下限

订阅




第2次修订
作者:布鲁诺·帕斯夸洛托·卡瓦拉尔,姆里纳尔·库马尔,本杰明·罗斯曼
验收日期:2022年8月5日17:15
下载次数:160
关键词:


摘要:

稳健向日葵是组合向日葵的推广,在单调电路复杂度、DNF稀疏化、随机抽取器和Erd\H的最新进展方面有应用{o} s-无线电向日葵猜想。阿尔维斯(Alweiss)、洛维特(Lovett)、吴(Wu)和张(Zhang)最近的突破给出了一个改进的界限,即不包括健壮的向日葵的$w$set系统的最大大小。在本文中,我们利用这个结果获得了显式$n$变量单调函数的单调电路大小的$exp(n^{1/2-o(1)})$下界,改进了由于Andreev、Harnik和Raz而引起的先前最著名的$\exp(n ^{1/3-o(1。我们还证明了相关多项式单调算术电路大小的$\exp(\Omega(n))$下界。最后,我们引入了鲁棒clique-sunflower的概念,并用它证明了所有$k\le-n^{1/3-o(1)}$的clique函数单调电路大小的$n^{\Omega(k)}$下界,加强了Alon和Boppana的界。



对以前版本的更改:

日志版本。


TR20-181第1版| 2020年12月7日19:29

稳健向日葵的单音电路下限





第1次修订
作者:布鲁诺·帕斯夸洛托·卡瓦拉尔,姆里纳尔·库马尔,本杰明·罗斯曼
验收日期:2020年12月7日19:29
下载次数:525
关键词:


摘要:

稳健向日葵是组合向日葵的推广,在单调电路复杂度、DNF稀疏化、随机抽取器和Erd\H的最新进展方面有应用{o} s-无线电向日葵猜想。阿尔维斯(Alweiss)、洛维特(Lovett)、吴(Wu)和张(Zhang)最近的突破给出了一个改进的界限,即不包括健壮的向日葵的$w$set系统的最大大小。在本文中,我们利用这个结果获得了显式$n$变量单调函数的单调电路大小的$exp(n^{1/2-o(1)})$下界,改进了由于Andreev、Harnik和Raz而引起的先前最著名的$\exp(n ^{1/3-o(1。我们还证明了相关多项式单调算术电路大小的$\exp(\Omega(n))$下界。最后,我们引入了鲁棒clique-sunflower的概念,并用它证明了所有$k\le-n^{1/3-o(1)}$的clique函数单调电路大小的$n^{\Omega(k)}$下界,加强了Alon和Boppana的界。



对以前版本的更改:

增加了对以前算法电路复杂性工作的参考。


纸张:

TR20-181 | 2020年12月4日20:51

稳健向日葵的单音电路下限


摘要:

稳健向日葵是组合向日葵的推广,在单调电路复杂度、DNF稀疏化、随机抽取器和Erd\H的最新进展方面有应用{o} s-无线电向日葵猜想。阿尔维斯(Alweiss)、洛维特(Lovett)、吴(Wu)和张(Zhang)最近的突破给出了一个改进的界限,即不包括健壮的向日葵的$w$set系统的最大大小。在本文中,我们利用这个结果获得了显式$n$变量单调函数的单调电路大小的$exp(n^{1/2-o(1)})$下界,改进了由于Andreev、Harnik和Raz而引起的先前最著名的$\exp(n ^{1/3-o(1。我们还证明了相关多项式单调算术电路大小的$\exp(\Omega(n))$下界。最后,我们引入了鲁棒团向日葵的概念,并用它证明了所有$k\le n^{1/3-o(1)}$的clique函数单调电路大小的$n^{\Omega(k)}$下界,加强了Alon和Boppana的界。



国际标准编号1433-8092|印记