[논문 리뷰] Structure and Supersaturation for Intersecting Families

József Balogh, Shagnik Das외 3명|arXiv (Cornell University)|2018. 02. 22.

Limits and Structures in Graph Theory인용 수 6

한 줄 요약

이 논문은 순열과 k-균일 집합의 만족성 가족에서의 과포화를 조사하며, 가족 크기가 최대치 임계값을 略로 초과할 경우 레크스코그래픽 순서의 초기 세그먼트가 서로소 쌍의 수를 최소화함을 증명한다. 이러한 가족들이 작은 초최대 추가에 대해 최적이 되며, 초최대 집합 이론에서 ℓ-구의 Bollobás–Leader 추측에 대한 반례를 제시한다.

ABSTRACT

The extremal problems regarding the maximum possible size of intersecting families of various combinatorial objects have been extensively studied. In this paper, we investigate supersaturation extensions, which in this context ask for the minimum number of disjoint pairs that must appear in families larger than the extremal threshold. We study the minimum number of disjoint pairs in families of permutations and in $k$-uniform set families, and determine the structure of the optimal families. Our main tool is a removal lemma for disjoint pairs. We also determine the typical structure of $k$-uniform set families without matchings of size $s$ when $n \ge 2sk + 38s^4$, and show that almost all $k$-uniform intersecting families on vertex set $[n]$ are trivial when $n\ge (2+o(1))k$.

연구 동기 및 목표

• 가족 크기가 최대치 임계값을 略로 초과할 경우 순열과 k-균일 집합의 만족성 가족에서 서로소 쌍의 최소 수를 결정하기 위해.
• 이러한 설정에서 서로소 쌍을 최소화하는 가족의 구조를 규명하기 위해.
• k-균일 집합 가족에서의 과포화에 대해 ℓ-구에 대한 Bollobás–Leader 추측의 타당성을 조사하기 위해.
• 매우 큰 매칭을 피하는 k-균일 만족성 가족의 일반적인 구조를 규명하기 위해.

제안 방법

• 서로소 쌍에 대한 제거 보조정리(removal lemma)를 주요 기술적 도구로 사용하여 서로소 쌍이 적은 가족의 구조적 안정성을 분석하기 위해.
• 순열 가족에서 서로소 쌍의 수를 최소화하는 후보로 레크스코그래픽 가족 T(n,s)를 정의하고 분석하기 위해.
• 명시적인 가족(예: ℓ-구)을 구성하고, 이들의 서로소 쌍 수를 비교하여 Bollobás–Leader 추측에 도전하기 위해.
• 이중 세기와 포함-배제 원리를 적용하여 가족과 스타 사이의 서로소 쌍 수를 바ounds하기 위해.
• 이중 계수의 渐近적 추정과 이항 계수의 경계를 사용하여 과포화 영역에서 오차 항을 제어하기 위해.
• n=3k−1인 경우, 레크스코그래픽 초기 세그먼트보다 서로소 쌍 수가 적은 반례 가족 F를 구성하여 k≥5일 때 추측을 반박하기 위해.

실험 결과

연구 질문

• RQ1 순열 가족의 크기가 최대치 만족성 가족 크기보다 클 경우, 서로소 쌍의 최소 수는 무엇인가?
• RQ2 k-균일 집합 가족의 경우, 크기가 Erdős–Ko–Rado 임계값을 초과할 때 서로소 쌍의 수를 최소화하는 구조는 무엇인가?
• RQ3 Bollobás와 Leader가 추측한 바와 같이, k-균일 가족에서의 과포화 문제에 대해 레크스코그래픽 초기 세그먼트가 항상 최적이어야 하는가?
• RQ4 n이 충분히 클 경우, 크기 s의 매칭을 피하는 k-균일 만족성 가족의 일반적인 구조는 무엇인가?
• RQ5 ℓ-구가 과포화에 대해 최적이며, Bollobás–Leader 추측이 참임을 증명하거나 반박할 수 있는가?

주요 결과

• 크기 s=(k+ε)(n−1)! 이며 |ε|≤ck−3, k≤cn1/2 인 순열 가족에 대해, 레크스코그래픽 가족 T(n,s)가 서로소 쌍의 수를 최소화한다.
• 크기 s=binom(n−1,k−1)+t 인 k-균일 집합 가족에 대해, 서로소 쌍의 수는 최소 t⋅binom(n−k−1,k−1) 이상이며, 이는 레크스코그래픽 가족 L(n,k,s)에 의해 달성된다.
• n=3k−1인 경우, Bollobás–Leader 추측에 대한 반례를 구성하여, 레크스코그래픽 초기 세그먼트가 과포화에 대해 최적이 아님을 입증한다.
• 스타에서 집합을 다른 만족성 가족의 집합으로 교체함으로써 구성된 가족 F는 레크스코그래픽 가족보다 서로소 쌍의 수가 줄어든다.
• k≥5 이고 n=3k−1 일 때, 수치적 증거는 1-구가 구성된 가족 F보다 더 많은 서로소 쌍을 가짐을 보여주며, 이는 추측을 반박한다.
• 거의 모든 k-균일 만족성 가족은 n≥(2+o(1))k 일 때 비자명한 것으로, 하나의 스타에 포함된다.