中文
相关论文

相关论文: Stokes, Gibbs and volume computation of semi-algeb…

200 篇论文

The moment-SOS (sum of squares) hierarchy is a powerful approach for solving globally non-convex polynomial optimization problems (POPs) at the price of solving a family of convex semidefinite optimization problems (called moment-SOS…

最优化与控制 · 数学 2025-07-08 Didier Henrion

We consider the problem of computing exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP) solvers. We provide a hybrid numeric-symbolic algorithm…

符号计算 · 计算机科学 2026-02-24 Victor Magron , Mohab Safey El Din

We construct a quasi-polynomial time deterministic approximation algorithm for computing the volume of an independent set polytope with restrictions. Randomized polynomial time approximation algorithms for computing the volume of a convex…

数据结构与算法 · 计算机科学 2023-12-08 David Gamarnik , Devin Smedira

This paper presents exact Semi-Definite Program (SDP) reformulations for infinite-dimensional moment optimization problems involving a new class of piecewise Sum-of-Squares (SOS)-convex functions and projected spectrahedral support sets.…

最优化与控制 · 数学 2024-07-03 Queenie Yingkun Huang , Vaithilingam Jeyakumar , Guoyin Li

We introduce a method for proving lower bounds on the efficacy of semidefinite programming (SDP) relaxations for combinatorial problems. In particular, we show that the cut, TSP, and stable set polytopes on $n$-vertex graphs are not the…

计算复杂性 · 计算机科学 2014-11-25 James R. Lee , Prasad Raghavendra , David Steurer

We provide a numerical scheme to approximate as closely as desired the Gaussian or exponential measure $\mu(\om)$ of (not necessarily compact) basic semi-algebraic sets$\om\subset\R^n$. We obtain two monotone (non increasing and non…

最优化与控制 · 数学 2017-07-11 Jean-Bernard Lasserre

Maximum A posteriori Probability (MAP) inference in graphical models amounts to solving a graph-structured combinatorial optimization problem. Popular inference algorithms such as belief propagation (BP) and generalized belief propagation…

机器学习 · 统计学 2017-09-20 Murat A. Erdogdu , Yash Deshpande , Andrea Montanari

We study the problem of finding the Lowner-John ellipsoid, i.e., an ellipsoid with minimum volume that contains a given convex set. We reformulate the problem as a generalized copositive program, and use that reformulation to derive…

最优化与控制 · 数学 2020-06-22 Areesh Mittal , Grani A. Hanasusanto

A polynomial optimization problem (POP) consists of minimizing a multivariate real polynomial on a semi-algebraic set $K$ described by polynomial inequalities and equations. In its full generality it is a non-convex, multi-extremal,…

最优化与控制 · 数学 2014-05-29 Cédric Josz , Didier Henrion

This chapter investigates how symmetries can be used to reduce the computational complexity in polynomial optimization problems. A focus will be specifically given on the Moment-SOS hierarchy in polynomial optimization, where results from…

最优化与控制 · 数学 2023-05-10 Philippe Moustrou , Cordian Riener , Hugues Verdure

The Sum-of-Squares (SoS) hierarchy of semidefinite programs is a powerful algorithmic paradigm which captures state-of-the-art algorithmic guarantees for a wide array of problems. In the average case setting, SoS lower bounds provide strong…

计算复杂性 · 计算机科学 2021-11-18 Chris Jones , Aaron Potechin , Goutham Rajendran , Madhur Tulsiani , Jeff Xu

This paper is concerned with stochastic incompressible Navier-Stokes equations with multiplicative noise in two dimensions with respect to periodic boundary conditions. Based on the Helmholtz decomposition of the multiplicative noise,…

数值分析 · 数学 2022-11-28 Hailong Qiu

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…

最优化与控制 · 数学 2017-11-21 Diego Cifuentes , Pablo A. Parrilo

In this paper, we consider a bilevel polynomial optimization problem where the objective and the constraint functions of both the upper and the lower level problems are polynomials. We present methods for finding its global minimizers and…

最优化与控制 · 数学 2016-01-14 V. Jeyakumar , J. B. Lasserre , G. Li , T. S. Pham

We consider the problem of finding exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP) solvers. We start by providing a hybrid numeric-symbolic…

符号计算 · 计算机科学 2018-03-01 Victor Magron , Mohab Safey El Din

This paper studies the matrix Moment-SOS hierarchy for solving polynomial matrix optimization. Our first result is to show the finite convergence of this hierarchy, if the nondegeneracy condition, strict complementarity condition and second…

最优化与控制 · 数学 2026-05-05 Lei Huang , Jiawang Nie

In this paper we show that Sum-of-Squares optimization can be used to find optimal semialgebraic representations of sets. These sets may be explicitly defined, as in the case of discrete points or unions of sets; or implicitly defined, as…

最优化与控制 · 数学 2018-09-28 Morgan Jones , Matthew M. Peet

We propose a novel methodology for solving a two-stage adjustable robust convex optimisation problem with a general (proximable) convex objective function and constraints defined by sum-of-squares (SOS) convex polynomials. These problems…

最优化与控制 · 数学 2026-02-17 Neil D. Dizon , Bethany I. Caldwell , Vaithilingam Jeyakumar , Guoyin Li

A family of logarithmic Sobolev inequalities on finite dimensional quantum state spaces is introduced. The framework of non-commutative $\bL_p$-spaces is reviewed and the relationship between quantum logarithmic Sobolev inequalities and the…

量子物理 · 物理学 2013-06-13 Michael J. Kastoryano , Kristan Temme

We consider the linear conic optimization problem with the cone of nonnegative polynomials. Its dual optimization problem is the generalized moment problem. Moment-SOS relaxations are powerful for solving them. This paper studies finite…

最优化与控制 · 数学 2024-07-08 Lei Huang , Jiawang Nie , Ya-Xiang Yuan