A Lower Bound on Determinantal Complexity
Computational Complexity
2021-12-03 v2 Algebraic Geometry
Abstract
The determinantal complexity of a polynomial over a field is the dimension of the smallest matrix whose entries are affine functions in such that . We prove that the determinantal complexity of the polynomial is at least . For every -variate polynomial of degree , the determinantal complexity is trivially at least , and it is a long standing open problem to prove a lower bound which is super linear in . Our result is the first lower bound for any explicit polynomial which is bigger by a constant factor than , and improves upon the prior best bound of , proved by Alper, Bogart and Velasco [ABV17] for the same polynomial.
Cite
@article{arxiv.2009.02452,
title = {A Lower Bound on Determinantal Complexity},
author = {Mrinal Kumar and Ben Lee Volk},
journal= {arXiv preprint arXiv:2009.02452},
year = {2021}
}
Comments
v2: corrected a few typos and added references