[논문 리뷰] Structure and properties of large intersecting families

Andrey Kupavskii|arXiv (Cornell University)|2018. 10. 01.

Limits and Structures in Graph Theory참고 문헌 27인용 수 6

한 줄 요약

이 논문은 $k$-집합의 큰 교차하는 가족에 대한 확실한 안정성 결과를 확보하여, 다양성(별개의 별가운데의 거리)과 가족 크기 사이의 정확한 트레이드오프를 정량화한다. 크루스칼–카토나 정리와 정교화된 이분 그래프 스위칭 기법과 같은 고급 기법을 사용하여, $n > Ck$ 일 때, 커버링 수가 적어도 3인 가장 큰 교차하는 가족은 $ olimits\mathcal{C}_3(n,k)$ 와 동형임을 증명한다. 이는 극한 집합론에서 오랫동안 남아있던 문제를 해결하며, 프랭클의 정리가 유한한 다양성과 교차하는 가족으로 확장됨을 보여준다.

ABSTRACT

We say that a family of $k$-subsets of an $n$-element set is intersecting if any two of its sets intersect. In this paper we study properties and structure of large intersecting families. We prove a conclusive version of Frankl's theorem on intersecting families with bounded maximal degree. This theorem, along with its generalizations to cross-intersecting families, strengthens the results obtained by Frankl, Frankl and Tokushige, Kupavskii and Zakharov and others. We study the structure of large intersecting families, obtaining some very general structural theorems which extend the results of Han and Kohayakawa, as well as Kostochka and Mubayi. We also obtain an extension of some classic problems on intersecting families introduced in the 70s. We extend an old result of Frankl, in which he determined the size and structure of the largest intersecting family of $k$-sets with covering number $3$ for $n>n_0(k)$. We obtain the same result for $n>Ck$, where $C$ is an absolute constant. Finally, we obtain a similar extension for the following problem of Erd\H os, Rothschild and Szémeredi: what is the largest intersecting family, in which no element is contained in more than a $c$-proportion of the sets, for different values of $c$.

연구 동기 및 목표

• 절대 상수 $C$ 에 대해 $n > Ck$ 일 때, 커버링 수가 적어도 3인 $k$-집합의 교차하는 가족의 정확한 최대 크기를 결정하는 것.
• 최대 차수의 유계성을 고려한 프랭클의 정리의 확실한 판정을 확립하여, 프랭클, 프랭클–토쿠시게, 쿠파스키–자카르프의 결과를 확장하는 것.
• 클래식한 에르되시–코–라도와 힐턴–밀너 정리의 범위를 넘어서 큰 교차하는 가족의 구조적 결과를 일반화하여, 가중치가 부여된 경우와 교차하는 가족의 변형을 포함하는 것.
• 다양한 $c$ 값에 대해, 어떤 원소도 집합의 $c$ 비율을 초과하여 나타나지 않는 가족에 대한 에르되시–로스차일드–스체메리디 문제를 동일한 $n > Ck$ 조건 하에서 해결하는 것.

제안 방법

• 그 sombraw의 구조를 분석하고 교차하는 가족에 대한 극한 경계를 유도하기 위해 크루스칼–카토나 정리를 적용하는 것.
• 이전 연구에서 도입되었고 여기서 확장된 이분 그래프 스위칭 기법을 사용하여 가족을 변형하고 크기를 증가시키면서도 교차 성질을 유지하는 것.
• 별개의 별가운데의 거리에서의 이격도를 측정하는 핵심 매개변수로 다양성 $\gamma(\mathcal{F}) = |\mathcal{F}| - \Delta(\mathcal{F})$ 를 도입하고 분석하는 것.
• 준타 근사 방법을 사용하여, 극한 가족이 특정 구성 $ olimits\mathcal{D}_{3/7}$ 과 동형이어야 한다는 것을 보이고, 이 가족이 최적임을 증명하는 것.
• 임의의 가족 $\mathcal{F}$ 가 $\gamma(\mathcal{F}) \leq \binom{n-5}{k-4}$ 이고 $\tau(\mathcal{F}) \geq 3$ 를 만족할 경우, $|\mathcal{F}| \leq |\mathcal{C}_3(n,k)|$ 를 만족하며, 등호는 $\mathcal{F}$ 가 $\mathcal{C}_3(n,k)$ 와 동형일 때에만 성립한다는 것을 증명하는 것.
• 사례 분석과 구조적 추론을 사용하여, 최적 가족 $\mathcal{C}_3(n,k)$ 에서의 모든 이탈은 스위칭을 통해 수정될 수 있으며, 이는 최적 상태가 아닐 경우 크기를 엄밀히 증가시킴을 보여주는 것.

실험 결과

연구 질문

• RQ1 어떤 $n > Ck$ 일 때, 커버링 수가 적어도 3인 $k$-집합의 교차하는 가족의 최대 크기는 얼마인가요?
• RQ2 교차하는 가족의 크기는 정확히 다양성 $\gamma(\mathcal{F})$ 에 따라 어떻게 달라지나요?
• RQ3 힐턴–밀너와 프랭클 유형의 정리들은 등호 경우와 가중치가 부여된 변형을 포함하도록 강화될 수 있는가요?
• RQ4 다양한 $c$ 값에 대해, 어떤 원소도 집합의 $c$ 비율을 초과하여 나타나지 않는 가장 큰 교차하는 가족은 무엇인가요?
• RQ5 $k$-집합의 교차하는 가족에 대해, $\gamma(\mathcal{F})$ 의 최대 가능성은 얼마인가요?

주요 결과

• 모든 $n > Ck$ 에 대해, 커버링 수가 적어도 3인 가장 큰 교차하는 가족은 $\mathcal{C}_3(n,k)$ 와 동형이며, 크기는 $\binom{n-1}{k-1} + \binom{n-4}{n-k-1} - \binom{n-4}{k-1}$ 이다.
• 모든 극한 교차하는 가족 $\mathcal{F}$ 에 대해 $\tau(\mathcal{F}) \geq 3$ 이면 다양성 $\gamma(\mathcal{F})$ 는 $\binom{n-5}{k-4}$ 이하로 제한되며, 크기의 등호는 $\mathcal{F}$ 가 $\mathcal{C}_3(n,k)$ 와 동형일 때에만 성립한다.
• 논문은 프랭클의 정리의 확실한 판정을 증명하여, $n > 2k \geq 8$ 이고 $u \geq 4$ 일 때 $\gamma(\mathcal{F}) > \binom{n-u-1}{n-k-1}$ 이면, $|\mathcal{F}|$ 는 프랭클의 원래 경계보다 엄밀히 작은 표현식으로 제한됨을 보여준다.
• 이 결과는 가중치가 부여된 가족과 교차하는 가족으로 확장되며, 프랭클, 프랭클–토쿠시게, 쿠파스키–자카르프의 이전 결과를 강화한다.
• 논문은 $n > Ck$ 조건 하에서 에르되시–로스차일드–스체메리디 문제를 해결하여, 원소의 차수 제약 조건이 있는 가장 큰 가족이 $\mathcal{C}_3(n,k)$ 와 동형임을 보여준다.
• 또한 $n > Ck$ 일 때 $\gamma(\mathcal{F}) \leq \binom{n-3}{k-2}$ 이며, 이 경계는 날카롭게 유지되며, 이는 $n \geq 5k$ 에서도 성립할 것이라는 추측을 뒷받침한다.