{"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}
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.
期刊介绍:
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.