English

A Lower Bound on Determinantal Complexity

Computational Complexity 2021-12-03 v2 Algebraic Geometry

Abstract

The determinantal complexity of a polynomial PF[x1,,xn]P \in \mathbb{F}[x_1, \ldots, x_n] over a field F\mathbb{F} is the dimension of the smallest matrix MM whose entries are affine functions in F[x1,,xn]\mathbb{F}[x_1, \ldots, x_n] such that P=Det(M)P = Det(M). We prove that the determinantal complexity of the polynomial i=1nxin\sum_{i = 1}^n x_i^n is at least 1.5n31.5n - 3. For every nn-variate polynomial of degree dd, the determinantal complexity is trivially at least dd, and it is a long standing open problem to prove a lower bound which is super linear in max{n,d}\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}\max\{n,d\}, and improves upon the prior best bound of n+1n + 1, proved by Alper, Bogart and Velasco [ABV17] for the same polynomial.

Keywords

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

R2 v1 2026-06-23T18:19:49.948Z