矩阵刚性取决于目标场

L. Babai, Bohdan Kivva
{"title":"矩阵刚性取决于目标场","authors":"L. Babai, Bohdan Kivva","doi":"10.4230/LIPIcs.CCC.2021.41","DOIUrl":null,"url":null,"abstract":"The rigidity of a matrix A for target rank r is the minimum number of entries of A that need to be changed in order to obtain a matrix of rank at most r (Valiant, 1977). We study the dependence of rigidity on the target field. We consider especially two natural regimes: when one is allowed to make changes only from the field of definition of the matrix (\"strict rigidity\"), and when the changes are allowed to be in an arbitrary extension field (\"absolute rigidity\"). We demonstrate, apparently for the first time, a separation between these two concepts. We establish a gap of a factor of 3/2 − o(1) between strict and absolute rigidities. The question seems especially timely because of recent results by Dvir and Liu (Theory of Computing, 2020) where important families of matrices, previously expected to be rigid, are shown not to be absolutely rigid, while their strict rigidity remains open. Our lower-bound method combines elementary arguments from algebraic geometry with \"untouched minors\" arguments. Finally, we point out that more families of long-time rigidity candidates fall as a consequence of the results of Dvir and Liu. These include the incidence matrices of projective planes over finite fields, proposed by Valiant as candidates for rigidity over F2.","PeriodicalId":336911,"journal":{"name":"Proceedings of the 36th Computational Complexity Conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Matrix rigidity depends on the target field\",\"authors\":\"L. Babai, Bohdan Kivva\",\"doi\":\"10.4230/LIPIcs.CCC.2021.41\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The rigidity of a matrix A for target rank r is the minimum number of entries of A that need to be changed in order to obtain a matrix of rank at most r (Valiant, 1977). We study the dependence of rigidity on the target field. We consider especially two natural regimes: when one is allowed to make changes only from the field of definition of the matrix (\\\"strict rigidity\\\"), and when the changes are allowed to be in an arbitrary extension field (\\\"absolute rigidity\\\"). We demonstrate, apparently for the first time, a separation between these two concepts. We establish a gap of a factor of 3/2 − o(1) between strict and absolute rigidities. The question seems especially timely because of recent results by Dvir and Liu (Theory of Computing, 2020) where important families of matrices, previously expected to be rigid, are shown not to be absolutely rigid, while their strict rigidity remains open. Our lower-bound method combines elementary arguments from algebraic geometry with \\\"untouched minors\\\" arguments. Finally, we point out that more families of long-time rigidity candidates fall as a consequence of the results of Dvir and Liu. These include the incidence matrices of projective planes over finite fields, proposed by Valiant as candidates for rigidity over F2.\",\"PeriodicalId\":336911,\"journal\":{\"name\":\"Proceedings of the 36th Computational Complexity Conference\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-07-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 36th Computational Complexity Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.CCC.2021.41\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 36th Computational Complexity Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.CCC.2021.41","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

矩阵a对于目标秩为r的刚性是指为了得到秩不超过r的矩阵,需要改变矩阵a的最小条目数(Valiant, 1977)。研究了刚性对目标场的依赖关系。我们特别考虑两种自然状态:当一个人被允许只从矩阵的定义域进行改变时(“严格刚性”),以及当改变被允许在任意扩展域中时(“绝对刚性”)。我们显然是第一次证明了这两个概念之间的分离。我们在严格刚度和绝对刚度之间建立了3/2−0(1)的系数差距。这个问题似乎特别及时,因为Dvir和Liu(计算理论,2020)最近的结果表明,以前预计是刚性的重要矩阵族并不是绝对刚性的,而它们的严格刚性仍然是开放的。我们的下界方法结合了代数几何中的初等参数和“未碰过的次元”参数。最后,我们指出,由于Dvir和Liu的结果,更多的长期刚性候选人家庭垮台。这些包括有限域上投影平面的关联矩阵,由Valiant提出作为F2上刚性的候选者。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Matrix rigidity depends on the target field
The rigidity of a matrix A for target rank r is the minimum number of entries of A that need to be changed in order to obtain a matrix of rank at most r (Valiant, 1977). We study the dependence of rigidity on the target field. We consider especially two natural regimes: when one is allowed to make changes only from the field of definition of the matrix ("strict rigidity"), and when the changes are allowed to be in an arbitrary extension field ("absolute rigidity"). We demonstrate, apparently for the first time, a separation between these two concepts. We establish a gap of a factor of 3/2 − o(1) between strict and absolute rigidities. The question seems especially timely because of recent results by Dvir and Liu (Theory of Computing, 2020) where important families of matrices, previously expected to be rigid, are shown not to be absolutely rigid, while their strict rigidity remains open. Our lower-bound method combines elementary arguments from algebraic geometry with "untouched minors" arguments. Finally, we point out that more families of long-time rigidity candidates fall as a consequence of the results of Dvir and Liu. These include the incidence matrices of projective planes over finite fields, proposed by Valiant as candidates for rigidity over F2.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信