삼각형 없는 그래프의 새로운 무작위 구성으로 R(3,k) 하한 절반 달성

초록

저자들은 두 개의 독립적인 무작위 그래프를 블로우‑업하고 겹쳐 삼각형을 효율적으로 제거하는 새로운 구성법을 제시한다. 이를 통해 R(3,k) ≥ (½ + o(1)) k²/log k 를 증명하고, 평균 차수와 독립집합 크기가 랜덤 그래프와 동일한 삼각형‑없는 그래프를 존재시킨다.

상세 분석

본 논문은 기존의 삼각형‑제거 과정( triangle‑free process )보다 높은 에지 밀도를 유지하면서도 의사무작위성을 보존하는 새로운 무작위 구성을 제안한다. 핵심 아이디어는 두 개의 독립적인 G(m,p) 그래프, 즉 빨간 그래프 G_R와 파란 그래프 G_B를 각각 m=n·s (여기서 s=log₂ n)개의 정점에 샘플링하고, 원본 정점 집합 V(G)와 V_R×V_B 사이의 전단사 π를 무작위로 선택해 각 정점을 (π_R(v),π_B(v))에 매핑한다. 이후 π_R와 π_B가 정의하는 두 투영을 통해 각각 빨간·파란 에지를 부여하고, 삼각형이 발생하면 사전 정의된 순서에 따라 최소 하나의 에지를 삭제한다. 이때 삭제되는 에지는 각 삼각형마다 최소 s개의 2‑길 경로에 포함되므로, 전체 삭제 비용이 전체 에지 수에 비해 O(1/s) 수준으로 감소한다. 파라미터 선택(p=β·log n/n, β≈½, κ=1+ε)과 정밀한 확률적 분석을 통해, 최종 그래프 G는 평균 차수가 (2+o(1))p·n이며, 독립집합 크기가 (1+ε)·√(n·log n) 이하임을 보인다. 중요한 보조 정리로는 (i) 정점 별 파이버 크기와 이웃 집합의 고전적 Chernoff 집중, (ii) 서로 다른 파이버 간 교차도는 로그 차수 이하로 제한, (iii) 삼각형 삭제 단계에서 각 에지가 최소 s개의 삼각형을 파괴한다는 점을 이용한 삼각형 수 상한이 있다. 이러한 결과를 종합하면, 삼각형이 없는 그래프 G의 독립집합 크기가 k인 경우 n≥(½+o(1))k²/ log k 를 만족함을 보이며, 이는 R(3,k) 하한의 상수 ½를 최초로 달성한다. 논문은 또한 이 구성법이 다른 금지 그래프 H에 대해서도 확장 가능함을 언급하고, 최근의 하드위거·쿠른 등과의 응용 사례를 제시한다.