English
Related papers

Related papers: Global optimization of polynomials using gradient …

200 papers

In (Davis and Papp, 2022), the authors introduced the concept of dual certificates of (weighted) sum-of-squares polynomials, which are vectors from the dual cone of weighted sums of squares (WSOS) polynomials that can be interpreted as…

Algebraic Geometry · Mathematics 2023-08-11 Maria M. Davis , Dávid Papp

In these short notes, we will show the following. Let F_q be a finite field and let E/\F_q be an elliptic curve. Let S_r be the rth summation/Semaev polynomial for E. Under an assumption, we show that it is NP-complete to check if S_r…

Number Theory · Mathematics 2015-06-09 Michiel Kosters , Sze Ling Yeo

Systems of polynomial equations over the complex or real numbers can be used to model combinatorial problems. In this way, a combinatorial problem is feasible (e.g. a graph is 3-colorable, hamiltonian, etc.) if and only if a related system…

Combinatorics · Mathematics 2007-06-06 J. A. De Loera , J. Lee , S. Margulies , S. Onn

We develop two methods for expressing the global index of the gradient of a 2 variable polynomial function $f$: in terms of the atypical fibres of $f$, and in terms of the clusters of Milnor arcs at infinity. These allow us to derive upper…

Algebraic Geometry · Mathematics 2024-10-30 Gabriel E. Monsalve , Mihai Tibăr

Convergence guarantees for optimization over bounded-rank matrices are delicate to obtain because the feasible set is a non-smooth and non-convex algebraic variety. Existing techniques include projected gradient descent, fixed-rank…

Optimization and Control · Mathematics 2024-06-21 Quentin Rebjock , Nicolas Boumal

Various key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems are based on sums…

Data Structures and Algorithms · Computer Science 2018-02-28 Mareike Dressler , Adam Kurpisz , Timo de Wolff

For certain polynomials we relate the number of roots inside the unit circle with the index of a non-degenerate isolated umbilic point on a real analytic surface in Euclidean 3-space. In particular, for $N>0$ we prove that for a certain…

Differential Geometry · Mathematics 2023-09-07 Brendan Guilfoyle , Wilhelm Klingenberg

We study structured optimization problems with polynomial objective function and polynomial equality constraints. The structure comes from a multi-grading on the polynomial ring in several variables. For fixed multi-degrees we determine the…

Optimization and Control · Mathematics 2022-09-23 Kemal Rose

We compare algorithms for global optimization of polynomial functions in many variables. It is demonstrated that existing algebraic methods (Gr\"obner bases, resultants, homotopy methods) are dramatically outperformed by a relaxation…

Optimization and Control · Mathematics 2007-05-23 Pablo A. Parrilo , Bernd Sturmfels

The problem of characterizing a real polynomial $f$ as a sum of squares of polynomials on a real algebraic variety $V$ dates back to the pioneering work of Hilbert in [Mathematische Annalen 32.3 (1888): 342-350]. In this paper, we…

Algebraic Geometry · Mathematics 2023-03-10 Ngoc Hoang Anh Mai , Victor Magron

This paper concerns a method for finding the minimum of a polynomial on a semialgebraic set, i.e., a set in $\re^m$ defined by finitely many polynomial equations and inequalities, using the Karush-Kuhn-Tucker (KKT) system and sum of squares…

Optimization and Control · Mathematics 2007-05-23 Jiawang Nie , James W. Demmel , Victoria Powers

We present a formally verified global optimization framework. Given a semialgebraic or transcendental function $f$ and a compact semialgebraic domain $K$, we use the nonlinear maxplus template approximation algorithm to provide a certified…

Logic in Computer Science · Computer Science 2015-01-06 Victor Magron , Xavier Allamigeon , Stéphane Gaubert , Benjamin Werner

Nonnegativity certificates can be used to obtain tight dual bounds for polynomial optimization problems. Hierarchies of certificate-based relaxations ensure convergence to the global optimum, but higher levels of such hierarchies can become…

Optimization and Control · Mathematics 2023-04-25 Ksenia Bestuzheva , Helena Völker , Ambros Gleixner

We present a method for finding lower bounds on the global infima of integral variational problems, wherein $\int_\Omega f(x,u(x),\nabla u(x)){\rm d}x$ is minimized over functions $u\colon\Omega\subset\mathbb{R}^n\to\mathbb{R}^m$ satisfying…

Optimization and Control · Mathematics 2023-08-15 Alexander Chernyavsky , Jason J. Bramburger , Giovanni Fantuzzi , David Goluskin

Convexification is a core technique in global polynomial optimization. Currently, there are two main approaches competing in theory and practice: the approach of nonlinear programming and the approach based on positivity certificates from…

Optimization and Control · Mathematics 2021-09-29 Gennadiy Averkov , Benjamin Peters , Sebastian Sager

High-order tensor methods that employ Taylor-based local models (of degree $p\ge 3$) within adaptive regularization frameworks have been recently proposed for both convex and nonconvex optimization problems. They have been shown to have…

Optimization and Control · Mathematics 2024-04-19 Wenqi Zhu , Coralia Cartis

Using the dual cone of sums of nonnegative circuits (SONC), we provide a relaxation of the global optimization problem to minimize an exponential sum and, as a special case, a multivariate real polynomial. Our approach builds on two key…

Optimization and Control · Mathematics 2020-10-23 Mareike Dressler , Janin Heuer , Helen Naumann , Timo de Wolff

This paper investigates a category of constrained fractional optimization problems that emerge in various practical applications. The objective function for this category is characterized by the ratio of a numerator and denominator, both…

Optimization and Control · Mathematics 2026-05-28 Yizun Lin , Jian-Feng Cai , Zhao-Rong Lai , Cheng Li

Global polynomial optimization is an important tool across applied mathematics, with many applications in operations research, engineering, and physical sciences. In various settings, the polynomials depend on external parameters that may…

Optimization and Control · Mathematics 2024-06-14 Richard L. Zhu , Mathias Oster , Yuehaw Khoo

In this paper, we focus on computing local minimizers of a multivariate polynomial optimization problem under certain genericity conditions. By using a technique in computer algebra and the second-order optimality condition, we provide a…

Optimization and Control · Mathematics 2024-05-10 Vu Trung Hieu , Akiko Takeda