[논문 리뷰] A simple discharging method for forbidden subposet problems

Ryan R. Martin, Abhishek Methuku외 2명|arXiv (Cornell University)|2017. 10. 13.

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

한 줄 요약

이 논문은 극값 부분순서집합 이론에서 한 추측을 해결하기 위해 새로운 방전 방법을 제안한다: $ n \geq k+1 $ 일 때, $[n]$ 의 부분집합들로 이루어진 가족 중에서 $ Y_{k,2} $ 와 그 이중 $ Y'_{k,2} $ 를 유도 부분순서집합으로 포함하지 않는 가장 큰 가족의 크기는 정확히 $ \Sigma(n,k) $ 이다. 여기서 $ \Sigma(n,k) $ 는 차수 $ n $ 의 이항계수 중 $ k $ 개의 최대값들의 합이다. 이 접근법은 부울 레이티스 위에서의 전하 및 이동을 통한 추론을 사용하여 가족 크기를 유 bounds 하며, 등호가 성립하는 경우는 오직 가족이 부울 레이티스의 $ k $ 개의 중간 레벨들로 이루어질 때 뿐임을 증명한다.

ABSTRACT

The poset $Y_{k+1, 2}$ consists of $k+2$ distinct elements $x_1$, $x_2$, \dots, $x_{k}$, $y_1$,$y_2$, such that $x_1 \le x_2 \le \dots \le x_{k} \le y_1$,~$y_2$. The poset $Y'_{k+1, 2}$ is the dual of $Y_{k+1, 2}$ Let $ m{La}^{\sharp}(n,\{Y_{k+1, 2}, Y'_{k+1, 2}\})$ be the size of the largest family $\mathcal{F} \subset 2^{[n]}$ that contains neither $Y_{k+1,2}$ nor $Y'_{k+1,2}$ as an induced subposet. Methuku and Tompkins proved that $ m{La}^{\sharp}(n, \{Y_{3,2}, Y'_{3,2}\}) = Σ(n,2)$ for $n \ge 3$ and they conjectured the generalization that if $k \ge 2$ is an integer and $n \ge k+1$, then $ m{La}^{\sharp}(n, \{Y_{k+1,2}, Y'_{k+1,2}\}) = Σ(n,k)$. In this paper, we introduce a simple discharging approach and prove this conjecture.

연구 동기 및 목표

• Methuku 와 Tompkins 가 제기한, 유도 복사본 $ Y_{k,2} $ 와 그 이중 $ Y'_{k,2} $ 를 피하는 가족의 극값 크기에 대한 추측을 해결하기.
• $ n \geq k+1 $ 일 때, $ \mathrm{La}^\sharp(n,\{Y_{k,2},Y'_{k,2}\}) = \Sigma(n,k) $ 를 증명하기. 여기서 $ \Sigma(n,k) $ 는 차수 $ n $ 의 이항계수 중 $ k $ 개의 최대값들의 합이다.
• 부울 레이티스에서 유도 부분순서집합을 금지하는 문제에 대해 효과적인 새로운 방전 방법을 도입하고 이를 입증하기.
• 극값 경계에서 등호가 성립하는 경우는 오직 부울 레이티스의 $ k $ 개의 중간 레벨들로 이루어진 가족일 때 뿐임을 보여주기.

제안 방법

• 각 부분집합 $ F \in \mathcal{F} $ 에 대해, $ \binom{n}{|F|}^{-1} $ 비례하는 초기 전하를 할당하고, 포함 관계에 따라 전하를 재분배하는 방전 방법을 개발한다.
• 전체 전하의 총합이 유지되도록, 더 큰 집합에서 더 작은 집합으로 전하를 이동시키며, $ \mathcal{F} $ 위에서의 합이 $ k $ 이하로 유 bounds 되도록 한다.
• 부울 레이티스의 표준 체인 분해를 사용하여, $ Y_{k,2} $ 와 $ Y'_{k,2} $ 의 구조에 따라 전하 이동 규칙을 정의한다.
• 전하 보존 원리에 기반하여 핵심 부등식 $ \sum_{F \in \mathcal{F}} \binom{n}{|F|}^{-1} \leq k $ 를 유도하며, 이는 $ |\mathcal{F}| \leq \Sigma(n,k) $ 를 암시한다.
• 공집집합 또는 전지집합이 $ \mathcal{F} $ 에 포함되는지 여부에 따라 케이스 분석을 수행하며, 이 경우에 극값 구조가 불가능함을 보여준다.
• 등호가 성립할 경우, 역이항계수의 합이 강제로 $ k $ 개의 연속된 레벨에 집중되며, 그 외의 경우는 유도 $ Y_{k,2} $ 또는 $ Y'_{k,2} $ 가 발생함을 증명한다.

실험 결과

연구 질문

• RQ1 유도 부분순서집합으로서 $ Y_{k,2} $ 와 $ Y'_{k,2} $ 를 모두 피하는 $ \mathcal{F} \subseteq 2^{[n]} $ 의 최대 크기는 무엇인가?
• RQ2 새로운 조합적 방법을 사용하여 $ n \geq k+1 $ 일 때 추측 $ \mathrm{La}^\sharp(n,\{Y_{k,2},Y'_{k,2}\}) = \Sigma(n,k) $ 를 증명할 수 있는가?
• RQ3 크기가 $ \Sigma(n,k) $ 인 가족이 반드시 부울 레이티스의 $ k $ 개의 중간 레벨들로 이루어져야 하는 구조적 이유는 무엇인가?
• RQ4 가장 큰 가족이 이미 최대일 때, $ \varnothing $ 또는 $ [n] $ 이 $ \mathcal{F} $ 에 포함되어 있으면 왜 크기가 $ \Sigma(n,k) $ 가 될 수 없는가?

주요 결과

• 모든 $ n \geq k+1 $ 에 대해, 유도 복사본 $ Y_{k,2} $ 와 $ Y'_{k,2} $ 를 피하는 가족의 극값 크기는 정확히 $ \Sigma(n,k) $ 이다.
• 방전 방법을 통해 $ \sum_{F \in \mathcal{F}} \binom{n}{|F|}^{-1} \leq k $ 를 증명함으로써 추측을 성공적으로 해결하였으며, 이는 $ |\mathcal{F}| \leq \Sigma(n,k) $ 를 암시한다.
• 극값 경계에서 등호가 성립하는 경우는 오직 $ \mathcal{F} $ 가 부울 레이티스의 $ k $ 개의 중간 레벨들로 이루어져 있을 때 뿐이다.
• 만약 $ \mathcal{F} $ 가 $ \varnothing $ 또는 $ [n] $ 을 포함한다면, $ |\mathcal{F}| \leq \Sigma(n,k) - 1 $ 이므로, 극값 가족은 전체 집합이나 공집합을 포함할 수 없다.
• 크기가 $ \Sigma(n,k) $ 이지만 $ k $ 개의 중간 레벨로 이루어지지 않은 가족은 반드시 유도 $ Y_{k,2} $ 또는 $ Y'_{k,2} $ 를 포함하며, 이는 가정에 모순된다.
• 결과적으로, $ \{Y_{k,2}, Y'_{k,2}\} $ 에 대한 유도 부분순서집합 문제에서 $ k $ 개의 중간 레벨이 유일한 극값 가족임을 확인한다.