Conical program

from Wikipedia, the free encyclopedia

A conical program is a specific problem in mathematical optimization where a cone is also used in the formulation of the permissible points , which is what led to this naming. Some problem classes can be formulated as conical programs.

definition

Abstract definition

Let a real vector space be given with a scalar product and a closed, pointed and convex cone with a non-empty interior. Furthermore, let and be a linear subspace of . Then the optimization problem is called

a conical program or conical optimization problem. We are looking for an element of a vector space that lies both in a cone and in an affine subspace and is minimal with respect to the scalar product.

Convex definition

Analogous to the linear programs, conical programs can also be specified in a standard form and an inequality form. To do this, one considers the generalized inequality induced by the cone and another vector space with a scalar product

Standard shape

A conical program in standard form (or normal form) can now be defined as follows: can also be written as. If one considers a linear function , the linear subspace can be described by this function. Thus the following definition of a conical program can be given:

.

Here is and .

In particular, all functions that occur are either linear or K-convex , so it is a more general convex optimization problem .

Inequality form

Alternatively, the linear subspace can also be understood as an image of a linear function . This then leads to the problem

,

a conical problem in inequality form. Here is and .

Mixed forms

More generally, optimization problems with a linear objective function that contain a linear-affine equation constraint and a linear-affine inequality constraint with generalized inequality are referred to as conical optimization problems. This corresponds to a mixture of standard form / normal form and inequality form.

Examples

  • Every linear optimization problem is a conical optimization problem. To do this select a vector space to and as a cone , the so-called positive orthant . The generalized inequality is then the "component-wise greater than". The standard scalar product is chosen as the scalar product and the solution set of the equation as the affine subspace .
  • Semidefinite programs are conical programs on the vector space of the symmetrical matrices provided with the Frobenius scalar product . The cone is the set of positive semidefinite matrices , the affine space is also defined by the Frobenius scalar product.
  • The SOCPs ( Second Order Cone Program ) use the second-order cone, which is also called the Lorentz cone .

duality

Duality of conical programs

Looking at the problem

as a primary problem, that's the name of the problem

the dual conical problem. Here is the dual cone of and the orthogonal space of . In particular, the dual program of the dual program is again the primal program.

It then holds for every admissible point of the primal problem and every admissible point of the dual problem that

If the optimal value of the primal problem is finite and the Slater condition is fulfilled (see below), then the dual problem has an optimal solution and it is

.

If both the primal and the dual problem satisfy the Slater condition, then there are optimal solutions with

.

Lagrange duality

Not to be confused with the above duality is the Lagrange duality , applied to the convex shape of a conical problem. Is a conical problem given by in normal form

,

this is the Lagrange function

.

If the operator to be adjoint , then follows with the linearity of the scalar product

.

This function is linear in , and since linear functions are unbounded if and only if they are constantly equal to zero, the objective function of the dual program is

If you write this case distinction as a secondary condition in the dual problem and take it as a slack variable , then this is the dual problem

,

what is a conical program in inequality form. A minimization problem is obtained by reversing the sign of the objective function.

For a conical problem in inequality form

is the Lagrange function

and with an analogous approach to the above is the dual problem

,

which again is a conical program in normal form. Dual problems of conical problems are always conical problems again. If you also form the dual problem of a dual problem, you get back to the original problem

If the Slater condition applies (see below), then strong duality applies , that is, the optimal values ​​of the primal and the dual problem match. A weaker result is that the objective function value of the dual problem is always smaller than the objective function value of the primal problem. This statement is also known as weak duality.

Connection of the concepts of duality

The two concepts of duality above are not identical, but they are very closely related. If, for example, one considers a linear subspace that is described by the solution of the linear equation , then the orthogonal space is described by the operator to be adjoint . The condition is therefore equivalent to for . So is

,

where is. Now you can optimize instead of using , the term can be ignored because it only affects the optimal value, but not the optimal point. The new objective function is now . If one understands as a slip variable with , then is equivalent to . Thus the dual abstract problem is a problem in inequality form and vice versa.

Slater condition

The Slater condition for conical programs in the abstract form is

.

Here is the inner part of a crowd . So there must be at least one point that lies both in the interior of the cone and in the affine space .

For conical programs in the convex form, the Slater condition is satisfied if there is a point which satisfies the equation restriction and which is feasible with respect to the strict inequality induced by the cone (this corresponds to the requirement that the point inside the cone should lie). Such points are also called strictly allowable points.

literature