[논문 리뷰] Trees and $n$-Good Hypergraphs

Mark Budden, Andrew Penland|arXiv (Cornell University)|2017. 10. 16.

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

한 줄 요약

이 논문은 단순 그래프에서의 $n$-좋은 그래프 개념을 $r$-균일 초그래프로 확장하며, 특히 $3$-균일 트리와 사이클에 초점을 맞춘다. 램지 수의 하한을 설정하고, 무수히 많은 $3$-균일 트리가 $n$-좋다는 것을 증명하며, 이는 $n$이 홀수이거나 특정 짝수 경우에 해당된다. 반면 $C_4^{(3)}$와 같은 일부 사이클은 특정 $n$에 대해 $n$-좋지 않음을 보여준다. 주요 기여는 브라우어의 램지 하한을 초그래프로 일반화한 것으로, $3$-균일 트리에 대한 $n$-좋음의 특성화를 제공한다.

ABSTRACT

Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs and how one may extend the notion of $n$-good graphs to this setting. We prove numerous bounds for $r$-uniform hypergraph Ramsey numbers involving trees and complete hypergraphs and show that in the $3$-uniform case, all trees are $n$-good when $n$ is odd or $n$ falls into specified even cases.

연구 동기 및 목표

• 단순 그래프에서의 $n$-좋은 그래프 개념을 $r$-균일 초그래프로 일반화하기.
• 브라우어의 램지 하한을 $r$-균일 초그래프로 확장하고, 이를 바탕으로 $n$-좋은 초그래프를 정의하기.
• $r$-균일 트리가 $n$-좋은지, 특히 $3$-균일 경우에 대해 조사하기.
• $3$-균일 트리에 대해 램지 수 $R(T, K_n^{(3)};3)$가 가능한 최소값에 도달하는지에 대한 조건을 규명하기.

제안 방법

• 약한 색칠 수와 최소 색 클래스 크기를 사용하여 $n$-좋은 그래프의 정의를 $r$-균일 초그래프로 적응시킨다.
• 포함-배제 원리를 적용하여 $3$-균일 초그래프에 대한 램지 수 하한을 유도한다.
• $\mathbb{Z}/p\mathbb{Z}$ 위에서 유한체 구조를 이용해 $K_p^{(3)}$의 빨간색 $C_4^{(3)}$과 파란색 $K_n^{(3)}$을 피하는 빨간색-파란색 색칠을 구성한다.
• 버지 경로와 느슨한 사이클을 구조적 도구로 사용하여 $3$-균일 초그래프의 연결성과 램지 성질을 분석한다.
• 특히 $n$ 이외의 경우에 대해 $R(H, K_n^{(3)};3) \leq (m-1)(n/2 - 1) + 2$ 및 $n$ 홀수일 경우 $R(H, K_n^{(3)};3) \leq (m-1)((n+1)/2 - 1) + 1$이라는 조건을 $n$-좋음의 기준으로 증명한다.
• 군론적 방법을 적용하여 소수 모듈로 제곱근을 분석하여 극한 색칠을 구성한다.

실험 결과

연구 질문

• RQ1 $r$-균일 트리가 초그래프 램지 설정에서 $n$-좋은가, 특히 $r=3$일 경우에 대해?
• RQ2 $n$의 어떤 값에 대해 $3$-균일 트리가 $n$-좋은가, 특히 $n$이 홀수이거나 특정 짝수 경우에 대해?
• RQ3 $3$-균일 초그래프 $H$에 대해 램지 수 $R(H, K_n^{(3)};3)$가 그래프 경우와 유사한 공식으로 하한을 가질 수 있는가?
• RQ4 모든 $3$-균일 트리가 $n$-좋은가, 아니면 특정 $n$에 대해 반례가 존재하는가?
• RQ5 $C_4^{(3)}$와 같은 $3$-균일 사이클이 $n$-좋은 조건은 무엇인가?

주요 결과

• 무수히 많은 $3$-균일 트리가 $n$-좋다. 특히 $n$이 홀수거나 특정 짝수 경우에 해당된다.
• $n$ 홀수일 경우, $R(H, K_n^{(3)};3) \leq (m-1)((n+1)/2 - 1) + 1$은 $H$가 $n$-좋음임을 보장하는 충분조건이다.
• $n$ 짝수일 경우, $R(H, K_n^{(3)};3) \leq (m-1)(n/2 - 1) + 2$는 $H$가 $n$-좋음임을 보장하는 충분조건이다.
• $3$-균일 사이클 $C_4^{(3)}$는 $ less$ 5-좋지 않다. 이는 $ less$ 13에서의 구성으로 입증된다.
• $3j+1$이 소수인 짝수 $j$에 대해 $R(C_4^{(3)}, K_{2j+1}^{(3)};3) > 3j+1$임을 보여, $C_4^{(3)}$가 $(2j+1)$-좋지 않음을 의미한다.
• 논문은 $K_{3j+1}^{(3)}$에 대해 빨간색 $C_4^{(3)}$과 파란색 $K_{2j+1}^{(3)}$을 모두 피하는 빨간색-파란색 색칠을 구성하여, 램지 수의 엄밀한 부등식을 증명한다.