Polynomial Optimization: Enhancing RLT relaxations with Conic Constraints
Brais Gonz\'alez-Rodr\'iguez, Ra\'ul Alvite-Paz\'o, Samuel, Alvite-Paz\'o, Bissan Ghaddar, Julio Gonz\'alez-D\'iaz

TL;DR
This paper enhances RLT relaxations for polynomial optimization by integrating conic constraints and employs machine learning to select the best constraints, leading to improved solution quality and efficiency.
Contribution
It introduces nine types of conic constraints to strengthen RLT relaxations and develops a machine learning method to select optimal constraints for polynomial problems.
Findings
Conic constraints improve bounds in about 50% of instances.
Machine learning outperforms individual constraint approaches.
Enhanced relaxations lead to better solutions for polynomial optimization.
Abstract
Conic optimization has recently emerged as a powerful tool for designing tractable and guaranteed algorithms for non-convex polynomial optimization problems. On the one hand, tractability is crucial for efficiently solving large-scale problems and, on the other hand, strong bounds are needed to ensure high quality solutions. In this research, we investigate the strengthening of RLT relaxations of polynomial optimization problems through the addition of nine different types of constraints that are based on linear, second-order cone, and semidefinite programming to solve to optimality the instances of well established test sets of polynomial optimization problems. We describe how to design these conic constraints and their performance with respect to each other and with respect to the standard RLT relaxations. Our first finding is that the different variants of nonlinear constraints…
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
TopicsAdvanced Optimization Algorithms Research · Formal Methods in Verification · Commutative Algebra and Its Applications
MethodsTest
