16
Convex program duality min f(x) s.t. Ax = b g i (x) 0 i I

min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Convex program duality

• min f(x) s.t.Ax = bgi(x) ≤ 0 i ∈ I

Page 2: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Properties

• Weak duality

• L(y, z) is closed, concave

Page 3: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Duality example

• min 3x s.t. x2 ≤ 1• L(x, y) = 3x + y(x2 – 1)

Page 4: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =
Page 5: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Dual function

• L(y) = infx L(x,y) = infx 3x + y(x2 – 1)

Page 6: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Dual function

Page 7: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Duality w/ linear constraints

• min f(x) s.t. Ax = b, Cx ≤ d• L(x, y, z) =• L(y, z) = infx

• Dual problem

Page 8: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

CP duality w/ cone constraints

• min f(x) s.t.A0x + b0 = 0Aix + bi ∈ K i ∈ I

• Dual:

Page 9: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Ex: 2nd order cone program

A1 =

b1 =

A2=

b2 =

Page 10: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Strong duality

• v* = infx f(x) s.t. Ax=b, g(x) ≤ 0L(x, y, z) = L(y, z) =

• d* = supyz L(y, z) s.t. z ≥ 0• Strong duality:• Slater’s condition:

––

Page 11: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Slater’s condition, part II

• If gi(x) affine, only need

• E.g., for infx f(x) s.t. Ax = b, Cx ≤ d

Page 12: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Example: maxent

Page 13: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Example: maxent

• Maxent problem:max H(p) s.t. T’p = b

H(p) =

H’(p) =

• Slater’s condition:

Page 14: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Example of maxent solution

Page 15: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Dual of maxent• max H(p) s.t. TTp = b• L(p, y) =• L(y) = infp L(p, y) =

Page 16: min f(x) s.t. Ax = b gi(x) 0i I - Carnegie Mellon School ...ggordon/10725/10725-S08/slides/cp-duality-4... · Strong duality • v* = inf x f(x) s.t. Ax=b, g(x) ≤0 L(x, y, z) =

Is Slater necessary?

• minx xTAx + 2bTx s.t. ||x||2 ≤ 1