English
Related papers

Related papers: A Faster Interior-Point Method for Sum-of-Squares …

200 papers

We provide an interior point method based on quasi-Newton iterations, which only requires first-order access to a strongly self-concordant barrier function. To achieve this, we extend the techniques of Dunagan-Harvey [STOC '07] to maintain…

Data Structures and Algorithms · Computer Science 2023-04-11 Adrian Vladu

This paper is devoted to the stability analysis of spatially interconnected systems (SISs) via the sum-of-squares (SOS) decomposition of positive trigonometric polynomials. For each spatial direction of SISs, three types of interconnected…

Systems and Control · Electrical Eng. & Systems 2022-02-25 Xiaokai Zhai

This paper introduces a new robust interior point method analysis for semidefinite programming (SDP). This new robust analysis can be combined with either logarithmic barrier or hybrid barrier. Under this new framework, we can improve the…

Optimization and Control · Mathematics 2021-11-22 Baihe Huang , Shunhua Jiang , Zhao Song , Runzhou Tao , Ruizhe Zhang

We study sum-of-squares (SOS) certificates for nonnegative polynomials $p$ on $\mathbb{R}^d$ and their implications for polynomial optimization over unbounded domains. Building on Lasserre's perturbation approach, we consider SOS…

Optimization and Control · Mathematics 2026-03-17 Igor Klep , Victor Magron , Matthias Schötz

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

We speed up existing decoding algorithms for three code classes in different metrics: interleaved Gabidulin codes in the rank metric, lifted interleaved Gabidulin codes in the subspace metric, and linearized Reed-Solomon codes in the…

Information Theory · Computer Science 2021-03-11 Hannes Bartz , Thomas Jerkovits , Sven Puchinger , Johan Rosenkilde

We study the problem of computing weighted sum-of-squares (WSOS) certificates for positive polynomials over a compact semialgebraic set. Building on the theory of interior-point methods for convex optimization, we introduce the concept of…

Optimization and Control · Mathematics 2022-05-09 Maria M. Davis , Dávid Papp

We consider estimation models of the form $Y=X^*+N$, where $X^*$ is some $m$-dimensional signal we wish to recover, and $N$ is symmetrically distributed noise that may be unbounded in all but a small $\alpha$ fraction of the entries. We…

Machine Learning · Computer Science 2022-11-15 Tommaso d'Orsi , Rajai Nasser , Gleb Novikov , David Steurer

We consider the problem of computing the Lebesgue volume of compact basic semi-algebraic sets. In full generality, it can be approximated as closely as desired by a converging hierarchy of upper bounds obtained by applying the Moment-SOS…

Optimization and Control · Mathematics 2022-07-05 Matteo Tacchi , Jean B Lasserre , Didier Henrion

The Sum of Squares (\sos{}) hierarchy gives an automatized technique to create a family of increasingly tight convex relaxations for binary programs. There are several problems for which a constant number of rounds of this hierarchy give…

Data Structures and Algorithms · Computer Science 2020-05-19 Victor Verdugo , José Verschae , Andreas Wiese

We develop a new `subspace layered least squares' interior point method (IPM) for solving linear programs. Applied to an $n$-variable linear program in standard form, the iteration complexity of our IPM is up to an $O(n^{1.5} \log n)$…

Optimization and Control · Mathematics 2025-02-20 Xavier Allamigeon , Daniel Dadush , Georg Loho , Bento Natura , László A. Végh

We propose a computationally tractable method for the identification of stable canonical discrete-time rational transfer function models, using frequency domain data. The problem is formulated as a global non-convex optimization problem…

Systems and Control · Electrical Eng. & Systems 2023-12-27 Mohamed Abdalmoaty , Jared Miller , Mingzhou Yin , Roy S. Smith

In this paper, we study optimal experimental design problems with a broad class of smooth convex optimality criteria, including the classical A-, D- and p th mean criterion. In particular, we propose an interior point (IP) method for them…

Computation · Statistics 2012-10-16 Zhaosong Lu , Ting Kei Pong

Convex relaxations based on different hierarchies of linear/semi-definite programs have been used recently to devise approximation algorithms for various optimization problems. The approximation guarantee of these algorithms improves with…

Data Structures and Algorithms · Computer Science 2015-03-20 Venkatesan Guruswami , Ali Kemal Sinop

Large-scale optimization problems that seek sparse solutions have become ubiquitous. They are routinely solved with various specialized first-order methods. Although such methods are often fast, they usually struggle with not-so-well…

Optimization and Control · Mathematics 2021-11-29 Valentina De Simone , Daniela di Serafino , Jacek Gondzio , Spyridon Pougkakiotis , Marco Viola

The moment sum of squares (moment-SOS) hierarchy produces sequences of upper and lower bounds on functionals of the exit time solution of a polynomial stochastic differential equation with polynomial constraints, at the price of solving…

Optimization and Control · Mathematics 2021-01-18 Didier Henrion , Mauricio Junca , Mauricio Velasco

The homogeneous second-order descent method (Zhang et al. 2025, Mathematics of Operations Research) was initially proposed for unconstrained optimisation problems. HSODM shows excellent performance with respect to the global complexity rate…

Optimization and Control · Mathematics 2026-04-08 Yonggang Pei , Yubing Lin , Mauricio Silva Louzeiro , Detong Zhu

This paper considers fast algorithms for operations on linearized polynomials. We propose a new multiplication algorithm for skew polynomials (a generalization of linearized polynomials) which has sub-quadratic complexity in the polynomial…

Symbolic Computation · Computer Science 2017-07-12 Sven Puchinger , Antonia Wachter-Zeh

We study two fundamental problems in computational geometry: finding the maximum inscribed ball (MaxIB) inside a bounded polyhedron defined by $m$ hyperplanes, and the minimum enclosing ball (MinEB) of a set of $n$ points, both in…

Computational Geometry · Computer Science 2016-05-09 Zeyuan Allen-Zhu , Zhenyu Liao , Yang Yuan

This paper deals with simultaneously fast and in-place algorithms for formulae where the result has to be linearly accumulated: some output variables are also input variables, linked by a linear dependency. Fundamental examples include the…

Symbolic Computation · Computer Science 2025-11-07 Jean-Guillaume Dumas , Bruno Grenet