[论文解读] Injective Convex Polyhedra

Maël Pavón|arXiv (Cornell University)|Oct 27, 2014

Geometric and Algebraic Topology参考文献 4被引用 2

一句话总结

本文提供了在配备 ℓ∞-范数（记为 ℓ∞ⁿ）的 ℝⁿ 空间中，可缩凸多面体的组合表征，证明了凸多面体是可缩的当且仅当其在所有边界点处的切锥满足一个特定的面对称性条件，该条件涉及单位超立方体 [−1,1]ⁿ。关键结果是一个实用的可缩性判别准则：当切锥与超立方体边界相交时，若不存在对称的相对面，则该多面体为可缩。该准则还意味着，任意每个不等式中至多含两个变量的线性系统解集在 ℓ∞-度量下均为可缩的。

ABSTRACT

It was shown by Nachbin in 1950 that an $n$-dimensional normed space $X$ is injective or equivalently is an absolute 1-Lipschitz retract if and only if $X$ is linearly isometric to $l_\infty^n$ (i.e., $\mathbb{R}^n$ endowed with the $l_{\infty}$-metric). We give an effective convex geometric characterization of injective convex polyhedra in $l_{\infty}^n$. As an application, we prove that if the set of solutions to a linear system of inequalities with at most two variables per inequality is non-empty, then it is injective when endowed with the $l_{\infty}$-metric.

研究动机与目标

• 为判断 ℓ∞ⁿ 中凸多面体作为度量空间是否可缩，提供一种组合的、有效的判别准则。
• 解决文献中长期缺失的可缩凸多面体的表征问题。
• 证明每个不等式中至多含两个变量的线性系统解集在 ℓ∞-范数下为可缩。
• 阐明多面体的可缩性与其面或支撑超平面可缩性之间的区别，文中通过反例予以说明。

提出的方法

• 证明：若凸多面体 P ⊂ ℓ∞ⁿ 的内部非空，则其可缩当且仅当其在所有边界点 p 处的切锥 TpP 均为可缩。
• 建立凸多面锥 C ⊂ ℓ∞ⁿ 可缩性的判别准则：(i) 在非顶点边界点处的切锥为可缩，且 (ii) 存在一个面 F，使得 F 与 [−1,1]ⁿ 的某个面的相对内部相交，而 −F 不与该相对内部相交。
• 通过维度归纳法与投影技术（如 πs, πt）将问题约化为低维情形，分析不等式组的解集。
• 应用线性规划与不可行环理论（通过 Shostak 定理）分析系统的可行性，并推导可缩性条件。
• 采用“收缩”概念：若存在从 ℓ∞ⁿ 到多面体 P 的 1-利普希茨收缩，则 P 为可缩。
• 分析支撑半空间的结构，并以超立方体 [−1,1]ⁿ 为参考，定义关键的面对称性条件。

实验结果

研究问题

• RQ1 在 ℓ∞ⁿ 中，凸多面体的何种组合条件可确保其作为度量空间的可缩性？
• RQ2 为何多面体的可缩性不能由其面或支撑超平面的可缩性推出？此类反例如何构造？
• RQ3 能否保证每个不等式中至多含两个变量的线性系统解集在 ℓ∞-度量下为可缩？
• RQ4 边界点处切锥的结构如何与 ℓ∞ⁿ 中凸多面体的全局可缩性相关联？
• RQ5 多面体面对单位超立方体的对称性在决定可缩性中起何种作用？

主要发现

• 若凸多面体 P ⊂ ℓ∞ⁿ 的内部非空，则其可缩当且仅当对每个边界点 p，其切锥 TpP − p 满足：存在一个面 F，使得 F 与 [−1,1]ⁿ 的某个面的相对内部相交，而 −F 不与该相对内部相交。
• 任何每个不等式中至多含两个变量的线性不等式组的解集在赋予 ℓ∞-度量后均为可缩，此结论由推论 1.6 所示。
• 存在非可缩的凸多面体，其支撑超平面却是可缩的；也存在可缩的多面体，其面却不可缩，这表明可缩性不被其面或超平面继承。
• 超平面 {x ∈ ℝⁿ : x·ν = 0} ⊂ ℓ∞ⁿ 可缩当且仅当 ‖ν‖₁ ≤ 2‖ν‖∞，从而为超平面可缩性提供了一个简洁判别准则。
• 本文证明：凸多面锥 C ⊂ ℓ∞ⁿ 可缩当且仅当其在非顶点边界点处的切锥可缩，且该锥存在一个面，其法向量在单位超立方体的面对结构中，不与另一面的法向量对称。
• 本文构造了从 ℓ∞⁴ 到由两个不等式定义的多面体的显式 1-利普希茨收缩，证明即使某一面不可缩，整体多面体仍可缩，从而表明全局可缩性可在局部面不可缩的情况下依然成立。