[논문 리뷰] Stability versions of Erd\H{o}s-Ko-Rado type theorems, via isoperimetry

David Ellis, Nathan Keller외 1명|arXiv (Cornell University)|2016. 04. 07.

Limits and Structures in Graph Theory참고 문헌 57인용 수 17

한 줄 요약

이 논문은 에르되시-코-라드(Erd\'os-Ko-Rado) 유형 정리의 날카운 안정성 결과를 유도하기 위해 새로운 등주적 접근법을 개발한다. 이는 크기가 최대화된 교차하는 가족에 가까운 집합 가족이 반드시 표준적인 최대가족(예: 독재자 가족 또는 t-엄비라트)과 같은 구조적 유사성을 가져야 한다는 것을 보여준다. 이 방법은 초입방에서의 편향된 간선-등주 부등식을 활용하여 정확한 EKR 결과를 재증명하지 않고도 강력한 안정성 경계로 개선한다.

ABSTRACT

Erd\\H{o}s-Ko-Rado (EKR) type theorems yield upper bounds on the sizes of families of sets, subject to various intersection requirements on the sets in the family. Stability versions of such theorems assert that if the size of a family is close to the maximum possible size, then the family itself must be close (in some appropriate sense) to a maximum-sized family. In this paper, we present an approach to obtaining stability versions of EKR-type theorems, via isoperimetric inequalities for subsets of the hypercube. Our approach is rather general, and allows the leveraging of a wide variety of exact EKR-type results into strong stability versions of these results, without going into the proofs of the original results. We use this approach to obtain tight stability versions of the EKR theorem itself and of the Ahlswede-Khachatrian theorem on $t$-intersecting families of $k$-element subsets of $\\{1,2,\\ldots.n\\}$ (for $k < \\frac{n}{t+1}$), and to show that, somewhat surprisingly, all these results hold when the intersection requirement is replaced by a much weaker requirement. Other examples include stability versions of Frankl's recent result on the Erd\\H{o}s matching conjecture, the Ellis-Filmus-Friedgut proof of the Simonovits-S\\'{o}s conjecture, and various EKR-type results on $r$-wise (cross)-$t$-intersecting families.

연구 동기 및 목표

• 등주 부등식을 활용하여 EKR 유형 정리의 강력한 안정성 결과를 유도하는 일반적인 방법을 개발하는 것.
• EKR 유형 정리에서 허용되는 최대 크기에 가까운 크기를 가진 집합 가족이 반드시 독재자 가족 또는 t-엄비라트와 같은 표준적인 최대가족과 유사한 구조를 가져야 한다는 것을 보여주는 것.
• 기본적인 교차 조건을 초월하여 더 약한 교차 요구 조건이나 최대 크기에서 매우 가까운 측도를 가진 가족에 대해서도 안정성 결과를 확장하는 것.
• 윌슨 정리, 아흐스베이드-카하트리안 정리, 에르되시 매칭 추측과 같은 핵심 결과에 대해 날카운 안정성 경계를 제공하는 것.
• 더 복잡한 최대가족(예: 전체 아흐스베이드-카하트리안 정리에 해당하는 것들)에 대해 날카운 안정성 결과를 도출할 수 있는 경로를 제안하고 추측하는 것.

제안 방법

• 이 방법은 초입방에서의 편향된 간선-등주 부등식을 활용하여 교차 제약 조건 하에서 집합 가족의 구조를 분석한다.
• 약한 안정성 경계를 강력한 것으로 개선하기 위해 반복적으로 최대가족에 대한 근사치를 정교화하는 부트스트랩 논증을 사용한다.
• EKR 유형 문제의 최대가족이 종종 편향된 간선-등주 부등식에서 등호를 만족하는 집합과 대응된다는 사실을 활용한다.
• 이중 안정성 정리(dual stability theorem)를 도입하고, 에르되시 매칭 추측과 같은 문제에 적용하여 제품 측도 공간에서 측도론적 안정성을 활용한다.
• 이 프레임워크는 정확한 EKR 유형 정리에서 유도된 안정성 결과를 재증명하지 않고도 안정성 결과로 전환할 수 있도록 한다.
• 이 방법은 다양한 설정에 적용 가능하다: t-교차 가족, 삼각형-교차하는 그래프 가족, 에르되시 매칭 조건을 만족하는 가족 등.

실험 결과

연구 질문

• RQ1 초입방에서의 등주 부등식을 사용하여 원래 정확한 결과를 재증명하지 않고도 EKR 유형 정리의 강력한 안정성 결과를 도출할 수 있는가?
• RQ2 어느 정도 크기로 최대값에 가까워야 하면, 독재자나 t-엄비라트와 같은 표준 최대가족과의 구조적 유사성을 보장할 수 있는가?
• RQ3 교차 조건이 약화된 경우, 예를 들어 일부 작은 교차를 피하기만 하면 되는 경우에도 이 방법을 확장할 수 있는가?
• RQ4 에르되시 매칭 추측의 날카운 안정성 임계값은 무엇이며, 이 등주적 프레임워크로 이를 포괄할 수 있는가?
• RQ5 간단한 t-엄비라트가 아닌 최대가족(예: 전체 아흐스베이드-카하트리안 정리에 해당하는 것들)을 다룰 수 있도록 이 방법을 변형할 수 있는가?

주요 결과

• 논문은 n ≥ (t+1)(k−t+1) 조건 하에서 t-교차 가족에 대해 윌슨 정리의 날카운 안정성 결과를 확립하여, 최대 크기에 가까운 크기를 가진 가족이 반드시 t-엄비라트에 가까워야 한다고 보여준다.
• 시몬وفي츠-소스 추측에 대해 강력한 안정성 결과를 증명하여, 측도가 최대에 가까운 가족은 편향된 측도에서 독재자에 가까워야 한다고 보여준다.
• k-균일 초그래프의 삼각형-교차 가족에 대해 날카운 안정성 결과를 도출하여 이전의 경계를 향상시켰다.
• 에르되시 매칭 추측에 대해서는 매칭 수가 s일 조건 하에서 날카운 안정성 결과를 제공하여, 최대 크기에 가까운 가족이 반드시 표준 최대가족에 가까워야 한다고 보여준다.
• 저자들은 안정성 경계가 날카로우며, 고정된 크기 t의 집합을 가진 가족과 소규모 변형을 가진 가족 등 명시적인 최대가족이 경계를 달성할 수 있다고 추측한다.
• 이 방법은 일반적이며, 최대가족이 편향된 간선-등주 부등식에서 등호를 만족하는 한, 어떤 정확한 EKR 유형 정리로부터도 강력한 안정성 결과를 도출할 수 있다.