[논문 리뷰] A note on Ramsey numbers for Berge-G hyper graphs

Maria Axenovich, András Gyárfás|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2018. 07. 26.

Limits and Structures in Graph Theory참고 문헌 11인용 수 9

한 줄 요약

이 논문은 삼차 초그래프의 램지 수에 대해 새로운 상한을 설정하며, 특히 삼각형($K_3$)과 $K_4$에 대해 고전적 그래프 램지 수와 연결시켜 분석한다. $R_3(\text{Berge-}K_3,k) \leq 3k/4 + o(k)$임을 증명하고, $R_3(\text{Berge-}K_3,2) = 5$와 같은 정확한 값을 제시하며, 홀수 $t \neq 3$에 대해 $R(\text{Berge-}K_3,2^t-1) = t+2$를 제공함으로써 소수의 경우에 대해 날카운 상한과 정확한 결과를 도출한다.

ABSTRACT

For a graph G=(V,E), a hypergraph H is called Berge-G if there is a bijection f from E(G) to E(H) such that for each e in E(G), e is a subset of f(e). The set of all Berge-G hypergraphs is denoted B(G). For integers k>1, r>1, and a graph G, let the Ramsey number R_r(B(G), k) be the smallest integer n such that no matter how the edges of a complete r-uniform n-vertex hypergraph are colored with k colors, there is a copy of a monochromatic Berge-G subhypergraph. Furthermore, let R(B(G),k) be the smallest integer n such that no matter how all subsets an n-element set are colored with k colors, there is a monochromatic copy of a Berge-G hypergraph. We give an upper bound for R_r(B(G),k) in terms of graph Ramsey numbers. In particular, we prove that when G becomes acyclic after removing some vertex, R_r(B(G),k)\le 4k|V(G)|+r-2, in contrast with classical multicolor Ramsey numbers. When G is a triangle or a K_4, we find sharper bounds and some exact results and determine some `small' Ramsey numbers: k/2 - o(k) < R_3(B(K_3)), k) < 3k/4+ o(k), For any odd integer t eq 3, R(B(K_3),2^t-1)=t+2, 2^{ck} < R_3(B(K_4),k) < e(1+o(1))(k-1)k!, R_3(B(K_3),2)=R_3(B(K_3),3)=5, R_3(B(K_3),4)=6, R_3(B(K_3),5)=7, R_3(B(K_3),6)=8, R_3(B(K_3,8)=9, R_3(B(K_4),2)=6.

연구 동기 및 목표

• 3-균형 초그래프에서 Berge-$K_3$ 및 Berge-$K_4$ 초그래프의 다색 램지 수에 대해 날카로운 상한과 하한을 설정하는 것.
• 소수의 $k$에 대해 램지 수의 정확한 값을 결정하는 것, 특히 $k=2$에서 $8$까지의 $R_3(\text{Berge-}K_3,k)$와 홀수 $t \neq 3$에 대해 $R(\text{Berge-}K_3,2^t-1)$를 포함한다.
• Berge-$G$ 초그래프의 $r$-균형 램지 수를 보조 그래프 가족의 다색 램지 수와 연결하는 것, 특히 정점 제거 및 간선 연장 구조를 통해.
• Berge 초그래프에 대한 알려진 투란 유형 결과를 삼각형 및 $K_4$와 같은 밀도가 높은 소수의 밀도 그래프에 대해 램지 이론적 맥락으로 확장하는 것.

제안 방법

• 각 $G$의 간선가 $H$의 하이퍼간선에 그 정점들을 포함하는 이중사상에 의해 커버되는 초그래프로 Berge-$G$ 초그래프를 정의한다.
• 두 가지 램지 함수를 도입한다: $r$-균형 초그래프에 대한 $R_r(\mathcal{B}(G),k)$와 $n$-집합의 모든 부분집합에 대한 $R(\mathcal{B}(G),k)$로, 둘 다 임의의 $k$-색 칠하기에서 단색 Berge-$G$ 초그래프를 포함하는 최소 $n$을 측정한다.
• 극한 그래프 이론의 경계를 사용한다: $R_r(\mathcal{B}(G),k)$를 투란 수 $\text{ex}_r(n,\mathcal{B}(G))$와 부등식 $\binom{n}{r} \leq k \cdot \text{ex}_r(n,\mathcal{B}(G))$를 통해 연결하여 상한을 도출한다.
• 보조 그래프 가족 $\mathcal{G}^*(v)$를 구성한다: $G - v$에 매달린 간선을 추가하여 초그래프에서의 잠재적 Berge-$G$ 구성 요소를 모델링한다.
• 3-균형 초그래프의 여집합 그래프에 대한 사례 분석을 통해 단색 Berge-$K_3$ 구성 요소를 배제한다. 정규성 및 간선 커버리지 논증을 사용한다.
• 귀납법과 극한 수세기 기법을 사용하여 $R_3(\mathcal{B}(K_3),k) \leq 3k/4 + o(k)$를 증명하고, 철저한 열거 및 모순 기반 기법으로 정확한 값을 확립한다.

실험 결과

연구 질문

• RQ1 소수의 $k$에 대해 $R_3(\mathcal{B}(K_3),k)$의 정확한 값은 무엇인가요? 예를 들어 $k=2,3,4,5,6,8$일 경우.
• RQ2 Berge-$G$ 초그래프의 $R_r(\mathcal{B}(G),k)$가 고전적 그래프 램지 수와 어떻게 비교되나요? 특히 $G$가 삼각형 또는 $K_4$일 경우.
• RQ3 특정 $k$에 대해, 예를 들어 홀수 $t \neq 3$에 대해 $k=2^t-1$일 경우 $R(\mathcal{B}(K_3),k)$는 정확히 얼마인가요?
• RQ4 $R_3(\mathcal{B}(K_4),k)$의 점근적 성장률은 무엇이며, 고전적 램지 수의 알려진 상한과 어떻게 비교되나요?
• RQ5 보조 그래프 확장 $\mathcal{G}^*(v)$를 통해 Berge-$G$ 초그래프의 구조를 어떻게 분석하여 램지 유형 상한을 도출할 수 있나요?

주요 결과

• $R_3(\mathcal{B}(K_3),k)$는 $k/2 - o(k) \leq R_3(\mathcal{B}(K_3),k) \leq 3k/4 + o(k)$를 만족하며, 고전적 램지 수보다 훨씬 느린 성장률을 보임을 보여준다.
• 정확한 값이 결정되었다: $R_3(\mathcal{B}(K_3),2) = R_3(\mathcal{B}(K_3),3) = 5$, $R_3(\mathcal{B}(K_3),4) = 6$, $R_3(\mathcal{B}(K_3),5) = 7$, $R_3(\mathcal{B}(K_3),6) = 8$, $R_3(\mathcal{B}(K_3),8) = 9$.
• 홀수 $t \neq 3$에 대해 $R(\mathcal{B}(K_3),2^t - 1) = t + 2$이며, 이는 비균일 램지 수의 한 클래스에 대해 정확한 공식을 제공한다.
• Berge-$K_4$의 3-균형 램지 수는 $2^{ck} \leq R_3(\mathcal{B}(K_4),k) \leq e(1+o(1))(k-1)k!$를 만족하며, 초지수적 성장률을 보임을 시사한다.
• 모든 홀수 $n \geq 3$에 대해 $f(n,\mathcal{B}(K_3)) = 2^{n-2}$이며, $n=5$를 제외한다. 이 경우 $f(5,\mathcal{B}(K_3)) = 2^{3} = 8$이며, 이는 쌍대 색칠 함수에 대해 날카로운 경계를 확인한다.
• 논문은 $R_3(\mathcal{B}(K_4),2) = 6$임을 증명하여, 3-균형 초그래프에서 Berge-$K_4$에 대한 첫 번째 정확한 값을 확립한다.