Download Here
Download
Report
Transcript Download Here
Difference of Convex (DC)
Decomposition of
Nonconvex Polynomials with
Algebraic Techniques
Georgina Hall
Princeton, ORFE
Joint work with
Amir Ali Ahmadi
Princeton, ORFE
7/26/2016
INFORMS 2015
1
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Difference of Convex (DC) programming
β’ Problems of the form
min π0 (π₯)
π . π‘. ππ π₯ β€ 0
where:
β’ ππ π₯ β ππ π₯ β βπ π₯ , π = 0, β¦ , π,
β’ ππ : βπ β β, βπ : βπ β β are convex.
β’ Appears in:
β’ Machine learning and statistics
β’ Statistical physics
β’ Communications and networks, etc.
2
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Convex-Concave Procedure (CCP)
β’ Heuristic for minimizing DC programming problems.
β’ Idea:
Input
πβ0
xπ₯0 , initial point
ππ = ππ β βπ ,
π = 0, β¦ , π
Convexify by linearizing π
xπππ π = ππ π₯ β (βπ π₯π + π»βπ π₯π
convex convex
πππ π
π
Solve convex subproblem
π₯ β π₯π )
affine
π βπ+1
Take π₯π+1 to be the solution of
min π0π π₯
π . π‘. πππ π₯ β€ 0, π = 1, β¦ , π
ππ (π)
3
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Convex-Concave Procedure (CCP)
β’ Toy example: min π π₯ , where π π₯ β π π₯ β β(π₯)
π₯
Convexify π π₯ to
obtain π 0 (π₯)
Initial point: π₯0 = 2
Minimize π 0 (π₯) and
obtain π₯1
Reiterate
π₯π₯π₯β43π₯π₯2 1
π₯0
4
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
CCP for nonconvex polynomial optimization problems (1/2)
CCP relies on the input functions being given as the difference of
convex functions.
β’ Any πͺπ function can be written as a difference of convex functions.
β’ In fact, infinite number of difference of convex decompositions.
Initial decomposition
xπ π₯ = π π₯ β β(π₯)
Alternative decompositions
π π₯ = π π₯ +π π₯ β β π₯ +π π₯
π(π₯) convex
How can we find such a decomposition?
Is there a way of optimizing over the set of possible decompositions?
(maybe to get a better one for CCP?)
5
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
CCP for nonconvex polynomial optimization problems (2/2)
We consider these questions for polynomials.
Definition: A polynomial π is a dcd of π if
β’ π is convex
β’ β β π β π is convex
Theorem: Any polynomial has a (polynomial) dcd of the same degree.
Proof by Wang, Schwing and Urtasun. Alternative proof given later in this
presentation, as corollary of stronger theorem.
Theorem: Given two polynomials πand π of degree β₯ 4, it is strongly
NP-hard to test if π is a dcd of π.
6
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Picking the βbestβ decomposition for CCP (1/3)
Algorithm
Linearize π π around a point π₯π to obtain convexified version of π(π)
Idea
Pick β π₯ such that it is as close as possible to affine around π₯π
Mathematical translation
Minimize curvature of β at π₯π
Worst-case curvature*
Average curvature*
min ππππ₯ (π»β π₯π )
min ππ π»β (π₯π )
s.t. π = π β β
π, β convex
s.t. π = π β β,
π, β convex
g,h
*ππππ₯ π»β π₯π = max
π¦ π π»β π₯π π¦
πβ1
π¦βπ
π,β
* ππ π»β π₯π =
π¦βπ πβ1
π¦ π π»β π₯π π¦ ππ
7
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Picking the βbestβ decomposition for CCP (2/3)
Definition: A dcd π of π is undominated if no other dcd of
π can be obtained by subtracting a convex function from π.
π π = ππ β πππ + ππ β π
π π = ππ + ππ ,
π π = πππ + ππ β π
Convexify around π₯0 = 2 to
get ππ π
DOMINATED BY
πβ² π = ππ ,
πβ² π = πππ + ππ β π
Convexify around π₯0 = 2 to
get ππβ² π
If πβ² dominates π then the next iterate in CCP obtained using πβ² always beats the one obtained using π.
8
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Picking the βbestβ decomposition for CCP (3/3)
Theorem: Given a polynomial π, consider
(β)
min
π
1
π΄π
π πβ1
ππ π»π ππ, (where π΄π =
2ππ/2
)
Ξ(π/2)
s.t. π convex, π β π convex
Any optimal solution is an undominated dcd of π (and an optimal
solution always exists).
Theorem: If π has degree 4, it is strongly NP-hard to solve (β).
How can we get around this?
9
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Convex relaxations for DC decompositions (1/5)
SOS, DSOS, SDSOS polynomials (Ahmadi, Majumdar)
β’ Families of nonnegative polynomials.
Type
Characterization
Testing
membership
Sum of squares (sos)
βππ , polynomials, s.t. π(π₯) = βππ2 (π₯)
SDP
2
β
Scaled diagonally dominant
sum of squares (sdsos)
p= βπ πΌπ ππ2 + βπ,π π½π+ ππ + πΎπ+ ππ + π½πβ ππ β πΎπβ ππ
ππ , ππ monomials, πΌπ β₯ 0
Diagonally dominant
sum of squares (dsos)
+
β
p= βπ πΌπ ππ2 + βπ,π π½π,π
ππ + ππ + π½π,π
ππ β ππ
+,β
ππ , ππ monomials, πΌπ , π½ππ
β₯0
β
See talk by Sanjeeb Dash on Tuesday Nov 03, 13:30 - 15:00 (TC11).
2
2
SOCP
2
LP
10
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Convex relaxations for DC decompositions (2/5)
DSOS-convex, SDSOS-convex, SOS-convex polynomials
π(π₯)
convex
β π»π π₯ β½ 0, βπ₯ β
π¦ π π»π π₯ π¦ β₯ 0,
βπ₯, π¦ β βπ
β
π¦ π π»π π₯ π¦
sos/sdsos/dsos
Definitions:
LP
β’ π is dsos-convex if π¦ π π»π π₯ π¦ is dsos.
β’ π is sdsos-convex if π¦ π π»π π₯ π¦ is sdsos. SOCP
β’ π is sos-convex if π¦ π π»π π₯ π¦ is sos.
SDP
Condition: π = π β β,
π, β convex
Condition: π = π β β,
π, β s/d/sos-convex
11
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Convex relaxations for DC decompositions (3/5)
Comparison of these sets on a parametric family of polynomials:
π π₯1 , π₯2 = 2π₯14 + 2π₯24 + ππ₯13 π₯2 + ππ₯12 π₯22 + ππ₯1 π₯23
π = β0.5
π=0
π=1
π
π
π
π
dsos-convex
π
sdsos-convex
π
sos-convex=convex
12
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Convex relaxations for DC decompositions (4/5)
Can any polynomial be written as the difference of two dsos/sdsos/sos
convex polynomials?
Theorem: Any polynomial can be written as the difference of two dsosconvex polynomials.
Corollary: Same holds for sdsos-convex, sos-convex and convex.
13
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Convex relaxations for DC decompositions (5/5)
Proof idea: Let πΎ be a full dimensional cone in a vector space πΈ.
Then any π£ β πΈ can be written as π£ = π1 β π2 , π1 , π2 β πΎ.
=:
πβ²
Proof sketch:
K
E
β πΌ < 1 such that 1 β πΌ π£ + πΌπ β πΎ
π
π
πβ²
1
πΌ
β²
βπ£=
π β
π
1βπΌ
1βπΌ
π1 β πΎ
π2 β πΎ
Whatβs left to show: dsos-convex polynomials form a full-dimensional cone.
β’ βObviousβ choices (i.e., π π₯ =
π/2
2
(βπ π₯π ) )
do not work.
14
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Comparing different decompositions (1/2)
β’ Solving the problem:
min
π΅= π₯
π₯ β€π
}
π0 , where π0 has π = 8 and π = 4.
β’ Decompose π0 , run CCP for 4 minutes and compare objective value.
Feasibility
ππππ π―π (ππ )
ππππ,π© π―π
Undominated
min 0
min π‘
s.t. π0 = π β β
π, β sos-convex
s.t. π0 = π β β
π, β sos-convex
π‘πΌ β π»β π₯0 β½ 0
min π‘
π‘,π,β π‘
min
min maxπ‘,π,β
π π (π»β π₯π )
ππ° β π,β
π―π ππ₯βBβ½ πππ₯
πΉ β βππ π(π)
π β π© βπ» ππ° β π―π π β½
π
s.t.
π
=
π
β
β,
ππ π(π)π
= π βsos
β
π, β
sos-convex
π
=
π
β
β
π, β convex
π, β sos-convex
1
min
ππ π»π ππ
π,β π΄π π
πβ1
π . π‘. π0 = π β β
π, β sos-convex
g,h
g,h
15
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Comparing different decompositions (2/2)
β’ Average over 30 iterations
β’ Solver: Mosek
β’ Computer: 8Gb RAM, 2.40GHz
processor
ππππ,π© π―π Undominated
Feasibility ππππ π―π ππ
Conclusion: Rate of convergence of CCP strongly affected by initial
decomposition.
16
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Comparing the different relaxations (1/2)
β’ Impact of relaxations on solving
1
min
ππ π»π ππ
π΄π π πβ1
π . π‘. π = π β β, π, β s/d/sos-convex
for some random π of degree 4.
π=π
π = ππ
Type of
relaxation
Time
Opt value
dsos-convex
<1s
62090
<1s
sdsos-convex
<1s
53557
sos-convex
<1s
11602
Time Opt Value
π = ππ
π = ππ
Time
Opt value
Time
Opt value
168481
2.33s
136427
6.91s
48457
1.11s
132376
3.89s
99667
12.16s
32875
44.42s
18346
800.16s
9828
30hrs+
------------17
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Comparing the different relaxations (2/2)
Sos-Convex + CCP
Decompose
1
min
ππ π»ππ ππ
Convexify
π΄π π πβ1
ππ = ππ β βπ ,
ππ , βπ sos-convex
1000000
0
Sdsos-Convex + multiple decomposition CCP
Solve convex
subproblem
π=π
π = ππ
Decompose
min π‘
π‘πΌ β π»βπ (π₯π ) sdd
π
ππ = ππ β βπ ,
ππ , βπ sdsos-convex
Convexify
Solve convex
subproblem
π = ππ
-1000000
-2000000
-3000000
-4000000
-5000000
-6000000
-7000000
β’ Unconstrained problem with
objective of degree 4
β’ Objective value after 4mins
β’ Average over 30 instances
-8000000
-9000000
18
DC Decomposition of Nonconvex Polynomials with Algebraic Techniques
Main messages
β’ To apply CCP to polynomial optimization, a DC decomposition is
needed. Choice of decomposition impacts convergence rates.
β’ Dcds can be efficiently obtained using convex relaxations based on
dsos-convexity (LP), sdsos-convexity (SOCP), and sos-convexity (SDP).
β’ Dsos-convex and sdsos-convex relaxations scale to a larger number of
variables.
β’ The choice of the method depends on the size of the problem: sosconvexity and undominated dcds for small n, s/dsos-convexity and
multiple decomposition CCP for larger n.
19
Thank you for listening
Questions?
Want to learn more? http://scholar.princeton.edu/ghall
7/26/2016
INFORMS 2015
20