Abstract
Built upon a ground field is the parametric field, the Puiseux field, of semi-terminating formal fractional power series. A parametric polynomial is a polynomial with coefficients in the parametric field, and roots of parametric polynomials are parametric. For a parametric polynomial with nonterminating parametric coefficients and a target accuracy, using sensitivity of the Newton Polygon process, a complete set of approximate parametric roots, each meeting target accuracy, is generated. All arguments are algebraic, from the inside out, self-contained, penetrating, and uniform in that only the Newton Polygon process is used, for both preprocessing and intraprocessing. A complexity analysis over ground field operations is developed; setting aside root generation for ground field polynomials, but bounding such, polynomial bounds are established in the degree of the parametric polynomial and the target accuracy.
Similar content being viewed by others
References
Adrovic, D. (2012). Solving polynomial systems with tropical methods. Ph.D. thesis in mathematics, University of Illinois at Chicago.
Ahlfors, L. (1966). Complex analysis (2nd ed.). New York: McGraw-Hill.
Bernshteĭn, D. N. (1975). The number of roots of a system of equations. Functional Analysis and its Applications, 9(3), 183–185.
Bewley, T., & Kohlberg, E. (1976). The asymptotic theory of stochastic games. Mathematics of Operations Research, 1, 197–208.
Bliss, G. A. (1933). Algebraic functions (Vol. XVI). Providence, RI: American Mathematical Society Colloquium Publications.
Brieskorn, E., & Knörrer, H. (1986). Plane algebraic curves. Basel: Birkhäuser Verlag. (Originally published in German, 1981; translated by J. Stillwell.)
Cartan, H. (1963). Elementary theory of analytic functions of one or several complex variables. Reading, MA: Addison-Wesley.
Chistov, A. L. (1986). Polynomial complexity of the Newton–Puiseux algorithm. Lecture Notes in Computer Science, 233, 247–255.
Chudnovsky, D. V., & Chudnovsky, G. V. (1986, 1987). On expansion of algebraic functions in power and Puiseux series. I and II. Journal of Complexity, 2, 271–294; 3, 1–25.
Dai, Y., Kim, S., & Kojima, M. (2003). Computing all nonsingular solutions of cyclic-n polynomial using polyhedral homotopy continuation methods. Journal of Computing and Applied Mathematics, 152(12), 83–97.
Duval, D. (1989). Rational Puiseux expansions. Composito Mathematica, 70, 119–154.
Eaves, B. C., & Rothblum, U. G. (1989). A theory on extending algorithms for parametric problems. Mathematics of Operations Research, 14, 502–533.
Eaves, B. C., Rothblum, U. G., & Schneider, H. (1995). Perron–Frobenius theory over real closed fields and fractional power series expansions. Linear Algebra and Its Applications, 220, 123–150.
Fischer, G. (2001). Plane algebraic curves (Vol. 15). Student mathematical library. AMS. (Originally published in German, 1994; translated by L. Kay.)
Henry, J. P. G., & Merle, M. (1987). Complexity of computation of embedded resolution of algebraic curves. In J. H. Davenport (Ed.), Lecture notes in computer science 378, EUROCAL ’87 (pp. 381–390). New York: Springer.
Huber, B., & Sturmfels, B. (1995). A polyhedral method for solving sparse polynomial systems. Mathematics of Computation, 64(212), 1541–1555.
Kung, H. T., & Traub J. F. (1978). All algebraic functions can be computed fast. Journal of the Association for Computing Machinery, 25, 245–260.
Li, T. Y. (2003). Solving polynomial systems by the homotopy continuation method. In P. G. Ciarlet (Ed.), Handbook of numerical analysis (Vol. XI, pp. 209–304). Amsterdam: North-Holland.
Maurer, J. (1980). Puiseux expansion for space curves. Manuscripta Mathematica, 32, 91–100.
Moreno-Socias, G. (1990). Lazy resolution of plane curves. In Notes Informelles de Calcul Formel (pp. 1–9).
Newton, I. (1671, 1736). Methods of series and fluxions. In D. T. Whiteside (Ed.), The mathematical papers of Isaac Newton (Vol. III). Cambridge, MA: Cambridge University Press, 1969.
Newton, I. (1676). Letter to Oldenburg. In H. W. Trumbull (Ed.), The correspondence of I. Newton (Vol. II). Cambridge, MA: Cambridge University Press, 1960.
Puiseux, M. V. (1850). Recherches sur les fonctions algébriques. Journal de Mathématiques Pures et Appliquées, 365–480.
Sturmfels, B. (1998). Polynomial equations and convex polytopes. American Mathematical Monthly, 105(10), 907–922.
Vainberg, M. M., & Trenogin V. A. (1969). Theory of branching of solutions of non-linear equations, translated from Russian. Leyden: Noordhoff International Publishing.
Verschelde, J., Verlinden, P., & Cools, R. (1994). Homotopies exploiting Newton polytopes for solving sparse polynomial systems. SIAM Journal of Numerical Analysis, 31(3), 915–930.
Walker, R. J. (1950). Algebraic curves. Princeton, NJ: Princeton University Press.
Walsh, P. G. (2000). A polynomial-time complexity bound for the computation of the singular part of a Puiseux expansion of an algebraic function. Mathematics of Computation, 69(231), 1167–1182.
Acknowledgments
The authors acknowledge helpful comments of Gregory Brumfield, Jim Burke and Joe Traub for directing them to important references on the subject of algebraic plane and space curves.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors dedicate this paper to Cy Derman for his enduring friendship and contributions.
Uriel G. Rothblum (1947–2012)—Deceased.
Rights and permissions
About this article
Cite this article
Eaves, B.C., Rothblum, U.G. Generating approximate parametric roots of parametric polynomials. Ann Oper Res 241, 515–573 (2016). https://doi.org/10.1007/s10479-014-1534-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10479-014-1534-5