A lower bound for the determinantal complexity of a hypersurface
Computational Complexity
2015-05-12 v1 Algebraic Geometry
Abstract
We prove that the determinantal complexity of a hypersurface of degree is bounded below by one more than the codimension of the singular locus, provided that this codimension is at least . As a result, we obtain that the determinantal complexity of the permanent is . We also prove that for , there is no nonsingular hypersurface in of degree that has an expression as a determinant of a matrix of linear forms while on the other hand for , a general determinantal expression is nonsingular. Finally, we answer a question of Ressayre by showing that the determinantal complexity of the unique (singular) cubic surface containing a single line is .
Keywords
Cite
@article{arxiv.1505.02205,
title = {A lower bound for the determinantal complexity of a hypersurface},
author = {Jarod Alper and Tristram Bogart and Mauricio Velasco},
journal= {arXiv preprint arXiv:1505.02205},
year = {2015}
}
Comments
7 pages, 0 figures