[论文解读] On the Minimum Width of a Cutset in the Truncated Boolean Lattice

Béla Bajnok|arXiv (Cornell University)|Dec 9, 2015

Limits and Structures in Graph Theory参考文献 3被引用 4

一句话总结

本文研究截断布尔格 $ \mathcal{B}_n(m,l) $ 中割集的最小宽度 $ h_n(m,l) $，其中 $ \mathcal{B}_n(m,l) $ 包含所有大小在 $ m $ 和 $ l $ 之间的 $[n]$ 的子集。论文猜想当 $ n \gg m $ 时，该最小宽度由二项式系数差之和 $ \sum_{j \geq 0} \Delta_n(m - jc) $ 给出，其中 $ c = l - m + 1 $，并证明了该猜想在短格（$ l = m, m+1, m+2 $）成立，同时为更高格（$ l \geq 2m $）建立了上界 $ \binom{n}{m} - \binom{n}{m-1} $，表明宽度在 $ 2m $ 之后不再随 $ l $ 增加而变化。

ABSTRACT

For integers $0 \leq m \leq l \leq n-m$, the truncated Boolean lattice ${\cal B}_n(m,l)$ is the poset of all subsets of $[n] = \{1, 2, \ldots, n\}$ which have size at least $m$ and at most $l$. ${\cal C} \subseteq {\cal B}_n(m,l)$ is a {\em cutset} if it meets every chain of length $l-m$ in ${\cal B}_n(m,l)$, and the {\em width} of ${\cal C}$ is the size of the largest antichain in ${\cal C}$. We conjecture that for $n >> m$ the minimum width $h_n(m,l)$ of a cutset in ${\cal B}_n(m,l)$ is $Σ_{j \geq 0} Δ_n(m-jc) = Δ_n(m)+Δ_n(m-c)+Δ_n(m-2c)+ \dots$, where $c=l-m+1$ is the number of level sets in ${\cal B}_n(m,l)$ and $Δ_n(k)={n \choose k}- {n \choose k-1}$. We establish our conjecture for the cases of "short lattices" ($l=m$, $l=m+1$, and $l=m+2$). For "taller lattices" ($l \geq 2m$) our conjecture gives ${n \choose m} - {n \choose m-1}$, independently of $l$. Our main result is that $h_n(m,l) \leq {n \choose m} - {n \choose m-1}$ if $l \geq 2m$.

研究动机与目标

• 理解截断布尔格 $ \mathcal{B}_n(m,l) $ 中割集的最小宽度 $ h_n(m,l) $，其定义为与所有极大链相交的子集。
• 猜想当 $ n \gg m $ 时，$ h_n(m,l) = \sum_{j \geq 0} \left( \binom{n}{m-jc} - \binom{n}{m-jc-1} \right) $，其中 $ c = l - m + 1 $，并推广已知结果。
• 通过链分解与着色技术，证明短格情形：$ l = m $，$ l = m+1 $，和 $ l = m+2 $ 的猜想。
• 证明当 $ l \geq 2m $ 时，$ h_n(m,l) \leq \binom{n}{m} - \binom{n}{m-1} $，表明最小宽度在 $ 2m $ 之后保持不变，与 $ l $ 无关。
• 探讨割集宽度 $ h_n(m,l) $ 与最小最大层级大小 $ g_n(m,l) $ 之间的关系，猜想在 $ n $ 足够大时二者相等。

提出的方法

• 采用受 Griggs 和 de Bruijn 启发的递归链分解方法，将布尔格 $ 2^{[2m]} $ 划分为长度至多为 $ m $ 的链，且起始层级受控。
• 基于子集与 $[2m]$ 的交集定义颜色类，使得每类颜色同构于 $ 2^{[n-2m]} $，从而支持基于乘积的链构造。
• 通过从 $ 2m $ 元商格 $ \mathcal{Q} \cong 2^{[2m]} $ 提升链至完整格，在 $ \mathcal{B}_n(m,2m) $ 中构造 $ \binom{n}{m} - \binom{n}{m-1} $ 条链。
• 基于元素 1 和 2 的成员关系，采用黑、蓝、红、白四色着色方案，对节点进行划分，并指导 $ l = m+2 $ 情况下的链构造。
• 利用归纳法与链的结构性质，证明 $ \mathcal{B}_n(m,m+2) $ 中任意极大链必须与所构造的割集相交。
• 应用 Kruskal-Katona 定理，通过层级节点计数刻画割集，并支持 $ g_n(m,l) = h_n(m,l) $ 的猜想。

实验结果

研究问题

• RQ1 对于 $ 0 \leq m \leq l \leq n-m $，截断布尔格 $ \mathcal{B}_n(m,l) $ 中割集的最小宽度 $ h_n(m,l) $ 是什么，特别是在 $ n \gg m $ 时？
• RQ2 猜想公式 $ h_n(m,l) = \sum_{j \geq 0} \left( \binom{n}{m-jc} - \binom{n}{m-jc-1} \right) $，其中 $ c = l - m + 1 $，是否对所有 $ l \geq m $ 成立？
• RQ3 当 $ l \geq 2m $ 时，最小割集宽度 $ h_n(m,l) $ 是否为常数，且等于 $ \binom{n}{m} - \binom{n}{m-1} $？
• RQ4 最小最大层级大小 $ g_n(m,l) $（即存在割集且每层节点数不超过 $ k $ 的最小 $ k $）是否等于 $ h_n(m,l) $？
• RQ5 在 $ \mathcal{B}_n(m,l) $ 中，链的结构（特别是基于颜色的分解）如何确保每条极大链都与所构造的割集相交？

主要发现

• 当 $ l = m $ 时，最小割集宽度为 $ h_n(m,m) = \binom{n}{m} $，通过取所有大小为 $ m $ 的子集实现，因为这些子集与所有长度为 1 的链相交。
• 当 $ l = m+1 $ 时，$ h_n(m,m+1) = \binom{n-1}{m} $，通过基于是否包含元素 1 的着色方法构造 $ \binom{n-1}{m} $ 条链证明。
• 当 $ l = m+2 $ 时，$ h_n(m,m+2) = \sum_{j=0}^{m} \binom{n-2j-2}{m-j} $，通过四色着色方案与归纳法建立，证明构造避免了不相交的链。
• 论文证明当 $ l \geq 2m $ 时，$ h_n(m,l) \leq \binom{n}{m} - \binom{n}{m-1} $，表明最小割集宽度稳定，且在 $ 2m $ 之后不再随 $ l $ 增加而增加。
• 在 $ \mathcal{B}_n(m,2m) $ 中构造的大小为 $ \binom{n}{m} - \binom{n}{m-1} $ 的割集与每条极大链相交，通过追踪颜色类与链中层级交集关系得以证明。
• 通过分析 $ 2m $ 元商格中的链分解，并将链提升至完整格，构造确保了 $ \mathcal{B}_n(m,2m) $ 中每条极大链至少与割集中的某条链相交。