[論文レビュー] 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 不変性と等単性の枠組みは、錐とその双対を併用することで、非自己双対錐へ拡張可能か？

主な発見

• 閉凸集合が自己双対錐によって誘導される一般化ラティス演算に関して不変であることは、その集合への距離射影が錐によって誘導される順序に関して等単であることに同値である。
• 非負直交座標とローレンツ錐は、一般化された演算が標準的な座標毎のラティス演算に還元され、不変性と等単性の同値性を満たす具体的な例である。
• 原点を通る超平面は、異なる座標間で法線ベクトルの積が非正であるときかつそのときに限り、部分ラティスである。
• 閉凸集合への射影の等単性は、その集合が部分ラティスであることを示し、トップキス、ベインォット、クエラン、タルデラの結果を一般化する。
• 各座標に対して $u^i u^j \leq 0$ を満たす法線ベクトルを持つ半空間の有限交差として部分ラティスを特徴付ける方法は、非負直交座標を超えて一般化可能である。
• この枠組みは、錐によって誘導される順序における等単性を活用することで、変分不等式や均衡問題を分析するための新たなツールを提供する。