[논문 리뷰] Combinatorial theorems relative to a random set

David Conlon|arXiv (Cornell University)|2014. 04. 12.

Limits and Structures in Graph Theory참고 문헌 104인용 수 32

한 줄 요약

이 논문은 램지, 투란, 즈에메레디 유형의 고전적 조합정리에 대한 희박한 랜덤 및 가짜랜덤 버전에 대한 최근 발전을 조사한다. 이는 전이 원리, 다단계 노출, 초그래프 컨테이너 기법에 기반한 세 가지 별개의 방법을 제시하여 이러한 정리들이 랜덤 및 가짜랜덤 그래프에서 날카로운 임계점을 갖는다는 것을 보여주며, 핵심 결과로는 $\beta \leq cp^tn$인 가짜랜덤 그래프가 조밀한 그래프의 많은 최적성 성질을 물려받는다는 것을 보여준다.

ABSTRACT

We describe recent advances in the study of random analogues of combinatorial theorems.

연구 동기 및 목표

• 기본적인 조합정리에 대한 랜덤 및 가짜랜덤 버전에서의 최근 돌풍을 통합하고 조사하기 위해.
• 최적성 조합결과의 희박한 버전을 증명하기 위한 세 가지 별개의 일반적 방법을 식별하고 분석하기 위해.
• 특히 $(p,\beta)$-잡음 그래프인 가짜랜덤 그래프가 조밀한 그래프의 램지, 투란, 제거 보조정리 등의 성질을 어떤 조건에서 물려받는지 규명하기 위해.
• 특히 $\beta \leq cp^tn$이 핵심 결과에 충분함을 보여줌으로써 이해의 격차를 메우며, 즈에메레디 정리와 소수에서의 등차수열에 대한 함의를 포함한다.

제안 방법

• 그린과焘의 전이 원리를 도입하고, 가우어스와 저자의 수정을 통해 조밀한 설정에서의 결과를 희박한 설정으로 옮기는 데 사용한다.
• 뢰들 및 루치니의 영감을 받은 다단계 노출 기법을 사용하여 랜덤 그래프에서 램지 유형 정리의 임계점 결과를 증명한다.
• 바로크, 모리스, 사모티지 및 색슨과 토마슨이 개발한 초그래프 컨테이너 기법을 적용하여 초그래프 내 독립집합을 제어한다.
• $(p,\beta)$-잡음 그래프에서 $|e(X,Y) - p|X||Y|| \leq \beta\sqrt{|X||Y|}$ 조건을 통해 가짜랜덤성 조건을 적용하여 랜덤과 유사한 행동을 모델링한다.
• 이러한 방법들을 적용하여 가짜랜덤 그래프에서 삼각형 제거 보조정리, 램지 성질, 투란 유형 정리의 희박한 버전을 증명한다.
• 다른 가짜랜덤성 가정 하에 초그래프로 결과를 확장하여 즈에메레디 정리의 가짜랜덤 버전을 가능하게 한다.

실험 결과

연구 질문

• RQ1 희박한 랜덤 그래프에서 램지 유형, 투란 유형, 즈에메레디 유형 정리의 날카로운 임계점은 무엇인가?
• RQ2 제거 보조정리는 가짜랜덤 그래프의 부분그래프로 확장될 수 있으며, 어떤 가짜랜덤성 조건에서 성립하는가?
• RQ3 $(p,\beta)$-잡음 그래프에서 $K_t$-램지 또는 $K_t$-투란 성질을 만족시키기 위한 최소 가짜랜덤성 파라미터 $\beta$는 무엇인가?
• RQ4 전이, 다단계 노출, 컨테이너 기법이라는 세 가지 별개의 방법은 희박한 조합정리의 버전을 증명하는 데 어떻게 비교되는가?
• RQ5 상관관계 조건 없이 즈에메레디 정리의 가짜랜덤 버전을 증명할 수 있으며, 새로운 방법은 어떤 역할을 하는가?

주요 결과

• 모든 $t$와 $\epsilon > 0$에 대해 $\delta, c > 0$가 존재하여 $\beta \leq cp^tn$이면, $n$개 정점에서 구성된 $(p,\beta)$-잡음 그래프는 희박한 제거 보조정리를 만족한다: $K_t$의 복사본 수가 $\delta p^{\binom{t}{2}}n^t$ 이하인 임의의 부분그래프는 최대 $\epsilon pn^2$개의 간선을 제거함으로써 $K_t$-자유로 만들 수 있다.
• $\beta \leq cp^tn$ 조건은 가짜랜덤 그래프에서 $K_t$-램지 및 $K_t$-투란 성질에 대해 충분하며, 이 값은 $t=3$일 때 최적이다.
• 삼각형($t=3$)의 경우, $\beta \leq cp^3n$이면 제거 보조정리는 가짜랜덤 그래프에서 성립하지만, $\beta \leq cp^2n$으로 향상시킬 수 있을 것으로 보이며, 이는 알론의 예제에 의해 최적임을 보여준다.
• 포크, 조아, 그리고 저자의 방법은 가짜랜덤성 조건 하에서 초그래프로 확장되며, 즈에메레디 정리의 가짜랜덤 버전을 도출한다.
• 이 결과는 그린과焘의 원래 증명에서 소수에 무한히 긴 등차수열이 존재한다는 것을 보일 때 필요한 상관관계 조건을 제거한다.
• 세 가지 방법—전이, 다단계 노출, 컨테이너 기법—각각은 최적성 조합정리의 희박한 버전을 증명하기 위해 별개이면서 강력한 도구를 제공하며, 램지 이론, 투란 이론, 덧셈조합론 전반에 걸쳐 넓은 적용 가능성을 지닌다.