On the Complexity of the Generalized MinRank Problem - Archive ouverte HAL Access content directly
Journal Articles Journal of Symbolic Computation Year : 2013

On the Complexity of the Generalized MinRank Problem

Jean-Charles Faugère
Mohab Safey El Din

Abstract

We study the complexity of solving the \emph{generalized MinRank problem}, i.e. computing the set of points where the evaluation of a polynomial matrix has rank at most $r$. A natural algebraic representation of this problem gives rise to a \emph{determinantal ideal}: the ideal generated by all minors of size $r+1$ of the matrix. We give new complexity bounds for solving this problem using Gröbner bases algorithms under genericity assumptions on the input matrix. In particular, these complexity bounds allow us to identify families of generalized MinRank problems for which the arithmetic complexity of the solving process is polynomial in the number of solutions. We also provide an algorithm to compute a rational parametrization of the variety of a 0-dimensional and radical system of bi-degree $(D,1)$. We show that its complexity can be bounded by using the complexity bounds for the generalized MinRank problem.

Dates and versions

hal-00654094 , version 1 (20-12-2011)

Identifiers

Cite

Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer. On the Complexity of the Generalized MinRank Problem. Journal of Symbolic Computation, 2013, 55, pp.30-58. ⟨10.1016/j.jsc.2013.03.004⟩. ⟨hal-00654094⟩
234 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More