Abstract
In this paper we propose a unified methodology for computing the set V K (I) of complex (K = ℂ) or real (K = ℝ) roots of an ideal R[x], assuming Vk (I ) is finite. We show how moment matrices, defined in terms of a given set of generators of the ideall, can be used to (numerically) find not only the real variety V R (I), as shown in the Authors’ previous work, but also the complex variety V c (I), thus leading to a. unified treatment of the algebraic and real algebraic problem. In contrast to the real algebraic version of the algorithm, the complex analogue only uses basic numerical linear algebra because it does not require positive semidefiniteness of the moment matrix and so avoids semidefinite programming techniques. The links between these algorithms and other numerical algebraic methods arc outlined and their stopping criteria are related.
AMS(MOS) subject classifications. 12DI0, 12E12, 12Y05, 13A15.
Supported by the french national research agency ANR under grant NT05-3-41612.
Supported by the Netherlands Organization for Scientific Research grant NWO 639.032.203 and by ADONET, Marie Curie Research Training Network MRTN-CT-2003-504438.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. BASU, R. POLLACK, AND M.-F. Roy, Algorithms in real algebraic geometry, Vol. 10 of Algorithms and Computations in Mathematics, Springer-Verlag, 2003.
J. BOCHNAK, M. COSTE, AND M.-F. Roy, Real Algebraic Geometry, Springer, 1998.
D. Cox, J. LITTLE, AND D. O'SHEA, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, Springer, 2005.
---, Using Algebraic Geometry, Springer, 1998. [5] R. CURTO AND L. FIALKOW, Solution of the truncated complex moment problem for flat data, Memoirs of the American Mathematical Society, 119 (1996), pp. 1-62.
A. DICKENSTEIN AND LZ. EMIRIS, eds., Solving Polynomial Equations: Foundations, Algorithms, and Applications, Vol. 14 of Algorithms and Computation in Mathematics, Springer, 2005.
1. JANOVITZ-FREIREICH, L. RONYAI, AND AGNES SZANTO, Approximate radical of ideals with clusters of roots, in ISSAC '06: Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, New York, NY, USA, 2006, ACM Press, pp. 146-153.
A. KEHREIN AND M. KREUZER, Characterizations of border bases, J. of Pure and Applied Algebra, 196 (2005), pp. 251-270.
J. LASSERRE, M. LAURENT, AND. P. ROSTALSKI, Computing the real variety of an ideal: A real algebraic and symbolic-numeric algorithm. (Research report, LAAS Toulouse, France, 2007.) Short version in Proceedings of the Conference SAC08, Fortaleza, Brasil, March 16-20, 2008.
---, Semidefinite characterization and computation of zero-dimensional real radical ideals. To appear in Found. Compo Math., Published online October 2007.
M. LAURENT, Sums of squares, moment matrices and optimization over polynomials. This IMA volume, Emerging Applications of Algebraic Geometry, M. Putinar and S. Sullivant, eds.
---, Revisiting two theorems of Curto and Fialkoui, Proc. Arner. Math. Soc., 133 (2005), pp. 2965-2976.
H. MOLLER, An inverse problem for cubaiure formulae, Computat. Technol., 9 (2004), pp. 13-20.
B. MOURRAIN, A new criterion for normal form algorithms, in AAECC, 1999, pp. 430-443.
---, Symbolic-Numeric Computation, Trends in Mathematics, Birkhauser, 2007, ch. Pythagore's Dilemma, Symbolic-Numeric Computation, and the Border Basis Method, pp. 223-243.
B. MOURRAIN, F. ROUILLIER, AND M.-F. RoY, Bernstein's basis and real root isolation, in Combinatorial and Computational Geometry, Mathematical Sciences Research Institute Publications, Cambridge University Press, 2005, pp. 459-478.
B. MOURRAIN AND P. TREBUCHET, Generalized normal forms and polynomial system solving, ISSAC, 2005: 253-260.
G. REID AND L. ZHI, Solving nonlinear polynomial system via symbolic-numeric elimination method, in Proceedings of the International Conference on Polynomial System Solving, J. Faugere and F. Rouillier, eds., 2004, pp. 50-53.
F. ROUILLIER, Solving zero-dimensional systems through the rational univariate representation, Journal of Applicable Algebra in Engineering, Communication and Computing, 9 (1999), pp. 433-461.
F. ROUILLIER AND P. ZIMMERMANN, Efficient isolation of polynomial real roots, Journal of Computational and Applied Mathematics, 162 (2003), pp. 33-50.
W. SEILER, Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra and Numerical Analysis, habilitation thesis, Computer Science, University of Mannheim, 2001.
A. SOMMESE AND C. WAMPLER, The Numerical Solution of Systems of Polynomials Arising in Engineering and Science, World Scientific Press, Singapore, 2005.
H.J. STETTER, Numerical Polynomial Algebra, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 2004.
J. VERSCHELDE, PHCPACK: A general-purpose solver for polynomial systems by homotopy continuation, ACM Transactions on Mathematical Software, 25 (1999), pp. 251-276.
A. ZHARKOV AND Y. BLINKOV, Involutive bases of zero-dimensional ideals, Preprint E5-94-318, Joint Institute for Nuclear Research, Dubna, 1994.
--, Involutive approach to investigating polynomial systems, in Proceedings of SC 93, International IMACS Symposium on Symbolic Computation: New Trends and Developments, Lille, June 14-17, 1993, Math. Compo Simul., Vol. 42, 1996, pp. 323-332.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Lasserre, J.B., Laurent, M., Rostalskl, P. (2009). A Unified Approach to Computing Real and Complex Zeros of Zero-Dimensional Ideals. In: Putinar, M., Sullivant, S. (eds) Emerging Applications of Algebraic Geometry. The IMA Volumes in Mathematics and its Applications, vol 149. Springer, New York, NY. https://doi.org/10.1007/978-0-387-09686-5_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-09686-5_6
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-09685-8
Online ISBN: 978-0-387-09686-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)