[논문 리뷰] Independent sets in hypergraphs

József Balogh, Robert Morris외 1명|arXiv (Cornell University)|2012. 04. 29.

Limits and Structures in Graph Theory참고 문헌 40인용 수 23

한 줄 요약

이 논문은 간선 분포가 유계인 균일 초그래프에서 독립 집합의 새로운 구조적 프레임워크를 제안하며, 모든 독립 집합이 소수의 희박한 '거의 독립적' 집합에 거의 포함되어 있음을 증명한다. 이 방법은 강력한 세는 결과를 도출하고, 슈메레디 정리와 에르되시-스톤 정리의 희박한 랜덤 버전을 포함한 극한 조합론의 핵심 정리들에 대해 새로운, 자가 포함적인 증명을 제공하며, 등차수열과 같은 금지된 구성요소를 피하는 집합의 수에 대해 명시적인 상한을 제공한다.

ABSTRACT

Many important theorems in combinatorics, such as Szemerédi's theorem on arithmetic progressions and the Erdős-Stone Theorem in extremal graph theory, can be phrased as statements about independent sets in uniform hypergraphs. In recent years, an important trend in the area has been to extend such classical results to the so-called sparse random setting. This line of research culminated recently in the breakthroughs of Conlon and Gowers and of Schacht, who developed general tools for solving problems of this type. In this paper, we provide a third, completely different approach to proving extremal and structural results in sparse random sets. We give a structural characterization of the independent sets in a large class of uniform hypergraphs by showing that every independent set is almost contained in one of a small number of relatively sparse sets. We then derive many interesting results as fairly straightforward consequences of this abstract theorem. In particular, we prove the well-known conjecture of Kohayakawa, Łuczak and Rödl, a probabilistic embedding lemma for sparse graphs. We also give alternative proofs of many of the results of Conlon and Gowers and Schacht, and obtain their natural counting versions, which in some cases are considerably stronger. We moreover prove a sparse version of the Erdős-Frankl-Rödl Theorem on the number of H-free graphs and extend a result of Rödl and Ruciński on Ramsey properties in sparse random graphs to the general, non-symmetric setting. We remark that similar results have been discovered independently by Saxton and Thomason, and that, in parallel to this work, Conlon, Gowers, Samotij and Schacht have proved a sparse analogue of the counting lemma for subgraphs of the random graph G(n,p), which may be viewed as a version of the KŁR conjecture that is stronger in some ways and weaker in others.

연구 동기 및 목표

• 균일한 초그래프에서 간선 분포가 유계인 경우 독립 집합의 일반적인 구조적 특성화를 개발하는 것.
• 조합론의 고전적인 극한 정리의 희박한 랜덤 버전에 대한 새로운, 자가 포함적인 접근법을 제공하는 것.
• 등차수열이나 H-free 그래프와 같은 금지된 구성요소를 피하는 집합의 가족에 대해 정밀한 세는 결과를 도출하는 것.
• 콘론과 고어스, 쇼크트의 결과에 대한 대체 증명을 제공하면서도 명시적인 세는 상한을 통해 이를 강화하는 것.
• 코하야카와-룰라크-뢰들 추측을 해결하고 KLR 추측을 비대칭 램지 설정으로 확장하는 것.

제안 방법

• 집단화 현상 도입: 초그래프에서의 독립 집합은 소수의 희박하고 '거의 독립적'인 정점 부분집합에 거의 포함되어 있다.
• 확률적 방법을 사용하여 고정된 그래프의 확장에서 특정 간선 밀도를 피하는 부분그래프의 수를 유계화하며, 정규성과 밀도 조건에 의존한다.
• 이항계수 유계와 지수 감소를 기반으로 한 세는 추론을 적용하여 주어진 가족에 속하는 그래프의 수를 추정하며, (15)와 (17)의 부등식을 사용한다.
• 독립 집합에서 소수의 희박한 집합으로의 사상 g를 정의하고, 각 집합에 대해 초집합을 할당하는 함수 f를 정의하여 포함관계를 유한한 오차 내에서 보장한다.
• (ε,p)-정규성 조건과 밀도 하한을 사용하여 이원 쌍에서 유효한 간선 선택 수를 제어하며, 특히 고정된 부분그래프 S가 존재할 경우에 주의를 기울인다.
• 세는 상한의 합성항이 작은 s에 대해 증가함을 이용하여 최대항을 통해 균일한 상한을 확보한다.

실험 결과

연구 질문

• RQ1 희박하고 균일하게 분포된 초그래프에서 독립 집합의 일반적인 구조적 특성화를 개발할 수 있는가?
• RQ2 그러한 특성화가 등차수열과 같은 금지된 구성요소를 피하는 경우에 대해 새로운 정량적 세는 결과를 도출할 수 있는가?
• RQ3 이 방법이 고전적인 극한 정리의 희박한 랜덤 버전에 대한 대체적이고 자가 포함적인 증명을 제공할 수 있는가?
• RQ4 이 접근법은 랜덤 그래프에서 비대칭 램지 성질로 확장될 수 있는가?
• RQ5 고정된 그래프 H의 확장 구조에서 H-free 그래프의 수를 명시적인 지수 감소와 함께 유계로 만들 수 있는가?

주요 결과

• 모든 β > 0 과 정수 k ≥ 3 에 대해, {1, ..., n}의 m원소 부분집합 중 k항 등차수열을 포함하지 않는 집합의 수는 m ≥ C n^{1−1/(k−1)} 를 만족하는 C(β와 k에 의존)에 대해 β^m * (n choose m) 이하이다.
• 논문은 희박한 랜덤 설정에서 H-free 그래프의 수에 대한 코하야카와-룰라크-뢰들 추측을 증명한다.
• 스즈메레디 정리의 희박한 랜덤 버전에 대해 명시적인 세는 상한을 포함한 새로운 자가 포함적인 증명을 제공한다.
• 이 방법은 H-free 그래프의 수에 대한 에르되시-프랭클-뢰들 정리의 희박한 형태를 도출하며, 금지된 부분그래프의 수에 대해 지수 감소를 보인다.
• 논문은 랜덤 그래프에서 램지 성질에 관한 루드-루치니 결과를 일반적인 비대칭 케이스로 확장하여 KLR 추측을 전반적으로 확인한다.
• 고정된 그래프 H의 완전한 확장에서의 부분그래프 수에 대한 세는 상한은 최대 β^m * (n^2 choose m)^{e(H)} 이며, 이러한 그래프의 수에 대해 지수 감소를 보여준다.