랜덤 그래프에서의 맨텔 정리와 삼각형‑무관 그래프와 이분 그래프의 동등성

초록

본 논문은 Erdős‑Rényi 무작위 그래프 G(n,p) 에 대해, 최대 삼각형‑무관 부분그래프의 크기 t(G)와 최대 이분 부분그래프의 크기 b(G)가 거의 확실히 동일해지는 임계 확률 p를 규명한다. 저자들은 p > C·n⁻¹ᐟ²·(log n)¹ᐟ² (C는 충분히 큰 상수) 일 때 w.h.p. t(G)=b(G) 가 성립함을 보이며, 이 경계가 상수 C 를 제외하고는 최적임을 증명한다.

상세 분석

논문은 먼저 그래프 G에 대해 t(G)와 b(G)를 정의한다. t(G)는 G의 모든 삼각형을 포함하지 않는 가장 큰 부분그래프의 간선 수이며, b(G)는 G의 이분 부분그래프 중 가장 큰 것의 간선 수이다. 완전 그래프 Kₙ에 대해서는 고전적인 맨텔 정리(또는 Turán의 첫 번째 경우)에서 t(Kₙ)=b(Kₙ)=⌊n²/4⌋임을 상기한다. 여기서 핵심 질문은 “무작위 그래프 G(n,p)에서도 같은 동등성이 거의 확실히(whp) 발생하는 p는 어느 정도인가?”이다.

저자들은 두 방향의 경계를 각각 구축한다. 하한(즉, p가 충분히 작을 때 t(G)>b(G) 가 발생한다는 주장)은 작은 p 구간에서 G가 충분히 희박해 삼각형이 거의 없으면서도 별(star) 형태의 큰 삼각형‑무관 부분그래프를 만들 수 있음을 이용한다. 구체적으로 p ≪ n⁻¹ᐟ²·(log n)¹ᐟ² 일 때, 기대값과 마르코프 부등식을 통해 G에 존재하는 독립 집합이나 별 구조가 b(G)보다 크게 t(G)를 끌어올릴 수 있음을 보인다.

상한(즉, p가 충분히 클 때 t(G)=b(G) 가 성립한다는 주장)은 보다 정교한 확률적 구조 분석에 의존한다. p가 C·n⁻¹ᐟ²·(log n)¹ᐟ² 를 초과하면 G는 다음과 같은 두 가지 중요한 성질을 만족한다. 첫째, 모든 큰 부분집합에 대해 기대 간선 수가 충분히 커서, 그 부분집합 안에 삼각형이 거의 반드시 존재한다(삼각형 존재성 임계값). 둘째, 임계값보다 큰 p에서는 그래프가 거의 균등하게 분포된 ‘준-정규’ 형태를 띠어, 임의의 삼각형‑무관 부분그래프를 이분 그래프로 변형할 때 손실되는 간선 수가 o(pn²) 수준으로 작다. 이를 보이기 위해 저자들은 랜덤 그래프 버전의 정규성 정리와, 삼각형‑제거 정리(또는 그래프 정리학의 ‘stability’ 결과)를 확률적 버전으로 확장한다.

핵심 아이디어는 “t(G)와 b(G)의 차이는 삼각형을 포함하지 않는 부분그래프가 이분 그래프가 되지 못하는 경우에만 발생한다”는 점이다. p가 충분히 크면, 삼각형‑무관 부분그래프는 거의 전체 그래프의 절반을 차지하는 큰 이분 구조를 내포하게 된다. 따라서, 최적의 삼각형‑무관 부분그래프와 최적의 이분 부분그래프가 동일한 크기를 갖게 되며, 이는 t(G)=b(G) 로 귀결된다.

마지막으로, 상수 C에 대한 정확한 값은 현재 논문에서 명시되지 않았지만, “충분히 큰”이라는 조건만을 만족하면 결과가 성립한다는 점을 강조한다. 또한, 이 경계는 기존에 알려진 Turán‑type 임계값과 일치하며, p≈n⁻¹ᐟ²·(log n)¹ᐟ² 가 정확히 최적임을 보이는 하한 예시와 상한 증명이 서로 맞물려 논문의 완전성을 확보한다.