[论文解读] Intersection patterns of set systems on manifolds with slowly growing homological shatter functions

Sergey Avvakumov, Marguerite Bin+1 more|arXiv (Cornell University)|Jan 6, 2026

Topological and Geometric Data Analysis被引用 0

一句话总结

这篇论文将 Kalai–Meshulam 猜想推广到流形上的集合系统，证明了禁用同伦小的类似结论并发展了与缓慢增长的同伦破碎函数相关的分级不变量。

ABSTRACT

A theorem of Matoušek asserts that for any $k \ge 2$, any set system whose shatter function is $o(n^k)$ enjoys a fractional Helly theorem of order $k$: in the $k$-wise intersection hypergraph, positive density implies a linear-size clique. Kalai and Meshulam conjectured a generalization of that phenomenon to homological shatter functions. It was verified for set systems with bounded homological shatter functions and ground set with a forbidden homological minor (which includes $\mathbb{R}^d$ by a homological analogue of the van Kampen-Flores theorem). We present two contributions to this line of research: - We study homological minors in certain manifolds (possibly with boundary), for which we prove analogues of the van Kampen-Flores theorem and of the Hanani-Tutte theorem. - We introduce graded analogues of the Radon and Helly numbers of set systems and relate their growth rate to the original parameters. This allows to extend the verification of the Kalai-Meshulam conjecture for sufficiently slowly growing homological shatter functions.

研究动机与目标

• 将集合系统的凸性性质从欧几里得空间推广到拓扑流形的研究动机。
• 研究同伦破碎函数及其增长，以在流形上获得分数 Helly 型结果。
• 研究流形上的同伦小并证明类似 van Kampen–Flores 与 Hanani–Tutte 的障碍定理。
• 引入 Radon、Helly 等凸性类数的分级变体，并将其增长与原参数联系起来。
• 将现有结果扩展到拓扑环境中缓慢增长的同伦破碎函数。

提出的方法

• 为流形上的集合系统定义并应用同伦破碎函数。
• 在同伦设置中建立 van Kampen–Flores 与 Hanani–Tutte 定理的类比。
• 证明一个关于 2k 维 PL 流形的同伦近似嵌入的 Hanani–Tutte 型定理。
• 使用同伦小来约束嵌入并导出不可嵌入性结果（定理 3）。
• 引入分级的 Radon、Helly 以及其他凸性类数，并将它们与破碎函数的增长联系起来。
• 应用基于链映射的框架，从 R^d 的集合系统过渡到具有受控拓扑性的流形。

实验结果

研究问题

• RQ1 某些具有边界且高度连通的流形是否在其维数上禁止与 Δ_{N}^{(⌈d/2⌉)} 类似的特定同伦小？
• RQ2 分级的 Radon 与 Helly 数是否约束同伦破碎函数的增长，并在流形上产生分数 Helly 型结果？
• RQ3 是否可以将 Hanani–Tutte 型定理推广到高维 PL 流形的同伦近似嵌入？
• RQ4 同伦破碎函数的缓慢增长如何与被禁止的同伦小相互作用，以将 Kalai–Meshulam 猜想推广到 R^d 以外的情形？
• RQ5 分级不变量对将 Helly/Radon 型定理推广到拓扑集合系统有何含义？

主要发现

• 定理 3：对于所有 d ≥ 3 和 b，存在 N，使 Δ_N^{(⌈d/2⌉)} 在任何紧致的 (⌈d/2⌉−1)-连通、d 维 PL 流形 M（Z_2 的 β_{⌈d/2⌉} 有界）中没有同伦近似嵌入。
• 定理 4（同伦 Hanani–Tutte）：若一个 k 维复形映射到一个 2k 维 PL 流形，且非相邻的 k-面之间的交点为偶数，则该复形是该流形的同伦小。
• 引入 Radon、Helly 数的分级类似物，并确立分级增长控制分数 Helly 现象。
• 定理 5：若分级 Radon 数 r_F(t) 满足对数缺损条件，则未分级 Radon 数 r_F 为有限。
• 推论 6：对任意单纯复 K，存在函数 Ψ_K(t) → ∞，若 φ_F^{(dim K)}(t) 对大 t 有界且 F 具有 K 作为禁用同伦小，则分数 Helly 数至多为 μ(K)+1。
• 定理 7：给出一条在何种条件下有界的分级 Radon 数会推出有界的分数 Helly 数，从而连接分级和未分级参数。