English
Related papers

Related papers: Tight Sum-of-Squares lower bounds for binary polyn…

200 papers

Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size k is planted in a random G(n, 1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best…

Computational Complexity · Computer Science 2015-03-24 Raghu Meka , Aaron Potechin , Avi Wigderson

Handling an infinite number of inequality constraints in infinite-dimensional spaces occurs in many fields, from global optimization to optimal transport. These problems have been tackled individually in several previous articles through…

Optimization and Control · Mathematics 2024-02-22 Pierre-Cyril Aubin-Frankowski , Alessandro Rudi

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

Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size t is planted in a random G(n,1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best…

Computational Complexity · Computer Science 2013-11-14 Raghu Meka , Avi Wigderson

We consider the problem of optimizing a multivariate quadratic function where each decision variable is constrained to be a complex $m$'th root of unity. Such problems have applications in signal processing, MIMO detection, and the…

Optimization and Control · Mathematics 2025-08-05 Ahmad Al-Sulami , Hamza Fawzi , Shengding Sun

We study the convergence rate of a hierarchy of upper bounds for polynomial optimization problems, proposed by Lasserre [SIAM J. Optim. 21(3) (2011), pp. 864-885], and a related hierarchy by De Klerk, Hess and Laurent [SIAM J. Optim. 27(1),…

Optimization and Control · Mathematics 2018-04-17 Etienne de Klerk , Monique Laurent

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

The standard moment-sum-of-squares (SOS) hierarchy is a powerful method for solving global polynomial optimization problems. However, its convergence relies on Putinar's Positivstellensatz, which requires the feasible set to satisfy the…

Optimization and Control · Mathematics 2025-12-08 Didier Henrion

We prove that with high probability over the choice of a random graph $G$ from the Erd\H{o}s-R\'enyi distribution $G(n,1/2)$, the $n^{O(d)}$-time degree $d$ Sum-of-Squares semidefinite programming relaxation for the clique problem will give…

Computational Complexity · Computer Science 2016-04-13 Boaz Barak , Samuel B. Hopkins , Jonathan Kelner , Pravesh K. Kothari , Ankur Moitra , Aaron Potechin

Chvatal-Gomory (CG) cuts and the Bienstock-Zuckerberg hierarchy capture useful linear programs that the standard bounded degree Lasserre/Sum-of-Squares SOS hierarchy fails to capture. In this paper we present a novel polynomial time SOS…

Optimization and Control · Mathematics 2019-12-24 Monaldo Mastrolilli

Estimation is the computational task of recovering a hidden parameter $x$ associated with a distribution $D_x$, given a measurement $y$ sampled from the distribution. High dimensional estimation problems arise naturally in statistics,…

Data Structures and Algorithms · Computer Science 2019-08-07 Prasad Raghavendra , Tselil Schramm , David Steurer

We introduce an approximation method to solve an optimal control problem via the Lagrange dual of its weak formulation. It is based on a sum-of-squares representation of the Hamiltonian, and extends a previous method from polynomial…

Optimization and Control · Mathematics 2021-10-15 Eloïse Berthier , Justin Carpentier , Alessandro Rudi , Francis Bach

We investigate the maximum sum-of-squares (SOS) rank of biquadratic forms in the critical case of $4 \times 3$ variables, where the general bounds are currently $7 \leq \mathrm{BSR}(4,3) \leq 11$. By analyzing two important structured…

Optimization and Control · Mathematics 2026-02-26 Yi Xu , Chunfeng Cui , Liqun Qi

Decoders are a critical component of fault-tolerant quantum computing. They must identify errors based on syndrome measurements to correct quantum states. While finding the optimal correction is NP-hard and thus extremely difficult,…

Quantum Physics · Physics 2026-01-30 Nirupam Basak , Ankith Mohan , Andrew Tanggara , Tobias Haug , Goutam Paul , Kishor Bharti

For an $n$-variate order-$d$ tensor $A$, define $ A_{\max} := \sup_{\| x \|_2 = 1} \langle A , x^{\otimes d} \rangle$ to be the maximum value taken by the tensor on the unit sphere. It is known that for a random tensor with i.i.d $\pm 1$…

Computational Complexity · Computer Science 2017-06-20 Vijay Bhattiprolu , Venkatesan Guruswami , Euiwoong Lee

We study SOS properties of biquadratic forms. For the class of partially symmetric biquadratic forms, we establish necessary and sufficient conditions for positive semi-definiteness and prove that every PSD partially symmetric biquadratic…

Optimization and Control · Mathematics 2026-01-21 Liqun Qi , Chunfeng Cui , Yi Xu

We study the convergence rate of moment-sum-of-squares hierarchies of semidefinite programs for optimal control problems with polynomial data. It is known that these hierarchies generate polynomial under-approximations to the value function…

Optimization and Control · Mathematics 2016-09-12 Milan Korda , Didier Henrion , Colin N. Jones

We introduce an S.o.S hierarchy of lower bounds for a polynomial optimization problem whose constraint is expressed as a matrix polynomial semidefinite inequality. Our approach involves utilizing a penalty function framework to directly…

Optimization and Control · Mathematics 2025-10-20 Hoang Anh Tran , Kim-Chuan Toh

This paper establishes a statistical versus computational trade-off for solving a basic high-dimensional machine learning problem via a basic convex relaxation method. Specifically, we consider the {\em Sparse Principal Component Analysis}…

Machine Learning · Computer Science 2015-10-20 Tengyu Ma , Avi Wigderson

Sum of squares (SOS) optimization is a powerful technique for solving problems where the positivity of a polynomials must be enforced. The common approach to solve an SOS problem is by relaxation to a Semidefinite Program (SDP). The main…

Optimization and Control · Mathematics 2024-10-29 Daniel Keren , Margarita Osadchy , Roi Poranne