[논문 리뷰] The minimum number of disjoint pairs in set systems and related problems

Shagnik Das, Wenying Gan외 1명|arXiv (Cornell University)|2013. 05. 29.

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

한 줄 요약

이 논문은 k-균일 집합계에서 에르되시-코-라도의 최대 경계를 초월하는 경우, 최소한의 서로소 쌍의 수를 결정함으로써, 오랫동안 남아있던 극값 조합론의 문제를 해결한다. 사전순서와 분수 집합계를 이용하여, 저자들은 작은 집합계에 대해 볼로바스와 린더의 추측을 확인하고, t-교차 및 q-매칭 자유 집합계로 결과를 확장하며, 고전적인 극값 정리들을 정량적으로 강화하여, 극값 임계값을 초월하는 금지된 구성 요소에 대한 정확한 경계를 제시한다.

ABSTRACT

Let F be a set system on [n] with all sets having k elements and every pair of sets intersecting. The celebrated theorem of Erdos-Ko-Rado from 1961 says that any such system has size at most ${n-1 \choose k-1}$. A natural question, which was asked by Ahlswede in 1980, is how many disjoint pairs must appear in a set system of larger size. Except for the case k=2, solved by Ahlswede and Katona, this problem has remained open for the last three decades. In this paper, we determine the minimum number of disjoint pairs in small k-uniform families, thus confirming a conjecture of Bollobas and Leader in these cases. Moreover, we obtain similar results for two well-known extensions of the Erdos-Ko-Rado theorem, determining the minimum number of matchings of size q and the minimum number of t-disjoint pairs that appear in set systems larger than the corresponding extremal bounds. In the latter case, this provides a partial solution to a problem of Kleitman and West.

연구 동기 및 목표

• 에르되시-코-라도의 최대 경계를 초월하는 k-균일 집합계에서 서로소 쌍의 최소 수에 대한 아흐르스베이의 1980년 질문을 해결한다.
• 작은 집합계에 대해 k-집합의 사전순서의 초기 세그먼트가 서로소 쌍의 수를 최소화한다는 볼로바스-린더의 추측을 확인한다.
• 분석을 t-교차 집합계와 q-매칭 자유 가족으로 확장하여, 금지된 구성 요소에 대한 정량적 경계를 제공한다.
• 클라이트만과 웨스트가 제기한, 극값 경계를 초월하는 집합계에서의 t-서로소 쌍에 대한 문제에 부분적인 해결책을 제공한다.

제안 방법

• 사전순서를 사용하여 후보 극값 집합계를 구성하고, 초기 세그먼트가 서로소 쌍의 수를 최소화함을 증명한다.
• 분수 집합계 기법을 적용하여 이산 문제를 연속 최적화 프레임워크로 약화시킨다.
• 이중 세는 기법과 이항계수 항등식을 사용하여 후보 구성에서 t-교차 쌍의 수를 계산한다.
• 이항계수의 점근적 전개를 이용하여 사전순서 집합계와 별 기반 구성 간의 t-교차 쌍 수를 비교한다.
• 크네저 그래프의 스펙트럼적 및 구조적 성질을 활용하여 극값 구성에서 독립집합과 간선 수를 분석한다.
• 텔레스코핑 합과 포함-배제 원리를 사용한 세밀한 조합론적 분석을 통해 서로소 및 교차 쌍의 정확한 수를 계산한다.

실험 결과

연구 질문

• RQ1 크기 s > \binom{n-1}{k-1}인 k-균일 집합계에서 서로소 쌍의 최소 수는 얼마인가요?
• RQ2 작은 가족에서 k-원소 부분집합의 사전순서의 초기 세그먼트가 서로소 쌍의 수를 최소화하는 데 최적입니까?
• RQ3 극값 t-교차 경계를 초월하는 k-균일 가정에서 t-교차 쌍은 최소 몇 개인가요?
• RQ4 극값 q-매칭 자유 경계를 초월하는 k-균일 가정에서 q-매칭의 최소 수는 얼마입니까?
• RQ5 k ≥ 3일 때, 별과 사전순서를 초월한 극값 체계의 구조는 어떻게 특징지을 수 있나요?

주요 결과

• 크기 s > \binom{n-1}{k-1}인 작은 k-균일 가정에서 사전순서의 초기 세그먼트는 서로소 쌍의 수를 최소화하며, 이는 볼로바스-린더의 추측을 확인한다.
• 이러한 체계에서 서로소 쌍의 최소 수는 점근적으로 \frac{1}{2}\left(1 - \frac{k(k+2)}{n}\right)s^2 이하로 경계되며, 스펙트럼 방법을 통해 엄밀함이 입증된다.
• t-교차 집합계의 경우, 사전순서 구성에서의 t-교차 쌍 수는 별 기반 구성보다 점근적으로 \frac{1}{4}(r+1)r(r-1)(r-2)\binom{n-t}{k-t-1}^2 이상의 양의 양으로 초과한다. (r ≥ 3)
• r개의 완전한 t-별과 하나의 부분 (r+1)번째 별을 구성하는 것으로, 주어진 크기의 모든 체계 중에서 t-교차 쌍의 수가 최소가 된다.
• 논문은 클라이트만과 웨스트의 문제에 대해 부분적인 해결책을 제공하며, 극값 t-교차 경계를 초월하는 체계에서 t-서로소 쌍의 최소 수를 규명한다.
• 결과는 에르되시-코-라도 정리와 그 확장들을 정량적으로 강화하며, 극값 경계를 초월하면 예측 가능한 수의 금지된 구성 요소가 강제로 발생함을 보여준다.