[논문 리뷰] Set families with forbidden subposets

Linyuan Lü, Kevin G. Milans|arXiv (Cornell University)|2014. 08. 04.

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

한 줄 요약

이 논문은 유도된 부분순서집합을 피하는 집합 가족에 대한 툴란 임계값에 대해 새로운 상한을 확립한다. 특히, $2^{[2]}$-자유 가족의 루벨 질량이 $2.5823284 + o(1)$ 이하임을 증명하며, 이는 유도된 부분순서집합 설정에서 이전의 상한을 향상시킨다. 저자들은 최대 체인에 대한 확률적 평균화를 통한 가중 체인 수세기 방법을 사용하여 이러한 상한을 유도하였으며, 이는 유도된 툴란 문제의 복잡성이 확장 버전보다 본질적으로 더 높다는 것을 보여준다.

ABSTRACT

Let $F$ be a family of subsets of $\{1,\ldots,n\}$. We say that $F$ is $P$-free if the inclusion order on $F$ does not contain $P$ as an induced subposet. The \emph{Turán function} of $P$, denoted $π^*(n,P)$, is the maximum size of a $P$-free family of subsets of $\{1,\ldots,n\}$. We show that $π^*(n,P) \le (4r + O(\sqrt{r}))\binom{n}{n/2}$ if $P$ is an $r$-element poset of height at most $2$. We also show that $π^*(n,S_r) = (r+O(\sqrt{r}))\binom{n}{n/2}$ where $S_r$ is the standard example on $2r$ elements, and that $π^*(n,B_2) \le (2.583+o(1))\binom{n}{n/2}$, where $B_2$ is the $2$-dimensional Boolean lattice.

연구 동기 및 목표

• 주어진 부분순서집합 $P$ 를 유도된 부분순서집합으로 포함하지 않는 $[n]$ 의 부분집합 가족의 최대 크기를 결정하는 것. 이는 툴란 임계값 $\pi^*(P)$ 로 측정된다.
• 극도의 집합론에서의 툴란 유형 문제에 대한 기존 결과를, 포함 관계가 더 엄격한 유도된 부분순서집합 설정으로 확장하는 것.
• 2차원 부울 레이스 $2^{[2]}$ 의 툴란 임계값에 대한 알려진 하한과 상한 사이의 격차를 좁히는 것. 이는 금지된 다이아몬드 부분순서집합에 해당한다.
• 확장 설정에서 효과적인 루벨 유형의 추론이 유도된 경우에서는 $2.25$ 를 초월해 상한을 향상시킬 수 없음을 보여주며, 두 문제 간의 본질적 차이를 부각하는 것.

제안 방법

• 모든 집합 $A$ 에 대해 $1/\binom{n}{|A|}$ 의 무게를 할당하는 부울 레이스 $2^{[n]}$ 에 대한 가중치 체계를 사용하며, 이는 무작위 최대 체인을 통한 확률적 해석을 가능하게 한다.
• 루벨 질량 $\ell(\mathcal{F}) = \sum_{A \in \mathcal{F}} \frac{1}{\binom{n}{|A|}}$ 를 정의하며, 이는 무작위 최대 체인에 속한 $\mathcal{F}$ 의 집합의 기대 수를 세는 데 사용된다.
• 가족 $\mathcal{F}$ 를 $\mathcal{G}$ (가족 내 단일 원소 집합) 와 $\mathcal{M}_k$ (일부 구조적 제약 조건을 만족하는 크기 $k$ 의 집합) 로 분할하고, 각 부분의 루벨 질량 기여도를 상한한다.
• 크기 $k$ 의 집합이 루벨 질량에 기여할 수 있는 최대 기여도를 $a_k = \ell_A^-(\mathcal{F})$ 를 사용하여 상한한다. 여기서 $a_k$ 는 $\mathcal{F} \cap [\emptyset, A]$ 에 속한 집합의 수를 세는 것이다.
• 최대 집합이 $\mathcal{F} \cap \mathcal{C}$ 에서 수준 $i$ 에서 $j$ 에 위치하는 사건 $\mathcal{E}_{i,j}$ 를 정의하고, 고정된 단일 원소 집합 $S$ 와의 교차에 대한 포함배제 원리를 사용하여 그 확률을 상한한다.
• 변수 $x = |T|/n$ (여기서 $T = [n] \setminus S$) 에 대한 다항식 표현을 최적화하여 루벨 질량 $\ell(\mathcal{F})$ 에 대한 가장 날카운 상한을 도출하며, 최종적인 임계값 추정치로 이어진다.

실험 결과

연구 질문

• RQ1 유도된 부분순서집합으로서 $2^{[2]}$ 를 피하는 집합 $\mathcal{F} \subseteq 2^{[n]}$ 의 루벨 질량의 상한은 무엇인가?
• RQ2 높이가 2인 부분순서집합에 대해 툴란 임계값 $\pi^*(P)$ 는 어떻게 행동하는가? 특히 표준 예시 $S_r$ 과 다이아몬드 부분순서집합 $2^{[2]}$ 에 대해.
• RQ3 확장 포함 설정에서 효과적인 루벨 유형의 추론이, 유도된 부분순서집합 설정에서의 상한 향상에 사용될 수 있는가?
• RQ4 유도된 버전과 확장 버전의 툴란 문제 사이에 본질적인 복잡성 차이가 존재하는가? 특히 $2^{[2]}$ 와 같은 부분순서집합에 대해.
• RQ5 체인 가중치와 확률적 평균화 기법만을 사용하여 $2^{[2]}$-자유 가족에 대해 $\ell(\mathcal{F})$ 의 최고 가능한 상한은 무엇인가?

주요 결과

• 2차원 부울 레이스 $2^{[2]}$ 의 툴란 임계값은 $\pi^*(2^{[2]}) \leq 2.5823284$ 를 만족하며, 이는 이전의 유도된 부분순서집합 설정에서의 상한을 향상시킨다.
• 임의의 높이가 2 이하인 $r$ 원소 부분순서집합 $P$ 에 대해, 본 논문은 $\mathrm{La}^*(n,P) \leq (4r + O(\sqrt{r})) \binom{n}{\lfloor n/2 \rfloor}$ 를 도출하며, 이는 $r$ 에 대해 선형적 의존성을 보여준다.
• 표준 예시 $S_r$ 에 대해 툴란 임계값은 $\pi^*(S_r) = r + O(\sqrt{r})$ 이며, 이는 임계값이 $r$ 에 대해 선형적으로 증가함을 보여준다.
• 모든 $2^{[2]}$-자유 가족의 루벨 질량은 최대 $2.5823284 + o(1)$ 이며, 이 상한은 주어진 방법에 대해 날카로운 것으로 나타나, 루벨 유형의 추론이 이 값을 초월해 향상시킬 수 없음을 시사한다.
• 결과는 유도된 툴란 문제의 복잡성이 확장 버전보다 엄격히 더 높다는 것을 보여주며, 이는 유도된 경우의 최고 알려진 상한($2.582$) 이 확장 경우의 최고 알려진 상한($2.25$) 을 초월하며, 루벨 기반 방법으로는 이 격차를 메울 수 없다는 것을 의미한다.
• 분석 결과, 최대 루벨 질량은 비단일 원소 요소의 비율 $x = |T|/n$ 이 약 $0.687$ 일 때 도달하며, 이는 최적 구성에서 핵심 집합의 비균일 분포를 나타낸다.