×
Purnata Ghosal公司;B.V.Raghavendra Rao

关于使用击中集生成器进行参数化多项式身份测试的注记。 （英语） Zbl 1461.94108号

信息处理。莱特。 151，文章ID 105839（2019）.
摘要：我们证明了多项式击中集生成器由A.施皮尔卡和一、沃尔科维奇【Lect.Notes Compute.Sci.5687，700–713（2009年；Zbl 1255.68297号)]具有以下属性：
如果一个变量多项式（f）有一个变量划分，使得偏导数矩阵[2]具有大秩，那么即使在随机划分下，它在Shpilka-Volkovich生成器下的图像也具有大的偏导数矩阵秩。
此外，我们观察到，我们的主要结果适用于一类更大的命中集生成器，这些生成器由多项式定义，可以表示为单变量多项式的乘积的小和。

MSC公司：

94C12号机组 故障检测；电路和网络测试
68瓦20 随机算法

关键词：

算术电路;多项式恒等式检验;参数复杂性;计算理论

引文：

Zbl 1255.68297号
PDF格式BibTeX公司 XML格式引用
\textit{P.Ghosal}和\textit{B.V.R.Rao}，Inf.过程。莱特。151，文章ID 105839（2019；Zbl 1461.94108）
全文： 内政部

参考文献：

[1] Shpilka，A。；Volkovich，I.，《只读公式的改进多项式恒等式测试》（RANDOM（2009），Springer），700-713·Zbl 1255.68297号
[2] Raz，R.，永久和行列式的多重线性公式具有超多项式大小，J.ACM，56，2，第8篇pp.（2009）·Zbl 1325.68112号
[3] 矿石，Ø。，《纽伯·赫赫勒·孔格伦岑，挪威马特.福尔.斯克尔》，第1、7、15页（1922年）
[4] Demillo，R.A。；Lipton，R.J.，《代数程序测试的概率评论》，Inf.Process。莱特。，7, 4, 193-195 (1978) ·Zbl 0397.68011号
[5] Schwartz，J.T.，验证多项式恒等式的快速概率算法，J.ACM（JACM），27，4，701-717（1980）·Zbl 0452.68050号
[6] Zippel，R.，稀疏多项式的概率算法（1979），Springer·Zbl 0418.68040号
[7] 卡巴内茨，V。；Impagliazzo，R.，去随机多项式身份测试意味着证明电路下限，计算。复杂。，13, 1-2, 1-46 (2004) ·Zbl 1089.68042号
[8] 阿格拉瓦尔，M。；Vinay，V.，《算术电路：深度四的鸿沟》（FOCS（2008）），67-75
[9] Saxena，N.，多项式身份测试进展，公牛。EATCS，99，49-79（2009）·Zbl 1188.68154号
[11] 唐尼，R.G。；Fellows，M.R.，《参数化复杂性基础》，《计算机科学文本》（2013），斯普林格出版社·兹比尔1358.68006
[12] Müller，M.，参数化随机化（2008），Albert-Ludwigs-Universityät Freiburg im Breisgau博士论文·Zbl 1159.68466号
[13] Chauhan，A。；Rao，B.V.R.，概率计算的参数化模拟，（CALDAM（2015）），181-192·兹比尔1432.68192
[14] Shpilka，A。；Volkovich，I.，读取多项式身份测试，（STOC（2008）），507-516，另见ECCC TR-2010-011·Zbl 1231.68155号
[15] 安德森，M。；van Melkebeek，D。；Volkovich，I.，多线性有界读取公式的确定性多项式恒等式检验，计算。复杂。，242695-776（2015年）·Zbl 1346.68105号
[16] D.米纳汉。；Volkovich，I.，《身份测试的完全去量化和只读公式的重建》，TOCT，10，3，第10条pp.（2018）·Zbl 1427.68363号
[17] Saxena，N.，《对角线电路特性测试和下限》（ICALP（2008），Springer），60-71·Zbl 1152.68703号
[18] Shpilka，A。；Yehudayoff，A.，《算术电路：近期结果和开放性问题的调查》，FTTS，5，3-4，207-388（2010）·Zbl 1205.68175号
[19] Nisan，N.，非交换计算的下限，（STOC（1991），ACM），410-418
[20] 尼桑，N。；Wigderson，A.，通过偏导数的算术电路的下限，计算。复杂。，6, 3, 217-234 (1996) ·Zbl 0890.68074号
[21] 库马尔，M。；Maheshwari，G。；Sarma，J.，通过maxrank计算电路下限，（ICALP（2013），Springer），661-672·Zbl 1336.68101号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。