[論文レビュー] The Turán number of the triangular pyramid of 4-layers

Hangdi Chen, Yaojun Chen+1 more|arXiv (Cornell University)|Feb 7, 2026

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.

研究の動機と目的

• 非二部グラフの Turán 数をク Clique 以外の対象にも拡張して研究動機を示す。TPk 系列での三角錐 TPk の焦点。
• ex(n, TP4) の正確な漸近挙動を large n で決定する。
• Ghosh, Győri, Paulos, Xiao および Zamora による ex(n, TP4) に関する予想を確認する。
• ex(n, TP4) を上方から境界付けし、下界の既知構成と一致するような技法を展開する。

提案手法

• 高い最小次数を持つ TP4-free グラフを解析して安定性手法を活用する。
• Erdős–Simonovits および Simonovits の安定ファクター-基盤アプローチと分割戦略を併用する。
• 補助グラフと既知の極大結果（C6 および F）を用いて局所構造を制御する。
• Reduction Lemma (Lemma 3.1) を適用して高い最小次数を持つ TP4-free グラフへの還元を行う。
• 構造的境界と全体の辺数上限を組み合わせて e(G) ≤ h(n) + O(n^{4/3}) を得る。
• 反復削除法と最小次数の考察から最終的な上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 large n に対する ex(n, TP4) の正確な漸近値は何か。
• RQ2 漸近的な上界を (1/4)n^2 + o(n^2) の形に合わせて引き締められるか。
• RQ3 関連グラフ（C6, F）に対する安定性議論と既知の極大結果は TP4-free グラフをどのように制約するか。
• RQ4 ほぼ極端な辺数を持つ TP4-free グラフは、T2(n) に近い構造と制御された摂動を持つか。
• RQ5 Theta(n^{4/3}) の項を閉じる上での主要な障害は何で、それをどう克服するか。

主な発見

• ex(n, TP4) = (1/4)n^2 + Theta(n^{4/3}) を large n で証明。
• 大きな最小次数を持つ TP4-free グラフへの還元により、既知の下界構成と n^{4/3} 項まで一致する上界を得る。
• 特定の拡張された二部配置が TP4 を強制することを確立し、極値構成の制御を支援。
• 辺数上限は Ex(n, C6) の推定と Bondy–Simonovits 型の議論を組み合わせて追加辺を抑制。
• 第二次項 Theta(n^{4/3}) の次数に関する予想を confirm する。
• Near-T2(n) 分割を中心とする構造的分解と安定性結果を組み合わせて最終境界を支える。