22
Adaptive LP-Newton method for SOCP Takayuki Okuno 1 Mirai Tanaka 1,2 1 RIKEN, 2 ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical Optimization and Data Analysis T. Okuno and M. Tanaka: Extension of the LP-Newton method to SOCPs via semi-infinite representation, arXiv:1902.01004. 1 / 23

Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Adaptive LP-Newton method for SOCP

Takayuki Okuno1 Mirai Tanaka1,2

1RIKEN, 2ISM

March 29th, 2018The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Optimization and Data Analysis

T. Okuno and M. Tanaka:Extension of the LP-Newton method to SOCPs via semi-infiniterepresentation,arXiv:1902.01004.

1 / 23

Page 2: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Table of contents

1. SOCP: Second-order cone optimization problem

2. LP-Newton method for LP

3. Extension of LP-Newton method to SOCP

4. Numerical results

5. Concluding remarks

2 / 23

Page 3: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Second-order cone optimization problem (SOCP)

Linear optimization problem (LP)

maximize c⊤xsubject to Ax = b

x ≥ 0

is generalized to second-order cone optimization problem (SOCP)

maximize c⊤xsubject to Ax = b

x ∈ K

where K = Kn1 × · · · × Knp

Kn = {(x1, x̄) ∈ R× Rn−1 : x1 ≥ ∥x̄∥2}

In this slides, p = 1 for simplicity

3 / 23

Page 4: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Algorithms for solving SOCPBasically generarization of algorithms for solving LP

Using Euclidian Jordan algebra

• Interior-point method [Monteiro and Tsuchiya, 2000]

• Chubanov’s algorithm [Kitahara and Tsuchiya, 2018]

Using semi-infinite representation

• Simplex method [Hayashi et al., 2016, Muramatsu, 2006]

• LP-Newton method[Silvestri and Reinelt, 2017, Okuno and Tanaka, 2019]

Semi-infinite representation

maximize c⊤xsubject to Ax = b

(1, v⊤)x ≥ 0,∀v ∈ Rn−1 : ∥v∥2 ≤ 1(⇐⇒ x ∈ Kn)

4 / 23

Page 5: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

LP-Newton method: Overview

LP-Newton method originally proposed for solving box-constrained LP

maximize c⊤xsubject to Ax = b

l ≤ x ≤ u

by [Fujishige et al., 2009]

“LP” in “the LP-Newton method” means

• line and polytope

• rather than linear program

and “Newton method” means that for solvingnonlinear equation f (γ) = b

γ

β

O

β = f (γ)

Lb

γ∗γ(k)γ(k+1)

6 / 23

Page 6: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Optimal value of LP is endpoint of L ∩ P

maximizex

c⊤xsubject to Ax = b,

l ≤ x ≤ u⇐⇒

maximizex ,γ

γ

subject to c⊤x = γAx = b, l ≤ x ≤ u

⇐⇒maximize

γγ

subject to (γ,b) ∈ P⇐⇒

maximizeγ,β

γ

subject to (γ,β) ∈ L ∩ P

where

L := {(γ,β) ∈ R1+m : β = b}P := {(γ,β) ∈ R1+m : c⊤x = γ,Ax = β, l ≤ x ≤ u}

Optimal value γ∗ is bounded from above, i.e., γ∗ ≤ c⊤x̄ , where

x̄j :=

