Second-order cone programming

A second-order cone program (SOCP) is a convex optimization problem of the form

minimize ${\displaystyle \ f^{T}x\ }$ subject to

${\displaystyle \lVert A_{i}x+b_{i}\rVert _{2}\leq c_{i}^{T}x+d_{i},\quad i=1,\dots ,m}$

${\displaystyle Fx=g\ }$

where the problem parameters are ${\displaystyle f\in \mathbb {R} ^{n},\ A_{i}\in \mathbb {R} ^{{ni}\times n},\ b_{i}\in \mathbb {R} ^{n_{I}},\ c_{i}\in \mathbb {R} ^{n},\ d_{i}\in \mathbb {R} ,\ F\in \mathbb {R} ^{p\times n}}$, and ${\displaystyle g\in \mathbb {R} ^{p}}$. Here ${\displaystyle x\in \mathbb {R} ^{n}}$ is the optimization variable. When ${\displaystyle A_{i}=0}$ for ${\displaystyle i=1,\dots ,m}$, the SOCP reduces to a linear program. When ${\displaystyle c_{i}=0}$ for ${\displaystyle i=1,\dots ,m}$, the SOCP is equivalent to a convex Quadratically constrained quadratic program. Semidefinite programs subsumes SOCPs as the SOCP constraints can be written as Linear Matrix Inequalities(LMI) and can be reformulated as an instance of semi definite program. SOCPs can be solved with great efficiency by interior point methods.

Example: Stochastic Programming

Consider a stochastic linear program in inequality form

minimize ${\displaystyle \ c^{T}x\ }$  subject to

${\displaystyle P(a_{i}^{T}(x)\geq b_{i})\geq p,\quad i=1,\dots ,m}$ 

where the parameters ${\displaystyle a_{i}\ }$  are independent Gaussian random vectors with mean ${\displaystyle {\bar {a}}_{i}}$  and covariance ${\displaystyle \Sigma _{i}\ }$  and ${\displaystyle p\geq 0.5}$ . This problem can be expressed as the SOCP

minimize ${\displaystyle \ c^{T}x\ }$  subject to

${\displaystyle {\bar {a}}_{i}^{T}(x)+\Phi ^{-1}(1-p)\lVert \Sigma _{i}^{1/2}x\rVert _{2}\geq b_{i},\quad i=1,\dots ,m}$ 

where ${\displaystyle \Phi ^{-1}\ }$  is the inverse error function.

Solvers

There are various solver available for solving SOCP. Some of the popular ones are listed below

1. Free and opensource, with OSI-Approved licenses

Name	License	Brief info
CSDP	CPL	a library of routines that implements a predictor corrector variant of the semidefinite programming algorithm of Helmberg, Rendl, Vanderbei, and Wolkowicz
DSDP	GPL	is present in Linux software channels
OpenOpt	BSD	universal cross-platform numerical optimization framework; see its SOCP page and full list of problems
SBmethod	GPL	no longer supported
SDPT3	GPL2	API: MATLAB (commercial); last update - December 2002
SDPA	GPL	primal-dual interior-point method
SDPLR	GPL?	language: C, API: MATLAB
SeDuMi	GPL?	package for commercial MATLAB

2. Commercial

• MOSEK — The first commercially available software package for solution SOCP.
• CPLEX — Full-featured solver for large scale linear, quadratic, and integer programming problems, including SOCP
• PENSDP
• LOQO

Note that the most of the solvers in the above list are more general solvers (i.e they solve Semidefinite Programs or more general Convex optimization problems). There have been a few benchmarking studies comparing the various solvers ^[1][2]

External links

• Stephen Boyd and Lieven Vandenberghe, Convex Optimization (book in pdf).

References

1. H.D Mittelmann (2003). "An independent benchmarking of SDP and SOCP solvers". Mathematical programming. 2003 (2). Springer: 407--430.
2. http://plato.asu.edu/ftp/dimacs_sdp.html