[论文解读] Strong General Position

Micha A. Perles, Moriah Sigron|arXiv (Cornell University)|Sep 9, 2014

Computational Geometry and Mesh Generation参考文献 5被引用 9

一句话总结

该论文提出了一种简化准则，用于判断 ℝᵈ 中有限点集是否处于强一般位置（SGP），将验证 SGP 所需的条件数从指数级减少到一个最小且本质上最优的集合。关键结果表明，当且仅当对于任意一组两两不相交的子集，其总大小为 m 时，若 m = T(d,r) = (d+1)(r−1)+1，则它们的仿射包的交为单个点；若 m < T(d,r)，则交为空集。该刻画使得验证变得高效，并证明了 SGP 是一种通用性质：位于矩量曲线上的点几乎必然处于 SGP。

ABSTRACT

We say that a finite set S of points in R^d is in "strong general position" if for any collection {F_1,..., F_r} of r pairwise disjoint subsets of S (1 &lt;= r &lt;= |S|) we have: d-dim (the intersection of aff F_1,aff F_2,...,aff F_r) = min{d+1, (d-dim aff F_1)+(d-dim aff F_2)+...+(d-dim aff F_r)}. In this paper we reduce the set of conditions that one has to check in order to determine if S is in "strong general position".

研究动机与目标

• 将验证 ℝᵈ 中有限点集是否处于强一般位置（SGP）所需的条件数从指数级减少，否则需检查大量交集条件。
• 建立一组最小且本质上最优的条件，以保证 SGP，使大规模点集的验证成为可能。
• 证明 SGP 是一种通用性质：对于任意 n 和 d，ℝᵈ 中任意 n 元组点几乎必然处于 SGP，这由坐标上的非零多项式条件定义。
• 为在 Tverberg 型定理中使用 SGP 提供理论基础，其中 SGP 确保只有当点数达到 Tverberg 阈值时，Tverberg 划分才可能成立。

提出的方法

• 该论文将 SGP 的验证简化为仅需检查那些满足 2 ≤ r ≤ d+1 且每个子集 Fi 的大小不超过 d 的两两不相交子集族。
• 使用 Tverberg 数 T(d,r) = (d+1)(r−1)+1 作为阈值：当总大小 m = T(d,r) 时，仿射包的交必须为单个点；当 m < T(d,r) 时，交必须为空集。
• 该方法涉及从不相交子集的仿射包构造线性方程组 A·Λ = (1,0,…,0)ᵗ，并证明非空交集意味着行列式为零的条件。
• 定义一个多项式 P 为截断矩阵 A⁻ 的所有 q×q 子行列式的平方和，使得 P = 0 当且仅当仿射包有非平凡交集。
• 通过构造一个特定点配置（使用仅含一个线性依赖关系的向量），证明 P 不恒为零：此时齐次系统仅有零解，意味着 rank(A⁻) = q。
• 该构造证明了非 SGP 配置的集合由一个真代数子簇定义，因此 SGP 几乎必然成立。

实验结果

研究问题

• RQ1 保证 ℝᵈ 中有限点集处于强一般位置（SGP）的最小条件集是什么？
• RQ2 如何在不检查所有可能的不相交子集族的情况下，高效验证大规模点集的 SGP？
• RQ3 强一般位置是否为通用性质——即，对于 ℝᵈ 中任意 n 个点的几乎所有配置，SGP 是否都成立？
• RQ4 SGP 与 Tverberg 定理之间的确切关系是什么，特别是在仿射包交集方面？
• RQ5 SGP 的条件能否简化为仅需检查满足 r ≤ d+1 且 |Fi| ≤ d 的配置？

主要发现

• 当且仅当对任意 r 个两两不相交的子集 F₁,…,Fᵣ（满足 2 ≤ r ≤ d+1 且 |Fᵢ| ≤ d），其总大小 ∑|Fᵢ| = T(d,r) 时，仿射包的交为单个点；当 ∑|Fᵢ| < T(d,r) 时，交为空集，此时有限点集 S ⊂ ℝᵈ 处于 SGP。
• 验证 SGP 所需的条件数被大幅减少：仅需检查满足 r ≤ d+1 且子集大小有界的配置。
• SGP 是一种通用性质：存在一个在 nd 个变量上的非零多项式 P，使得任意 n 个点在 ℝᵈ 中处于 SGP 当且仅当 P(𝐱₁,…,𝐱ₙ) ≠ 0。
• 不在 SGP 中的 n 元组点集合构成一个真代数子簇，因此 SGP 几乎对所有配置都成立。
• 该论文证明了矩量曲线 Mᵈ = {(t,t²,…,tᵈ) : t ∈ ℝ} 上的点几乎必然处于 SGP，因为它们满足通用多项式条件。