Strong Duality in Risk-Constrained Nonconvex Functional Programming
Dionysis Kalogerias, Spyridon Pougkakiotis
TL;DR
The paper addresses risk-constrained nonconvex functional optimization and proves strong duality under broad conditions. It develops two complementary duality results: one for decomposable policy spaces and a second for densely decomposable (structured) policy spaces, leveraging risk conjugate duality and J. J. Uhl’s extension of Lyapunov’s convexity theorem to Banach-space valued vector measures. The results encompass CVaR, MAD, and coherent risk measures on ${\mathcal L}_1$, and extend to neural-network-like parameterizations, with CVaRization techniques bridging gaps for risk measures on ${\mathcal L}_p$ ($p>1$). Applications to wireless resource allocation and constrained learning illustrate practical impact, enabling tractable dual formulations and principled optimization in nonconvex settings. Overall, the work provides a rigorous, general framework for strong duality in risk-aware stochastic optimization with broad theoretical and practical relevance.
Abstract
We show that a wide class of risk-constrained nonconvex functional optimization problems exhibit strong duality, regardless of nonconvexity. We develop two novel results under distinct sets of assumptions, establishing strong duality over both decomposable policy spaces (matching and extending prior work in the risk neutral case), and nondecomposable policy spaces with structure (e.g., continuity or smoothness), including certain universal finite-dimensional (fixed depth/width) neural network parametrizations as special cases (improving established results in the risk-neutral setting as well). We consider constraints featuring convex and positively homogeneous risk measures with bounded risk envelopes, generalizing expectations. Popular risk measures supported within our setting include the conditional value-at-risk (CVaR), the (even non-monotone) mean-absolute deviation (MAD), certain distributionally robust representations and more generally all real-valued coherent risk measures on the space $L_1$. We further discuss various generalizations of our base model, extensions for risk measures supported on $L_{p>1}$, implications in the context of mean-risk tradeoff models, as well as applications in wireless systems resource allocation, and supervised constrained learning. Our core proof technique appears to be new and relies on risk conjugate duality in tandem with J. J. Uhl's weak extension of A. A. Lyapunov's convexity theorem for vector measures taking values in infinite-dimensional Banach spaces.