[論文レビュー] On hyperplanes and semispaces in max-min convex geometry

Viorel Niţică, Sergeĭ Sergeev|arXiv (Cornell University)|Oct 3, 2009

Polynomial and algebraic computation参考文献 13被引用数 3

ひとこと要約

この論文は、max-min凸幾何における超平面による分離を調査し、単位立方体内の対角点に対応する特定の半空間のみが、その閉包が超平面となることを確立している。主な結果は、半空間が超平面である条件の特徴付けであり、この設定において古典的超平面分離がいつ可能になるかという問題を解決し、凸性およびファジー代数に影響を及ぼす。

ABSTRACT

The concept of separation by hyperplanes is fundamental for convex geometry and its tropical (max-plus) analogue. However, analogous separation results in max-min convex geometry are based on semispaces. This paper answers the question which semispaces are hyperplanes and when it is possible to classically separate by hyperplanes in max-min convex geometry.

研究の動機と目的

• 点と閉じたmax-min凸集合との間で超平面がいつ分離可能かの条件を明確化すること。
• max-min凸幾何におけるどの半空間の閉包が超平面になるかを特定すること。
• トロピカル凸幾何（ここで半空間の閉包は常に超平面である）とmax-min凸幾何との対比を解消すること。
• max-min半体上の[0,1]^nにおける超平面および半空間の幾何的・代数的特徴付けを提供すること。
• max-min凸幾何において古典的超平面分離がいつ可能になるかの条件を確立すること。

提案手法

• 座標を順序付け、等しい値または厳密に減少するブロックに分割することで、点x⁰ ∈ [0,1]^nにおける半空間の構造を分析する。
• 与えられた点を避けるn+1個の最大max-min凸集合（半空間と呼ばれる）を定義し、その閉包を研究する。
• 半空間S_i(x⁰)の閉包の概念を導入し、成分ごとのmax-min演算を用いてそれがいつ超平面を形成するかを特徴付ける。
• 点x⁰が対角D_nの上にあるかどうかに基づく場合分けを実施し、対角点（すべての座標が等しい）と非対角点を区別する。
• yとzという2点が超平面に含まれるならば、必ず第3の点vも含まれることを示す背理法を用い、閉包が超平面であることを証明する。
• コンパクト性の議論とαおよびβを含む不等式を用い、半空間の閉包における厳密な不等式が超平面に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 max-min凸幾何におけるどの半空間の閉包が超平面になるか。
• RQ2 点が閉じたmax-min凸集合からいつ超平面によって分離可能か。
• RQ3 なぜ古典的超平面分離はmax-min凸幾何では失敗するのか（トロピカル凸幾何とは対照的）。
• RQ4 対角点がmax-min凸集合における超平面分離を可能にする役割を果たす理由。
• RQ5 任意の半空間の閉包が超平面になる可能性はあるのか、それとも構造的障害が存在するか。

主な発見

• 半空間S_i(x⁰)の閉包が超平面であるための必要十分条件は、i = 0 または x⁰が対角D_n上にあり、すなわちすべての座標が等しいことである。
• 非対角点では、任意の半空間の閉包は超平面ではなく、そのような半空間は点から超平面によって分離できない。
• 次元2における反例として、点x = z₁ ∧ z₂が区間[z₁, z₂]からいかなる超平面によっても分離できないことがある。
• x⁰が対角上にない場合、S₀(x⁰)の閉包は超平面であるが、S₀(x⁰)自体が超平面になるのはx⁰が対角上にある場合に限る。
• 対角D_n上に位置する任意の点x（すなわちすべての座標が等しい点）に対して、xを含まない任意の閉じたmax-min凸集合は、超平面によってxから分離可能である。
• y, z, vという点を構成し、yとzが半空間の閉包上にあり、vはそれとは異なる点であるが、もし超平面がyとzを含むならば、vも含む必要があることを示す。この背理法により、半空間が超平面でない限り、閉包は超平面でないことが示される。