[論文レビュー] New Tur\'an densities for 3-graphs

Rahil Baber, John Talbot|arXiv (Cornell University)|Oct 19, 2011

Limits and Structures in Graph Theory参考文献 15被引用数 4

ひとこと要約

本稿は、ラズボロフのフラッグ代数法を用いて、3次元超グラフにおける新しい正確なツーラン密度を確立し、有限な3グラフ族に対する初の無理数的ツーラン密度の例を証明するとともに、密度2/9、4/9、5/9、3/4のケースを解決した。また、安定性結果を提供し、π(K₄⁽³⁾, H) = 5/9（π(H) = 3/4を満たす3グラフH）であることを確認した。これは、浮動小数点演算を一切用いず、正確な整数演算に基づく計算によって、チャングラハムの予想を反証した。

ABSTRACT

If $\\mathcal{F}$ is a family of graphs then the Tur\\'an density of $\\mathcal{F}$ is determined by the minimum chromatic number of the members of $\\mathcal{F}$. The situation for Tur\\'an densities of 3-graphs is far more complex and still very unclear. Our aim in this paper is to present new exact Tur\\'an densities for individual and finite families of 3-graphs, in many cases we are also able to give corresponding stability results. As well as providing new examples of individual 3-graphs with Tur\\'an densities equal to 2/9,4/9,5/9 and 3/4 we also give examples of irrational Tur\\'an densities for finite families of 3-graphs, disproving a conjecture of Chung and Graham. (Pikhurko has independently disproved this conjecture by a very different method.) A central question in this area, known as Tur\\'an's problem, is to determine the Tur\\'an density of $K_4^{(3)}=\\{123,124, 134, 234\\}$. Tur\\'an conjectured that this should be 5/9. Razborov [On 3-hypergraphs with forbidden 4-vertex configurations, in SIAM J. Disc. Math. 24 (2010), 946-963] showed that if we consider the induced Tur\\'an problem forbidding $K_4^{(3)}$ and $E_1$, the 3-graph with 4 vertices and a single edge, then the Tur\\'an density is indeed 5/9. We give some new non-induced results of a similar nature, in particular we show that $\\pi(K_4^{(3)},H)=5/9$ for a 3-graph $H$ satisfying $\\pi(H)=3/4$. We end with a number of open questions focusing mainly on the topic of which values can occur as Tur\\'an densities. Our work is mainly computational, making use of Razborov's flag algebra framework. However all proofs are exact in the sense that they can be verified without the use of any floating point operations. Indeed all verifying computations use only integer operations, working either over $\\mathbb{Q}$ or in the case of irrational Tur\\'an densities over an appropriate quadratic extension of $\\mathbb{Q}$.

研究の動機と目的

• 極限的組合せ論における長年の未解決問題に答えるために、個々のおよび有限な3一様超グラフ族の正確なツーラン密度を特定すること。
• チャングラハムの予想（3グラフのツーラン密度はすべて有理数である）を、無理数的密度を持つ明示的な族の構成によって反証すること。
• 極値的3グラフに対して安定性結果を確立し、ほぼ極値的である超グラフが既知の構成と構造的に近いことを示すこと。
• 非誘導設定におけるK₄⁽³⁾のツーラン問題を解決し、π(H) = 3/4を満たす3グラフHに対してπ(K₄⁽³⁾, H) = 5/9であることを証明すること。
• ラズボロフのフラッグ代数に基づく計算フレームワークを構築・適用し、浮動小数点演算を一切用いず、整数または二次無理数の算術のみを用いて正確で検証可能な証明を生成すること。

提案手法

• 半定式計画法を用いてツーラン密度を計算するラズボロフのフラッグ代数フレームワークを用い、ℚまたはℚの二次拡張上で整数算術を用いて正確に検証する。
• 補題8を用いた飽和技術を採用し、個々の禁止超グラフをスーパグラフ族に置き換えることで、探索空間を縮小し、計算効率を著しく向上させる。
• 数値的フラッグ代数結果を正確な記号的証明に変換する新規手法を適用し、極値的構成の事前知識がなくても、複数の極値的族を含む問題に対しても有効である。
• すべての結果を検証・再現するために、プログラムDensityChecker.cppおよびExactDensityBounder.cppを用い、CSDPやSDPAなどの半定式計画法ソルバを用いて証明を生成する。
• フラッグ代数の不等式を用いて、すべての正確な結果に対して安定性解析を実施し、特定の族に対してほぼ極値的である超グラフが、既知の極値的構成と構造的に近いことを証明する。
• 150桁を超える大規模整数算術を用いて、浮動小数点数値結果を正確な有理数または二次無理数表現に変換する際の正確性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特定の3一様超グラフに対する正確なツーラン密度は何か？ また、数値近似に依存せずに計算可能か？
• RQ2 有限な3グラフ族に対して無理数的ツーラン密度が出現しうるか？ これにより、すべてのツーラン密度が有理数であるという予想が反証されるか？
• RQ3 非誘導設定において、K₄⁽³⁾のツーラン密度は5/9に等しいか？ 特に、密度3/4を満たす別の3グラフHと組み合わせた場合にどうか？
• RQ4 極値的3グラフに対して、フラッグ代数法を用いて安定性結果を確立できるか？ ただし、極値的構成の事前知識がなくても可能か？
• RQ5 数値的フラッグ代数結果を、整数または代数的数の演算のみを用いて、どの程度正確で検証可能な証明に変換できるか？

主な発見

• 本稿は、有限な3グラフ族に対して、初の既知の無理数的ツーラン密度の例を確立し、チャングラハムの予想を反証した。
• π(H) = 3/4を満たす3グラフHに対してπ(K₄⁽³⁾, H) = 5/9であることを証明し、ラズボロフの誘導問題に関する結果を拡張した。
• 個々の3グラフに対して、2/9、4/9、5/9、3/4の正確なツーラン密度を確立した。5/9の場合、ツーランの構成Tₙが漸近的に極値的である。
• すべての証明は、ℚまたはその二次拡張上で整数演算のみを用いて正確かつ検証可能であり、検証プロセスでは浮動小数点演算を一切用いていない。
• 著者らは、すべての正確なツーラン密度結果に対して、ほぼ極値的である超グラフが極値的構成と構造的に近いことを示す安定性結果を導出できることを示した。
• 計算フレームワークは、複数の非同型な極値的構成を持つ問題（例：ツーランのK₄⁽³⁾問題）に対しても、数値的フラッグ代数結果を正確な証明に変換するのに成功した。