# Conic optimization

Conic optimization is a subfield of convex optimization that studies a class of structured convex optimization problems called conic optimization problems. A conic optimization problem consists of minimizing a convex function over the intersection of an affine subspace and a convex cone.

The class of conic optimization problems is a subclass of convex optimization problems and it includes some of the most well known classes of convex optimization problems, namely linear and semidefinite programming.

## Definition

Given a real vector space X, a convex, real-valued function

${\displaystyle f:C\to \mathbb {R} }$

defined on a convex cone ${\displaystyle C\subset X}$, and an affine subspace ${\displaystyle {\mathcal {H}}}$ defined by a set of affine constraints ${\displaystyle h_{i}(x)=0\ }$, a conic optimization problem is to find the point ${\displaystyle x}$ in ${\displaystyle C\cap {\mathcal {H}}}$ for which the number ${\displaystyle f(x)}$ is smallest. Examples of ${\displaystyle C}$ include the positive semidefinite matrices ${\displaystyle \mathbb {S} _{+}^{n}}$, the positive orthant ${\displaystyle x\geq \mathbf {0} }$ for ${\displaystyle x\in \mathbb {R} ^{n}}$, and the second-order cone ${\displaystyle \left\{(x,t)\in \mathbb {R} ^{n+1}:\lVert x\rVert \leq t\right\}}$. Often ${\displaystyle f\ }$ is a linear function, in which case the conic optimization problem reduces to a semidefinite program, a linear program, and a second order cone program, respectively.

## Duality

Certain special cases of conic optimization problems have notable closed-form expressions of their dual problems.

### Conic LP

The dual of the conic linear program

minimize ${\displaystyle c^{T}x\ }$
subject to ${\displaystyle Ax=b,x\in C\ }$

is

maximize ${\displaystyle b^{T}y\ }$
subject to ${\displaystyle A^{T}y+s=c,s\in C^{*}\ }$

### Semidefinite Program

The dual of a semidefinite program in inequality form,

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

${\displaystyle x_{1}F_{1}+\cdots +x_{n}F_{n}+G\leq 0}$

is given by

${\displaystyle \mathrm {tr} \ (F_{i}Z)+c_{i}=0,\quad i=1,\dots ,n}$
${\displaystyle Z\geq 0}$