[논문 리뷰] The triangle-free process and the Ramsey number $R(3,k)$

Gonzalo Fiz Pontiveros, Simon Griffiths외 1명|arXiv (Cornell University)|2013. 02. 25.

Limits and Structures in Graph Theory인용 수 34

한 줄 요약

이 논문은 삼각형을 피하는 무작위 그래프 과정인 삼각형 없음 과정을 분석하며, 이 과정이 점점 최적에 가까운 간선 수를 갖는 삼각형 없는 그래프를 생성함을 보여준다. 핵심 결과는 라모지 수 $ R(3,k) $ 에 대한 날카운 하한을 제시하는 것으로, $ R(3,k) \geq \left(\frac{1}{4}-o(1)\right)\frac{k^2}{\log k} $ 를 증명하며, 이는 알려진 최상위 상한에 비해 약 $ 4+o(1) $ 배 이내이다.

ABSTRACT

The areas of Ramsey theory and random graphs have been closely linked ever since Erdős' famous proof in 1947 that the 'diagonal' Ramsey numbers $R(k)$ grow exponentially in $k$. In the early 1990s, the triangle-free process was introduced as a model which might potentially provide good lower bounds for the 'off-diagonal' Ramsey numbers $R(3,k)$. In this model, edges of $K_n$ are introduced one-by-one at random and added to the graph if they do not create a triangle; the resulting final (random) graph is denoted $G_{n, riangle}$. In 2009, Bohman succeeded in following this process for a positive fraction of its duration, and thus obtained a second proof of Kim's celebrated result that $R(3,k) = Θ\big( k^2 / \log k \big)$. In this paper we improve the results of both Bohman and Kim, and follow the triangle-free process all the way to its asymptotic end. In particular, we shall prove that $$e\big( G_{n, riangle} \big) \,=\, \left( \frac{1}{2\sqrt{2}} + o(1) ight) n^{3/2} \sqrt{\log n },$$ with high probability as $n o \infty$. We also obtain several pseudorandom properties of $G_{n, riangle}$, and use them to bound its independence number, which gives as an immediate corollary $$R(3,k) \, \ge \, \left( \frac{1}{4} - o(1) ight) \frac{k^2}{\log k}.$$ This significantly improves Kim's lower bound, and is within a factor of $4 + o(1)$ of the best known upper bound, proved by Shearer over 25 years ago.

연구 동기 및 목표

• 삼각형 형성을 피하는 무작위 그래프 과정인 삼각형 없음 과정의 점근적 행동을 분석하기 위해.
• 무작위 그래프 과정이 $ n \to \infty $ 일 때 생성하는 그래프의 최종 간선 수를 결정하기 위해.
• 유사난수 성질을 가진 최종 그래프를 이용해 라모지 수 $ R(3,k) $ 에 대한 새로운 하한을 유도하기 위해.
• 김이 1995년에 확립한 $ R(3,k) $ 의 하한을 향상시켜, 셰이어의 상한에 비해 약 $ 4+o(1) $ 배 이내로 수렴시키기 위해.

제안 방법

• 삼각형 없음 과정은 시간에 따라 그래프의 변화를 따라가며, 삼각형을 만들지 않는 한 간선을 균일하게 무작위로 추가한다.
• 저자들은 핵심 그래프 매개변수(예: 간선 수, 차수 등)의 변화를 추적하기 위해 미분방정식 방법을 사용한다.
• 과정의 끝까지 행동을 제어하기 위해 고확률 사건들의 시퀀스인 $ \mathcal{E}(m^*), \mathcal{Y}(m^*), \mathcal{Z}(m^*), \mathcal{Q}(m^*) $ 를 정의하고 분석한다.
• 최종 그래프 $ G_{n,\triangle} $ 의 유사난수 성질은 농도 부등식과 마팅게일 추론을 통해 확립된다.
• 독립수의 하한은 이벤트 분해와 尾 확률 추정을 통해 최대 독립집합의 크기를 분석함으로써 도출된다.
• 증명은 희귀한 구성(예: 고차수 정점 또는 큰 독립집합)이 발생할 가능성을 통제하는 일련의 보조정리에 의존한다.

실험 결과

연구 질문

• RQ1 $ n \to \infty $ 일 때 삼각형 없음 과정이 생성하는 그래프의 점근적 간선 수는 무엇인가?
• RQ2 삼각형 없음 과정이 생성하는 최종 그래프 $ G_{n,\triangle} $ 의 유사난수 성질은 무엇인가?
• RQ3 $ G_{n,\triangle} $ 의 독립수를 어떻게 유 bounds 할 수 있으며, 이를 통해 $ R(3,k) $ 에 대한 개선된 하한을 어떻게 도출할 수 있는가?
• RQ4 삼각형 없음 과정을 그 길이의 일부분이 아닌 전체 점근적 기간 동안 추적할 수 있는가, 이를 통해 더 날카운 하한을 얻을 수 있는가?

주요 결과

• $ G_{n,\triangle} $ 의 간선 수는 고확률로 점점 $ \left(\frac{1}{2\sqrt{2}}+o(1)\right)n^{3/2}\sqrt{\log n} $ 가 된다.
• $ G_{n,\triangle} $ 의 독립수는 임의의 $ \gamma > 0 $ 에 대해 고확률로 $ \left(\sqrt{2}+\gamma\right)\sqrt{n\log n} $ 이하가 된다.
• 라모지 수 $ R(3,k) $ 는 $ R(3,k) \geq \left(\frac{1}{4}-o(1)\right)\frac{k^2}{\log k} $ 를 만족하며, 김의 이전 하한보다 크게 향상된다.
• 이 하한은 셰이어의 상한에 비해 약 $ 4+o(1) $ 배 이내이므로, 상한과 하한 사이의 간격이 상수 배 이내로 좁혀진다.
• 삼각형 없음 과정이 강력한 유사난수 성질을 갖는 그래프를 생성함을 입증하며, 이는 극한 그래프 이론에서의 활용 가능성을 뒷받침한다.
• 분석을 통해 과정이 전체 점근적 기간 동안 추적될 수 있음을 확인하였으며, 이는 보만의 이전 연구가 길이의 일부분만 추적한 것과 대비된다.