Numeric vs. symbolic homotopy algorithms in polynomial system solving: A case study

Journal of Complexity

Volumn 21, Issue 4, 2005, Pages 502-531

  De Leo, M ^a   Dratman, E ^a   Matera, G ^b,c  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b INSTITUTO DE CIENCIAS   (Argentina)

^c CONICET ^*  (Argentina)

Author keywords

Complexity; Conditioning; Homotopy algorithms; Polynomial system solving; Semi linear parabolic problems; Stationary solutions

Indexed keywords

ALGORITHMS; BOUNDARY VALUE PROBLEMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PARTIAL DIFFERENTIAL EQUATIONS; POLYNOMIALS; SET THEORY;

HOMOTOPY ALGORITHMS; POLYNOMIAL SYSTEM SOLVING; SEMI LINEAR PARABOLIC PROBLEMS; STATIONARY SOLUTIONS;

COMPUTATIONAL COMPLEXITY;

EID: 21844449914     PISSN: 0885064X     EISSN: 10902708     Source Type: Journal    
DOI: 10.1016/j.jco.2004.09.008     Document Type: Article

References (61)

1. E. Allgower, K. Georg, Numerical continuation methods: An introduction, Springer Series in Computational Mathematics, vol. 13, Springer, New York, 1990.
2. C. Bandle H. Brunner Blow-up in diffusion equations: A survey J. Comput. Appl. Math. 97 1-2 1998 3-22
3. D. Bayer D. Mumford What can be computed in algebraic geometry? in: D. Eisenbud L. Robbiano Computational Algebraic Geometry and Commutative Algebra, Symposia Mathematica vol. 34 1993 Cambridge University Press Cambridge 1-49
4. D. Bini V. Pan Polynomial and matrix computations, Progress in Theoretical Computer Science 1994 Birkhäuser Boston
5. L. Blum F. Cucker M. Shub S. Smale Complexity and Real Computation 1998 Springer New York, Berlin, Heidelberg
6. J. Bochnack, M. Coste, M.-F. Roy, Real Algebraic Geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete, Folge 3, vol. 36, Springer, Berlin, 1998.
7. A. Bompadre G. Matera R. Wachenchauzer A. Waissbein Polynomial equation solving by lifting procedures for ramified fibers Theoret. Comput. Sci. 315 2-3 2004 335-369
8. J.F. Bonder J. Rossi Blow-up vs. spurious steady solutions Proc. Amer. Math. Soc. 129 1 2001 139-144
9. C. Budd W. Huang R. Russell Moving mesh methods for problems with blow-up SIAM J. Sci. Comput. 17 2 1996 305-327
10. P. Bürgisser, M. Clausen, M. Shokrollahi, Algebraic Complexity Theory, Grundlehren der mathematischen Wissenschaften. vol. 315, Springer, Berlin, 1997.
11. D. Castro M. Giusti J. Heintz G. Matera L. Pardo The hardness of polynomial equation solving Found. Comput. Math. 3 4 2003 347-420
12. M. Chipot M. Fila P. Quittner Stationary solutions, blow up and convergence to stationary solutions for semilinear parabolic equations with nonlinear boundary conditions Acta Math. Univ. Comenian. 60 1 1991 35-103
13. A. Chistov, D. Grigoriev, Subexponential time solving systems of algebraic equations. I, II, LOMI preprints E-9-83, E-10-83, Steklov Institute, Leningrad, 1983.
14. D. Cox, J. Little, D. O'Shea, Using algebraic geometry, Graduate Texts in Mathematics, vol. 185, Springer, New York, 1998.
15. E. Dratman, G. Matera, Deformation techniques for counting the real solutions of specific polynomial equation systems, in: Proceedings Workshop Argentino de Informática Teórica, WAIT'02, Santa Fe, Argentina, September 2002, Anales JAIIO, vol. 31, SADIO, Buenos Aires, 2002, pp. 42-52.
16. D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, vol. 150, Springer, New York, 1995.
17. R. Ferreira P. Groisman J. Rossi Numerical blow-up for a nonlinear problem with a nonlinear boundary condition Math. Models Methods Appl. Sci. 12 4 2002 461-484
18. W. Fulton Intersection theory 1984 Springer Berlin, Heidelberg, New York
19. J. von zur Gathen, Parallel arithmetic computations: A survey, in: J. Gruska, B. Rovan, J. Wiedermann (Eds.), Proceedings of the 12th International Symposium on Mathematics Foundations in Computer Science, Bratislava, Czechoslovakia, August 25-29, 1986, Lecture Notes in Computer Science, vol. 233, Springer, Berlin, 1986, pp. 93-112.
20. J. von zur Gathen J. Gerhard Modern Computer Algebra 1999 Cambridge University Press Cambridge
21. M. Giusti K. Hägele J. Heintz J.E. Morais J.L. Montaña L.M. Pardo Lower bounds for Diophantine approximation J. Pure Appl. Algebra 117,118 1997 277-317
22. M. Giusti J. Heintz La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial in: D. Eisenbud L. Robbiano Eds. Computational Algebraic Geometry and Commutative Algebra, Symposia Mathematica vol. 34 1993 Cambridge University Press 216-256
23. M. Giusti J. Heintz J.E. Morais J. Morgenstern L.M. Pardo Straight-line programs in geometric elimination theory J. Pure Appl. Algebra 124 1998 101-146
24. M. Giusti J. Heintz J. Sabia On the efficiency of effective Nullstellensätze Comput. Complexity 3 1993 56-95
25. M. Giusti G. Lecerf B. Salvy A Gröbner free alternative for polynomial system solving J. Complexity 17 1 2001 154-211
26. J.L. Gomez V. Marquez N. Wolanski Dynamic behavior of positive solutions to reaction-diffusion problems with nonlinear absorption through the boundary Rev. Un. Mat. Argentina 38 1993 196-209
27. L. Gonzalez-Vega F. Rouillier M.-F. Roy G. Trujillo Symbolic recipes for real solutions in: A. Cohen Ed. Some tapas in computer algebra, Algorithms in Computational Mathematics vol. 4 1999 Springer Berlin 121-167
28. J. Heintz Definability and fast quantifier elimination in algebraically closed fields Theoret. Comput. Sci. 24 3 1983 239-277
29. J. Heintz G. Jerónimo J. Sabia J. San Martín P. Solernó Intersection Theory and Deformation Algorithms: The Multihomogeneous Case, Manuscript 2002 University of Buenos Aires
30. J. Heintz T. Krick S. Puddu J. Sabia A. Waissbein Deformation techniques for efficient polynomial equation solving J. Complexity 16 1 2000 70-109
31. J. Heintz G. Matera L. Pardo R. Wachenchauzer The intrinsic complexity of parametric elimination methods Electron. J. SADIO 1 1 1998 37-51
32. J. Heintz G. Matera A. Waissbein On the time-space complexity of geometric elimination procedures Appl. Algebra Eng. Comm. Comput. 11 4 2001 239-296
33. J. Heintz M.-F. Roy P. Solernó Description des composantes connexes d'un ensemble semialgébrique en temps simplement exponential C. R. Math. Acad. Sci. 313 1991 167-170
34. D. Henry, Geometric theory of semilinear parabolic equations, Lecture Notes in Mathematics, vol. 840, Springer, New York, 1981.
35. B. Huber B. Sturmfels A polyhedral method for solving sparse polynomial systems Math. Comp. 64 112 1995 1541-1555
36. B. Huber B. Sturmfels Bernstein's Theorem in affine space Discrete Comput. Geom. 17 1997 137-141
37. H. Levine The role of critical exponents in blow up theorems SIAM Rev. 32 1990 262-288
38. T. Li Numerical solution of multivariate polynomial systems by homotopy continuation methods Acta Numer. 6 1997 399-436
39. T. Li X. Wang Solving real polynomial systems with real homotopies Math. Comp. 60 202 1993 669-680
40. T. Lickteig M.-F. Roy Sylvester-Habicht sequences and fast Cauchy index computation J. Symbolic Comput. 31 3 2001 315-341
41. H. Matsumura Commutative Ring Theory 1986 Cambridge University Press Cambridge
42. M. Mignotte Mathematics for Computer Algebra 1992 Springer New York
43. J. Moré A collection of nonlinear model problems in: E. Allgower K. Georg Eds. Computational solution of nonlinear systems of equations 1990 American Mathematical Society Providence, RI 723-762
44. A. Morgan Solving polynomial systems using continuation for engineering and scientific problems 1987 Prentice-Hall Englewood Cliffs, NJ
45. A. Morgan A. Sommese C. Wampler A generic product-decomposition formula for Bézout numbers SIAM J. Numer. Anal. 32 1995 1308-1325
46. D. Mumford Algebraic Geometry I. Complex Projective Varieties 2nd ed. 1995 Classics in Mathematics, Springer Berlin
47. R. Nabben Two-side bounds on the inverses of diagonally dominant tridiagonal matrices Linear Algebra Appl. 287 1-3 1998 289-305
48. J. Ortega W. Rheinboldt Iterative solutions of nonlinear equations in several variables 1970 Academic Press New York
49. C. Pao Nonlinear Parabolic and Elliptic Equations 1992 Plenum Press New York
50. L. Pardo, Universal elimination requires exponential running time, in: A. Montes (Ed.), Computer Algebra and Applications, Proceedings of EACA-2000, Barcelona, Spain, September 2000, pp. 25-51.
51. L. Pardo J. San Martín Deformation techniques to solve generalized Pham systems Theoret. Comput. Sci. 315 2-3 2004 593-625
52. L. Perko, Differential equations and dynamical systems, 2nd ed., Texts in Applied Mathematics, vol. 7, Springer, Berlin, 1996.
53. M. Rojas, Why polyhedra matter in non-linear equation solving, in: Proceedings Conference on Algebraic Geometry and Geometric Modelling, (Vilnius, Lithuania, July 29-August 2, 2002), Contemporary Mathematics, vol. 334, American Mathematical Society, Providence, RI, 2003, pp. 293-320.
54. A. Samarskii, V. Galaktionov, S. Kurdyumov, A. Mikhailov, Blow-up in quasilinear parabolic equations, de Gruyter Experimental Mathematics, vol. 19, de Gruyter, Berlin, 1995.
55. J. Savage Models of Computation. Exploring the Power of Computing 1998 Addison-Wesley Reading, MA
56. E. Schost Computing parametric geometric resolutions Appl. Algebra Eng. Comm. Comput. 13 2003 349-393
57. I. Shafarevich Basic Algebraic Geometry: Varieties in Projective Space 1994 Springer Berlin, Heidelberg, New York
58. A. Sommese J. Verschelde C. Wampler Numerical decomposition of the solution sets of polynomial systems into irreducible components SIAM J. Numer. Anal. 38 6 2001 2022-2046
59. J. Verschelde K. Gatermann R. Cools Mixed volume computation by dynamic lifting applied to polynomial system solving Discrete Comput. Geom. 16 1 1996 69-112
60. J. Verschelde P. Verlinden R. Cools Homotopies exploiting Newton polytopes for solving sparse polynomial systems SIAM J. Numer. Anal. 31 3 1994 915-930
61. R. Zippel Effective Polynomial Computation, Kluwer International Series in Engineering and Computer Science 1993 Kluwer Academic Publishers Dordrecht