정규 라미 그래프의 새로운 존재 증명

초록

이 논문은 모든 자연수 n에 대해, 삼각형이 없고 독립집합의 크기가 C·√(n log n) 이하인 정규 그래프가 존재한다는 것을 보인다. 기존의 비정규 라미 결과를 정규성 조건까지 확장한 것이 핵심이다.

상세 분석

본 논문은 라미 이론에서 가장 기본적인 문제인 R(3, t)≈Θ(t²/ log t) 를 정규 그래프에까지 일반화한다는 점에서 큰 의미를 가진다. 기존의 김(Kim)과 보만(Bohman)의 결과는 삼각형이 없고 독립집합이 작은 비정규 그래프의 존재만을 보였으며, 정규성은 전혀 다루어지지 않았다. 저자들은 “가젯‑like” 변환 기법을 도입해, 거의 정규에 가까운 그래프를 완전한 정규 그래프로 바꾸는 방법을 제시한다. 핵심은 두 단계로 이루어진다. 첫 번째 단계에서는 삼각형 자유 과정(K₃‑free process)으로부터 거의 정규에 가까운 그래프 G를 얻는다. 보만의 정밀 분석에 따르면, 이 그래프는 최대 차수와 최소 차수의 차이가 o(√n log n) 수준이며, 독립집합 크기는 C·√(n log n) 이하이다. 두 번째 단계에서는 색상 클래스를 균등하게 나누어 두 복사본을 만들고, 각 색상 클래스 사이에 갈루아‑리저(Gale‑Ryser) 정리를 이용해 적절한 이분 그래프를 삽입함으로써 모든 정점의 차수를 동일하게 만든다. 여기서 사용된 Corollary 2.2는 “d₁ ≤ min{2d_m, 8m/9}” 라는 조건을 만족하면 원하는 이분 그래프가 존재함을 보장한다. 이 과정에서 차수 차이를 4·9·⌈Δ(G)+1⌉ 이하로 제한함으로써 최종 그래프 G′가 (d+Δ(G))-regular 이 되도록 만든다. 또한, 홀수 n에 대해서는 5‑cycle를 적절히 블로우업하고 2‑팩터를 제거해 만든 작은 정규 삼각형 자유 그래프 H_{k,r} 를 기존의 짝수 정규 그래프와 합쳐 전체 정규성을 유지한다. 결과적으로, 모든 n에 대해 α(G) ≤ C·√(n log n) 인 정규 삼각형 자유 그래프가 존재함을 증명한다. 논문은 또한 R_reg(k, ℓ)와 일반 라미 수 R(k, ℓ) 사이의 관계에 대한 추측을 제시하며, 향후 k≥4 경우에 대한 연구 방향을 제시한다. 전체 증명은 그래프 이론의 고전적인 도구(갈루아‑리저 정리, Hajnal‑Szemerédi 정리)와 최신 확률적 방법(삼각형 자유 과정) 을 조화롭게 결합한 점이 돋보인다.