Conic programming
   HOME

TheInfoList



OR:

Conic optimization is a subfield of
convex optimization Convex optimization is a subfield of mathematical optimization that studies the problem of minimizing convex functions over convex sets (or, equivalently, maximizing concave functions over convex sets). Many classes of convex optimization pr ...
that studies problems consisting of minimizing a convex function over the intersection of an
affine subspace In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related ...
and a convex cone. The class of conic optimization problems includes some of the most well known classes of convex optimization problems, namely
linear Linearity is the property of a mathematical relationship ('' function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear ...
and
semidefinite programming Semidefinite programming (SDP) is a subfield of convex optimization concerned with the optimization of a linear objective function (a user-specified function that the user wants to minimize or maximize) over the intersection of the cone of positive ...
.


Definition

Given a
real Real may refer to: Currencies * Brazilian real (R$) * Central American Republic real * Mexican real * Portuguese real * Spanish real * Spanish colonial real Music Albums * ''Real'' (L'Arc-en-Ciel album) (2000) * ''Real'' (Bright album) (2010) ...
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called ''scalars''. Scalars are often real numbers, but can ...
''X'', a
convex Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytop ...
, real-valued
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
:f:C \to \mathbb R defined on a convex cone C \subset X, and an affine subspace \mathcal defined by a set of
affine Affine may describe any of various topics concerned with connections or affinities. It may refer to: * Affine, a relative by marriage in law and anthropology * Affine cipher, a special case of the more general substitution cipher * Affine comb ...
constraints h_i(x) = 0 \ , a conic optimization problem is to find the point x in C \cap \mathcal for which the number f(x) is smallest. Examples of C include the positive
orthant In geometry, an orthant or hyperoctant is the analogue in ''n''-dimensional Euclidean space of a quadrant in the plane or an octant in three dimensions. In general an orthant in ''n''-dimensions can be considered the intersection of ''n'' mutua ...
\mathbb_+^n = \left\ , positive semidefinite matrices \mathbb^n_, and the second-order cone \left \ . Often f \ is a linear function, in which case the conic optimization problem reduces to a
linear program Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements are represented by linear relationships. Linear programming i ...
, a semidefinite 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 c^T x \ :subject to Ax = b, x \in C \ is :maximize b^T y \ :subject to A^T y + s= c, s \in C^* \ where C^* denotes the
dual cone Dual or Duals may refer to: Paired/two things * Dual (mathematics), a notion of paired concepts that mirror one another ** Dual (category theory), a formalization of mathematical duality *** see more cases in :Duality theories * Dual (grammatica ...
of C \ . Whilst weak duality holds in conic linear programming, strong duality does not necessarily hold.


Semidefinite Program

The dual of a semidefinite program in inequality form : minimize c^T x \ : subject to x_1 F_1 + \cdots + x_n F_n + G \leq 0 is given by : maximize \mathrm\ (GZ)\ : subject to \mathrm\ (F_i Z) +c_i =0,\quad i=1,\dots,n : Z \geq0


References


External links

* {{cite book, title=Convex Optimization, first1=Stephen P., last1=Boyd, first2=Lieven, last2=Vandenberghe, year=2004, publisher=Cambridge University Press, isbn=978-0-521-83378-3, url=https://web.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf , accessdate=October 15, 2011
MOSEK
Software capable of solving conic optimization problems. Convex optimization