10.03.2015 Views

Chapter 3 Geometry of convex functions - Meboo Publishing ...

Chapter 3 Geometry of convex functions - Meboo Publishing ...

Chapter 3 Geometry of convex functions - Meboo Publishing ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!