[논문 리뷰] The Turán number of the triangular pyramid of 4-layers

Hangdi Chen, Yaojun Chen외 1명|arXiv (Cornell University)|2026. 02. 07.

Limits and Structures in Graph Theory인용 수 0

한 줄 요약

요약: 이 논문은 n이 충분히 큰 경우 ex(n, TP4) = (1/4) n^2 + Theta(n^{4/3})임을 보이며, 4층 삼각 피라미드의 Turán 수에 관한 추론을 해결한다.

ABSTRACT

The Turán number $ex(n,H)$ of a graph $H$ is the maximum number of edges in any $H$-free graph on $n$ vertices. The triangular pyramid of $k$-layers, denoted by $TP_k$, is a generalization of a triangle. The Turán problems of a triangular pyramid with small layers have been studied widely by Liu (E-JC, 2013), Xiao, Katona, Xiao and Zamora (DAM, 2022), Ghosh, Győri, Paulos, Xiao and Zamora (DAM, 2022). Moreover, Ghosh et al. conjectured that $ex(n, TP_4)=\frac{1}{4}n^2+Θ(n^{\frac{4}{3}})$. In this note, we confirm this conjecture.

연구 동기 및 목표

• 클릭스(cliques)를 넘어 비이분 그래프에 대한 Turán 수 연구를 동기화하고, TPk 계열의 삼각 피라미드를 중심으로 한다.
• 대-large n에 대해 ex(n, TP4)의 정확한 점근적 형태를 결정한다.
• Ghosh, Győri, Paulos, Xiao 및 Zamora의 ex(n, TP4) 추론을 확인한다.
• ex(n, TP4) 상한과 하한의 알려진 구성과의 일치를 보이기 위한 기법을 개발한다.

제안 방법

• stability 방법을 활용하기 위해 큰 최소도(degree)를 갖는 TP4-무포함 그래프를 분석한다.
• Erdős–Simonovits 및 Simonovits 안정성 프레임워크를 활용한 분할 기반 접근법을 사용한다.
• 보조 그래프와 C6 및 F에 대한 알려진 극값 결과를 이용해 국소 구조를 제어한다.
• Lemma 3.1(Reduction Lemma)을 적용해 고최소도 조건의 TP4-무포함 그래프로 환원한다.
• 구조적 한계와 전역 간선 수 상한을 결합해 e(G) ≤ h(n) + O(n^{4/3})를 얻는다.
• 반복적인 제거 논증과 최소도 고려를 통해 최종 상한을 도출한다.

실험 결과

연구 질문

• RQ1 대-large n에 대해 ex(n, TP4)의 정확한 점근값은 무엇인가?
• RQ2 점근 상한을 (1/4)n^2 + o(n^2) 형태로 맞추어 conjectured 형태와 일치시킬 수 있는가?
• RQ3 stability 논법과 관련 그래프(C6, F)에 대한 알려진 극값 결과가 TP4-무포함 그래프를 어떻게 제약하는가?
• RQ4 거의 최댓값의 간선 수를 가진 TP4-무포함 그래프가 제2차 차수 항 Theta(n^{4/3})에 대해 제어된 구조를 갖는가?
• RQ5 Theta(n^{4/3}) 항을 닫는 주요 장애물은 무엇이며 이를 어떻게 극복할 수 있는가?

주요 결과

• ex(n, TP4) = (1/4)n^2 + Theta(n^{4/3})가 large n에 대해 입증되었다.
• 큰 최소도 조건을 갖는 TP4-무포함 그래프로의 환원은 n^{4/3} 항까지 알려진 하한 구성과 일치하는 상한을 준다.
• 저자들은 특정 보강된 이분 그래프 구성들이 TP4를 강제한다는 것을 입증하여 극값 구성의 제어를 돕는다.
• 간선 수 상한은 Ex(n, C6) 추정과 Bondy–Simonovits 유형의 주장을 결합해 여분 간선을 제어한다.
• 이 결과는 Ghosh 등 의 2차 항 Theta(n^{4/3})의 차수에 대한 추론을 확인한다.
• 거의 T2(n) 분할을 둘러싼 구조적 분해와 안정성 결과가 최종 상한의 기반이 된다.