A Boosted-DCA with Power-Sum-DC Decomposition for Linearly Constrained Polynomial Programs
Hu Zhang, Yi-Shuai Niu

TL;DR
This paper introduces a new DC decomposition for polynomials using power-sum representation and develops an efficient boosted DCA method with exact line search for linearly constrained polynomial programs, validated through numerical experiments.
Contribution
The paper presents a novel power-sum-based DC decomposition and a boosted DCA with exact line search, improving solution efficiency for constrained polynomial optimization.
Findings
BDCAe converges to critical points with proven subsequential convergence.
The exact line search reduces to finding roots of a univariate polynomial.
Numerical experiments show BDCAe outperforms existing methods and standard solvers.
Abstract
This paper proposes a novel Difference-of-Convex (DC) decomposition for polynomials using a power-sum representation, achieved by solving a sparse linear system. We introduce the Boosted DCA with Exact Line Search (BDCAe) for addressing linearly constrained polynomial programs within the DC framework. Notably, we demonstrate that the exact line search equates to determining the roots of a univariate polynomial in an interval, with coefficients being computed explicitly based on the power-sum DC decompositions. The subsequential convergence of BDCAe to critical points is proven, and its convergence rate under the Kurdyka-Lojasiewicz property is established. To efficiently tackle the convex subproblems, we integrate the Fast Dual Proximal Gradient (FDPG) method by exploiting the separable block structure of the power-sum DC decompositions. We validate our approach through numerical…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Advanced Control Systems Optimization · Embedded Systems Design Techniques
