[논문 리뷰] Bipartite Ramsey numbers of large cycles

Shaoqiang Liu, Yuejian Peng|arXiv (Cornell University)|2018. 08. 30.

Limits and Structures in Graph Theory참고 문헌 18인용 수 3

한 줄 요약

이 논문은 다양한 색칠 조건 하에서 큰 짝수 사이클에 대한 이분 램지 수의 점근적 날개를 확립한다. $ r \geq 2 $ 일 때, 이분 램지 수 $ br(C_{2\lfloor \alpha_1 n \rfloor}, \dots, C_{2\lfloor \alpha_r n \rfloor}) $ 는 점근적으로 $ (\sum \alpha_i + o(1))n $ 이며, 다색 칠하기 조건에서 단색 사이클이 존재함을 보장하는 명시적 도수 조건을 제시한다. 이는 극단적 그래프 이론과 정규성 기반의 추론을 사용한다.

ABSTRACT

For an integer $r\geq 2$ and bipartite graphs $H_i$, where $1\leq i\leq r$, the bipartite Ramsey number $br(H_1,H_2,\ldots,H_r)$ is the minimum integer $N$ such that any $r$-edge coloring of the complete bipartite graph $K_{N,N}$ contains a monochromatic subgraph isomorphic to $H_i$ in color $i$ for some $i$, $1\leq i\leq r$. We show that for $α_1,α_2>0$, $br(C_{2\lfloor α_1 n floor},C_{2\lfloor α_2 n floor})=(α_1+α_2+o(1))n$. We also show that if $r\geq 3, α_1,α_2>0, α_{j+2}\geq [(j+2)!-1]\sum^{j+1}_{i=1} α_i$ for $j=1,2,\ldots,r-2$, then $br(C_{2\lfloor α_1 n floor},C_{2\lfloor α_2 n floor},\ldots,C_{2\lfloor α_r n floor})=(\sum^r_{j=1} α_j+o(1))n.$ For $ξ>0$ and sufficiently large $n$, let $G$ be a bipartite graph with bipartition $\{V_1,V_2\}$, $|V_1|=|V_2|=N$, where $N=(2+8ξ)n$. We prove that if $δ(G)>(\frac{7}{8}+9ξ)N$, then any $2$-edge coloring of $G$ contains a monochromatic copy of $C_{2n}$.

연구 동기 및 목표

• 다색 간선 칠하기 조건 하에서 여러 큰 짝수 사이클에 대한 이분 램지 수의 점근적 행동을 규명하는 것.
• n \to \infty 일 때 $ br(C_{2\lfloor \alpha_1 n \rfloor}, \dots, C_{2\lfloor \alpha_r n \rfloor}) $ 의 날개 있는 상한 및 하한을 명확히 하는 것.
• 2색 간선 칠하기 조건 하에서 단색 짝수 사이클이 존재하도록 보장하는 균형 잡힌 이분 그래프의 최소 최소도 임계값을 규명하는 것.
• 짝수 사이클에 대한 램지-투란 유사 문제에서 $ c = \frac{7}{8} $ 의 경계가 얼마나 날카로운지 조사하는 것.
• 구조적 및 정규성 기반의 추론을 통해 밀도가 높은 이분 그래프에서 단색 사이클 포함의 극한 임계값을 해결하는 것.

제안 방법

• 최소 도수와 높은 간선 밀도를 갖는 간선 칠하기 이분 그래프를 분석하기 위해 정규성 보조정리와 희박한 정규성 기법을 사용한다.
• 정점 집합을 구조화된 부분(예: $ C, S, T, U $)으로 분할하여 이웃 확장을 통제하기 위해 분해 기법을 적용한다.
• 선택된 정점 집합에 의해 유도되는 부분그래프에서 연결 매칭을 구성하여 큰 사이클을 통합한다.
• 사이클 포함을 보장하기 위해 $ \delta(G) > (\frac{7}{8} + 9\xi)N $ 와 같은 도수 조건을 사용한다.
• 하한을 보여주기 위해 극한 구성(예: $ \widetilde{H} $)을 사용하여 필요한 최소 도수 $ c $ 에 대해 $ c \geq \frac{3}{4} $ 임을 보여주며, 이는 $ c \geq \frac{3}{4} $ 가 필수적임을 시사한다.
• 다색 램지 임계값이 유지되도록 보장하기 위해 사이클 크기 $ \alpha_{j+2} \geq [(j+2)! - 1] \sum_{i=1}^{j+1} \alpha_i $ 에 대한 재귀 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 n \to \infty 일 때, 이분 램지 수 $ br(C_{2\lfloor \alpha_1 n \rfloor}, C_{2\lfloor \alpha_2 n \rfloor}) $ 의 점근적 값은 무엇인가요?
• RQ2 사이클 크기가 $ n $ 과 선형적으로 증가할 때, $ r \geq 3 $ 개의 큰 짝수 사이클에 대해 이분 램지 수는 어떻게 척도가 맞을까요?
• RQ3 모든 $ 2 $-간선 칠하기 이분 그래프 $ G $ 에 대해 $ \delta(G) \geq cN $ 를 만족할 때, 단색 $ C_{2n} $ 이 존재하도록 보장하는 최소 최소도 임계값 $ c $ 는 무엇인가요?
• RQ4 $ c = \frac{7}{8} $ 의 경계를 향상시킬 수 있을까요, 아니면 $ c = \frac{3}{4} $ 가 단색 사이클 포함의 진정한 임계값일까요?
• RQ5 간선 칠하기 및 도수 분포에 대한 어떤 구조적 조건이 이분 그래프에서 큰 단색 사이클이 나타나게 하는가요?

주요 결과

• $ \alpha_1, \alpha_2 > 0 $ 일 때, $ br(C_{2\lfloor \alpha_1 n \rfloor}, C_{2\lfloor \alpha_2 n \rfloor}) = (\alpha_1 + \alpha_2 + o(1))n $ 이며, 점근적 성장에 대해 날카로운 경계를 확립한다.
• $ r \geq 3 $ 일 때, 조건 $ \alpha_{j+2} \geq [(j+2)! - 1] \sum_{i=1}^{j+1} \alpha_i $ 가 만족되면, $ br(C_{2\lfloor \alpha_1 n \rfloor}, \dots, C_{2\lfloor \alpha_r n \rfloor}) = (\sum_{j=1}^r \alpha_j + o(1))n $ 이다.
• 만약 $ G $ 가 $ |V_1| = |V_2| = N = (2 + 8\xi)n $ 이고 $ \delta(G) > (\frac{7}{8} + 9\xi)N $ 인 균형 잡힌 이분 그래프이면, $ G $ 의 모든 2간선 칠하기는 단색 $ C_{2n} $ 을 포함한다.
• $ \delta(\widetilde{H}) = \frac{3}{4}N $ 이고 단색 $ C_{4n} $ 이 없는 예시 $ \widetilde{H} $ 는 $ c \geq \frac{3}{4} $ 가 필수적임을 보이며, $ c = \frac{7}{8} $ 의 경계가 이 임계값까지 날카롭게 유지됨을 보여준다.
• 예를 들어 $ G_B[H_1, H_2] $ 와 같은 구조화된 부분그래프에서의 연결 매칭을 사용하여 큰 사이클을 통합하며, 도수 조건이 연결성과 확장을 보장한다.
• 증명은 반복적으로 정규성 및 도수 분포 기반의 추론을 적용하여, 큰 단색 사이클을 지지할 수 있는 충분한 연결성을 갖는 부분그래프를 식별하는 데 의존한다.