Presentation is loading. Please wait.

Presentation is loading. Please wait.

Polynomial DC decompositions

Similar presentations


Presentation on theme: "Polynomial DC decompositions"β€” Presentation transcript:

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


Download ppt "Polynomial DC decompositions"

Similar presentations


Ads by Google