Lagrange multiplier expressions for matrix polynomial optimization and tight relaxations

Lei Huang; Jiawang Nie; Jiajia Wang; Lingling Xie

Home/Archive/arXiv

arXiv · 2506.12579

Lagrange multiplier expressions for matrix polynomial optimization and tight relaxations

Lei Huang·Jiawang Nie·Jiajia Wang·Lingling Xie

View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper studies matrix constrained polynomial optimization. We investigate how to get explicit expressions for Lagrange multiplier matrices from the first order optimality conditions. The existence of these expressions can be shown under the nondegeneracy condition. Using Lagrange multiplier matrix expressions, we propose a strengthened Moment-SOS hierarchy for solving matrix polynomial optimization. Under some general assumptions, we show that this strengthened hierarchy is tight, or equivalently, it has finite convergence. We also study how to detect tightness and how to extract optimizers. Numerical experiments are provided to show the efficiency of the strengthened hierarchy.

Explore related subjects

math.OC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Lei Huang, Jiawang Nie, Jiajia Wang, Lingling Xie. 2026-01-10. Lagrange multiplier expressions for matrix polynomial optimization and tight relaxations. https://arxiv.org/abs/2506.12579

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Maximum Singularity Degree for Linear and Semidefinite Programming

Facial reduction (FR) is an important tool in linear and semidefinite programming, providing both algorithmic and theoretical insights into these problems. The maximum length of an FR sequence for a convex set is referred to as the maximum singularity degree (MSD). The MSD gives a choice-robust worst-case bound on the number of nontrivial FR steps. It also yields a sufficient rank for a low-rank formulation of the SDP exposing-vector search, while upper bounds on the MSD can serve as proof devices for bounding the singularity degree in structured problem classes. These concrete roles motivate our study of its fundamental properties. In this work, we show that if an FR sequence has the longest length, then it satisfies a certain minimal property. For linear programming (LP), we prove that every minimal FR sequence forms a basis of a fixed vector space. This yields a direct characterization of the longest FR sequences. To study the MSD for semidefinite programming (SDP), we provide several useful tools including simplification and upper-bounding techniques. By leveraging these tools and the characterization for LP problems, we prove that finding a longest FR sequence for SDP problems is NP-hard. This complexity result highlights a striking difference between the shortest and the longest FR sequences for SDP problems.

math.OC↗

arXiv2026

On a mean-field Pontryagin minimum principle for stochastic optimal control

This paper outlines a novel extension of the classical Pontryagin minimum (maximum) principle to stochastic optimal control problems. Contrary to the well-known stochastic Pontryagin minimum principle involving forward-backward stochastic differential equations, the proposed formulation is deterministic and of mean-field type. We denote it by the McKean-Pontryagin minimum principle. The Hamiltonian structure of the proposed McKean-Pontryagin minimum principle is achieved via the introduction of a pair of auxiliary functions. A gauge freedom in the choice of one of these two functions can be used to decouple the forward and reverse time equations; hence simplifying the solution of the underlying boundary value problem. We also consider infinite horizon discounted cost optimal control problems. In this case, the mean-field formulation allows one to convert the computation of the desired optimal control law into solving a pair of forward mean-field ordinary differential equations. The McKean-Pontryagin minimum principle is tested numerically for a controlled diffusion process in a double well, a controlled inverted pendulum, a controlled Lorenz-63 system, and a controlled Lorenz-96 system. Although the focus is on linear-quadratic control problems, the proposed methodology is extendable to more general problems including mean-field type control formulations.

math.OC↗

arXiv2026

First-Order Methods for Wasserstein Distributionally Robust Constrained Optimization

We consider constrained problems in which input data are affected by errors. In such settings, Wasserstein distributionally robust optimization provides a principled framework to mitigate model risk by optimizing against worst-case data distributions within Wasserstein ambiguity sets. However, the numerical resolution of the resulting problems remains challenging, especially in constrained settings. In this paper, we provide a general, practical way to solve Wasserstein distributionally robust formulations in the presence of constraints. Our approach only requires a linear minimization oracle for the feasible set, and combines two key ingredients: (i) an entropic regularization of the distributionally robust value function, which makes it possible to compute stochastic gradient estimators, and (ii) a stochastic Frank-Wolfe algorithm, which minimizes the regularized robust objective while naturally handling constraints. We illustrate the method, its tractability, and its interests against empirical risk minimization, on two problems: the traffic assignment and the minimum quadratic spanning tree.

math.OC↗