English

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 d>2d > 2 is bounded below by one more than the codimension of the singular locus, provided that this codimension is at least 55. As a result, we obtain that the determinantal complexity of the 3×33 \times 3 permanent is 77. We also prove that for n>3n> 3, there is no nonsingular hypersurface in Pn\mathbf{P}^n of degree dd that has an expression as a determinant of a d×dd \times d matrix of linear forms while on the other hand for n3n \le 3, 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 55.

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