Linear optimization on a convex hull

ID: linear-optimization-on-a-convex-hull

A linear functional cannot exceed its best original value by mixing. For a finite nonempty set and in its convex hull,
Every original point is itself in the convex hull, so equality between the two maxima follows. Moreover, a mixture attains the maximum exactly when all its positive weights are assigned to maximizing original points. Multiple maximizers can therefore produce a whole line segment or a higher-dimensional region of equally good choices.
For the eight samples above, use the linear functional . Its largest sample value is , and is the only maximizing sample. Thus the unique maximum over the whole convex polygon is also at . The line is a supporting line: every point of the convex hull lies in the half-space , and touches its boundary.
The point passes the coordinate-wise bounds , , but . This single inequality certifies that is outside the convex hull. A weighted mixture could not have a larger linear functional value than all its ingredients.
Figure 1.
A linear functional gives both an optimum and a convex hull exclusion certificate
. Original eight-point example with objective . The orange supporting line touches , where the maximum is six. The red point has objective value , excluding it from the convex hull despite lying inside the dotted coordinate-wise box. Details.
This explains a basic feature of linear programming: searching all mixtures of finitely many candidate vectors cannot improve the objective beyond the best candidate, though mixing equally good candidates can give more optimal choices. The conclusion depends on linearity. For the concave function , the new point instead attains zero, strictly above its value at every original sample. A nonlinear objective can favor a mixture.

New to topics? Read the docs here!