On the Complexity of the Generalized MinRank Problem - Archive ouverte HAL
Article Dans Une Revue Journal of Symbolic Computation Année : 2013

On the Complexity of the Generalized MinRank Problem

Jean-Charles Faugère
Mohab Safey El Din

Résumé

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 et versions

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

Identifiants

Citer

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⟩
354 Consultations
0 Téléchargements

Altmetric

Partager

More