[논문 리뷰] Intersecting families of discrete structures are typically trivial

József Balogh, Shagnik Das외 3명|arXiv (Cornell University)|2014. 08. 11.

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

한 줄 요약

이 논문은 큰 $ n $에 대해, 순열, $ k $-균일 초그래프, 유한체 위의 벡터 공간에서의 거의 모든 $ t $-교차하는 가족은 비슷한 고정된 $ t $개의 인덱스나 정점에서 모두 일치하는 '비어있음'이 된다는 것을 증명한다. 볼로바스 집합-페어 부등식과 안정성 정리들을 사용하여 이러한 가족들의 점근적 수를 유도하고 희박한 해석형 결과를 증명함으로써, 간선 또는 순열 확률이 유의미하게 높지 않은 랜덤 설정에서도 가장 큰 교차 가족들이 높은 확률로 비어있음을 보여준다.

ABSTRACT

The study of intersecting structures is central to extremal combinatorics. A family of permutations $\mathcal{F} \subset S_n$ is \emph{$t$-intersecting} if any two permutations in $\mathcal{F}$ agree on some $t$ indices, and is \emph{trivial} if all permutations in $\mathcal{F}$ agree on the same $t$ indices. A $k$-uniform hypergraph is \emph{$t$-intersecting} if any two of its edges have $t$ vertices in common, and \emph{trivial} if all its edges share the same $t$ vertices. The fundamental problem is to determine how large an intersecting family can be. Ellis, Friedgut and Pilpel proved that for $n$ sufficiently large with respect to $t$, the largest $t$-intersecting families in $S_n$ are the trivial ones. The classic Erdős--Ko--Rado theorem shows that the largest $t$-intersecting $k$-uniform hypergraphs are also trivial when $n$ is large. We determine the \emph{typical} structure of $t$-intersecting families, extending these results to show that almost all intersecting families are trivial. We also obtain sparse analogues of these extremal results, showing that they hold in random settings. Our proofs use the Bollobás set-pairs inequality to bound the number of maximal intersecting families, which can then be combined with known stability theorems. We also obtain similar results for vector spaces.

연구 동기 및 목표

• 순열, 초그래프, 벡터 공간과 같은 이산 구조에서 $ n \to \infty $일 때 $ t $-교차 가족의 일반적인 구조를 규명하는 것.
• 에르되시–코–라즈 및 엘리스–프리드가트–필펠 정리와 같은 극값 결과들을 최대 가족을 넘어서 거의 모든 가족으로 확장하는 것.
• 희박한 해석형 결과를 확립하여, 순열이나 초모서리의 랜덤 부분집합에서, 간선 또는 순열 확률이 낮은 임계값을 초과할 경우에도 가장 큰 교차 가족들이 여전히 비어있음을 보이는 것.
• 최대 가족에 대한 경계와 볼로바스 집합-페어 부등식을 사용하여 이러한 교차 가족의 수를 정량화하는 것.
• 특히 $ n \approx 2k $일 때, 비어있지 않은 가족에서 비어있는 가족으로의 전이 과정을 탐색하는 것.

제안 방법

• 순열, 초그래프, 벡터 공간에서의 최대 $ t $-교차 가족의 수를 제한하기 위해 볼로바스 집합-페어 부등식을 적용하는 것.
• 안정성 정리를 사용하여, 극값 크기에 가까운 가족들은 반드시 비어있는 가족에 구조적으로 가까워야 한다는 것을 보이는 것.
• 최대 가족의 경계와 기존의 수세기 방법을 조합하여 $ t $-교차 가족의 총 수에 대한 점근적 추정을 도출하는 것.
• $ p $-랜덤 부분집합 $ S_n $ 및 $ \mathcal{H}^k(n,p) $ 를 분석하여 희박한 해석형 결과를 확립하는 것. 이때 $ p $ 가 임계값을 초과하면 가장 큰 교차 부분가족들이 높은 확률로 비어있음을 증명하는 것.
• 로그 기반 수세기 방법을 사용하여, 비어있지 않은 가족들이 총 수에 비해 낮은 차수의 기여를 한다는 것을 보이는 것.
• 비어있는 가족의 수가 점근적 총 수와 일치함을 검증하여, 그것들이 일반적임을 확인하는 것.

실험 결과

연구 질문

• RQ1 $ n \to \infty $ 일 때, 순열의 $ t $-교차 가족들은 일반적으로 비어있나요, 아니면 비어있지 않은 가족들이 지배합니까?
• RQ2 $ S_n $ 의 $ p $-랜덤 부분집합에서 가장 큰 $ t $-교차 가족이 높은 확률로 비어있도록 하는 임계 확률 $ p(n) $ 은 무엇입니까?
• RQ3 $ n $ 에 따라 $ t $-교차 $ k $-균일 초그래프의 수는 어떻게 증가하며, 언제 비어있는 가족들이 일반화됩니까?
• RQ4 현재 알려진 범위를 초월하여, 특히 $ k \approx n/2 $ 일 때, 희박한 에르되시–코–라즈 정리가 더 큰 $ k $ 에까지 확장될 수 있습니까?
• RQ5 현재 경계가 부족한 $ n \leq 3k $ 에서 $ k $-균일 초그래프에서의 교차 가족의 정확한 점근적 수는 무엇입니까?

주요 결과

• 고정된 $ t \geq 1 $ 에 대해, 충분히 큰 $ n $ 에서 $ S_n $ 의 거의 모든 $ t $-교차 가족은 비어있다. 이에 대한 총 수는 점근적으로 $ \left(\binom{n}{t}^2 t! + o(1)\right) 2^{(n-t)!} $ 와 같다.
• $ n2^{2n-2t+2}\log n \leq m \leq (n-t)! $ 범위의 $ m $ 에 대해, 거의 모든 $ m $ 개의 순열로 이루어진 $ t $-교차 가족은 비어있다.
• $ p \geq \frac{800n2^{2n-2t}\log n}{(n-t)!} $ 일 때, $ S_n $ 의 $ p $-랜덤 부분집합에서 가장 큰 $ t $-교차 가족들이 높은 확률로 비어있다.
• $ n \geq 3k + 8\ln k $ 일 때, 거의 모든 $ t $-교차 가족은 비어있으며, 이러한 가족의 수는 점근적으로 $ \left(\binom{n}{t} + o(1)\right) 2^{\binom{n-t}{k-t}} $ 와 같다.
• $ \mathcal{H}^k(n,p) $ 에서 $ 3 \leq k \leq n/4 $ 이고 $ p $ 가 특정 임계값을 초과할 경우, 가장 큰 교차 부분초그래프들이 높은 확률로 비어있다.
• $ \mathbb{F}_q $ 위의 벡터 공간에 대해, $ t $-교차 가족의 수는 점근적으로 $ \left({n \brack 1}_q + o(1)\right) 2^{{n-1 \brack k-1}_q} $ 와 같으며, $ n $ 이 크면 거의 모든 이러한 가족은 비어있다.