关于矩阵乘法和多项式同一性检验

IF 1.2 3区 计算机科学 Q3 COMPUTER SCIENCE, THEORY & METHODS SIAM Journal on Computing Pub Date : 2024-02-27 DOI:10.1137/22m1536169
Robert Andrews
{"title":"关于矩阵乘法和多项式同一性检验","authors":"Robert Andrews","doi":"10.1137/22m1536169","DOIUrl":null,"url":null,"abstract":"SIAM Journal on Computing, Ahead of Print. <br/>Abstract. We show that lower bounds on the border rank of matrix multiplication can be used to nontrivially derandomize polynomial identity testing for small algebraic circuits. Letting [math] denote the border rank of [math] matrix multiplication, we construct a hitting set generator with seed length [math] that hits [math]-variate circuits of multiplicative complexity [math]. If the matrix multiplication exponent [math] is not 2, our generator has seed length [math] and hits circuits of size [math] for sufficiently small [math]. Surprisingly, the fact that [math] already yields new, nontrivial hitting set generators for circuits of sublinear multiplicative complexity.","PeriodicalId":49532,"journal":{"name":"SIAM Journal on Computing","volume":"25 1","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2024-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On Matrix Multiplication and Polynomial Identity Testing\",\"authors\":\"Robert Andrews\",\"doi\":\"10.1137/22m1536169\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"SIAM Journal on Computing, Ahead of Print. <br/>Abstract. We show that lower bounds on the border rank of matrix multiplication can be used to nontrivially derandomize polynomial identity testing for small algebraic circuits. Letting [math] denote the border rank of [math] matrix multiplication, we construct a hitting set generator with seed length [math] that hits [math]-variate circuits of multiplicative complexity [math]. If the matrix multiplication exponent [math] is not 2, our generator has seed length [math] and hits circuits of size [math] for sufficiently small [math]. Surprisingly, the fact that [math] already yields new, nontrivial hitting set generators for circuits of sublinear multiplicative complexity.\",\"PeriodicalId\":49532,\"journal\":{\"name\":\"SIAM Journal on Computing\",\"volume\":\"25 1\",\"pages\":\"\"},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2024-02-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SIAM Journal on Computing\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1137/22m1536169\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIAM Journal on Computing","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1137/22m1536169","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0

摘要

SIAM 计算期刊》,提前印刷。摘要我们证明,矩阵乘法边界秩的下限可用来对小型代数电路的多项式同一性检验进行非随机化。让[math]表示[math]矩阵乘法的边界秩,我们构建了一个种子长度为[math]的命中集生成器,它能命中乘法复杂度为[math]的[math]变量电路。如果矩阵乘法指数[math]不是 2,那么我们的生成器种子长度为[math],在足够小的[math]条件下,能命中大小为[math]的电路。令人惊奇的是,[math]已经为具有亚线性乘法复杂度的电路提供了新的、非难的命中集生成器。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
On Matrix Multiplication and Polynomial Identity Testing
SIAM Journal on Computing, Ahead of Print.
Abstract. We show that lower bounds on the border rank of matrix multiplication can be used to nontrivially derandomize polynomial identity testing for small algebraic circuits. Letting [math] denote the border rank of [math] matrix multiplication, we construct a hitting set generator with seed length [math] that hits [math]-variate circuits of multiplicative complexity [math]. If the matrix multiplication exponent [math] is not 2, our generator has seed length [math] and hits circuits of size [math] for sufficiently small [math]. Surprisingly, the fact that [math] already yields new, nontrivial hitting set generators for circuits of sublinear multiplicative complexity.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
SIAM Journal on Computing
SIAM Journal on Computing 工程技术-计算机:理论方法
CiteScore
4.60
自引率
0.00%
发文量
68
审稿时长
6-12 weeks
期刊介绍: The SIAM Journal on Computing aims to provide coverage of the most significant work going on in the mathematical and formal aspects of computer science and nonnumerical computing. Submissions must be clearly written and make a significant technical contribution. Topics include but are not limited to analysis and design of algorithms, algorithmic game theory, data structures, computational complexity, computational algebra, computational aspects of combinatorics and graph theory, computational biology, computational geometry, computational robotics, the mathematical aspects of programming languages, artificial intelligence, computational learning, databases, information retrieval, cryptography, networks, distributed computing, parallel algorithms, and computer architecture.
期刊最新文献
Optimal Resizable Arrays Stronger 3-SUM Lower Bounds for Approximate Distance Oracles via Additive Combinatorics Resolving Matrix Spencer Conjecture up to Poly-Logarithmic Rank Complexity Classification Transfer for CSPs via Algebraic Products Optimal Sublinear Sampling of Spanning Trees and Determinantal Point Processes via Average-Case Entropic Independence
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1