ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence...

27
Ellipsoid Method ellipsoid method convergence proof inequality constraints feasibility problems EE364b, Stanford University

Transcript of ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence...

Page 1: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Ellipsoid Method

• ellipsoid method

• convergence proof

• inequality constraints

• feasibility problems

EE364b, Stanford University

Page 2: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Ellipsoid method

• developed by Shor, Nemirovsky, Yudin in 1970s

• used in 1979 by Khachian to show polynomial solvability of LPs

• each step requires cutting-plane or subgradient evaluation

• modest storage (O(n2))

• modest computation per step (O(n2)), via analytical formula

• efficient in theory; slow but steady in practice

EE364b, Stanford University 1

Page 3: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Motivation

in cutting-plane methods

• serious computation is needed to find next query point(typically O(n2m), with not small constant)

• localization polyhedron grows in complexity as algorithm progresses(we can, however, prune constraints to keep m proportional to n, e.g.,m = 4n)

ellipsoid method addresses both issues, but retains theoretical efficiency

EE364b, Stanford University 2

Page 4: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Ellipsoid algorithm for minimizing convex function

idea: localize x⋆ in an ellipsoid instead of a polyhedron

1. at iteration k we know x⋆ ∈ E(k)

2. set x(k) := center(E(k)); evaluate g(k) ∈ ∂f(x(k))(g(k) = ∇f(x(k)) if f is differentiable)

3. hence we know

x⋆ ∈ E(k) ∩ {z | g(k)T (z − x(k)) ≤ 0}

(a half-ellipsoid)

4. set E(k+1) := minimum volume ellipsoid coveringE(k) ∩ {z | g(k)T (z − x(k)) ≤ 0}

EE364b, Stanford University 3

Page 5: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

r

x(k)

E(k)

E(k+1)

g(k)

compared to cutting-plane methods:

• localization set doesn’t grow more complicated

• easy to compute query point

• but, we add unnecessary points in step 4

EE364b, Stanford University 4

Page 6: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Properties of ellipsoid method

• reduces to bisection for n = 1

• simple formula for E(k+1) given E(k), g(k)

• E(k+1) can be larger than E(k) in diameter (max semi-axis length), butis always smaller in volume

• vol(E(k+1)) < e−12n vol(E(k))

(volume reduction factor degrades rapidly with n, compared to CG orMVE cutting-plane methods)

• logvol E(k+1) ≤ logvol E(k) − 1/(2n)(uncertainty in location of x⋆ decreases by a fixed number of bits eachiteration)

EE364b, Stanford University 5

Page 7: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Example

♣x(0) ♣x(1)♣x(2)

x(3)♣x(4)

♣x(5)

EE364b, Stanford University 6

Page 8: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Updating the ellipsoid

E(x, P ) ={

z | (z − x)TP−1(z − x) ≤ 1}

rx

rx+

r

��

�✠

E

❅❅❅❘

E+

g

EE364b, Stanford University 7

Page 9: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

(for n > 1) minimum volume ellipsoid containing half-ellipsoid

E ∩{

z | gT (z − x) ≤ 0}

is given by

x+ = x− 1

n+ 1P g̃

P+ =n2

n2 − 1

(

P − 2

n+ 1P g̃g̃TP

)

where g̃ = (1/√

gTPg)g

P g̃ is step from x to boundary of E

EE364b, Stanford University 8

Page 10: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Ellipsoid update — “Hessian” form

propagate H = P−1 instead of P

x+ = x− 1

n+ 1H−1g̃

H+ =

(

1− 1

n2

)(

H +2

n− 1g̃g̃T

)

where g̃ = (1/√

gTH−1g)g

H−1g̃ is step from x to boundary of E

EE364b, Stanford University 9

Page 11: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Simple stopping criterion

f(x⋆) ≥ f(x(k)) + g(k)T (x⋆ − x(k))

≥ f(x(k)) + infz∈E(k)

g(k)T (z − x(k))

= f(x(k))−√

g(k)TP (k)g(k)

second inequality holds since x⋆ ∈ Eksimple stopping criterion:

g(k)TP (k)g(k) ≤ ǫ =⇒ f(x(k))− f(x⋆) ≤ ǫ

EE364b, Stanford University 10

Page 12: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Basic ellipsoid algorithm

ellipsoid described as E(x, P ) = {z | (z − x)TP−1(z − x) ≤ 1}

given ellipsoid E(x, P ) containing x⋆, accuracy ǫ > 0

repeat1. evaluate g ∈ ∂f(x)

2. if√

gTPg ≤ ǫ, return(x)3. update ellipsoid

3a. g̃ := 1√gTPg

g

3b. x := x− 1n+1P g̃

3c. P := n2

n2−1

(

P − 2n+1P g̃g̃TP

)

EE364b, Stanford University 11

Page 13: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Interpretation

• change coordinates so uncertainty is isotropic (same in all directions),i.e., E is unit ball

• take subgradient step with fixed length 1/(n+ 1)

• Shor calls ellipsoid method ‘gradient method with space dilation indirection of gradient’ (which, strangely enough, didn’t catch on)

EE364b, Stanford University 12

Page 14: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Example

PWL function f(x) = maxmi=1(aTi x+ bi), with n = 20, m = 100

0 50 100 150 200−8

−6

−4

−2

0

2

4

❇❇▼

f(x(k)) −√

g(k)TP (k)g(k)

�✠f(x(k))

f⋆

k

