An intrinsic homotopy for intersecting algebraic varieties

Recently we developed a diagonal homotopy method to compute a numerical representation of all positive dimensional components in the intersection of two irreducible algebraic sets. In this paper, we rewrite this diagonal homotopy in intrinsic coordinates, which reduces the number of variables, typically in half. This has the potential to save a significant amount of computation, especially in the iterative solving portion of the homotopy path tracker. Three numerical experiments all show a speedup of about a factor two.

[1]  D. Mumford.  Algebraic Geometry I: Complex Projective Varieties , 1981 .

[2]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[3]  Tien-Yien Li.  Numerical Solution of Polynomial Systems by Homotopy Continuation Methods , 2003 .

[4]  Eugene L. Allgower,et al.  Numerical continuation methods - an introduction , 1990, Springer series in computational mathematics.

[5]  Mauro C. Beltrametti,et al.  A method for tracking singular paths with application to the numerical irreducible decomposition , 2002 .

[6]  Andrew J. Sommese.  Numerical Irreducible Decomposition using Projections from Points on the Components , 2001 .

[7]  Zhonggang Zeng,et al.  A Rank-Revealing Method with Updating, Downdating, and Applications , 2005, SIAM J. Matrix Anal. Appl..

[8]  M.L. Husty,et al.  Self-motions of Griffis-Duffy type parallel manipulators , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[9]  Andrew J. Sommese,et al.  Numerical Homotopies to Compute Generic Points on Positive Dimensional Algebraic Sets , 2000, J. Complex..

[10]  Jan Verschelde,et al.  Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation , 1999, TOMS.

[11]  BERND STURMFELS,et al.  Numerical Schubert Calculus , 1998, J. Symb. Comput..

[12]  Andrew J. Sommese,et al.  Homotopies for Intersecting Solution Components of Polynomial Systems , 2004, SIAM J. Numer. Anal..

[13]  Andrew J. Sommese,et al.  Symmetric Functions Applied to Decomposing Solution Sets of Polynomial Systems , 2002, SIAM J. Numer. Anal..

[14]  Jan Verschelde,et al.  A Method for Tracking Singular Paths with Application to the Numerical Irreducible Decomposition , 2002 .

[15]  A. Morgan.  Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems , 1987 .

[16]  Ta‐Hsin Li,et al.  A rank-revealing method and its applications , 2003 .