A unified approach to computing real and complex zeros of zero-dimensional ideals

Abstract

In this paper we propose a unified methodology for computing the set $V_K(I)$ of complex ($K = C$) or real ($K = R$) roots of an ideal $I$ in $R[x]$, assuming $V_K(I)$ is finite. We show how moment matrices, defined in terms of a given set of generators of the ideal I, can be used to (numerically) find not only the real variety $V_R(I)$, as shown in the authors’ previous work, but also the complex variety $V_C(I)$, thus leading to a unified treatment of the algebraic and real algebraic problem. In contrast to the real algebraic version of the algorithm, the complex analogue only uses basic numerical linear algebra because it does not require positive semidefiniteness of the moment matrix and so avoids semidefinite programming techniques. The links between these algorithms and other numerical algebraic methods are outlined and their stopping criteria are related