[논문 리뷰] On the Minimum Width of a Cutset in the Truncated Boolean Lattice

Béla Bajnok|arXiv (Cornell University)|2015. 12. 09.

Limits and Structures in Graph Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 $[n]$의 원소 수가 $ m $에서 $ l $ 사이인 모든 부분집합으로 이루어진 절삭 불리안 레이티스 $ \mathcal{B}_n(m,l) $의 컷셋 최소 너비 $ h_n(m,l) $를 조사한다. $ 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]} $와 동형이므로, 곱 기반의 사슬 구성이 가능해짐.
• $ \mathcal{Q} \cong 2^{[2m]} $라는 $ 2m $원소의 몫 레이티스에서 사슬을 올려서 $ \mathcal{B}_n(m,2m) $에서 $ \binom{n}{m} - \binom{n}{m-1} $개의 사슬을 구성함.
• $ l = m+2 $의 경우, 원소 1과 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 $ c = l - m + 1 $ 이면, $ h_n(m,l) = \sum_{j \geq 0} \left( \binom{n}{m-jc} - \binom{n}{m-jc-1} \right) $로 주어지는 추측 공식이 모든 $ l \geq m $에 대해 성립하는가?
• RQ3 최소 컷셋 너비 $ h_n(m,l) $는 $ l \geq 2m $일 때 일정한가? 만약 그렇다면, $ \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} $이다. 이는 4색 색상 기반과 귀납법을 사용하여 증명되었으며, 이 구성이 서로소 사슬을 피하는 것을 보여준다.
• 이 논문은 $ 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) $의 모든 최대 사슬이 최소한 하나의 컷셋 사슬과 교차함을 보장함.