EE364b, Stanford University 13

Page 15: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

0 500 1000 1500 200010

−4

10−3

10−2

10−1

100

k

f(k

)best−

f⋆

EE364b, Stanford University 14

Page 16: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Improvements

• keep track of best upper and lower bounds:

uk = mini=1,...,k

f(x(i)), lk = maxi=1,...,k

(

f(x(i))−√

g(i)TP (i)g(i))

stop when uk − lk ≤ ǫ

• can propagate Cholesky factor of P(avoids problem of P 6≻ 0 due to numerical roundoff)

EE364b, Stanford University 15

Page 17: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

0 500 1000 1500 2000−3

−2

−1

0

1

2

3

❅■Lk

�✠Uk

f⋆

k

EE364b, Stanford University 16

Page 18: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Proof of convergence

assumptions:

• f is Lipschitz: |f(y)− f(x)| ≤ G‖y − x‖• E(0) is ball with radius R

suppose f(x(i)) > f⋆ + ǫ, i = 0, . . . , k

thenf(x) ≤ f⋆ + ǫ =⇒ x ∈ E(k)

since at iteration i we only discard points with f ≥ f(x(i))

EE364b, Stanford University 17

Page 19: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

from Lipschitz condition,

‖x− x⋆‖ ≤ ǫ/G =⇒ f(x) ≤ f⋆ + ǫ =⇒ x ∈ E(k)

so B = {x | ‖x− x⋆‖ ≤ ǫ/G} ⊆ E(k)

hence vol(B) ≤ vol(E(k)), so

αn(ǫ/G)n ≤ e−k/2nvol(E(0)) = e−k/2nαnR

n

(αn is volume of unit ball in Rn)

therefore k ≤ 2n2 log(RG/ǫ)

EE364b, Stanford University 18

Page 20: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

E(0)

E(k)

x(k)

f(x) ≤ f⋆ + ǫ

B = {x | ‖x − x⋆‖ ≤ ǫ/G}

x⋆

conclusion: for k > 2n2 log(RG/ǫ),

mini=0,...,k

f(x(i)) ≤ f⋆ + ǫ

EE364b, Stanford University 19

Page 21: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Interpretation of complexity

since x⋆ ∈ E0 = {x | ‖x− x(0)‖ ≤ R}, our prior knowledge of f⋆ is

f⋆ ∈ [f(x(0))−GR, f(x(0))]

our prior uncertainty in f⋆ is GR

after k iterations our knowledge of f⋆ is

f⋆ ∈[

mini=0,...,k

f(x(i))− ǫ, mini=0,...,k

f(x(i))

]

posterior uncertainty in f⋆ is ≤ ǫ

EE364b, Stanford University 20

Page 22: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

iterations required:

2n2 logRG

ǫ= 2n2 log

prior uncertainty

posterior uncertainty

efficiency: 0.72/n2 bits per subgradient evaluation

EE364b, Stanford University 21

Page 23: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Deep cut ellipsoid method

minimum volume ellipsoid containing ellipsoid intersected with halfspace

E ∩{

z | gT (z − x) + h ≤ 0}

with h ≥ 0, is given by

x+ = x− 1 + αn

n+ 1P g̃

P+ =n2(1− α2)

n2 − 1

(

P − 2(1 + αn)

(n+ 1)(1 + α)P g̃g̃TP

)

where

g̃ =g

gTPg, α =

h√

gTPg

(if α > 1, intersection is empty)

EE364b, Stanford University 22

Page 24: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Ellipsoid method with deep objective cuts

0 500 1000 1500 200010

−4

10−3

10−2

10−1

100

f(k

)best−

f⋆

k

deep cutsshallow cuts

EE364b, Stanford University 23

Page 25: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Inequality constrained problems

minimize f0(x)subject to fi(x) ≤ 0, i = 1, . . . ,m

• if x(k) feasible, update ellipsoid with objective cut

gT0 (z − x(k)) + f0(x(k))− f

(k)best ≤ 0, g0 ∈ ∂f0(x

(k))

f(k)best is best objective value of feasible iterates so far

• if x(k) infeasible, update ellipsoid with feasibility cut

gTj (z − x(k)) + fj(x(k)) ≤ 0, gj ∈ ∂fj(x

(k))

assuming fj(x(k)) > 0

EE364b, Stanford University 24

Page 26: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

Stopping criterion

if x(k) is feasible, we have lower bound on p⋆ as before:

p⋆ ≥ f0(x(k))−

g(k)T0 P (k)g

(k)0

if x(k) is infeasible, we have for all x ∈ E(k)

fj(x) ≥ fj(x(k)) + g

(k)Tj (x− x(k))

≥ fj(x(k)) + inf

z∈E(k)g(k)T (z − x(k))

= fj(x(k))−

g(k)Tj P (k)g

(k)j

EE364b, Stanford University 25

Page 27: ellipsoid method slides - web.stanford.edu · EllipsoidMethod • ellipsoid method • convergence proof • inequality constraints • feasibility problems EE364b, Stanford University

hence, problem is infeasible if for some j,

fj(x(k))−

g(k)Tj P (k)g

(k)j > 0

stopping criteria:

• if x(k) is feasible and

g(k)T0 P (k)g

(k)0 ≤ ǫ (x(k) is ǫ-suboptimal)

• if fj(x(k))−

g(k)Tj P (k)g

(k)j > 0 (problem is infeasible)

EE364b, Stanford University 26