Download presentation
Presentation is loading. Please wait.
1
Polynomial DC decompositions
Georgina Hall Princeton, ORFE Joint work with Amir Ali Ahmadi 11/18/2018 INFORMS 2016
2
Difference of convex (dc) programming
Problems of the form min π 0 (π₯) π .π‘. π π π₯ β€0,π=1,β¦,π where π π π₯ β π π π₯ β β π π₯ , π π , β π convex for π=0,β¦,π. What if such a decomposition is not given? Studied for quadratics, polynomials nice to study question computationally Hiriart-Urruty, 1985 Tuy, 1995
3
Difference of convex (dc) decomposition
Difference of convex (dc) decomposition: given a polynomial π, find π and β such that π=πβπ, where π,β convex polynomials. Questions: Does such a decomposition always exist? Can I obtain such a decomposition efficiently? Is this decomposition unique?
4
Existence of dc decomposition (1/4)
A polynomial π is a sum of squares (sos) if β π π , polynomials, s.t. π π₯ =β π π 2 π₯ . A polynomial π(π₯) of degree 2d is sos if and only if βπΈβ½π such that where π§= 1, x 1 ,β¦, π₯ π , π₯ 1 π₯ 2 ,β¦, π₯ π π T is the vector of monomials up to degree π. Testing whether a polynomial is sos is a semidefinite program. Specify sufficient condition for nonnegativity (should I add it in front of sos? Mention that this is the Gram matrix
5
Existence of dc decomposition (2/4)
Theorem: Any polynomial can be written as the difference of two sos-convex polynomials. Corollary: Any polynomial can be written as the difference of two convex polynomials. π¦ π π» π π₯ π¦ sos SOS-convexity π» π π₯ β½0, βπ₯β β π π¦ π π» π π₯ π¦β₯0, βπ₯,π¦β β π π(π₯) convex β β β
6
Existence of dc decomposition (3/4)
Lemma: Let πΎ be a full dimensional cone in a vector space πΈ. Then any π£βπΈ can be written as π£= π 1 β π 2 , with π 1 , π 2 βπΎ. Proof sketch: =:πβ² β πΌ<1 such that 1βπΌ π£+πΌπβπΎ E K βπ£= 1 1βπΌ π β² β πΌ 1βπΌ π To change π πβ² π π 1 βπΎ π 2 βπΎ
7
Existence of dc decomposition (4/4)
Here, πΈ={polynomials of degree 2d, in n variables}, πΎ={sos-convex polynomials of degree 2d and in n variables }. Remains to show that πΎ is full dimensional: Also shows that a decomposition can be obtained efficiently: In fact, we show that a decomposition can be found via LP and SOCP (not covered here). β π π π π
can be shown to be in the interior of πΎ. π=πβπ, π,π sos-convex solving is an SDP.
8
Uniqueness of dc decomposition
Dc decomposition: given a polynomial π, find π and β convex polynomials such that π=πβπ. Questions: Does such a decomposition always exist? Can I obtain such a decomposition efficiently? Is this decomposition unique? οΌ Yes οΌ Through sos-convexity Alternative decompositions π π₯ = π π₯ +π π₯ β β π₯ +π π₯ π(π₯) convex Initial decomposition xπ π₯ =π π₯ ββ(π₯) βBest decomposition?β
9
Convex-Concave Procedure (CCP)
Heuristic for minimizing DC programming problems. Idea: Input πβ0 x π₯ 0 , initial point π π = π π β β π , π=0,β¦,π Convexify by linearizing π x π π π π = π π π₯ β( β π π₯ π +π» β π π₯ π π π₯β π₯ π ) Solve convex subproblem Take π₯ π+1 to be the solution of min π 0 π π₯ π .π‘. π π π π₯ β€0, π=1,β¦,π convex convex affine πβπ+1 π π π π π π (π)
10
Convex-Concave Procedure (CCP)
Toy example: min π₯ π π₯ , where π π₯ βπ π₯ ββ(π₯) Convexify π π₯ to obtain π 0 (π₯) Initial point: π₯ 0 =2 Minimize π 0 (π₯) and obtain π₯ 1 Reiterate π₯ β π₯ 3 π₯ 4 π₯ 2 π₯ 1 π₯ 0 π₯ 0
11
Picking the βbestβ decomposition for CCP
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* min g,h π πππ₯ ( π» β π₯ π ) s.t. π=πββ π,β convex Average curvature* min π,β ππ π» β ( π₯ π ) s.t. π=πββ, π,β convex * π πππ₯ π» β π₯ π = max π¦β π πβ1 π¦ π π» β π₯ π π¦ * ππ π» β π₯ π = π¦β π πβ1 π¦ π π» β π₯ π π¦ ππ
12
Undominated decompositions (1/4)
Definition: g ,ββπβf is an undominated decomposition of π if no other decomposition of π can be obtained by subtracting a (nonaffine) convex function from π. π π = π π + π π , π π =π π π +ππβπ Convexify around π₯ 0 =2 to get π π π π π = π π βπ π π +ππβπ Cannot substract something convex from g and get something convex again. DOMINATED BY π β² π = π π , π β² π =π π π +ππβπ Convexify around π₯ 0 =2 to get π πβ² π If πβ² dominates π then the next iterate in CCP obtained using π β² always beats the one obtained using π.
13
Undominated decompositions (2/4)
π·= 0 π 12 β π 14 π π 23 β β π π 34 π 14 β π 34 0 π π = π₯ π₯ π₯ , π π = π₯ π₯ π₯ ,β¦ Incomplete distance matrix Recover location of the π points in β π Solve: min π₯ π , π₯ π β β π π<π π₯ π β π₯ π β π ππ 2 2 There is a realization in β π iff opt value=0.
14
Undominated decompositions (3/4)
= π₯ π β π₯ π π ππ 4 β2 π ππ 2 β
π₯ π β π₯ π 2 2 π ππ β ππ π= π<π π ππ ,β= π<π β ππ is an undominated dcd of the objective function.
15
Undominated decompositions (4/4)
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 (β). Idea: Replace π=πββ, π, β convex by π=πββ, π,β sos-convex. (β) π,β
16
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 g,h π‘ s.t. π 0 =πββ π,β sos-convex π‘πΌβ π» β π₯ 0 β½0 min π,β 1 π΄ π π πβ1 ππ π» π ππ π .π‘. π 0 =πββ π,β sos-convex min g,h 0 s.t. π 0 =πββ π,β sos-convex
17
Comparing different decompositions (2/2)
Average over 30 iterations Solver: Mosek Computer: 8Gb RAM, 2.40GHz processor Feasibility π πππ π― π π π Undominated Conclusion: Performance of CCP strongly affected by initial decomposition.
18
Main messages We studied the question of decomposing a polynomial into the difference of two convex polynomials. This decomposition always exists and is not unique. Choice of decomposition can impact performance of the CCP algorithm. Dc decompositions can be efficiently obtained using the notion of sos-convexity (SDP) Also possible to use LP or SOCP-based relaxations to obtain dc decompositions (not covered here).
19
Thank you for listening
Questions? Want to learn more? 11/18/2018
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.