Numerical Nonlinear Algebra

Daniel J. Bates,Paul Breiding,Tianran Chen,Jonathan D. Hauenstein,Anton Leykin,Frank Sottile
2024-03-07
Abstract:Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure of the equations and led to efficient software for solving polynomial equations. Subsequent growth of numerical nonlinear algebra continues to be informed by algebraic geometry and its applications. These include new approaches to solving, algorithms for studying positive-dimensional varieties, certification, and a range of applications both within mathematics and from other disciplines. With new implementations, numerical nonlinear algebra is now a fundamental computational tool for algebraic geometry and its applications. We survey some of these innovations and some recent applications.
Algebraic Geometry,Numerical Analysis
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper primarily explores the computational paradigm of Numerical Nonlinear Algebra. Numerical Nonlinear Algebra uses numerical analysis to study systems of polynomial equations. Its origins can be traced back to methods based on Bézout's theorem, used for solving polynomial equations. Through the polyhedral homotopy algorithm proposed by Huber and Sturmfels, this method has been closely integrated with the development of modern algebraic geometry and has led to the development of efficient software for solving polynomial equations. As Numerical Nonlinear Algebra has evolved, it continues to be inspired by algebraic geometry and its applications. These applications include new methods for solving, algorithms for studying positive-dimensional algebraic varieties, solution verification, and various practical applications both within and outside of mathematics. With new implementations, Numerical Nonlinear Algebra has now become a fundamental computational tool in algebraic geometry and its applications. Specifically, the paper covers the following main topics: 1. **Polynomial Homotopy Continuation**: A numerical method for computing complex solutions to systems of polynomial equations. 2. **Polyhedral Homotopy Algorithm**: Utilizes the combinatorial structure of polynomials to efficiently solve systems of polynomial equations. 3. **Numerical Algebraic Geometry**: Uses these tools to represent and manipulate algebraic varieties on a computer. 4. **Solution Verification**: Provides methods for verifying approximate solutions. The paper also introduces the latest applications of Numerical Nonlinear Algebra in different fields, showcasing some innovative results in this area.