Regeneration homotopies for solving systems of polynomials

Mathematics of Computation

Volumn 80, Issue 273, 2010, Pages 345-377

  Hauenstein, Jonathan D ^a   Sommese, Andrew J ^b   Wampler, Charles W ^c  

^a TEXAS A AND M UNIVERSITY   (United States)

^b UNIVERSITY OF NOTRE DAME   (United States)

^c GENERAL MOTORS CORPORATION   (United States)

Author keywords

Algebraic set; Component of solutions; Diagonal homotopy; Embedding; Equation by equation solver; Generic point; Homotopy continuation; Irreducible component; Numerical algebraic geometry; Numerical irreducible decomposition; Path following; Polynomial system; Witness point; Witness set

Indexed keywords

EID: 78649385909     PISSN: 00255718     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0025-5718-2010-02399-3     Document Type: Article

References (42)

1. D.J. Bates, J.D. Hauenstein, C. Peterson, and A.J. Sommese, A numerical local dimensions test for points on the solution set of a system of polynomial equations, SIAM J. Numer. Anal., 47 (2009), pp. 3608-3623.
2. D.J. Bates, C. Peterson, and A.J. Sommese, A numerical-symbolic algorithm for computing the multiplicity of a component of an algebraic set, J. Complexity, 22 (2006), pp. 475-489.
3. D.J. Bates, J.D. Hauenstein, A.J. Sommese, and C.W. Wampler, Bertini: Software for Numerical Algebraic Geometry. Available at www.nd.edu/~sommese/bertini.
4. D.J. Bates, J.D. Hauenstein, A.J. Sommese, and C.W. Wampler, Adaptive multiprecision path tracking, SIAM J. Numer. Anal., 46 (2008), pp. 722-746.
5. D.J. Bates, J.D. Hauenstein, A.J. Sommese, and C.W. Wampler, Stepsize control for path tracking, in Interactions of Classical and Numerical Algebraic Geometry, D. Bates, G. Besana, S. Di Rocco, and C. Wampler (eds.), Contemporary Mathematics 496 (2009), 21-31.
6. M. Beltrametti and A.J. Sommese, The adjunction theory of complex projective varieties, Expositions in Mathematics, 16, Walter De Gruyter, Berlin, 1995.
7. B. Dayton and Z. Zeng, Computing the multiplicity structure in solving polynomial systems, in Proceedings of ISSAC 2005, ACM, New York, 2005, pp. 116-123.
8. W. Fulton, Intersection theory, volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], Springer-Verlag, Berlin, second edition, 1998.
9. B. Huber and B. Sturmfels, A polyhedral method for solving sparse polynomial systems, Math. Comp., 64(212) (1995), pp. 1541-1555.
10. G. Lecerf, Quadratic Newton iteration for systems with multiplicity, Found. Comput. Math., 2(3) (2002), pp. 247-293.
11. A. Leykin, Numerical primary decomposition, in Symbolic and Algebraic Computation, Proceedings of ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008. Edited by J.R. Sendra and L. González-Vega, ACM, 2008.
12. A. Leykin, J. Verschelde, and A. Zhao, Newton's method with deflation for isolated singularities of polynomial systems, Theor. Comp. Sci. 359 (2006), pp. 111-122.
13. A. Leykin, J. Verschelde, and A. Zhao, Higher-order deflation for polynomial systems with isolated singular solutions, in IMA Volume 146: Algorithms in Algebraic Geometry, A. Dickenstein, F.-O. Schreyer, and A.J. Sommese, eds., Springer, New York, 2008, pp. 79-97.
14. T.-L. Lee, T.Y. Li, and C.-H. Tsai, HOM4PS-2.0, Solving Polynomial Systems by the Polyhedral Homotopy Method. Software available at www.math.msu.edu/~li.
15. T.Y. Li, Numerical solution of polynomial systems by homotopy continuation methods, in Handbook of Numerical Analysis. Volume XI. Special Volume: Found. Comp. Math., edited by F. Cucker, North-Holland, 2003, pp. 209-304.
16. A.J. Lotka, Undamped oscillations derived from the laws of mass action, J. Amer. Chem. Soc. 42 (1920), pp. 1595-1599.
17. A.P. Morgan, A transformation to avoid solutions at infinity for polynomial systems, Appl. Math. Comput., 18(1) (1986), pp. 77-86.
18. A.P. Morgan and A.J. Sommese, A homotopy for solving general polynomial systems that respects m-homogeneous structures, Appl. Math. Comput., 24(2) (1987), pp. 101-113.
19. A.P. Morgan and A.J. Sommese, Coefficient-parameter polynomial continuation, Appl. Math. Comput., 29(2) (1989), pp. 123-160.
20. Errata: Appl. Math. Comput., 51 (1992), p. 207.
21. A.P. Morgan, A.J. Sommese, and C.W. Wampler, A product-decomposition bound for Bezout numbers, SIAM J. Numer. Anal. 32(4) (1995), pp. 1308-1325.
22. D. Mumford, Algebraic geometry I: Complex projective varieties, Classics in Mathematics, Springer-Verlag, Berlin, 1995, Reprint of the 1976 edition.
23. T. Ojika, Modified deflation algorithm for the solution of singular problems. I. A system of nonlinear algebraic equations, J. Math. Anal. Appl. 123 (1987), pp. 199-221.
24. T. Ojika, S. Watanabe, and T. Mitsui, Deflation algorithm for the multiple roots of a system of nonlinear equations, J. Math. Anal. Appl. 96 (1983), pp. 463-479.
25. B. Roth and F. Freudenstein, Synthesis of Path-Generating Mechanisms by Numerical Methods, ASME J. Engrg. Industry, 85B(3) (1963), pp. 298-306.
26. A.J. Sommese, J. Verschelde and C.W. Wampler, Numerical decomposition of the solution sets of polynomial systems into irreducible components, SIAM J. Numer. Anal. 38(6) (2001), pp. 2022-2046.
27. A.J. Sommese, J. Verschelde, and C.W. Wampler, Using monodromy to decompose solution sets of polynomial systems into irreducible components. In Application of Algebraic Geometry to Coding Theory, Physics and Computation, edited by C. Ciliberto, F. Hirzebruch, R. Miranda, and M. Teicher. Proceedings of a NATO Conference, February 25 - March 1, 2001, Eilat, Israel, pages 297-315, Kluwer Academic Publishers.
28. A.J. Sommese, J. Verschelde and C.W. Wampler, Symmetric functions applied to decomposing solution sets of polynomial systems, SIAM J. Numer. Anal. 40(6) (2002), pp. 2026-2046.
29. A.J. Sommese, J. Verschelde, and C.W. Wampler, Numerical irreducible decomposition using PHCpack, in Algebra, Geometry, and Software Systems, M. Joswig and N. Takayama, eds., Springer-Verlag, 2003, pp. 109-130.
30. A.J. Sommese, J. Verschelde, and C.W. Wampler, Homotopies for Intersecting Solution Components of Polynomial Systems, SIAM J. Numer. Anal. 42(4) (2004), pp. 1552-1571.
31. A.J. Sommese, J. Verschelde, and C.W. Wampler, An intrinsic homotopy for intersecting algebraic varieties, J. Complexity, 21 (2005), pp. 593-608.
32. A.J. Sommese, J. Verschelde, and C.W. Wampler, Solving Polynomial Systems Equation by Equation, in IMA Volume 146: Algorithms in Algebraic Geometry, A. Dickenstein, F.-O. Schreyer, and A.J. Sommese, eds., Springer-Verlag, 2007, pp. 133-152.
33. A.J. Sommese and C.W. Wampler, Numerical algebraic geometry. in The Mathematics of Numerical Analysis, edited by J. Renegar, M. Shub, and S. Smale, volume 32 of Lectures in Applied Mathematics, 1996, pp. 749-763. Proceedings of the AMS-SIAM Summer Seminar in Applied Mathematics, Park City, Utah, July 17-August 11, 1995, Park City, Utah.
34. A.J. Sommese and C.W. Wampler, The numerical solution of systems of polynomials arising in engineering and science, World Scientific Press, Singapore, 2005.
35. J. Verschelde, Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation, ACM Trans. Math. Software 25(2) (1999), pp. 251-276. Software available at www.math.uic.edu/~jan.
36. J. Verschelde and R. Cools, Symbolic homotopy construction, Appl. Algebra Engrg. Comm. Comput., 4 (1993), pp. 169-183.
37. J. Verschelde, P. Verlinden, and R. Cools, Homotopies exploiting Newton polytopes for solving sparse polynomial systems, SIAM J. Numer. Anal., 31(3) (1994), pp. 915-930.
38. V. Volterra, Variazionie fluttuazioni del numero d'individui in specie animali convivent, Mem. Acad. Lincei., 2 (1926), pp. 31-113.
39. C.W. Wampler and A.P. Morgan, Solving the kinematics of general 6R manipulators using polynomial continuation, Robotics: Applied Mathematics and Computational Aspects, K. Warwick, ed., Clarendon Press, Oxford, 1993, pp. 57-69.
40. C.W. Wampler, A. Morgan, and A.J. Sommese, Complete solution of the nine-point path synthesis problem for four-bar linkages, ASME J. Mech. Des. 114(1) (1992), pp. 153-159.
41. B. Yu and B. Dong, A hybrid polynomial system solving method for mixed trigonometric polynomial systems, SIAM J. Numer. Anal., 46(3) (2008), pp. 1503-1518.
42. Z. Zeng, The closedness subspace method for computing the multiplicity structure of a polynomial system, in Interactions of Classical and Numerical Algebraic Geometry, D. Bates, G. Besana, S. Di Rocco, and C. Wampler (eds.), Contemporary Mathematics 496 (2009), pp. 347-362.