Sums of squares in Macaulay2

DOI10.2140/JSAG.2020.10.17zbMATH Open1439.13068arXiv1812.05475OpenAlexW3010831251MaRDI QIDQ2184805FDOQ2184805

Thomas Kahle, Pablo A. Parrilo, Diego Cifuentes

Publication date: 29 May 2020

Published in: The Journal of Software for Algebra and Geometry (Search for Journal in Brave)

Abstract: The Macaulay2 package SumsOfSquares decomposes polynomials as sums of squares. It is based on methods to rationalize sum-of-squares decompositions due to Parrilo and Peyrl. The package features a data type for sums-of-squares polynomials, support for external semidefinite programming solvers, and optimization over varieties.

Full work available at URL: https://arxiv.org/abs/1812.05475

zbMATH Keywords

semidefinite programmingsums of squares

Mathematics Subject Classification ID

Semidefinite programming (90C22) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Real algebra (13J30) Software, source code, etc. for problems pertaining to commutative algebra (13-04)

Cites Work

• CSDP, A C library for semidefinite programming
• Semidefinite Optimization and Convex Algebraic Geometry
• Computing sum of squares decompositions with rational coefficients
• Implementation and evaluation of SDPA 6.0 (Semidefinite Programming Algorithm 6.0)
• Products of positive forms, linear matrix inequalities, and Hilbert 17th problem for ternary forms
• Exploiting Algebraic Structure in Sum of Squares Programs

Cited In (10)

• Matroids on Eight Elements with the Half-Plane Property and Related Concepts
• The Lorenz system as a gradient-like system
• Using sums-of-squares to prove Gaussian product inequalities
• Nonlinear algebra and applications
• Convex Algebraic Geometry of Curvature Operators
• Bad projections of the PSD cone
• SumsOfSquares
• Identifiability in Continuous Lyapunov Models
• Exact Semidefinite Programming Bounds for Packing Problems
• Moment ratio inequality of bivariate Gaussian distribution and three-dimensional Gaussian product inequality

Uses Software

• CSDP
• Macaulay2
• SDPA
• Mosek

Recommendations

• Sums of squares in \(S\)-integers 👍 👎
• On the sum of two integral squares in certain quadratic fields 👍 👎
• Sums of two squares in analytic rings 👍 👎
• Sums of squares in some integral domains 👍 👎
• Sums of smooth squares 👍 👎
• Squares in sumsets 👍 👎
• An application of Macaulay’s estimate to sums of squares problems in several complex variables 👍 👎
• 2918. On square sums of squares 👍 👎
• On sums of squares of \(K\)-nomials 👍 👎
• Sums of Two Squares of Sums of Two Squares 👍 👎

This page was built for publication: Sums of squares in Macaulay2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2184805)