[论文解读] Extremal problems on shadows and hypercuts in simplicial complexes

Nati Linial, Ilan Newman+2 more|arXiv (Cornell University)|Aug 4, 2014

Topological and Geometric Data Analysis参考文献 15被引用 9

一句话总结

本文研究高维单纯复形中的极值问题，重点关注不同域上2复形的阴影与超割。结果表明，在ℚ上，2维复形可以具有空阴影（即，添加任何2-面都不会形成环的无圈集合）；而在𝔽₂上，几乎超树的阴影必须稠密，最小密度为Θ(1/n)，并构造了任意域上具有空阴影的大超森林，揭示了有理数域与有限域在高维中行为的显著差异。

ABSTRACT

Let $F$ be an $n$-vertex forest. We say that an edge $e otin F$ is in the shadow of $F$ if $F\cup\{e\}$ contains a cycle. It is easy to see that if $F$ is "almost a tree", that is, it has $n-2$ edges, then at least $\lfloor\frac{n^2}{4} floor$ edges are in its shadow and this is tight. Equivalently, the largest number of edges an $n$-vertex cut can have is $\lfloor\frac{n^2}{4} floor$. These notions have natural analogs in higher $d$-dimensional simplicial complexes, graphs being the case $d=1$. The results in dimension $d>1$ turn out to be remarkably different from the case in graphs. In particular the corresponding bounds depend on the underlying field of coefficients. We find the (tight) analogous theorems for $d=2$. We construct $2$-dimensional "$\mathbb Q$-almost-hypertrees" (defined below) with an empty shadow. We also show that the shadow of an "$\mathbb F_2$-almost-hypertree" cannot be empty, and its least possible density is $Θ(\frac{1}{n})$. In addition we construct very large hyperforests with a shadow that is empty over every field. For $d\ge 4$ even, we construct $d$-dimensional $\mathbb{F} _2$-almost-hypertree whose shadow has density $o_n(1)$. Finally, we mention several intriguing open questions.

研究动机与目标

• 理解高维单纯复形中阴影与超割的结构，将经典图论极值结果推广至d维复形。
• 研究系数域的选择（特别是ℚ与𝔽₂）如何影响d复形中阴影的存在性与大小。
• 确定在不同域上，2复形中“几乎超树”阴影的最小可能密度。
• 在任意域上构造具有空阴影的大超森林，证明此类复形即使在高维中也存在。
• 识别并解决高维组合数学中的基本极值问题，特别是关于无圈集合与环最小性的问题。

提出的方法

• 本文使用单纯上同调与在域ℚ和𝔽₂上的边界算子∂d，定义d-面集合的秩并判断无圈性。
• 引入“d-几乎超树”的概念，即d-面的最大无圈集合，并将阴影定义为添加后会形成环的d-面集合。
• 对于2复形，通过递归算术三元组构造，在ℚ上显式构造出具有空阴影的复形族。
• 通过分析递归复形族中的顶点连通性与边包含模式，证明在𝔽₂上阴影密度的下界。
• 利用归纳法与对称性论证，表明基于顶点集交集，某些边集必须包含在复形构造中。
• 借助代数拓扑与极值组合学中的已知结果，包括Kalai对超树的界，来构建开放问题与猜想。

实验结果

研究问题

• RQ1 𝔽₂上的2维几乎超树的阴影最小可能大小是多少？能否得到紧致的界？
• RQ2 ℚ上的2维复形能否具有空阴影的无圈集合？若能，此类复形最大可多大？
• RQ3 在高维复形中，ℚ与𝔽₂上阴影的行为有何不同？其差异的根源是什么？
• RQ4 能否在任意域上构造出任意大的具有空阴影的超森林？其结构约束为何？
• RQ5 n个顶点的复形中，d-环的最大大小是多少？在哪些n, d与域下，(n-1选d)+1个d-面构成最小环？

主要发现

• 在ℚ上，存在具有空阴影的2维复形（具体为“ℚ-几乎超树”），即添加任何2-面都不会形成环。
• 在𝔽₂上，任何2维几乎超树的阴影具有最小密度Θ(1/n)，且该界是紧致的。
• 本文在任意域上构造了具有空阴影的2维超森林，证明此类结构即使在高维中也存在。
• 对于偶数d ≥ 4，本文构造了𝔽₂上d维几乎超树，其阴影密度为oₙ(1)，随n增大趋近于零。
• 本文表明，在ℚ上，即使复形很大，其2复形的阴影仍可为空，这与𝔽₂上的行为相矛盾。
• 结果揭示了一个根本性二分：在ℚ上，无圈集合可极大且添加任何面都不会形成环；而在𝔽₂上，此类集合受非零阴影密度的约束。