4층 삼각 피라미드의 Turán 수 정확화

초록

본 논문은 4층 삼각 피라미드 그래프 TP₄에 대한 Turán 수 ex(n,TP₄)를 연구한다. 기존에 제시된 추측 ex(n,TP₄)=¼n²+Θ(n^{4/3})를 확인하고, 충분히 큰 n에 대해 상한과 하한이 동일한 차수 Θ(n^{4/3})임을 보인다.

상세 분석

논문은 먼저 TPₖ 그래프를 정의하고, TP₁은 삼각형 K₃, TP₂는 이전 연구에서 정확한 Turán 수가 구해진 그래프임을 상기한다. TP₃에 대해서는 Ghosh 등(2022)이 ex(n,TP₃)=n²/4+n+o(n) 이라는 근사값을 제시했으며, TP₄에 대해서는 ex(n,TP₄)=¼n²+Θ(n^{4/3}) 라는 추측만 존재했다. 저자들은 이 추측을 증명한다.

핵심 아이디어는 “최소 차수가 충분히 큰 TP₄‑free 그래프”에 대해 안정성(stability) 결과를 적용하는 것이다. 먼저 h(n)=e(T₂(n)) (즉, 균등 2‑partite 그래프의 간선 수)를 정의하고, Lemma 3.1을 통해 δ(G)≥h(n)−h(n−1) 인 경우 e(G)≤h(n)+O(n^{4/3}) 임을 보인다. 이를 위해 정점 집합을 X₁,X₂ 두 부분으로 최대 교차 간선 수가 되도록 나눈 뒤, 두 부분 내부의 간선 수가 εn² 이하임을 보이며, 이는 Simonovits의 안정성 정리(Theorem 2.4)와 결합된다.

다음으로 R 이라는 “고차수 정점 집합”을 정의하고, 그 크기가 상수 수준임을 증명한다(Claim 2). 이는 Erdős‑Simonovits의 초과 포화 정리(Theorem 2.3)를 이용해 K_{15,15} 복제 수를 하한으로 잡고, 이 복제들이 R 에 과도하게 연결될 경우 TP₄가 생성되는 모순을 이용한다. 따라서 R 의 크기는 O(1)이며, 나머지 정점 집합 W₁,W₂ 는 거의 완전한 이분 그래프 구조를 가진다.

마지막 단계에서는 W₁,W₂ 내부의 간선 수를 ex(n,C₆) 와 연결시켜 O(n^{4/3}) 의 상한을 얻는다. 여기서 ex(n,C₆) 에 대한 Bondy‑Simonovits 결과를 활용한다. 전체적으로 e(G)≤h(n)+O(n^{4/3}) 가 증명되며, 기존에 알려진 하한 ex(n,TP₄)≥¼n²+Ω(n^{4/3}) 과 결합해 정확히 ex(n,TP₄)=¼n²+Θ(n^{4/3}) 임을 확정한다.

이 증명은 최소 차수 정규화, 파티션 안정성, 그리고 고차원 완전 이분 그래프의 복제 수에 대한 고전적인 정리를 유기적으로 결합한 것이 특징이며, TP₄와 같은 비이분 그래프의 Turán 수를 다룰 때 새로운 접근법을 제공한다.