Full Rank Representation of Real Algebraic Sets and Applications

摘要

We introduce the notion of the full rank representation of a real algebraic set, which represents it as the projection of a union of real algebraic manifolds V_R(F_i) of R~m, m ≥ n, such that the rank of the Jacobian matrix of each F, at any point of V_r(F_i) is the same as the number of polynomials in F_i. By introducing an auxiliary variable, we show that a squarefree regular chain T can be transformed to a new regular chain C having various nice properties, such as the Jacobian matrix of C attains full rank at any point of V_r(C). Based on a symbolic triangular decomposition approach and a numerical critical point technique, we present a hybrid algorithm to compute a full rank representation. As an application, we show that such a representation allows to better visualize plane and space curves with singularities. Effectiveness of this approach is also demonstrated by computing witness points of polynomial systems having rank-deficient Jacobian matrices.