[论文解读] Combinatorics in the exterior algebra and the Bollob\'{a}s Two Families Theorem.

Alex Scott, Elizabeth Wilmer|arXiv (Cornell University)|Jul 13, 2019

Limits and Structures in Graph Theory参考文献 24被引用 6

一句话总结

本文使用外代数工具扩展了Bollobás的两族定理，引入了斜交叉相交子空间配置的加权界，并证明了关于同时满足交集与交叉交集条件的集合系的一个猜想。研究建立了新的LYM型不等式，并通过外代数中的楔积、投影与内积运算，推导出t-相交族与子空间配置的极值界。

ABSTRACT

We investigate the combinatorial structure of subspaces of the exterior algebra of a finite-dimensional real vector space, working in parallel with the extremal combinatorics of hypergraphs. Using initial monomials, projections of the underlying vector space onto subspaces, and the interior product, we find analogues of local and global LYM inequalities, the Erd\H{o}s-Ko-Rado theorem, and the Ahlswede-Khachatrian bound for $t$-intersecting hypergraphs. Using these tools, we prove a new extension of the Two Families Theorem of Bollob\'{a}s, giving a weighted bound for subspace configurations satisfying a skew cross-intersection condition. We also verify a recent conjecture of Gerbner, Keszegh, Methuku, Abhishek, Nagy, Patk\'{o}s, Tompkins, and Xiao on pairs of set systems satisfying both an intersection and a cross-intersection condition.

研究动机与目标

• 使用外代数工具将Bollobás两族定理扩展至加权与子空间配置情形。
• 在外代数的分次理想中建立新的局部与全局LYM不等式。
• 解决Gerbner等人近期提出的关于同时满足交集与交叉交集条件的集合系的猜想。
• 为分析外代数中t-自消去子空间与相互消去子空间对构建一个框架。
• 基于单项式基与投影的代数方法，为t-相交超图提供极值界。

提出的方法

• 使用初始单项式与项序将均匀超图与ℝⁿ上外代数的齐次子空间联系起来。
• 对子空间应用投影与提升操作，证明维度分数界，并表明通用基在随机投影下保持维度。
• 利用内积与楔积运算定义消去条件并分析子空间结构。
• 通过外代数中的LYM型不等式，推导出Erdös-Ko-Rado与Ahlswede-Khachatrian定理的外代数类比。
• 利用外代数框架证明：来自自消去子空间的线性无关a-Blades满足楔积条件。
• 将这些工具应用于在斜交叉相交与t-相交约束下，证明两族定理的新加权扩展。

实验结果

研究问题

• RQ1 Bollobás两族定理能否扩展至满足斜交叉相交条件的加权子空间配置？
• RQ2 在ℝⁿ的r次外代数中，是否存在一个子空间，其任意两个元素的楔积均为零，且该子空间的最大维数是多少？
• RQ3 Gerbner等人提出的猜想是否成立：同时满足t-相交与交叉相交条件的集合系的大小，是否受t-相交族的Ahlswede-Khachatrian界所限制？
• RQ4 能否使用单项式与投影技术，将局部与全局LYM不等式推广至外代数中的理想？
• RQ5 在楔积与内积约束下，相互消去子空间的极值配置是什么？

主要发现

• 本文证明了Bollobás两族定理的新扩展，为满足斜交叉相交条件的子空间配置建立了加权界。
• 证实了Gerbner等人提出的猜想：同时满足t-相交与交叉相交条件的族对的最大大小，受t-相交族的Ahlswede-Khachatrian界所限制。
• 证明了V^r(ℝⁿ)中t-自消去子空间的最大维数，受限于[n]上r-均匀超图中最大t-相交族的大小。
• 作者通过局部LYM不等式与投影界，推导出外代数中分次理想的全局LYM不等式。
• 证明了对于通用基，齐次子空间的投影保持维度，从而实现稳健的维度分数界。
• 本文构造了显式例子，当定理4.5中的轮廓序条件被违反时，加权和可超过1，从而证明了该界的紧致性。