Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Solving determinantal systems using homotopy techniques

Abstract : Let $\K$ be a field of characteristic zero and $\Kbar$ be an algebraic closure of $\K$. Consider a sequence of polynomials $G=(g_1,\dots,g_s)$ in $\K[X_1,\dots,X_n]$, a polynomial matrix $\F=[f_{i,j}] \in \K[X_1,\dots,X_n]^{p \times q}$, with $p \leq q$, and the algebraic set $V_p(F, G)$ of points in $\KKbar$ at which all polynomials in $\G$ and all $p$-minors of $\F$ vanish. Such polynomial systems appear naturally in e.g. polynomial optimization, computational geometry. We provide bounds on the number of isolated points in $V_p(F, G)$ depending on the maxima of the degrees in rows (resp. columns) of $\F$. Next, we design homotopy algorithms for computing those points. These algorithms take advantage of the determinantal structure of the system defining $V_p(F, G)$. In particular, the algorithms run in time that is polynomial in the bound on the number of isolated points.
Complete list of metadatas

Cited literature [63 references]  Display  Hide  Download

https://hal.inria.fr/hal-01719170
Contributor : Mohab Safey El Din <>
Submitted on : Wednesday, February 28, 2018 - 9:32:15 AM
Last modification on : Friday, July 5, 2019 - 3:26:03 PM
Document(s) archivé(s) le : Monday, May 28, 2018 - 10:04:54 AM

Files

all.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01719170, version 1
  • ARXIV : 1802.10409

Citation

Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu. Solving determinantal systems using homotopy techniques. 2018. ⟨hal-01719170⟩

Share

Metrics

Record views

436

Files downloads

192