In the rank-constrained optimization problem (RCOP), it minimizes a linear objective function over a prespecified closed rank-constrained domain set and $m$ generic two-sided linear matrix inequalities. Motivated by the Dantzig-Wolfe (DW) decomposition, a popular approach of solving many nonconvex optimization problems, we investigate the strength of DW relaxation (DWR) of the RCOP, which admits the same formulation as RCOP except replacing the domain set by its closed convex hull. Notably, our goal is to characterize conditions under which the DWR matches RCOP for any m two-sided linear matrix inequalities. From the primal perspective, we develop the first-known simultaneously necessary and sufficient conditions that achieve: (i) extreme point exactness -- all the extreme points of the DWR feasible set belong to that of the RCOP; (ii) convex hull exactness -- the DWR feasible set is identical to the closed convex hull of RCOP feasible set; and (iii) objective exactness -- the optimal values of the DWR and RCOP coincide. The proposed conditions unify, refine, and extend the existing exactness results in the quadratically constrained quadratic program (QCQP) and fair unsupervised learning. These conditions can be very useful to identify new results, including the extreme point exactness for a QCQP problem that admits an inhomogeneous objective function with two homogeneous two-sided quadratic constraints and the convex hull exactness for fair SVD.
翻译:在受排层限制的优化问题(RCOP)中,它尽量减少了预先确定的固定的受排层限制域和一般平面双面线性矩阵不平等的线性目标功能。在Dantzig-Wolfe(DW)分解的激励下,我们研究了RCOPDW放松(DWW)的力度,这与RCOP的封闭的螺旋轮体设定的域相同,但替代其封闭的螺旋体设定的域。值得注意的是,我们的目标是确定DWE与RCOP匹配双面线性矩阵不平等的条件。从原始角度看,我们开发了第一个同时已知的既必要又充分的条件,从而实现:(一) 极端准确性 -- -- DWE(DW) 可行的组合的所有极端点都属于RCOP;(二) convex船体精确性 -- -- DRWE(D) 可行的组合与关闭的螺旋体软体结构设置相同的公式;以及(三) 客观精确性精确性 -- -- DWRW和RCOP的任何双面线性线性矩阵性矩阵的优化值。拟议的Q 目标性、精度、精度、精度、精度、精度、精度、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性能、精确性、精确性、精确性、精确性、精确性、精确性、精确性、QQQQQ-Q-定、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确性、精确