SOSTOOLS: Sum of Squares Optimization Toolbox for MATLAB — User’s Guide

SOSTOOLS is a free MATLAB toolbox for formulating and solving sum of squares (SOS) optimization programs. It uses a simple notation and a flexible and intuitive high-level user interface to specify the SOS programs. Currently these are solved using SeDuMi, a well-known semidefinite programming solver, while SOSTOOLS handles internally all the necessary reformulations and data … Read more

Condition and complexity measures for infeasibility certificates of systems of linear inequalities and their sensitivity analysis

We begin with a study of the infeasibility measures for linear programming problems. For this purpose, we consider feasibility problems in Karmarkar’s standard form. Our main focus is on the complexity measures which can be used to bound the amount of computational effort required to solve systems of linear inequalities and related problems in certain … Read more

Relating Homogeneous Cones and Positive Definite Cones via hBcalgebras

$T$-algebras are non-associative algebras defined by Vinberg in the early 1960’s for the purpose of studying homogeneous cones. Vinberg defined a cone $K(\mathcal A)$ for each $T$-algebra $\mathcal A$ and proved that every homogeneous cone is isomorphic to one such $K(\mathcal A)$. We relate each $T$-algebra $\mathcal A$ with a space of linear operators in … Read more

Semidefinite Programming in the Space of Partial Positive Semidefinite Matrices

We build upon the work of Fukuda et al.\ \cite{FuKoMuNa01} and Nakata et al.\ \cite{NaFuFuKoMu01}, in which the theory of partial positive semidefinite matrices has been applied to the semidefinite programming (SDP) problem as a technique for exploiting sparsity in the data. In contrast to their work, which improves an existing algorithm that is based … Read more

PENNON – A Code for Convex Nonlinear and Semidefinite Programming

We introduce a computer program PENNON for the solution of problems of convex Nonlinear and Semidefinite Programming (NLP-SDP). The algorithm used in PENNON is a generalized version of the Augmented Lagrangian method, originally introduced by Ben-Tal and Zibulevsky for convex NLP problems. We present generalization of this algorithm to convex NLP-SDP problems, as implemented in … Read more

Exact Solutions of Some Nonconvex Quadratic Optimization Problems via SDP and SOCP Relaxations

We show that SDP (semidefinite programming) and SOCP (second order cone programming) relaxations provide exact optimal solutions for a class of nonconvex quadratic optimization problems. It is a generalization of the results by S.~Zhang for a subclass of quadratic maximization problems that have nonnegative off-diagonal coefficient matrices of objective quadratic functions and diagonal coefficient matrices … Read more

DSDP4 Software User Guide

DSDP4 is an implementation of the dual-scaling algorithm for semidefinite program ming. New features in this version include a Lanczos procedure for determining the step size, more precise primal solutions, a parallel solver, and improved performance on the standard test suites. CitationANL/MCS-TM-255; Mathematics and Computer Science Division; Argonne National Laboratory; Argonne, IL; March 2002ArticleDownload View … Read more

Parallel Computing on Semidefinite Programs

This paper demonstrates how interior-point methods can use multiple processors efficiently to solve large semidefinite programs that arise in VLSI design, control theory, and graph coloring. Previous implementations of these methods have been restricted to a single processor. By computing and solving the Schur complement matrix in parallel, multiple processors enable the faster solution of … Read more

A Note on Approximating the 2-Catalog Segmentation Problem

We present a $.73$-approximation algorithm for a disjoint $2$-Catalog Segmentation and $.63$-approximation algorithm for the joint version of the problem. Previously best known results are $.65$ and $.56$, respectively. The results are based on semidefinite programming and a subtle rounding method. CitationWorking Paper, Department of Management Sciences, Henry, B. Tippie College of Business, The University … Read more

The method of reflection-projection for convex feasibility problems with an obtuse cone

The convex feasibility problem asks to find a point in the intersection of finitely many closed convex sets in Euclidean space. This problem is of fundamental importance in mathematics and physical sciences, and it can be solved algorithmically by the classical method of cyclic projections. In this paper, the case where one of the constraints … Read more