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 prob ...
that studies problems consisting of minimizing a
convex function
In mathematics, a real-valued function is called convex if the line segment between any two points on the graph of the function lies above the graph between the two points. Equivalently, a function is convex if its epigraph (the set of poin ...
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 relate ...
and a
convex cone
In linear algebra, a ''cone''—sometimes called a linear cone for distinguishing it from other sorts of cones—is a subset of a vector space that is closed under scalar multiplication; that is, is a cone if x\in C implies sx\in C for every .
...
.
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 positiv ...
.
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) (201 ...
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 ...
''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-orie ...
:
defined on a
convex cone
In linear algebra, a ''cone''—sometimes called a linear cone for distinguishing it from other sorts of cones—is a subset of a vector space that is closed under scalar multiplication; that is, is a cone if x\in C implies sx\in C for every .
...
, and an affine subspace
defined by a set of
affine
Affine may describe any of various topics concerned with connections or affinities.
It may refer to:
* Affine, a Affinity_(law)#Terminology, relative by marriage in law and anthropology
* Affine cipher, a special case of the more general substi ...
constraints
, a conic optimization problem is to find the point
in
for which the number
is smallest.
Examples of
include the positive
orthant ,
positive semidefinite matrices
, and the second-order cone
. Often
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 is ...
, a
semidefinite program 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 positiv ...
, 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
:subject to
is
:maximize
:subject to
where
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 (grammatical ...
of
.
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
: subject to
is given by
: maximize
: subject to
:
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
MOSEKSoftware capable of solving conic optimization problems.
Convex optimization