Title
Unification and extension of intersection algorithms in numerical algebraic geometry.
Abstract
The solution set of a system of polynomial equations, called an algebraic set, can be decomposed into finitely many irreducible components. In numerical algebraic geometry, irreducible algebraic sets are represented by witness sets, whereas general algebraic sets allow a numerical irreducible decomposition comprising a collection of witness sets, one for each irreducible component. We denote the solution set of any system of polynomials f : C N ź C n as V ( f ) ź C N . Given a witness set for some algebraic set Z ź C N and a system of polynomials f : C N ź C n , the algorithms of this paper compute a numerical irreducible decomposition of the set Z ź V ( f ) . While extending the types of intersection problems that can be solved via numerical algebraic geometry, this approach is also a unification of two existing algorithms: the diagonal intersection algorithm and the homotopy membership test. The new approach includes as a special case the \"extension problem\" where one wishes to intersect an irreducible component A of V ( g ( x ) ) with V ( f ( x , y ) ) , where f introduces new variables, y. For example, this problem arises in computing the singularities of A when the singularity conditions are expressed in terms of new variables associated to the tangent space of A. Several examples are included to demonstrate the effectiveness of our approach applied in a variety of scenarios.
Year
DOI
Venue
2017
10.1016/j.amc.2016.08.023
Applied Mathematics and Computation
Keywords
Field
DocType
Numerical algebraic geometry,Algebraic set,Intersection,Regeneration,Witness set
Irreducible component,Mathematical analysis,Witness set,Discrete mathematics,Dimension of an algebraic variety,Mathematical optimization,Function field of an algebraic variety,Differential algebraic geometry,Intersection theory,Algorithm,Algebraic cycle,Real algebraic geometry,Mathematics
Journal
Volume
Issue
ISSN
293
C
0096-3003
Citations 
PageRank 
References 
0
0.34
16
Authors
2
Name
Order
Citations
PageRank
Jonathan D. Hauenstein126937.65
Charles W. Wampler241044.13