T. D. Chuong | Searcharxiv

arXiv2026

Convergent Lifted Lasserre Hierarchy of SDPs for Minimizing Expectation of Piecewise Polynomial Loss over Wasserstein Balls

This paper investigates the minimization of the expectation of piecewise polynomial loss functions over Wasserstein balls. This optimization problem often appears as a key sub-problem of distributionally robust optimization problems. We establish the asymptotic convergence of a hierarchy of semi-definite programming (SDP) relaxations, providing a framework for approximating the optimal values of these inherently infinite-dimensional optimization problems. A central foundational contribution is the development of a new lifted positivity certificate: we demonstrate that piecewise polynomials positive over Archimedean basic semi-algebraic sets admit a structured system of sum-of-squares (SOS) representations. Furthermore, we prove that the proposed hierarchy achieves finite convergence under suitable conditions when the defining polynomials are convex. The practical utility and versatility of this approach are demonstrated via numerical experiments in revenue estimation and portfolio optimization.

math.OC↗

arXiv2016

Robust Global Solutions of Bilevel Polynomial Optimization Problems with Uncertain Linear Constraints

This paper studies, for the first time, a bilevel polynomial program whose constraints involve uncertain linear constraints and another uncertain linear optimization problem. In the case of box data uncertainty, we present a sum of squares polynomial characterization of a global solution of its robust counterpart where the constraints are enforced for all realizations of the uncertainties within the prescribed uncertainty sets. By characterizing a solution of the robust counterpart of the lower-level uncertain linear program under spectrahedral uncertainty using a new generalization of Farkas' lemma, we reformulate the robust bilevel program as a single level non-convex polynomial optimization problem. We then characterize a global solution of the single level polynomial program by employing Putinar's Positivstellensatz of algebraic geometry under coercivity of the polynomial objective function. Consequently, we show that the robust global optimal value of the bilevel program is the limit of a sequence of values of Lasserre-type hierarchy of semidefinite linear programming relaxations. Numerical examples are given to show how the robust optimal value of the bilevel program can be calculated by solving semidefinite programming problems using the Matlab toolbox YALMIP.

math.OC↗