English
Related papers

Related papers: Computing Real Roots of Real Polynomials

200 papers

We present a modification of Newton's method to restore quadratic convergence for isolated singular solutions of polynomial systems. Our method is symbolic-numeric: we produce a new polynomial system which has the original multiple solution…

Numerical Analysis · Mathematics 2007-05-23 Anton Leykin , Jan Verschelde , Ailing Zhao

Consider an algebraic equation $P(x,y)=0$ where $P\in \mathbb C[x,y] $ (or $\mathbb F[x,y]$ with $\mathbb F\subset \mathbb C$ a subfield) is a bivariate polynomial, it defines a plane algebraic curve. We provide an efficient method for…

Mathematical Physics · Physics 2024-06-03 Bertrand Eynard

Quadratically constrained quadratic programs (QCQPs) are an expressive family of optimization problems that occur naturally in many applications. It is often of interest to seek out sparse solutions, where many of the entries of the…

Optimization and Control · Mathematics 2022-10-03 Kevin Shu

It is well-known that every non-negative univariate real polynomial can be written as the sum of two polynomial squares with real coefficients. When one allows a weighted sum of finitely many squares instead of a sum of two squares, then…

Symbolic Computation · Computer Science 2017-06-14 Victor Magron , Mohab Safey El Din , Markus Schweighofer

Complex polynomial optimization has recently gained more and more attention in both theory and practice. In this paper, we study the optimization of a real-valued general conjugate complex form over various popular constraint sets including…

Optimization and Control · Mathematics 2016-12-08 Taoran Fu , Bo Jiang , Zhening Li

We present algorithms revealing new families of polynomials allowing sub-exponential detection of p-adic rational roots, relative to the sparse encoding. For instance, we show that the case of honest n-variate (n+1)-nomials is doable in NP…

Number Theory · Mathematics 2010-11-09 Martín Avendaño , Ashraf Ibrahim , J. Maurice Rojas , Korben Rusek

Finding valid light paths that involve specular vertices in Monte Carlo rendering requires solving many non-linear, transcendental equations in high-dimensional space. Existing approaches heavily rely on Newton iterations in path space,…

Graphics · Computer Science 2024-05-24 Zhimin Fan , Jie Guo , Yiming Wang , Tianyu Xiao , Hao Zhang , Chenxi Zhou , Zhenyu Chen , Pengpei Hong , Yanwen Guo , Ling-Qi Yan

We investigate two well known dynamical systems that are designed to find roots of univariate polynomials by iteration: the methods known by Newton and by Ehrlich-Aberth. Both are known to have found all roots of high degree polynomials…

Numerical Analysis · Mathematics 2020-04-08 Sergey Shemyakov , Roman Chernov , Dzmitry Rumiantsau , Dierk Schleicher , Simon Schmitt , Anton Shemyakov

In this paper, we derive explicit formulas for computing the roots of $ax^{2}+bx+c=0$ with $a$ being not invertible in split quaternion algebra. We also imitate the approach developed by Opfer, Janovska and Falcao etc. to verify our results…

Algebraic Geometry · Mathematics 2024-03-29 Wensheng Cao

The cyclic n-roots problem is an important benchmark problem for polynomial system solvers. We consider the pruning of cone intersections for a polyhedral method to compute series for the solution curves.

Computational Geometry · Computer Science 2016-02-25 Jeff Sommars , Jan Verschelde

The cutting plane approach to optimal matchings has been discussed by several authors over the past decades (e.g., Padberg and Rao '82, Grotschel and Holland '85, Lovasz and Plummer '86, Trick '87, Fischetti and Lodi '07) and its…

Data Structures and Algorithms · Computer Science 2014-01-24 Karthekeyan Chandrasekaran , Laszlo A. Vegh , Santosh Vempala

Polynomials whose coefficients, roots, and critical points lie in the ring of rational integers are called nice polynomials. In this paper, we present a general method for investigating such polynomials. We extend our results from the ring…

Number Theory · Mathematics 2007-05-23 Jean-Claude Evard

We consider a generalization of polynomial programs: algebraic programs, which are optimization or feasibility problems with algebraic objectives or constraints. Algebraic functions are defined as zeros of multivariate polynomials. They are…

Optimization and Control · Mathematics 2025-02-13 Muhammad Maaz , Adam W. Strzeboński

The absolute separation of a polynomial is the minimum nonzero difference between the absolute values of its roots. In the case of polynomials with integer coefficients, it can be bounded from below in terms of the degree and the height…

Classical Analysis and ODEs · Mathematics 2024-12-10 Yann Bugeaud , Andrej Dujella , Wenjie Fang , Tomislav Pejković , Bruno Salvy

In this paper, we describe new methods to compute the radical (resp. real radical) of an ideal, assuming it complex (resp. real) variety is finite. The aim is to combine approaches for solving a system of polynomial equations with dual…

Algebraic Geometry · Mathematics 2011-12-21 Jean-Bernard Lasserre , Monique Laurent , Bernard Mourrain , Philipp Rostalski , Philippe Trébuchet

Polynomial multiplication is a fundamental problem in symbolic computation. There are efficient methods for the multiplication of two univariate polynomials. However, there is rarely efficiently nontrivial method for the multiplication of…

Computational Complexity · Computer Science 2024-03-20 Cancan Wang , Ming Su , Gang Wang , Qingpo Zhang

Quaternions, introduced by Hamilton in 1843 as a generalization of complex numbers, have found, in more recent years, a wealth of applications in a number of different areas which motivated the design of efficient methods for numerically…

Numerical Analysis · Mathematics 2018-02-14 M. Irene Falcão , Fernando Miranda , Ricardo Severino , M. Joana Soares

In this paper we derive aggregate separation bounds, named after Davenport-Mahler-Mignotte (\dmm), on the isolated roots of polynomial systems, specifically on the minimum distance between any two such roots. The bounds exploit the…

Symbolic Computation · Computer Science 2010-07-26 Ioannis Z. Emiris , Bernard Mourrain , Elias Tsigaridas

We consider the problem of interpolating a sparse multivariate polynomial over a finite field, represented with a black box. Building on the algorithm of Ben-Or and Tiwari for interpolating polynomials over rings with characteristic zero,…

Symbolic Computation · Computer Science 2020-02-11 Qiao-Long Huang

In this paper, we propose a new algebraic winding number and prove that it computes the number of complex roots of a polynomial in a rectangle, including roots on edges or vertices with appropriate counting. The definition makes sense for…

Algebraic Geometry · Mathematics 2024-07-22 Daniel Perrucci , Marie-Françoise Roy