[论文解读] Self-dual cones, generalized lattice operations and isotone projections

A. B. Németh, S. Z. Németh|arXiv (Cornell University)|Oct 8, 2012

Advanced Algebra and Logic参考文献 18被引用 9

一句话总结

本文建立了欧氏空间中自对偶锥诱导的广义格运算下不变的闭凸集的几何表征，证明此类不变性等价于该集合上度量投影的保序性。核心贡献将经典关于子格与保序投影的结果推广至更广泛的锥类（包括非负象限与洛伦兹锥），并利用度量投影与自对偶锥定义的序结构实现推广。

ABSTRACT

By using the metric projection onto a closed self-dual cone of the Euclidean space, M. S. Gowda, R. Sznajder and J. Tao have defined generalized lattice operations, which in the particular case of the nonnegative orthant of a Cartesian reference system reduce to the lattice operations of the coordinate-wise ordering. The aim of the present note is twofold: to give a geometric characterization of the closed convex sets which are invariant with respect to these operations, and to relate this invariance property to the isotonicity of the metric projection onto these sets. As concrete examples the Lorentz cone and the nonnegative orthant are considered. Old and recent results on closed convex Euclidean sublattices due to D. M. Topkis, A. F. Veinott and to M. Queyranne and F. Tardella, respectively are obtained as particular cases. The topic is related to variational inequalities where the isotonicity of the metric projection is an important technical tool. For Euclidean sublattices this approach was considered by G. Isac, H. Nishimura and E. A. Ok.

研究动机与目标

• 表征由自对偶锥诱导的广义格运算下不变的闭凸集。
• 建立这些运算下不变性与度量投影保序性之间的等价性。
• 将坐标序空间中关于子格与保序投影的经典结果推广至自对偶锥。
• 为利用锥诱导序的保序性研究变分不等式提供统一框架。

提出的方法

• 使用闭自对偶锥上的度量投影定义广义格运算，扩展标准坐标序运算。
• 应用保序投影与凸子格理论，表征在这些广义运算下不变的集合。
• 采用几何与变分论证，包括内积不等式与投影表征，证明不变性与保序性。
• 利用锥的自对偶性，确保广义运算保持序结构并维持格的性质。
• 通过显式投影公式与法向量条件，分析特定情形（非负象限与洛伦兹锥）。
• 依赖关于超平面投影与法向量符号条件的引理与推论，推导保序性的必要与充分条件。

实验结果

研究问题

• RQ1 哪些闭凸集在由自对偶锥定义的广义格运算下保持不变？
• RQ2 这些运算下的不变性与度量投影的保序性之间存在何种精确关系？
• RQ3 自对偶锥上的广义格运算如何推广非负象限上的经典格运算？
• RQ4 在何种条件下，闭凸集上的度量投影关于锥诱导序是保序的？
• RQ5 该不变性与保序性框架能否通过同时使用锥及其对偶，推广至非自对偶锥？

主要发现

• 当且仅当度量投影关于锥诱导序是保序的，闭凸集在自对偶锥诱导的广义格运算下不变。
• 非负象限与洛伦兹锥是广义运算退化为标准坐标序格运算的特例，且满足不变性与保序性等价。
• 过原点的超平面是子格，当且仅当其法向量在不同坐标间两两乘积非正。
• 闭凸集上投影的保序性蕴含该集合为子格，推广了Topkis、Veinott、Queyranne与Tardella的结果。
• 将子格表征为法向量满足 $u^i u^j \leq 0$（$i \neq j$）的半空间有限交集的结论，可超越非负象限。
• 该框架通过利用锥诱导序下的保序性，为分析变分不等式与均衡问题提供了新工具。