3一様超グラフの四面体に関するトゥラーン密度の上界を更新
A New Upper Bound for the Turán Density of the Tetrahedron
この論文をやさしく読む
ひとことで言うと
四面体型の構造を含まない超グラフの密度に、従来より厳しい数学的な上界を証明した。
何に役立つ？
超グラフの極値問題における予想値へ近づき、形式的に検証できる証明の例になる。
この研究の面白いところ
フラッグ代数の証明書を計算的に探し、その結論をLean 4で完全に形式化した。
どこまで分かった？
得られたのは上界であり、予想される正確な値5/9が証明されたわけではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
3一様超グラフの四面体K4のトゥラーン密度について、312372062889819÷560000000000000未満または等しく、さらに0.557808未満となることを証明した。これはBaberによる上界0.5615を改善し、予想値5/9までの隔たりのおよそ62％を埋める。証明には、Razborovの微分法による次数の定常性を組み込んだ、7頂点の厳密なフラッグ代数証明書を用いる。この証明書を見つけるため、切除平面法と列生成法という既存の手法を組み合わせ、型の頂点数が高々5であるフラッグ群をまとめて最適化した。このトゥラーン密度の境界について、Lean 4による完全な形式的証明も与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove that the Turán density of the tetrahedron $K_4^{(3)}$ satisfies $\pi(K_4^{(3)}) \le 312372062889819/560000000000000 < 0.557808$, improving Baber's upper bound of $0.5615$ and closing about $62\%$ of the gap to the conjectured value $5/9$. The proof uses an exact seven-vertex flag-algebra certificate incorporating degree-stationarity from Razborov's differential method. To find the certificate, we combine the established techniques of cutting planes and column generation to optimize jointly over flag families whose types have at most five vertices. We give a complete formal proof of this Turán density bound in Lean 4.
著者のコメント
28 pages, 5 figures, 8 tables. Lean 4 formalization, exact certificate and code: https://github.com/taeyool/tetrahedron-turan
arXiv ID: 2609.27495 ／ 要約の誤りについて