Cell decomposition of almost smooth real algebraic surfaces

Cell decomposition of almost smooth real algebraic surfaces

0.00 Avg rating0 Votes
Article ID: iaor20134210
Volume: 63
Issue: 4
Start Page Number: 645
End Page Number: 678
Publication Date: Aug 2013
Journal: Numerical Algorithms
Authors: , , , ,
Keywords: algebra
Abstract:

Let Z be a two dimensional irreducible complex component of the solution set of a system of polynomial equations with real coefficients in N complex variables. This work presents a new numerical algorithm, based on homotopy continuation methods, that begins with a numerical witness set for Z and produces a decomposition into 2‐cells of any almost smooth real algebraic surface contained in Z. Each 2‐cell (a face) has a generic interior point and a boundary consisting of 1‐cells (edges). Similarly, the 1‐cells have a generic interior point and a vertex at each end. Each 1‐cell and each 2‐cell has an associated homotopy for moving the generic interior point to any other point in the interior of the cell, defining an invertible map from the parameter space of the homotopy to the cell. This work draws on previous results for the curve case. Once the cell decomposition is in hand, one can sample the 2‐cells and 1‐cells to any resolution, limited only by the computational resources available.

Reviews

Required fields are marked *. Your email address will not be published.