[논문 리뷰] Calculating Ramsey numbers by partitioning coloured graphs

Alexey Pokrovskiy|arXiv (Cornell University)|2013. 09. 16.

Limits and Structures in Graph Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 2색 간선 칠해진 완전 그래프에 대한 새로운 분할 정리(분할 정리)를 제안하며, 정점들이 k개의 서로소 빨간색 경로와 파란색 균형 잡힌 (k+1)-분할 완전 그래프로 덮일 수 있음을 증명한다. 이 결과를 바탕으로 저자들은 경로와 균형 잡힌 완전 k분할 그래프 사이의 정확한 레이지 리우 수, 그리고 경로와 경로의 k제곱 사이의 정확한 레이지 리우 수를 결정하며, 앨런, 브라이언트, 스토크란의 추측을 해결한다.

ABSTRACT

In this paper we prove a new result about partitioning coloured complete graphs and use it to determine certain Ramsey numbers exactly. The partitioning theorem we prove is that for k at least 1, in every edge colouring of a complete graph with the colours red and blue, it is possible to cover all the vertices with k disjoint red paths and a disjoint blue balanced complete (k+1)-partite graph. When the colouring is connected in red, we prove a stronger result - that it is possible to cover all the vertices with k red paths and a blue balanced complete (k+2)-partite graph. Using these results we determine the Ramsey number of a path on n vertices, versus a balanced complete k-partite graph, with m vertices in each part, whenever m-1 is divisible by n-1. This generalizes a result of Erdos who proved the m=1 case of this result. We also determine the Ramsey number of a path on n vertices versus the power of a path on n vertices. This solves a conjecture of Allen, Brightwell, and Skokan.

연구 동기 및 목표

• 2색 간선 칠해진 완전 그래프에 대한 새로운 구조적 분할 정리를 개발하여 레이지 리우 수의 정확한 계산을 가능하게 하기.
• 앨런, 브라이언트, 스토크란이 제기한 경로와 경로의 k제곱 사이의 레이지 리우 수에 대한 추측을 해결하기.
• 에르되시의 경로 레이지 리우 수 결과를 균형 잡힌 완전 다분할 그래프의 경우로 일반화하기.
• 단일 색상 경로 및 부분그래프 덮개 기법의 적용 범위를 더 복잡한 그래프 가족으로 확장하기.

제안 방법

• 임의의 $K_n$에서의 2색 간선 칠함에 대해, 정점들이 k개의 서로소 빨간색 경로와 파란색 균형 잡힌 (k+1)-분할 완전 그래프로 덮일 수 있음을 증명한다.
• 빨간색 그래프가 연결되어 있을 경우 더 강력한 결과를 확립: 정점들은 k개의 빨간색 경로와 파란색 균형 잡힌 (k+2)-분할 완전 그래프로 덮일 수 있다.
• 분할 정리들을 활용하여 극한 색칠을 구성함으로써 레이지 리우 수에 대한 날카운 상한 및 하한을 유도한다.
• 분할 정리들을 적용하여 $m \equiv 1 \pmod{n-1}$ 인 경우 $R(P_n, K_m^t)$의 정확한 레이지 리우 수를 계산하며, $R(P_n, K_m^t) = (t-1)(n-1) + t(m-1) + 1$ 을 도출한다.
• $R(P_n, P_n^t) = t(n-1) + \left\lfloor \frac{n}{t+1} \right\rfloor $ 임을 증명하여 앨런, 브라이언트, 스토크란의 추측을 확인한다.
• 경로와 완전 다분할 그래프의 구조적 성질을 활용하여, 극한 구성들을 통해 유도된 경계가 날카로움을 보여준다.

실험 결과

연구 질문

• RQ1 $m \equiv 1 \pmod{n-1}$ 인 경우 정확한 레이지 리우 수 $R(P_n, K_m^t)$ 는 무엇인가?
• RQ2 앨런, 브라이언트, 스토크란이 제기한 $R(P_n, P_n^t)$ 에 대한 추측은 구조적 분할 기법을 통해 증명될 수 있는가?
• RQ3 2색 간선 칠해진 완전 그래프에서 단일 색상 부분그래프의 구조는 경로 유사 그래프의 레이지 리우 수에 어떤 제약을 끼치는가?
• RQ4 경로와 완전 다분할 그래프를 포함하는 분할 정리들은 다른 그래프 가족으로 얼마나 일반화될 수 있는가?
• RQ5 $R(G,H) \geq (\chi(H)-1)(|G|-1) + \sigma(H)$ 이 모든 연결 그래프 $G$ 와 $|G| \geq \chi(H)|H|$ 를 만족하는 그래프 $H$ 에 대해 등호로 성립하는가?

주요 결과

• $m \equiv 1 \pmod{n-1} $ 인 경우 레이지 리우 수 $R(P_n, K_m^t)$ 는 정확히 $ (t-1)(n-1) + t(m-1) + 1 $ 이며, $m=1$ 인 경우 에르되시의 결과를 일반화한다.
• 레이지 리우 수 $R(P_n, P_n^t) = t(n-1) + \left\lfloor \frac{n}{t+1} \right\rfloor $ 이며, 앨런, 브라이언트, 스토크란의 추측을 확인한다.
• 새로운 분할 정리에 따르면, 임의의 2색 간선 칠해진 $K_n$ 에서 정점 집합은 $k$개의 서로소 빨간색 경로와 파란색 균형 잡힌 $(k+1)$-분할 완전 그래프로 덮일 수 있다.
• 빨간색 그래프가 연결되어 있을 경우, 정점 집합은 $k$개의 빨간색 경로와 파란색 균형 잡힌 $(k+2)$-분할 완전 그래프로 덮일 수 있으며, 이는 분할 결과를 강화한다.
• $R(P_n, K_m^t)$ 의 하한을 증명하기 위해 사용된 극한 구성은 분할 정리로부터 도출된 상한과 정확히 일치하며, 이는 경계의 날카로움을 증명한다.
• 결과들은 $G = P_n$ 과 $H = P_n^t$ 인 경우 $R(G,H) \geq (\chi(H)-1)(|G|-1) + \sigma(H)$ 가 등호로 성립함을 보여주며, 더 넓은 등호 조건에 대한 추측을 지지한다.