Chapter 3 Geometry of convex functions - Meboo Publishing ...
Chapter 3 Geometry of convex functions - Meboo Publishing ...
Chapter 3 Geometry of convex functions - Meboo Publishing ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3.4. INVERTED FUNCTIONS AND ROOTS 227<br />
which is positive semidefinite by (1487) when<br />
T ≽ 0 ⇔ x > 0 and xy ≥ z 2 (516)<br />
A polynomial constraint such as this is therefore called a conic constraint. 3.12<br />
This means we may formulate <strong>convex</strong> problems, having inverted variables,<br />
as semidefinite programs in Schur-form; e.g.,<br />
rather<br />
minimize x −1<br />
x∈R<br />
subject to x > 0<br />
x ∈ C<br />
≡<br />
x > 0, y ≥ 1 x<br />
⇔<br />
minimize<br />
x , y ∈ R<br />
subject to<br />
[ x 1<br />
1 y<br />
(inverted) For vector x=[x i , i=1... n]∈ R n<br />
minimize<br />
x∈R n<br />
n∑<br />
i=1<br />
x −1<br />
i<br />
subject to x ≻ 0<br />
rather<br />
x ∈ C<br />
≡<br />
x ≻ 0, y ≥ tr ( δ(x) −1)<br />
minimize<br />
x∈R n , y∈R<br />
subject to<br />
⇔<br />
y<br />
[ ] x 1<br />
≽ 0<br />
1 y<br />
x ∈ C<br />
(517)<br />
]<br />
≽ 0 (518)<br />
y<br />
[<br />
√ xi<br />
n<br />
√ ] n<br />
≽ 0 , y<br />
i=1... n<br />
x ∈ C (519)<br />
[<br />
xi<br />
√ n<br />
√ n y<br />
]<br />
≽ 0 , i=1... n (520)<br />
3.4.1 fractional power<br />
[145] To implement an objective <strong>of</strong> the form x α for positive α , we quantize<br />
α and work instead with that approximation. Choose nonnegative integer q<br />
for adequate quantization <strong>of</strong> α like so:<br />
α k 2 q (521)<br />
where k ∈{0, 1, 2... 2 q −1}. Any k from that set may be written<br />
∑<br />
k= q b i 2 i−1 where b i ∈ {0, 1}. Define vector y=[y i , i=0... q] with y 0 =1:<br />
i=1<br />
3.12 In this dimension, the <strong>convex</strong> cone formed from the set <strong>of</strong> all values {x , y , z} satisfying<br />
constraint (516) is called a rotated quadratic or circular cone or positive semidefinite cone.