English
Related papers

Related papers: Simplification Methods for Sum-of-Squares Programs

200 papers

We propose an iterative algorithm for the numerical computation of sums of squares of polynomials approximating given data at prescribed interpolation points. The method is based on the definition of a convex functional $G$ arising from the…

Optimization and Control · Mathematics 2020-03-17 Bruno Després , Maxime Herda

Let $f$ be a polynomial system consisting of $n$ polynomials $f_1,\cdots, f_n$ in $n$ variables $x_1,\cdots, x_n$, with coefficients in $\mathbb{Q}$ and let $\langle f\rangle$ be the ideal generated by $f$. Such a polynomial system, which…

Commutative Algebra · Mathematics 2018-07-31 Jean-Paul Cardinal

To prove that a polynomial is nonnegative on R^n one can try to show that it is a sum of squares of polynomials (SOS). The latter problem is now known to be reducible to a semidefinite programming (SDP) computation much faster than…

Algebraic Geometry · Mathematics 2010-10-27 J. Maurice Rojas , Swaminathan Sethuraman

We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the…

Algebraic Geometry · Mathematics 2021-07-12 Antonio Laface , Alex Massarenti , Rick Rischter

In order to obtain the best-known guarantees, algorithms are traditionally tailored to the particular problem we want to solve. Two recent developments, the Unique Games Conjecture (UGC) and the Sum-of-Squares (SOS) method, surprisingly…

Data Structures and Algorithms · Computer Science 2014-05-28 Boaz Barak , David Steurer

We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares…

Optimization and Control · Mathematics 2026-05-28 Amir Ali Ahmadi , Sanjeeb Dash , Yixuan Hua , Bartolomeo Stellato

A polynomial matrix inequality is a formula asserting that a polynomial matrix is positive semidefinite. Polynomial matrix optimization concerns minimizing the smallest eigenvalue of a symmetric polynomial matrix subject to a tuple of…

Optimization and Control · Mathematics 2025-06-06 Jared Miller , Jie Wang , Feng Guo

We consider extensions of the Shannon relative entropy, referred to as $f$-divergences.Three classical related computational problems are typically associated with these divergences: (a) estimation from moments, (b) computing normalizing…

Information Theory · Computer Science 2023-09-19 Francis Bach

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

This paper is concerned with the problem of finding $n$ distinct squares such that, on excluding any one of them, the sum of the remaining $n-1$ squares is a square. While parametric solutions are known when $n=3$ and $n=4$, when $n > 4$,…

Number Theory · Mathematics 2025-05-06 Ajai Choudhry

We consider the problem of decomposing a regular non-negative function as a sum of squares of functions which preserve some form of regularity. In the same way as decomposing non-negative polynomials as sum of squares of polynomials allows…

Optimization and Control · Mathematics 2022-03-01 Ulysse Marteau-Ferey , Francis Bach , Alessandro Rudi

The ellipsoid method is an algorithm that solves the (weak) feasibility and linear optimization problems for convex sets by making oracle calls to their (weak) separation problem. We observe that the previously known method for showing that…

Logic in Computer Science · Computer Science 2023-10-24 Albert Atserias , Joanna Fijalkow

We investigate the number of half-regular squares required to decompose a non-negative $C^{k,\alpha}(\mathbb{R}^n)$ function into a sum of squares. Each non-negative $C^{3,1}(\mathbb{R}^n)$ function is known to be a finite SOS in…

Functional Analysis · Mathematics 2023-09-15 Sullivan Francis MacDonald

The reduction of constraints to obtain minimal representations of sets is a very common problem in many engineering applications. While well-established methodologies exist for the case of linear constraints, the problem of how to detect…

Systems and Control · Electrical Eng. & Systems 2020-06-29 Andres Cotorruelo , Ilya Kolmanovsky , Daniel R. Ramírez , Daniel Limon , Emanuele Garone

We study sum of squares (SOS) relaxations to optimize polynomial functions over a set $V\cap R^n$, where $V$ is a complex algebraic variety. We propose a new methodology that, rather than relying on some algebraic description, represents…

Optimization and Control · Mathematics 2017-11-21 Diego Cifuentes , Pablo A. Parrilo

In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares…

Optimization and Control · Mathematics 2016-02-26 Sadik Iliman , Timo de Wolff

Tensor rank and low-rank tensor decompositions have many applications in learning and complexity theory. Most known algorithms use unfoldings of tensors and can only handle rank up to $n^{\lfloor p/2 \rfloor}$ for a $p$-th order tensor in…

Data Structures and Algorithms · Computer Science 2015-04-23 Rong Ge , Tengyu Ma

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 the simplicial cone constrained convex quadratic programming problem is studied. The optimality conditions of this problem consist in a linear complementarity problem. This fact, under a suitable condition, leads to an…

Optimization and Control · Mathematics 2015-03-11 J. G. Barrios , O. P. Ferreira , S. Z. Németh

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