{uj (cj ≥ 0)

lj (cj < 0)(j = 1, . . . , n)

7 / 23

Page 7: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Geometric interpletation of LP-Newton method

LP-Newton method for solving box-constrained LP

maximizeγ,β

γ

subject to w := (γ,β) ∈ L ∩ P

γ

β

O

P

L

b

γ∗

w (k)

projP(w(k))

γ(k)

β(k)

H(k)

w (k+1)

projP(w(k+1))

γ(k+1)

β(k+1)

H(k+1) c.f.: Newton methodfor f (γ) = b

γ

β

O

β = f (γ)

Lb

γ∗γ(k)γ(k+1)

8 / 23

Page 8: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

LP-Newton method

Algorithm 1 LP-Newton method for solving box-constrained LP

1: Set w (0) := (γ(0),b) for sufficiently large γ(0), e.g., γ(0) := c⊤x̄2: for k = 0, 1, . . . (until convergence)

3: Compute the orthogonal projection (γ(k),β(k)) := projP(w (k)) of

the current point w (k) onto polytope P and find x (k) satisfyingc⊤x (k) = γ(k),Ax (k) = β(k), l ≤ x (k) ≤ u

4: Compute the intersecting point w (k+1) of the supporting hyperplane

H(k) to P at projP(w (k)) and line L

Theorem [Fujishige et al., 2009, Theorem 3.11]

LP-Newton method solves LP in a finite # steps

Remark• Computation of the intersecting point w (k+1)

is easy because w (k) − projP(w (k)) ⊥ H(k)

• Computation of the projection is not trivialγ

β

O

P

L

b

γ∗

w (k)

projP (w(k))

γ(k)

β(k)

H(k)

w (k+1)

9 / 23

Page 9: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Variants of LP-Newton method and their complexity

Literature Outer algo Inner algo (projection)

[Fujishige et al., 2009] LP-Newton [Wolfe, 1976][Kitahara et al., 2013] LP-Newton [Wilhelmsen, 1976][Kitahara and Sukegawa, 2019] bisection [Wolfe, 1976]

Overall complexity is roughly

# outer steps× complexity of inner algo

but still theoretically open because

Note[Kitahara et al., 2013] solves

maximize c⊤xsubject to Ax = b

x ≥ 0

Corresponding P is polyhedral cone

• complexity of inner algo [Wolfe, 1976, Wilhelmsen, 1976] is unknown

• # outer LP-Newton steps is finite but unknown

• (# outer bisection steps is polynomial)

In practice, # outer LP-Newton step is small (≲ 5)10 / 23

Page 10: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

How extend LP-Newton method to SOCP?[Silvestri and Reinelt, 2017] applied the LP-Newton method toconic-box-constrained SOCP

maximizex

c⊤xsubject to Ax = b

l ⪯ x ⪯ u⇐⇒

maximizeγ,β

γ

subject to (γ,β) ∈ L ∩ P∗

where

a ⪯ b ⇐⇒ b − a ∈ KP∗ := {(γ,β) ∈ R1+m : c⊤x = γ,Ax = β, l ⪯ x ⪯ u}

P∗ is not polyhedral í Computation of projP∗(w (k)) is more challenging

For computing projP∗(w (k)), [Silvestri and Reinelt, 2017] proposedFrank–Wolfe-type algorithm as inner algorithm íTime consuming?

Our approach: Polyhedral approximation12 / 23

Page 11: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Polyhedral approximation via semi-infinite representation

maximizex

c⊤xsubject to Ax = b

x ∈ K⇐⇒

maximizex

c⊤xsubject to Ax = b

(1, v⊤)x ≥ 0, ∀v ∈ V ∗

whereV ∗ := {v ∈ Rn−1 : ∥v∥2 ≤ 1}

Of course, |V ∗| = ∞

Finite approximation, i.e., LP relaxation using V ⊂ V ∗ such that |V | < ∞

maximizex

c⊤xsubject to Ax = b

(1, v⊤)x ≥ 0,∀v ∈ V

⇐⇒maximize

γ,βγ

subject to (γ,β) ∈ L ∩ P

where

P := {(γ,β) ∈ R1+m : c⊤x = γ,Ax = β, (1, v⊤)x (k) ≥ 0, ∀v ∈ V }

LP-Newton method (for LP) can be applied to the resulting problem13 / 23

Page 12: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Adaptive LP-Newton method

Idea: Apply LP-Newton method (for LP) adding cuts adaptively

Algorithm 2 Adaptive LP-Newton method for ((((((((((hhhhhhhhhhbox-constrained LP SOCP

1: Generate initial finite approximation V (0) appropriately

2: Set w (0) := (γ(0),b) for sufficiently large γ(0), (((((((((hhhhhhhhhe.g., γ(0) := c⊤x̄3: for k = 0, 1, . . . (until convergence)

4: Compute the orthogonal projection (γ(k),β(k)) = projP(k) (w (k)) of

the current point w (k) onto polytope P(k) corresponding to V (k)

and find x (k) corresponding to (γ(k),β(k))

5: Compute the intersecting point w (k+1) of the supporting hyperplane

H(k) to P(k) at projP(k) (w (k)) and line L

6: Compute v (k) ∈ argminv∈V ∗(1, v⊤)x (k)

7: if (1, v⊤)x (k) < 0 then ▷ Otherwise, x (k) ∈ K8: Update V (k+1) := V (k) ∪ {v (k)}

14 / 23

Page 13: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Global convergence

maximize c⊤xsubject to Ax = b, x ∈ K (1)

Assumption

The optimal set of SOCP (1) is nonempty and compact

TheoremLet {x (k)} be a sequence generated by the adaptive LP-Newtonmethod. Under the assumption above, any accumuration point of{x (k)} is an optimal solution of SOCP (1)

RemarkThe assumption above is satisfied if the dual problem

minimize b⊤ysubject to A⊤y − c ∈ K

of SOCP (1) has an optimal solution and interior feasible solutions15 / 23

Page 14: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Numerical experiments: Setting

• Performance of our adaptive LP-Newton method

• Comparison with an interiot-point method

Experiment environment

• CentOS 6.10 with 8 Intel Xeon CPUs (3.60 GHz) and 32 GB RAM

• MATLAB R2018a (9.4.0.813654)

InstancesRandomly generated well-conditioned instances

Initial finite approximation of V ∗ = {v ∈ Rn−1 : ∥v∥2 ≤ 1}

V (0) := {±e j ∈ Rn−1 : j = 1, 2, . . . , n − 1}

17 / 23

Page 15: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Numerical experiments: Setting (cont’d)

Computation of projP(k)(w (k))

Solve the following QP by using lsqlin

minimizex

∥∥∥∥(c⊤

A

)x −

(γ(k)

β(k)

)∥∥∥∥2subject to (1, v⊤)x ≥ 0, ∀v ∈ V (k)

Stopping criteria

If x (k) satisfies the following criteria,

max{∥Ax (k) − b∥, ∥x̄1,(k)∥ − x1,(k)1 , . . . , ∥x̄p,(k)∥ − xp,(k)

1 } ≤ 10−4

where x i ∈ Rni denotes the i-th block of x partitioned along theCartesian structure of K = Kn1 × . . .Knp , i.e., x = (x1, . . . , xp)

18 / 23

Page 16: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

# of variable vs # iteration & comput. time• m = # linear constr., n = # variables, p = # blocks

• Set n1 = · · · = np = n/p, where (n1, . . . , np) = Cartesian struct. of K• Average of 10 trials is shown

19 / 23

Page 17: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

# of linear constraints vs # iteration & comput. time• m = # linear constr., n = # variables, p = # blocks

• Set n1 = · · · = np = n/p, where (n1, . . . , np) = Cartesian struct. of K• Average of 10 trials is shown

20 / 23

Page 18: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Comparison with interior-point method

• Used SDPT3 with default setting

• Average of 10 trials is shown

# dimensions time [sec.]

m n (n1, n2, . . . , np) ALPN SDPT3

1400 1500 (3, 3, . . . , 3) 177.3 366.61700 1800 (3, 3, . . . , 3) 260.4 638.42000 2100 (3, 3, . . . , 3) 363.4 970.0

21 / 23

Page 19: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

Concluding remarks

Contribution

• Proposed adaptive LP-Newton method for solving SOCP

• Used polyhedral approximation of SOC via semi-infinite representation

• Quickly solved instances with “low-dim” SOCs and many linear constr

Future work

• Efficient computation of the projection

• Complexity analysis

Preprint

T. Okuno and M. Tanaka:Extension of the LP-Newton method to SOCPs via semi-infiniterepresentation,arXiv:1902.01004.

Thank you for your attention23 / 23

Page 20: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

References I

Fujishige, S., Hayashi, T., Yamashita, K., and Zimmermann, U. (2009).

Zonotopes and the LP-Newton method.

Optimization and Engineering, 10:193–205.

Hayashi, S., Okuno, T., and Ito, Y. (2016).

Simplex-type algorithm for second-order cone programmes via semi-infiniteprogramming reformulation.

Optimization Methods and Software, 31:1272–1297.

Kitahara, T., Mizuno, S., and Shi, J. (2013).

The LP-Newton method for standard form linear programming problems.

Operations Research Letters, 41:426–429.

Kitahara, T. and Sukegawa, N. (2019).

A simple projection algorithm for linear programming problems.

Algorithmica, 81:167–178.

1 / 3

Page 21: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

References II

Kitahara, T. and Tsuchiya, T. (2018).

An extension of Chubanov’s polynomial-time linear programming algorithm tosecond-order cone programming.

Optimization Methods and Software, 33:1–25.

Monteiro, R. D. C. and Tsuchiya, T. (2000).

Polynomial convergence of primal-dual algorithms for the second-order coneprogram based on the MZ-family of directions.

Mathematical Programming, 88:61–83.

Muramatsu, M. (2006).

A pivoting procedure for a class of second-order cone programming.

Optimization Methods and Software, 21:295–315.

Okuno, T. and Tanaka, M. (2019).

Extension of the LP-Newton method to SOCPs via semi-infinite representation.

arXiv:1902.01004.

2 / 3

Page 22: Adaptive LP-Newton method for SOCP · Adaptive LP-Newton method for SOCP Takayuki Okuno1 Mirai Tanaka1,2 1RIKEN, 2ISM March 29th, 2018 The 4th ISM-ZIB-IMI MODAL Workshop on Mathematical

References III

Silvestri, F. and Reinelt, G. (2017).

The LP-Newton method and conic optimization.

arXiv:1611.09260v2.

Wilhelmsen, D. R. (1976).

A nearest point algorithm for convex polyhedral cones and applications to positivelinear approximation.

Mathematics of Computation, 30:48–57.

Wolfe, P. (1976).

Finding the nearest point in a polytope.

Mathematical Programming, 11:128–149.

3 / 3