On minimal free resolutions of sub-permanents and other ideals arising in complexity theory Academic Article uri icon


  • Abstract: The minimal free resolution of the Jacobian ideals of the determinant polynomial were computed by Lascoux, and it is an active area of research to understand the Jacobian ideals of the permanent. As a step in this direction we compute several new cases and completely determine the linear strand of the minimal free resolutions of the ideals generated by sub-permanents. Our motivation is to lay the groundwork for the use of commutative algebra in algebraic complexity theory, building on the use of Hilbert functions in work of Gupta-Kamath-Kayal-Saptharishi. We compute several such Hilbert functions relevant for complexity theory.

publication date

  • April 20, 2015