Verified error bounds for isolated singular solutions of polynomial systems

DOI10.1137/120902914MaRDI QIDQ2927825zbMATH OpenOpenAlexFDO

Authors Nan Li, Lihong Zhi

Publication date 4 November 2014

Published in SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.4699

zbMATH Keywords

algorithmdeflationerror boundsisolated singular solutionsmultiplicity structureNewton methodpolynomial systemsquadratic convergenceverification

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials and rational functions of one complex variable (30C10) General theory of numerical methods in complex analysis (potential theory, etc.) (65E05) Algorithms with automatic result verification (65G20) Numerical computation of roots of polynomial equations (65H04) Numerical computation of solutions to systems of equations (65H10) Symbolic computation and algebraic computation (68W30)

Abstract: In this paper, we generalize the algorithm described by Rump and Graillat, as well as our previous work on certifying breadth-one singular solutions of polynomial systems, to compute verified and narrow error bounds such that a slightly perturbed system is guaranteed to possess an isolated singular solution within the computed bounds. Our new verification method is based on deflation techniques using smoothing parameters. We demonstrate the performance of the algorithm for systems with singular solutions of multiplicity up to hundreds.

Recommendations

• Newton's method with deflation for isolated singularities of polynomial systems
• On deflation and multiplicity structure
• Singular Zeros of Polynomial Systems
• A new deflation method for verifying the isolated singular zeros of polynomial systems
• scientific article; zbMATH DE number 5245181
• Computing singular solutions to polynomial systems
• Certifying isolated singular points and their multiplicity structure
• Computing isolated singular solutions of polynomial systems: case of breadth one
• Multiplicity hunting and approximating multiple roots of polynomial systems
• Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one

Cited in

(23)

• Computing singular solutions to polynomial systems
• A heuristic method for certifying isolated zeros of polynomial systems
• Efficient computation of dual space and directional multiplicity of an isolated point
• A new deflation method for verifying the isolated singular zeros of polynomial systems
• Locating the closest singularity in a polynomial homotopy
• Numerical approximation of multiple isolated roots of analytical systems
• An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
• Newton's method with deflation for isolated singularities of polynomial systems
• On deflation and multiplicity structure
• Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
• A certified iterative method for isolated singular roots
• Computing isolated singular solutions of polynomial systems: case of breadth one
• Verified error bounds for real solutions of positive-dimensional polynomial systems
• Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one
• On isolation of simple multiple zeros and clusters of zeros of polynomial systems
• Deflation and certified isolation of singular zeros of polynomial systems
• A verified method of singular solutions of overdetermined nonlinear systems
• scientific article; zbMATH DE number 2231504 (Why is no real title available?)
• Verified error bounds for multiple roots of systems of nonlinear equations
• VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
• Verified error bounds for singular solutions of nonlinear systems
• Inflation of poorly conditioned zeros of systems of analytic functions

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: Verified error bounds for isolated singular solutions of polynomial systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2927825)