mlsanityData to 14 Oct 2026

DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization

arXiv 1706.02586 ↗First posted 8 Jun 2017math.OC cs.DS cs.SYcited by 19

Not on the map. Why?

Abstract (arXiv)

In recent years, optimization theory has been greatly impacted by the advent of sum of squares (SOS) optimization. The reliance of this technique on large-scale semidefinite programs however, has limited the scale of problems to which it can be applied. In this paper, we introduce DSOS and SDSOS optimization as linear programming and second-order cone programming-based alternatives to sum of squares optimization that allow one to trade off computation time with solution quality. These are optimization problems over certain subsets of sum of squares polynomials (or equivalently subsets of positive semidefinite matrices), which can be of interest in general applications of semidefinite programming where scalability is a limitation. We show that some basic theorems from SOS optimization which rely on results from real algebraic geometry are still valid for DSOS and SDSOS optimization. Furthermore, we show with numerical experiments from diverse application areas---polynomial optimization, statistics and machine learning, derivative pricing, and control theory---that with reasonable tradeoffs in accuracy, we can handle problems at scales that are currently significantly beyond the reach of traditional sum of squares approaches. Finally, we provide a review of recent techniques that bridge the gap between our DSOS/SDSOS approach and the SOS approach at the expense of additional running time. The Supplementary Material of the paper introduces an accompanying MATLAB package for DSOS and SDSOS optimization.

Key facts. Cited by 19 papers in the map (data through 14 Oct 2026). First posted on arXiv 8 Jun 2017.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2021: 4; 2022: 6; 2023: 4; 2024: 2; 2025: 1; 2026: 2.

19 papers.

Sort:

By area:

  1. 2021Shape-constrained Symbolic Regression -- Improving Extrapolation with Prior Knowledgecited by 27
  2. 2023Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbertcited by 18
  3. 2021Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal controlcited by 12
  4. 2022A Unified View of SDP-based Neural Network Verification through Completely Positive Programmingcited by 12
  5. 2023Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimizationcited by 7
  6. 2025SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solverscited by 5
  7. 2023A Distributionally Robust Approach to Regret Optimal Control using the Wasserstein Distancecited by 3
  8. 2023Higher-Order Newton Methods with Polynomial Work per Iterationcited by 3
  9. 2022Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safetycited by 2
  10. 2022Stable and Transferable Hyper-Graph Neural Networkscited by 2
  11. 2021Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variabilitycited by 1
  12. 2026From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificatescited by 1
7 more
  1. 2021Data Generation Method for Learning a Low-dimensional Safe Region in Safe Reinforcement Learningcited by 0
  2. 2022Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part I: Definitions & Basic Propertiescited by 0
  3. 2022Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Resultscited by 0
  4. 2022Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthantcited by 0
  5. 2024Training Safe Neural Networks with Global SDP Boundscited by 0
  6. 2024A practical, fast method for solving sum-of-squares problems for very large polynomialscited by 0
  7. 2026Certifiable Factor Graph Optimizationcited by 0