Title: Convex Programming
1Convex Programming
- Brookes Vision Reading Group
2Huh?
- What is convex ???
- What is programming ???
- What is convex programming ???
3Huh?
- What is convex ???
- What is programming ???
- What is convex programming ???
4Convex Function
f(t x (1-t) y) lt t f(x) (1-t) f(y)
5Convex Function
Is a linear function convex ???
6Convex Set
Region above a convex function is a convex set.
7Convex Set
Is the set of all positive semidefinite matrices
convex??
8Huh?
- What is convex ???
- What is programming ???
- What is convex programming ???
9Programming
- Objective function to be minimized/maximized.
- Constraints to be satisfied.
10Example
Optimal solution
Vertices
Objective function
Feasible region
11Huh?
- What is convex ???
- What is programming ???
- What is convex programming ???
12Convex Programming
- Convex optimization function
- Convex feasible region
- Why is it so important ???
- Global optimum can be found in polynomial time.
- Many practical problems are convex
- Non-convex problems can be relaxed to convex
ones.
13Convex Programming
- Convex optimization function
- Convex feasible region
- Examples ???
- Linear Programming
- Refer to Vladimir/Pushmeets reading group
- Second Order Cone Programming
- What ???
- Semidefinite Programming
- All this sounds Greek and Latin !!!!
14Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
2 out of 3 is not bad !!!
15Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
16Second Order Cone
- u lt t
- u - vector of dimension d-1
- t - scalar
- Cone lies in d dimensions
- Second Order Cone defines a convex set
- Example Second Order Cone in 3D
x2 y2 lt z2
17x2 y2 lt z2
18Second Order Cone Programming
Minimize fTx Subject to Ai x bi lt
ciT x di
i 1, , L
Constraints are SOC of ni dimensions
Feasible regions are intersections of conic
regions
19Example
20Why SOCP ??
- A more general convex problem than LP
- LP ? SOCP
- Fast algorithms for finding global optimum
- LP - O(n3)
- SOCP - O(L1/2) iterations of O(n2?ni)
- Many standard problems are SOCP-able
21SOCP-able Problems
- Convex quadratically constrained quadratic
programming - Sum of norms
- Maximum of norms
- Problems with hyperbolic constraints
22SOCP-able Problems
- Convex quadratically constrained quadratic
programming - Sum of norms
- Maximum of norms
- Problems with hyperbolic constraints
23QCQP
Minimize xT P0 x 2 q0T x r0 Subject to
xT Pi x 2 qiT x ri
Pi gt 0
P01/2 x P0-1/2 x 2 r0 -q0TP0-1p0
24QCQP
Minimize xT P0 x 2 q0T x r0 Subject to
xT Pi x 2 qiT x ri
Minimize t Subject to P01/2 x P0-1/2 x
lt t P01/2 x P0-1/2 x lt (r0
-q0TP0-1p0)1/2
25SOCP-able Problems
- Convex quadratically constrained quadratic
programming - Sum of norms
- Maximum of norms
- Problems with hyperbolic constraints
26Sum of Norms
Minimize ? Fi x gi
Minimize ? ti Subject to Fi x gi lt ti
Special Case L-1 norm minimization
27SOCP-able Problems
- Convex quadratically constrained quadratic
programming - Sum of norms
- Maximum of norms
- Problems with hyperbolic constraints
28Maximum of Norms
Minimize max Fi x gi
Minimize t Subject to Fi x gi lt t
Special Case L-inf norm minimization
29You werent expecting a question, were you ??
30SOCP-able Problems
- Convex quadratically constrained quadratic
programming - Sum of norms
- Maximum of norms
- Problems with hyperbolic constraints
31Hyperbolic Constraints
x gt 0 , y gt 0
w2 lt xy
2w x-y lt xy
32Lets see if everyone was awake !
33Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
34Semidefinite Programming
Minimize C ? X Subject to Ai ? X bi
X gt 0
Linear Programming on Semidefinite Matrices
35Why SDP ??
- A more general convex problem than SOCP
- LP ? SOCP ? SDP
- Generality comes at a cost though
- SOCP - O(L1/2) iterations of O(n2?ni)
- SDP - O((?ni)1/2) iterations of O(n2?ni2)
- Many standard problems are SDP-able
36SDP-able Problems
- Minimizing the maximum eigenvalue
- Class separation with ellipsoids
37SDP-able Problems
- Minimizing the maximum eigenvalue
- Class separation with ellipsoids
38Minimizing the Maximum Eigenvalue
Matrix M(z) To find vector z such that ?max is
minimized.
Let ?max(M(z)) lt n
?max(M(z)-nI) lt 0
?min(nI - M(z)) gt 0
nI - M(z) gt 0
39Minimizing the Maximum Eigenvalue
Matrix M(z) To find vector z such that ?max is
minimized.
Max -n nI - M(z) gt 0
40SDP-able Problems
- Minimizing the maximum eigenvalue
- Class separation with ellipsoids
41(No Transcript)
42(No Transcript)
43Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
44Non-Convex Problems
Minimize xTQ0x 2q0Tx r0 Subject to xTQix
2qiTx ri lt 0
Qi gt 0 gt Convex
Non-Convex Quadratic Programming Problem !!!
Redefine x in homogenous coordinates. y (1 x)
45Non-Convex Problems
Minimize xTQ0x 2q0Tx r0 Subject to xTQix
2qiTx ri lt 0
Minimize yTM0y Subject to yTMiy lt 0
Mi ri qiT qi Qi
46Non-Convex Problems
- Problem is NP-hard.
- Lets relax the problem to make it convex.
- Pray !!!
47Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
48SDP Relaxation
Minimize yTM0y Subject to yTMiy lt 0
Minimize M0 ? Y Subject to Mi ? Y lt 0
Y yyT
49SDP Relaxation
Minimize yTM0y Subject to yTMiy lt 0
Minimize M0 ? Y Subject to Mi ? Y lt 0
Y gt 0
Nothing left to do . but Pray
Note that we have squared the number of variables.
50Example - Max Cut
51Example - Max Cut
52Example - Max Cut
Alright !!! So its an integer programming
problem !!!
Doesnt look like quadratic programming to me !!!
53Max Cut as an IQP
Naah !! Lets get it into the standard quadratic
form.
54(No Transcript)
55Max Cut as an IQP
Naah !! Lets get it into the standard quadratic
form.
56Solving Max Cut using SDP Relaxations
To the white board. (You didnt think Ill
prepare slides for this, did you??)
57Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
58SOCP Relaxation
Minimize yTM0y Subject to yTMiy lt 0
Remember Y 1 xT x X
Minimize M0 ? Y Subject to Mi ? Y lt 0
Y gt 0
59SOCP Relaxation
Say youre given C C1, C2, Cn such that Cj
gt 0
Cj ? (X - xxT) gt 0
(Ux)T (Ux) lt Cj ? X
Wait .. Isnt this a hyperbolic constraint
Therefore, its SOCP-able.
60SOCP Relaxation
Minimize yTM0y Subject to yTMiy lt 0
Minimize Q0 ? X 2q0Tx r0 Subject to Qi ? X
2qiTx ri lt 0 Cj ? (X -
xxT) gt 0 Cj ? C
61SOCP Relaxation
If C is the infinite set of all semidefinite
matrices SOCP Relaxation SDP Relaxation
If C is finite, SOCP relaxation is looser than
SDP relaxation.
Then why SOCP relaxation ???
Efficiency - Accuracy Tradeoff
62Choice of C
Remember we had squared the number of variables.
Lets try to reduce them with our choice of C.
For a general problem - Kim and Kojima
Using the structure of a specific problem - e.g.
Muramatsu and Suzuki for Max Cut
63Choice of C
Minimize cT x Subject to Qi ? X 2qiTx ri lt
0
Q ? X 2qTx r lt 0
Q ?n ?i uiuiT
Let ?1 gt ?2 gt . ?k gt 0 gt ?k1 gt
?n
64Choice of C
Q ?k ?i uiuiT
C
Q ? X 2qTx r lt 0
xT Q x - Q ? X lt 0
xT Q x ?k1 ?i uiuiT ? X 2qTx r lt 0
zi
65Choice of C
Q ?k ?i uiuiT
C
uiuiT i k1, k2, n
Q ? X 2qTx r lt 0
xT Q x ?k1 ?i zi 2qTx r lt 0
xTuiuiTx - uiuiT ? X lt 0
66Choice of C
Q ?k ?i uiuiT
C
uiuiT i k1, k2, n
Q ? X 2qTx r lt 0
xT Q x ?k1 ?i zi 2qTx r lt 0
xTuiuiTx - zi lt 0
67Specific Problem Example - Max Cut
ei 0 0 . 1 0 0
uij ei ej
vij ei - ej
68Specific Problem Example - Max Cut
Warning Scary equations to follow.
69Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
70Outline
- Convex Optimization
- Second Order Cone Programming (SOCP)
- Semidefinite Programming (SDP)
- Non-convex optimization
- SDP relaxations
- SOCP relaxations
- Optimization Algorithms
- Interior Point Method for SOCP
- Interior Point Method for SDP
71Back to work now !!!