The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
algorithmscontinuation methodexclusion methodsGröbner baseshomotopyNewton methodnumerical algebraic geometrypolynomial systemstextbookwitness setsZariski topology
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of higher-dimensional varieties (14Q15) Real polynomials: location of zeros (26C10) Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) (30C15) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Numerical computation of solutions to systems of equations (65H10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20)
This is an excellent book on numerical solutions of polynomials systems for engineers, scientists and numerical analysts. As pioneers of the field of numerical algebraic geometry, the authors have provided a comprehensive summary of ideas, methods, problems of numerical algebraic geometry and applications to solving polynomial systems. Through the book readers will experience authors' original ideas, contributions and their techniques in handling practical problems. This book is comprised of three parts. Chapters 1-6 make up the part one. The chapters 1-3 is an introduction of various types of polynomial systems in practice; their solution sets; homotopy continuation; solutions at infinity and continuation paths going to the infinity; projective spaces in algebraic geometry that sew up infinity, compactify Euclidean space and enable accurate statement of the number of roots of polynomial systems and easy numerical treatment of solutions at infinity. The chapter 4 discusses the concept of genericity and probability one, and their application in numerical continuation. Chapter 5 discusses the algebraic properties, the analytic behaviour of roots and the numerical behaviour in floating point computation of polynomials in one variable. Chapter 6 ties up nicely exclusion methods, eliminants and Gröbner bases with numerical solutions of polynomial systems. Part two of this book, consisting of Chapters 7-11, is about the theory and practice of finding isolated solutions of polynomial systems, particularly those arising in engineering and science. Chapter 7 discusses parameter-dependent polynomial systems and coefficient-parameter homotopy to find all solutions of a family of polynomial systems where all solutions of some systems within the family are known at the outset. ``Gamma Trick, nested parameter and symmetry respected homotopies, and the historical cheater's homotopy are explained with case studies. In Chapter 8 the authors introduce a very useful hierarchy of classes of special structures in constructing homotopies and illustrate the strategy of determining the start system and designing the homotopy paths that facilitate numerical path-following process toward the desired solutions. Chapter 9 is a collection of application problems ranging from game theory, chemistry to kinematics. Through these case studies the authors have demonstrated that a clean formulation of the problem and simple manipulation of the equations can generate to more practical homotopies with fewer paths that save computational work. The Chapter 10 is about continuation procedure when the homotopy parameter \(t\) approaches 0, and convergence properties and improvement of Newton-like methods near singular solutions. Chapter 11 provides useful practical techniques and tips for checking and correcting failures in the path-following process. Part three of the book, from Chapter 12 to 16, describes how to use homotopy continuation to compute higher-dimensional solution sets of polynomial systems. The authors introduce ``witness sets to represent curves, surfaces and other algebraic-geometric sets as numerical objects. These ideas form the foundation of the new and rapid growing field: Numerical Algebraic Geometry. Chapter 12 discusses different sorts of algebraic sets and their relationships and introduces the Zariski topology, its relation to the complex topology, the irreducible decomposition and constructive algebraic sets and multiplicity. Chapter 13 introduces concept of the numerical algebraic geometry, the field that the authors have laid foundation with their pioneering work and significant contribution. The witness points, a numerical data structure for encoding irreducible algebraic sets, and the numerical irreducible decomposition techniques that lead the reduction to systems with the same number of equations as unknowns, are discussed extensively in this chapter. Chapters 14 and 15 describe alternative and numerical procedures to compute the ``witness point supersets and numerical irreducible decompositions. One particular section in the chapter 15 is devoted to the singular path-following, an area closely related to the reduced systems in the numerical bifurcation theory. Chapter 16 introduces some recent advances in finding the numerical irreducible decomposition of the intersection of irreducible algebraic sets. The book ends with very useful appendices on fundamental elements of algebraic geometry, structure theorem of parameter-dependent polynomial systems, an extensive list of software packages of continuation method for solving polynomial systems and user guide of the author's software ``HOMLAB. Many interesting examples from engineering and science have been used throughout the book. Also the exercises are well designed in line with the content, along with algorithms, sample programs in Matlab and author's own software ``HOMLAB for polynomial continuation. This is a remarkable book that I recommend to engineers, scientists, researchers, professionals and students, and particularly numerical analysts who will benefit from the rapid development of numerical algebraic geometry.
- HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
- Solving polynomial systems via symbolic-numeric reduction to geometric involutive form
- Implicit Riquier bases for PDAE and their semi-discretizations
- A prolongation-projection algorithm for computing the finite real variety of an ideal
- Semidefinite characterization and computation of zero-dimensional real radical ideals
- Deformation techniques for sparse systems
- Self-locking analysis in closed kinematic chains
- Convergence rate analysis for the higher order power method in best rank one approximations of tensors
- Trace test
- Arc length based maximal Lyapunov functions and domains of attraction estimation for polynomial nonlinear systems
- Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety
- Computational algebraic geometry and global analysis of regional manipulators
- Homotopy continuation of the high-order flux reconstruction/correction procedure via reconstruction (FR/CPR) method for steady flow simulation
- Convergence analysis of an SVD-based algorithm for the best rank-1 tensor approximation
- Computing the unique CANDECOMP/PARAFAC decomposition of unbalanced tensors by homotopy method
- Tensor decomposition and homotopy continuation
- Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization
- Efficiently counting affine roots of mixed trigonometric polynomial systems
- Equivalent realisations of a rigid graph
- Decoupled molecules with binding polynomials of bidegree \((n,2)\)
- On the bit complexity of polynomial system solving
- Maximum likelihood estimation of symmetric group-based models via numerical algebraic geometry
- Unification and extension of intersection algorithms in numerical algebraic geometry
- A homotopy method for parameter estimation of nonlinear differential equations with multiple optima
- Eigenfunction expansion method for multiple solutions of fourth-order ordinary differential equations with cubic polynomial nonlinearity
- Global structure of curves from generalized unitarity cut of three-loop diagrams
- Solving some special cases of monomial ratio equations appearing frequently in physical and engineering problems
- Numerical algebraic geometry: a new perspective on gauge and string theories
- Steady state bifurcation of a periodically excited system under delayed feedback controls
- Numerically computing real points on algebraic sets
- Numerical algebraic geometry and semidefinite programming
- Dissipation-based continuation method for multiphase flow in heterogeneous porous media
- On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs
- Computing the equisingularity type of a pseudo-irreducible polynomial
- A stochastic homotopy tracking algorithm for parametric systems of nonlinear equations
- Clustering complex zeros of triangular systems of polynomials
- Solving decomposable sparse systems
- Fiber product homotopy method for multiparameter eigenvalue problems
- An adaptive homotopy tracking algorithm for solving nonlinear parametric systems with applications in nonlinear ODEs
- Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions
- Noetherian operators and primary decomposition
- Homotopy continuation for the spectra of persistent Laplacians
- The numerical algebraic geometry of bottlenecks
- Using monodromy to statistically estimate the number of solutions
- Euclidean distance degree and mixed volume
- Smooth points on semi-algebraic sets
- Catastrophe in elastic tensegrity frameworks
- Nondegeneracy of eigenvectors and singular vector tuples of tensors
- Low-rank approximation to entangled multipartite quantum systems
- Rank-1 approximation for entangled multipartite real systems
- Binomiality testing and computing sparse polynomials via witness sets
- Book review of: M. Michałek and B. Sturmfels, Invitation to nonlinear algebra
- HomPINNs: Homotopy physics-informed neural networks for learning multiple solutions of nonlinear elliptic differential equations
- Numerical root finding via Cox rings
- Multiprojective witness sets and a trace test
- On some configurations of oppositely charged trapped vortices in the plane
- A singular value homotopy for finding critical parameter values
- Solving determinantal systems using homotopy techniques
- Mixed precision path tracking for polynomial homotopy continuation
- A weight initialization based on the linear product structure for neural networks
- A bootstrapping approach for computing multiple solutions of differential equations
- On the complexity of computing with planar algebraic curves
- Optimized parametrization of systems of incidences between rigid bodies
- The classification of real singularities using \textsc{Singular}. III: Unimodal singularities of corank 2
- A homotopy method with adaptive basis selection for computing multiple solutions of differential equations
- Real monodromy action
- A new centrality measure of nodes in multilayer networks under the framework of tensor computation
- Spatial pattern formation in reaction-diffusion models: a computational approach
- An adaptive homotopy method for computing bifurcations of nonlinear parametric systems
- Nonlinear power-like iteration by polar decomposition and its application to tensor approximation
- Homotopy techniques for tensor decomposition and perfect identifiability
- Computing complex and real tropical curves using monodromy
- Is the addition of higher-order interactions in ecological models increasing the understanding of ecological dynamics?
- Adaptive strategies for solving parameterized systems using homotopy continuation
- Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots
- A numerical realization of the conditions of Max Nöther's residual intersection theorem
- Symmetric homotopy method for discretized elliptic equations with cubic and quintic nonlinearities
- A direct algorithm to compute the topological Euler characteristic and Chern-Schwartz-MacPherson class of projective complete intersection varieties
- Computing real witness points of positive dimensional polynomial systems
- Design and evaluation of homotopies for efficient and robust continuation
- A numerical elimination method for polynomial computations
- Cell decomposition of almost smooth real algebraic surfaces
- Tracing multiple solution branches for nonlinear ordinary differential equations: Chebyshev and Fourier spectral methods and a degree-increasing spectral homotopy [DISH]
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
- A homotopy method for solving multilinear systems with M-tensors
- A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations
- Optimal quadrature rules for odd-degree spline spaces and their application to tensor-product-based isogeometric analysis
- Improved complexity bounds for counting points on hyperelliptic curves
- Unmixing the mixed volume computation
- A homotopy method for computing the largest eigenvalue of an irreducible nonnegative tensor
- Sampling algebraic sets in local intrinsic coordinates
- Guessing singular dependencies
- Exploring collision-free path planning by using homotopy continuation methods
- On approximate triangular decompositions in dimension zero
- Determining dimension of the solution component that contains a computed zero of a polynomial system
- Newton's method with deflation for isolated singularities of polynomial systems
- A numerical-symbolic algorithm for computing the multiplicity of a component of an algebraic set
- Kinematical analysis of overconstrained and underconstrained mechanisms by means of computational algebraic geometry
- Computing the common zeros of two bivariate functions via Bézout resultants
- Towards a better integration of modelers and black box constraint solvers within the product design process
This page was built for publication: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312787)
