English
Related papers

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

200 papers

We present space efficient Monte Carlo algorithms that solve Subset Sum and Knapsack instances with $n$ items using $O^*(2^{0.86n})$ time and polynomial space, where the $O^*(\cdot)$ notation suppresses factors polynomial in the input size.…

Data Structures and Algorithms · Computer Science 2017-06-27 Nikhil Bansal , Shashwat Garg , Jesper Nederlof , Nikhil Vyas

We study planted problems---finding hidden structures in random noisy inputs---through the lens of the sum-of-squares semidefinite programming hierarchy (SoS). This family of powerful semidefinite programs has recently yielded many new…

Data Structures and Algorithms · Computer Science 2017-10-31 Samuel B. Hopkins , Pravesh K. Kothari , Aaron Potechin , Prasad Raghavendra , Tselil Schramm , David Steurer

This work investigates an efficient solution to two fundamental problems in topology optimization of frame structures. The first one involves minimizing structural compliance under linear-elastic equilibrium and weight constraint, while the…

Optimization and Control · Mathematics 2025-03-28 Marouan Handa , Marek Tyburec , Michal Kočvara

We introduce a method for proving Sum-of-Squares (SoS)/ Lasserre hierarchy lower bounds when the initial problem formulation exhibits a high degree of symmetry. Our main technical theorem allows us to reduce the study of the positive…

Data Structures and Algorithms · Computer Science 2016-02-11 Adam Kurpisz , Samuli Leppänen , Monaldo Mastrolilli

We study the problem of solving linear program in the streaming model. Given a constraint matrix $A\in \mathbb{R}^{m\times n}$ and vectors $b\in \mathbb{R}^m, c\in \mathbb{R}^n$, we develop a space-efficient interior point method that…

Data Structures and Algorithms · Computer Science 2023-05-19 S. Cliff Liu , Zhao Song , Hengjie Zhang , Lichen Zhang , Tianyi Zhou

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

We give new algorithms based on the sum-of-squares method for tensor decomposition. Our results improve the best known running times from quasi-polynomial to polynomial for several problems, including decomposing random overcomplete…

Data Structures and Algorithms · Computer Science 2016-10-07 Tengyu Ma , Jonathan Shi , David Steurer

We develop a new interior-point method (IPM) for symmetric-cone optimization, a common generalization of linear, second-order-cone, and semidefinite programming. In contrast to classical IPMs, we update iterates with a geodesic of the cone…

Optimization and Control · Mathematics 2023-01-18 Frank Permenter

The Unbounded Subset-Sum Problem (USSP) is defined as: given sum $s$ and a set of integers $W\leftarrow \{p_1,\dots,p_n\}$ output a set of non-negative integers $\{y_1,\dots,y_n\}$ such that $p_1y_1+\dots+p_ny_n=s$. The USSP is an…

Data Structures and Algorithms · Computer Science 2021-03-17 Majid Salimi , Hamid Mala

We use the Sum of Squares method to develop new efficient algorithms for learning well-separated mixtures of Gaussians and robust mean estimation, both in high dimensions, that substantially improve upon the statistical guarantees achieved…

Data Structures and Algorithms · Computer Science 2017-11-21 Samuel B. Hopkins , Jerry Li

Hyperbolic polynomials is a class of real-roots polynomials that has wide range of applications in theoretical computer science. Each hyperbolic polynomial also induces a hyperbolic cone that is of particular interest in optimization due to…

Optimization and Control · Mathematics 2023-06-14 Yichuan Deng , Zhao Song , Lichen Zhang , Ruizhe Zhang

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

SOSOPT is a Matlab toolbox for formulating and solving Sum-of-Squares (SOS) polynomial optimizations. This document briefly describes the use and functionality of this toolbox. Section 1 introduces the problem formulations for SOS tests,…

Optimization and Control · Mathematics 2016-11-26 Peter Seiler

It is known that point searching in basic semialgebraic sets and the search for globally minimal points in polynomial optimization tasks can be carried out using $(s\,d)^{O(n)}$ arithmetic operations, where $n$ and $s$ are the numbers of…

Symbolic Computation · Computer Science 2014-02-11 Bernd Bank , Marc Giusti , Joos Heintz , Mohab Safey El Din

This research studies finite element (FE) model updating through sum of squares (SOS) optimization to minimize modal dynamic residuals. In the past few decades, many FE model updating algorithms have been studied to improve the similitude…

Optimization and Control · Mathematics 2018-09-05 Dan Li , Xinjun Dong , Yang Wang

Given a multiset $S$ of $n$ positive integers and a target integer $t$, the subset sum problem is to decide if there is a subset of $S$ that sums up to $t$. We present a new divide-and-conquer algorithm that computes all the realizable…

Data Structures and Algorithms · Computer Science 2016-12-13 Konstantinos Koiliaris , Chao Xu

The release of SOSTOOLS v4.00 comes as we approach the 20th anniversary of the original release of SOSTOOLS v1.00 back in April, 2002. SOSTOOLS was originally envisioned as a flexible tool for parsing and solving polynomial optimization…

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

This paper studies a fundamental problem in convex optimization, which is to solve semidefinite programming (SDP) with high accuracy. This paper follows from the existing robust SDP-based interior point method analysis due to [Huang, Jiang,…

Quantum Physics · Physics 2023-02-08 Baihe Huang , Shunhua Jiang , Zhao Song , Runzhou Tao , Ruizhe Zhang

This paper studies the polynomial optimization problem whose feasible set is a union of several basic closed semialgebraic sets. We propose a unified hierarchy of Moment-SOS relaxations to solve it globally. Under some assumptions, we prove…

Optimization and Control · Mathematics 2024-05-21 Jiawang Nie , Linghao Zhang