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

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

Limits and Structures in Graph Theory참고 문헌 47인용 수 56

한 줄 요약

이 논문은 삼각형이 없는 과정을 완전히 완료하여, 거의 확실하게 최종 무작위 그래프 $ G_{n,\triangle} $가 $ \left(\frac{1}{2\sqrt{2}} + o(1)\right) n^{3/2} \sqrt{\log n} $개의 간선을 가짐을 증명한다. 강력한 준무작위 성질을 확립하고 이를 바탕으로 $ R(3,k) \geq \left(\frac{1}{4} - o(1)\right) \frac{k^2}{\log k} $라는 새로운 하한을 유도하며, 김의 결과를 크게 향상시키고 셰이커의 상한에 매우 가까워진다.

ABSTRACT

The areas of Ramsey Theory and Random Graphs have been closely linked every since Erd\H{o}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) = \Theta (k^2 / log k).In this paper we improve the results of both Bohman and Kim, and follow the triangle-free process all the way to the end. In particular, we shall prove that e(G_{n, riangle}) = (1 / 2\sqrt{2} + o(1)) n^{3/2} \sqrt{log n}, with high probability as n o \infty. We also obtain several 'pseudo-random' properties of G_{n, riangle}, and use them to bound its independence number, which gives as an immediate corollary R(3,k) \ge (1/4 - o(1)) 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. Similar results have been proved independently by Bohman and Keevash.

연구 동기 및 목표

• 이전 연구에서 양의 분수만큼의 단계 후에 멈추는 대신, 삼각형이 없는 과정을 전체 기간 동안 연장하는 것.
• 과정에 의해 생성된 최종 그래프 $ G_{n,\triangle} $의 점근적 간선 수를 정확히 규명하는 것.
• $ G_{n,\triangle} $의 준무작위 성질을 확립하여 그 독립수를 유계화하는 것.
• 이전 결과보다 향상된 $ R(3,k) $에 대한 새로운 하한을 도출하는 것으로, 최고의 알려진 상한과의 격차를 좁히는 것.

제안 방법

• 삼각형을 만들지 않도록 간선을 추가하는 방식으로 삼각형이 없는 과정를 분석하고, 확률론적 및 미분방정식 방법을 적용하는 것.
• 이전의 보만(2009)의 작업을 확장하여, 그래프의 진화를 시간에 따라 추적하기 위해 미분방정식 방법을 적용하는 것.
• $ G_{n,\triangle} $가 간선 분포에서 준무작위성과 고유값 유계 등 강력한 준무작위 성질을 보임을 증명하는 것.
• 준무작위성을 이용하여 독립수 $ \alpha(G_{n,\triangle}) $를 유계화하는 것으로, 이는 직접적으로 Ramsey 수 $ R(3,k) $에 영향을 준다.
• 집중 불등식과 마틴게일 추론을 적용하여 핵심 그래프 매개변수의 거의 확실한 수렴을 보이는 것.
• 간선 수와 독립수 결과를 결합하여 $ R(3,k) $에 대한 새로운 하한을 도출하는 것.

실험 결과

연구 질문

• RQ1 삼각형이 없는 과정이 생성하는 최종 그래프에서의 점근적 간선 수는 무엇인가요?
• RQ2 최종 그래프 $ G_{n,\triangle} $는 이론적 Ramsey 경계에 활용할 수 있는 준무작위 성질을 보여주는가요?
• RQ3 $ G_{n,\triangle} $의 독립수를 엄밀하게 유계화할 수 있는가, 이를 통해 $ R(3,k) $에 대한 향상된 하한을 도출할 수 있는가요?
• RQ4 최종 간선 수와 독립수는 이전 결과, 특히 김과 셰이커의 결과와 비교해 어떻게 다른가요?

주요 결과

• 무작위 그래프 $ G_{n,\triangle} $의 간선 수는 $ n \to \infty $일 때 거의 확실하게 $ \left(\frac{1}{2\sqrt{2}} + o(1)\right) n^{3/2} \sqrt{\log n} $이다.
• 최종 그래프 $ G_{n,\triangle} $는 간선 분포에서 준무작위성과 스펙트럼 유계 등 강력한 준무작위 성질을 만족한다.
• 독립수 $ \alpha(G_{n,\triangle}) $는 $ R(3,k) \geq \left(\frac{1}{4} - o(1)\right) \frac{k^2}{\log k} $를 암시하는 방식으로 유계화된다.
• 이 새로운 하한은 김의 이전 결과를 상수 요소만큼 향상시키며, 셰이커의 상한에 비해 약 $ 4 + o(1) $ 요소 내에 있다.
• 이 결과는 삼각형이 없는 과정의 전체 기간 동안의 점근적 행동을 확인하여, Ramsey 이론에서 오랫동안 미해결이었던 문제를 해결한다.
• 보만과 킵샤의 별도 연구 결과와도 일치하여 유도된 유계의 견고성을 뒷받침한다.