English
Related papers

Related papers: On Polynomial Optimization over Non-compact Semi-a…

200 papers

Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincar\'e characteristic of real algebraic as well as semi-algebraic…

Algebraic Geometry · Mathematics 2017-07-13 Saugata Basu , Cordian Riener

Given a compact semialgebraic set S of R^n and a polynomial map f from R^n to R^m, we consider the problem of approximating the image set F = f(S) in R^m. This includes in particular the projection of S on R^m for n greater than m. Assuming…

Optimization and Control · Mathematics 2015-07-23 Victor Magron , Didier Henrion , Jean-Bernard Lasserre

We consider constrained optimization problems defined in the tropical algebra setting on a linearly ordered, algebraically complete (radicable) idempotent semifield (a semiring with idempotent addition and invertible multiplication). The…

Optimization and Control · Mathematics 2021-10-12 Nikolai Krivulin

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…

Algebraic Geometry · Mathematics 2017-05-01 Saugata Basu , Cordian Riener

Our main goal is to compute or estimate the calmness modulus of the argmin mapping of linear semi-infinite optimization problems under canonical perturbations, i.e., perturbations of the objective function together with continuous…

Optimization and Control · Mathematics 2015-01-20 M. J. Canovas , A. Y. Kruger , M. A. Lopez , J. Parra , M. A. Thera

The use of convex relaxations has lately gained considerable interest in Power Systems. These relaxations play a major role in providing global optimality guarantees for non-convex optimization problems. For the Optimal Power Flow (OPF)…

Optimization and Control · Mathematics 2015-10-29 Hassan Hijazi , Carleton Coffrin , Pascal Van Hentenryck

Motivated by the application of Lyapunov methods to partial differential equations (PDEs), we study functional inequalities of the form $f(I_1(u),\ldots,I_k(u))\geq 0$ where $f$ is a polynomial, $u$ is any function satisfying prescribed…

Optimization and Control · Mathematics 2022-01-04 Giovanni Fantuzzi

Quantum computers can solve semidefinite programs (SDPs) using resources that scale better than state-of-the-art classical methods as a function of the problem dimension. At the same time, the known quantum algorithms scale very unfavorably…

Quantum Physics · Physics 2025-02-24 Fabian Henze , Viet Tran , Birte Ostermann , Richard Kueng , Timo de Wolff , David Gross

The problem of optimizing over the cone of nonnegative polynomials is a fundamental problem in computational mathematics, with applications to polynomial optimization, control, machine learning, game theory, and combinatorics, among others.…

Optimization and Control · Mathematics 2018-06-20 Georgina Hall

A subset of Q^n is called semilinear (or piecewise linear) if it is Boolean combination of linear half-spaces. We study the computational complexity of the constraint satisfaction problem (CSP) over the rationals when all the constraints…

Computational Complexity · Computer Science 2018-10-30 Manuel Bodirsky , Marcello Mamino

Given a proper cone $K \subseteq \mathbb{R}^n$, a multivariate polynomial $f \in \mathbb{C}[z] = \mathbb{C}[z_1, \ldots, z_n]$ is called $K$-stable if it does not have a root whose vector of the imaginary parts is contained in the interior…

Algebraic Geometry · Mathematics 2020-08-31 Papri Dey , Stephan Gardoll , Thorsten Theobald

We propose a manifold optimization approach to solve linear semidefinite programs (SDP) with low-rank solutions, with an emphasis on SDP relaxations for polynomial optimization problems. This approach incorporates the inexact augmented…

Optimization and Control · Mathematics 2025-04-30 Jie Wang , Liangbing Hu

We provide a formula for the lower bound in the form of $|F| \ge K$, in such a way that the decision version of unweighted non-bipartite matching can be solved in polynomial time. ~The parameter $K$ can vary from instance to instance. We…

Logic in Computer Science · Computer Science 2014-10-24 Prabhu Manyem

This paper considers polynomial optimization with unbounded sets. We give a homogenization formulation and propose a hierarchy of Moment-SOS relaxations to solve it. Under the assumptions that the feasible set is closed at infinity and the…

Optimization and Control · Mathematics 2026-05-05 Lei Huang , Jiawang Nie , Ya-Xiang Yuan

We study the ideal generated by polynomials vanishing on a semialgebraic set and propose an algorithm to calculate the generators, which is based on some techniques of the cylindrical algebraic decomposition. By applying these, polynomial…

Optimization and Control · Mathematics 2009-02-14 Yoshiyuki Sekiguchi , Tomoyuki Takenawa , Hayato Waki

We present a class of linear programming approximations for constrained optimization problems. In the case of mixed-integer polynomial optimization problems, if the intersection graph of the constraints has bounded tree-width our…

Optimization and Control · Mathematics 2016-10-20 Daniel Bienstock , Gonzalo Munoz

We revisit the classical problem of optimal experimental design (OED) under a new mathematical model grounded in a geometric motivation. Specifically, we introduce models based on elementary symmetric polynomials; these polynomials capture…

Statistics Theory · Mathematics 2017-05-30 Zelda Mariet , Suvrit Sra

Efficient algorithms for convex optimization, such as the ellipsoid method, require an a priori bound on the radius of a ball around the origin guaranteed to contain an optimal solution if one exists. For linear and convex quadratic…

Data Structures and Algorithms · Computer Science 2025-11-06 Lucas Slot , David Steurer , Manuel Wiedmer

In the maximum constraint satisfaction problem (MAX CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given finite domain to the variables so…

Computational Complexity · Computer Science 2007-05-23 Vladimir Deineko , Peter Jonsson , Mikael Klasson , Andrei Krokhin

We consider semidefinite programs (SDPs) of size n with equality constraints. In order to overcome scalability issues, Burer and Monteiro proposed a factorized approach based on optimizing over a matrix Y of size $n$ by $k$ such that $X =…

Machine Learning · Statistics 2018-11-29 Thomas Pumir , Samy Jelassi , Nicolas Boumal