[논문 리뷰] Two problems of P. Erdős on matchings in set families.

Péter Frankl, Andrey Kupavskii|arXiv (Cornell University)|2016. 07. 20.

Limits and Structures in Graph Theory인용 수 3

한 줄 요약

이 논문은 $ s $ 개의 집합 가족이 $[n]$ 위에서 $ q $-의존적일 때의 최대 크기 합을 결정하여, 극적 조합론에서 오랫동안 남아 있던 문제를 해결한다. 이는 클라이트만의 정리의 일반화이자, 에르되시 매칭 추측에 대한 힐턴-밀너 유형의 안정성 결과를 넓은 범위에서 확립함으로써, $ n \geq sk + (s-1)(k-1) $ 이고 $ k \geq 3 $ 인 경우에 정확한 반-람지 수 $ ar(n,k,s) $ 를 도출한다.

ABSTRACT

The families $\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$ are called extit{$q$-dependent} if there are no pairwise disjoint $F_i\in \mathcal F_i, i=1,\ldots, s,$ satisfying $|F_1\cup\ldots\cup F_s|\le q.$ We determine $\max |\mathcal F_1|+\ldots +|\mathcal F_s| $ for extit{all} values $n\ge q,s\ge 2$. The result provides a far-reaching generalization of an important classical result of Kleitman. The uniform case $\mathcal F_1 = \ldots = \mathcal F_s\subset {[n]\choose k}$ of this problem is the so-called Erd\H os Matching Conjecture. After more than 50 years its full solution is still not in sight. In the present paper we provide a Hilton-Milner-type stability theorem for it in a relatively wide range, in particular, for $n\ge (2+o(1))sk$ with $o(1)$ depending on $s$. This is a considerable improvement of a result due to Bollob\'as, Daykin and Erd\H os. We apply our results to advance in an anti-Ramsey-type problem, proposed by \Ozkahya and Young. They asked for the minimum number $ar(n,k,s)$ of colors in the coloring of the $k$-element subsets of $[n]$ that do not contain a extit{rainbow matching} of size $s$, that is, $s$ sets of different colors that are pairwise disjoint. We prove a stability result for the problem, which allows to determine $ar(n,k,s)$ for all $k\ge 3$ and $n\ge sk+(s-1)(k-1).$ Some other consequences of our results are presented as well.

연구 동기 및 목표

• 모든 $ n \geq q, s \geq 2 $ 에 대해 $[n]$ 위에서 $ q $-의존적인 $ s $ 개의 집합 가족의 크기 합의 최대값을 결정하는 것.
• 에르되시 매칭 추측의 균일한 경우에 대해 $ n \geq (2+o(1))sk $ 범위에서 힐턴-밀너 유형의 안정성 결과를 제공하여 이전의 한계를 향상시키는 것.
• 에르되시 매칭 추측과 유사한 반-람지 유형 문제를 해결하기 위해, 크기 $ s $ 의 랜덤 매칭이 없는 것을 방지하기 위해 필요한 최소 색상 수 $ ar(n,k,s) $ 를 결정하는 것.
• 구조적 제약 조건이 있는 극적 집합 체계에 대해 안정성 방법의 적용 범위를 확장하는 것.

제안 방법

• $ s $ 개의 쌍으로서 서로소인 집합들이 존재하지 않으며, 그들의 합집합 크기가 최대 $ q $ 인 가족을 특성화하기 위해 $ q $-의존성의 개념을 도입하는 것.
• 기존 클라이트만의 고전 결과를 일반화하기 위해, $ q $-의존성 하에서의 극적 가족을 분석하기 위한 새로운 안정성 프레임워크를 사용하는 것.
• 모든 가족이 $ { [n] \choose k } $ 의 부분집합인 균일한 경우에 안정성 결과를 적용하여, 에르되시 매칭 추측에 대해 거의 최적의 한계를 증명하는 것.
• $ q $-의존성과 반-람지 문제 사이의 연결 고리를 설정하기 위해, 랜덤 매칭이 없는 것과 색상 클래스의 구조적 제약 조건을 연결하는 것.
• 이중 세기와 극적 집합론적 부등식을 활용하여 $ q $-의존성 하에서의 최대 가족 크기에 대한 날카운 한계를 도출하는 것.
• 안정성 결과를 활용하여 $ n \geq sk + (s-1)(k-1) $ 이고 $ k \geq 3 $ 인 경우에 $ ar(n,k,s) $ 의 정확한 값을 결정하는 것.

실험 결과

연구 질문

• RQ1 모든 $ n \geq q $ 이고 $ s \geq 2 $ 인 경우에 대해, $[n]$ 위에서 $ q $-의존적인 $ s $ 개의 집합 가족의 크기 합의 최대값은 무엇인가요?
• RQ2 에르되시 매칭 추측에 대해 넓은 매개변수 범위에서 힐턴-밀너 유형의 안정성 정리를 어떻게 확립할 수 있을까요?
• RQ3 에르되시 매칭 추측과 유사한 반-람지 유형 문제에서, $ k $-원소 부분집합을 색칠할 때 크기 $ s $ 의 랜덤 매칭이 없는 데 필요한 최소 색상 수 $ ar(n,k,s) $ 는 무엇인가요?
• RQ4 $ q $-의존적인 가족에 대한 안정성 프레임워크를 사용하여 반-람지 유형 문제를 해결할 수 있을까요?
• RQ5 작은 합집합을 가진 서로소 집합들의 시스템이 존재하지 않도록 하기 위해 집합 가족에 어떤 구조적 제약 조건이 필요한가요?

주요 결과

• $ q $-의존적인 가족에 대해 모든 $ n \geq q $, $ s \geq 2 $ 에 대해 최대 합 $ \sum_{i=1}^s |\mathcal{F}_i| $ 가 정확히 결정되었으며, 클라이트만의 정리의 일반화이다.
• $ n \geq (2+o(1))sk $ 범위에서 에르되시 매칭 추측에 대해 힐턴-밀너 유형의 안정성 결과가 확립되었으며, 볼로바스, 데이킨, 에르되시의 이전 결과보다 크게 향상되었다.
• $ k \geq 3 $ 이고 $ n \geq sk + (s-1)(k-1) $ 인 모든 경우에 대해 반-람지 수 $ ar(n,k,s) $ 가 정확히 결정되었으며, 올카야와 영의 문제를 해결하였다.
• 안정성 프레임워크는 $ q $-의존성 하에서의 극적 구성의 정확한 결정을 가능하게 하였으며, 거의 최적의 가족들에서의 구조적 강성( rigidity )을 드러내었다.
• 결과들은 $ q $-의존성 조건을 통해 에르되시 매칭 추측과 반-람지 문제를 통합적인 접근법으로 다룰 수 있도록 하였다.
• 작은 서로소 집합들의 합집합을 피하는 가족의 크기에 대해 날카운 한계를 제공하였으며, 이는 랜덤 매칭 회피에 응용된다.