Solving Polynomial Systems via a Stabilized Representation of Quotient Algebras

Simon Telen (1) , Bernard Mourrain (2) , Marc van Barel (1)

1 Department of Computer Science - K.U.Leuven
2 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. We propose a general algebraic framework to find the solutions and to compute the structure of the quotient ring R/I from the null space of a Macaulay-type matrix. The affine dense, affine sparse, homogeneous and multi-homogeneous cases are treated. In the presented framework, the concept of a border basis is generalized by relaxing the conditions on the set of basis elements. This allows for algorithms to adapt the choice of basis in order to enhance the numerical stability. We present such an algorithm and show numerical results.

Domaines: Géométrie algébrique [math.AG]

Simon Telen, Bernard Mourrain, Marc van Barel. Solving Polynomial Systems via a Stabilized Representation of Quotient Algebras. SIAM Journal on Matrix Analysis and Applications, 2018, 39 (3), pp.1421-1447. ⟨10.1137/17M1162433⟩. ⟨hal-01630425⟩