[论文解读] Convex minimization problems with weak constraint qualifications

Christian Léonard|ArXiv.org|Oct 8, 2007

Optimization and Variational Analysis参考文献 13被引用 7

一句话总结

该论文通过用基于目标函数内在几何结构的弱拓扑条件替代标准约束资格条件，提出了一种广义的鞍点方法用于凸最小化问题。该方法在不依赖约束集内部性的条件下，利用扩展共轭对偶性和基于规范的拓扑，建立了对偶等式和极小化子表征。

ABSTRACT

One revisits the standard saddle-point method based on conjugate duality for solving convex minimization problems. Our aim is to reduce or remove unnecessary topological restrictions on the constraint set. Dual equalities and characterizations of the minimizers are obtained with weak or without constraint qualifications. The main idea is to work with intrinsic topologies which reflect some geometry of the objective function. The abstract results of this article are applied in other papers to the Monge-Kantorovich optimal transport problem and the minimization of entropy functionals.

研究动机与目标

• 消除或显著弱化凸最小化问题中的传统拓扑约束资格条件。
• 通过利用目标函数的几何结构，开发一种在弱或无约束资格条件下仍适用的对偶框架。
• 提供一种在抽象凸优化设定下表征极小化子并建立对偶等式的通用方法。
• 使共轭对偶方法能够应用于标准资格条件不成立的问题，例如最优传输和熵最小化问题。
• 通过正则化原始函数引入扩展对偶问题，实现在无内部性假设下的强对偶性。

提出的方法

• 利用与目标函数水平集相关的规范泛函，定义反映问题几何结构的内在拓扑。
• 引入扩展共轭函数 $\overline{\Phi}$ 以替代对偶问题中的 $\Phi$，从而在弱条件下实现对偶性。
• 通过由 $\Phi$ 和 $\Phi^*$ 导出的半范数诱导的拓扑，应用几何 Hahn-Banach 定理，避免依赖内点。
• 将次微分恒等式 $\hat{\ell} \in \partial\overline{\Phi}(T^*\bar{y})$ 作为原始解的关键表征。
• 依赖条件 $C \cap \mathrm{icordom\,}\Lambda^* \neq \emptyset$ 作为弱约束资格条件，其中 $\mathrm{icordom\,}$ 表示共轭函数的内在核心。
• 通过扩展对偶问题 $(\overline{D})$ 实现强对偶性和可达性结果，即使在标准拓扑下 $C$ 的内部为空时亦成立。

实验结果

研究问题

• RQ1 在约束集不具有非空内部的条件下，能否在凸最小化问题中建立对偶等式？
• RQ2 标准鞍点方法如何适应于弱或无约束资格条件的情形？
• RQ3 通过目标函数水平集的规范泛函定义的内在拓扑，在不依赖约束集拓扑假设的条件下，其在实现对偶性中起到什么作用？
• RQ4 当标准资格条件不成立时，极小化子在何种条件下可通过次微分恒等式表征？
• RQ5 在约束集无内部性的情况下，扩展共轭 $\overline{\Phi}$ 如何实现对偶性和解的表示？

主要发现

• 在弱约束资格条件 $C \cap \mathrm{icordom\,}\Lambda^* \neq \emptyset$ 下，对偶等式 $\inf(P) = \sup(D)$ 成立，该条件严格弱于标准内部性条件。
• 原始极小化子 $\hat{\ell}$ 满足对任意对偶解 $\bar{y}$ 有 $\hat{\ell} \in \partial\overline{\Phi}(T^*\bar{y})$，从而对解提供了精确表征。
• 扩展对偶问题 $(\overline{D})$ 确保了对偶的可达性，并允许在 $C$ 的内部为空时仍表示原始解。
• 扩展对偶问题的解 $\bar{\omega}$ 属于 $\sigma(\mathcal{X}^*, \mathcal{X})$-闭包 $\mathrm{dom\,}\Lambda$，确保弱-* 收敛性质。
• 当 $\Phi$ 的水平集在 $|\cdot|_\Phi$-有界时，对偶解 $\bar{\omega}$ 属于拓扑对偶空间 $\mathcal{Y}^{\prime\prime}$，从而保证更强的正则性。
• 在 $\mathrm{dom\,}\overline{\Lambda}$ 上有 $\overline{\Lambda} = \widetilde{\Lambda}_2$，证明了 $\overline{\Lambda}$ 在其有效定义域上是 $\sigma(\mathcal{X}^*, \mathcal{X})$-下半连续的。