[论文解读] Helly numbers of Algebraic Subsets of $\mathbb R^d$

Jesús A. De Loera, R. N. La Haye+2 more|arXiv (Cornell University)|Aug 10, 2015

Polynomial and algebraic computation参考文献 17被引用 7

一句话总结

本文引入并分析了 ℝ^d 中代数子集 S 的 S-Helly 数，将经典的 Helly 定理推广至与特定子集（如格点、子群及格点差集）相交的凸集。在低维及代数结构化的集合中，建立了 S-Helly 数的精确上界，包括 ℝ² 中的无处不在子集（h(S) ≤ 4）和 ℤ² 减去一个子格（h(S) ≤ 6）的新结果，并通过抽象凸性和可排序性性质，构建了彩色 Helly 型定理的一般框架。

ABSTRACT

We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend prior work for $S=\mathbb R^d$, $\mathbb Z^d$, and $\mathbb Z^{d-k} imes\mathbb R^k$; we give sharp bounds on the $S$-Helly numbers in several new cases. We considered the situation for low-dimensional $S$ and for sets $S$ that have some algebraic structure, in particular when $S$ is an arbitrary subgroup of $\mathbb R^d$ or when $S$ is the difference between a lattice and some of its sublattices. By abstracting the ingredients of Lovász method we obtain colorful versions of many monochromatic Helly-type results, including several colorful versions of our own results.

研究动机与目标

• 通过将交集限制在 ℝ^d 的真子集 S ⊂ ℝ^d 上，推广 Helly 定理，定义并分析 S-Helly 数。
• 为代数结构化的集合（包括 ℝ^d 中的子群和格点差集）建立 S-Helly 数的精确上界。
• 通过抽象凸性和可排序性性质，将单色 Helly 型结果推广至彩色版本。
• 通过凸集在 S 中相交的性质，特别是低维和代数 S 的情形，为 S-Helly 数提供统一的框架。
• 解决关于非格点代数集（如稠密子集和子群生成集）的 Helly 数的开放问题。

提出的方法

• 将 S-凸集定义为 ℝ^d 中标准凸集与子集 S ⊂ ℝ^d 的交集，构成一个凸性空间。
• 将 S-Helly 数 h(S) 定义为满足如下性质的最小整数 h：若一族集合中任意 h 个集合在 S 中有公共交点，则整族在 S 中也有公共交点。
• 利用抽象凸性理论及单调性、可排序性和 Helly 性等性质，推导彩色 Helly 定理。
• 以抽象形式应用 Lovász 的方法，推导单色 S-Helly 结果的彩色版本。
• 通过几何与组合论证，分析低维情形（d=1，d=2）及代数结构（子群、格点差集）。
• 证明 Helly、单调和可排序性质总是 h(𝒫)-可着色的，从而得出一个通用的彩色 Helly 定理。

实验结果

研究问题

• RQ1 对于任意 ℝ² 中的稠密子集 S，S-Helly 数 h(S) 是多少？能否对其进行有界？
• RQ2 当 S = ℤ² \ L，L 是 ℤ² 的真子格时，S-Helly 数 h(S) 是多少？
• RQ3 当 S 是 ℝ^d 的加法子群时，S-Helly 数的行为如何，特别是非闭子群的情形？
• RQ4 能否将关于格点或格点差集的单色 Helly 型定理推广至彩色版本？
• RQ5 在何种条件下，性质 𝒫 的关联 Helly 数 h(𝒫) 是有限且可着色的？

主要发现

• 对于任意 ℝ² 中的稠密子集 S，S-Helly 数满足 h(S) ≤ 4，且该上界是精确的。
• 若 S = ℤ² \ L，L 是 ℤ² 的真子格，则 h(S) ≤ 6，且该上界也是精确的。
• 对于任意 ℝ^d 中的加法子群 G，若 G 是离散或稠密的，则 S-Helly 数 h(G) 是有限的，本文推测存在一个通用上界。
• 本文证明，任意满足 Helly、单调和可排序性质的 𝒫 都是 h(𝒫)-可着色的，从而推广了彩色 Helly 定理。
• 对于所有离散 S 及 S = ℤ^{d−k} × ℝ^k，S-Helly 数 h(S) 是有限的，且 h(S) = 2^{d−k}(k+1)，扩展了 Doignon 和 Averkov–Weismantel 的结果。
• 本文证明，包含至少 k 个格点的性质是 h(𝒫)-可着色的，且 h(𝒫) 的上界由已知的定量 Doignon 定理所控制。