A LOWER BOUND ON DETERMINANTAL COMPLEXITY

被引:2
作者
Kumar, Mrinal [1 ]
Volk, Ben Lee [2 ]
机构
[1] Indian Inst Technol, Dept Comp Sci, Mumbai, Maharashtra, India
[2] Reichman Univ, Efi Arazi Sch Comp Sci, IDC Herzliya, Herzliyya, Israel
关键词
Determinantal Complexity; Algebraic Complexity Theory; Lower Bounds; Algebraic Circuits; PERMANENT;
D O I
10.1007/s00037-022-00228-3
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The determinantal complexity of a polynomial P is an element of F[X-1, ..., x(n)] over a field F is the dimension of the smallest matrix M whose entries are affine functions in F[x(1), ..., x(n)] such that P = Det(M). We prove that the determinantal complexity of the polynomial Sigma(n)(i=1): x(i)(n) is at least 1.5n-3. For every n-variate polynomial of degree d, the determinantal complexity is trivially at least d, and it is a long-standing open problem to prove a lower bound which is super linear in max{n, d}. Our result is the first lower bound for any explicit polynomial which is bigger by a constant factor than max{n, d}, and improves upon the prior best bound of n+1, proved by Alper et al. (2017) for the same polynomial.
引用
收藏
页数:20
相关论文
共 26 条
[1]   Tensor Rank: Some Lower and Upper Bounds [J].
Alexeev, Boris ;
Forbes, Michael A. ;
Tsimerman, Jacob .
2011 IEEE 26TH ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC), 2011, :283-291
[2]   A Lower Bound for the Determinantal Complexity of a Hypersurface [J].
Alper, Jarod ;
Bogart, Tristram ;
Velasco, Mauricio .
FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2017, 17 (03) :829-836
[3]  
Blaser M., 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039), P45, DOI 10.1109/SFFCS.1999.814576
[4]  
BROWN MR, 1980, IEEE T COMPUT, V29, P337, DOI 10.1109/TC.1980.1675583
[5]   QUADRATIC LOWER BOUND FOR PERMANENT VS. DETERMINANT IN ANY CHARACTERISTIC [J].
Cai, Jin-Yi ;
Chen, Xi ;
Li, Dong .
COMPUTATIONAL COMPLEXITY, 2010, 19 (01) :37-56
[6]   A NOTE ON THE DETERMINANT AND PERMANENT PROBLEM [J].
CAI, JY .
INFORMATION AND COMPUTATION, 1990, 84 (01) :119-127
[7]   QUADRATIC LOWER BOUNDS FOR ALGEBRAIC BRANCHING PROGRAMS AND FORMULAS [J].
Chatterjee, Prerona ;
Kumar, Mrinal ;
She, Adrian ;
Volk, Ben Lee .
COMPUTATIONAL COMPLEXITY, 2022, 31 (02)
[8]  
Chen X, 2010, FOUND TRENDS THEOR C, V6, P1, DOI 10.1561/0400000043
[9]  
Cox D.A., 2015, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, DOI DOI 10.1007/978-0-387-35651-8
[10]  
HARRIS J., 1992, Grad. Texts in Math., V133, DOI DOI 10.1007/978-1-4757-2189-8