[论文解读] 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

一句话总结

本文研究了在最大-最小凸几何中通过超平面的分离问题，证明只有对应于单位立方体中对角点的特定半空间，其闭包才是超平面。关键结果是给出了半空间成为超平面的刻画，解决了在此设定下经典超平面分离何时可能的问题，对凸性与模糊代数具有重要意义。

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.

研究动机与目标

• 澄清在何种条件下超平面可以将点与闭合的最大-最小凸集分离。
• 确定在最大-最小凸几何中哪些半空间的闭包是超平面。
• 解决热带凸几何（其中半空间闭包总是超平面）与最大-最小凸几何之间的对比。
• 对 [0,1]^n 上最大-最小半环中的超平面与半空间提供几何与代数刻画。
• 建立在最大-最小凸几何中实现经典超平面分离的条件。

提出的方法

• 通过排序坐标并将坐标划分为相等或严格递减的块，分析点 x⁰ ∈ [0,1]^n 处的半空间结构。
• 定义了 n+1 个避免给定点的最大最大-最小凸集，称为半空间，并研究其闭包。
• 引入半空间 S_i(x⁰) 的闭包概念，并利用分量最大-最小运算刻画其形成超平面的条件。
• 基于 x⁰ 相对于对角线 D_n 的位置进行分类讨论，区分对角点（所有坐标相等）与非对角点。
• 使用反证法证明：若一个超平面包含由 x⁰ 衍生出的两个特定点 y 和 z，则它也必须包含第三个点 v，从而证明闭包是超平面。
• 运用紧致性论证及涉及 α 和 β 的不等式，表明半空间闭包中的严格不等式意味着该点属于超平面。

实验结果

研究问题

• RQ1 在最大-最小凸几何中，哪些半空间的闭包是超平面？
• RQ2 在何种条件下，一个点可被超平面与一个闭合的最大-最小凸集分离？
• RQ3 为何在最大-最小凸几何中经典超平面分离会失败，而热带凸几何中不会？
• RQ4 对角点在最大-最小凸集中实现超平面分离中起什么作用？
• RQ5 任何半空间的闭包是否都可能是超平面，还是存在结构性障碍？

主要发现

• 半空间 S_i(x⁰) 的闭包是超平面，当且仅当 i = 0 或 x⁰ 位于对角线 D_n 上，即所有坐标相等。
• 对于非对角点，任何半空间的闭包都不是超平面，且此类半空间无法通过超平面与该点分离。
• 在二维情况下存在反例：点 x = z₁ ∧ z₂ 无法被任何超平面与线段 [z₁, z₂] 分离。
• 当 x⁰ 不在对角线上时，S₀(x⁰) 的闭包是超平面，但仅当 x⁰ 在对角线上时，S₀(x⁰) 本身才成为超平面。
• 对于对角线 D_n 上的任意点 x（即所有坐标相等），任何不包含 x 的闭合最大-最小凸集均可通过超平面与 x 分离。
• 证明依赖于构造点 y、z 和 v，使得 y 和 z 属于半空间的闭包但 v 不属于，且若一个超平面同时包含 y 和 z，则必须也包含 v，从而推出矛盾，除非该半空间本身就是超平面。