[論文レビュー] Turán densities of hypercubes

Rahil Baber|arXiv (Cornell University)|Jan 17, 2012

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

ひとこと要約

本稿は、ラズボフの半定値フラッグ代数法をハイパーキューブへ拡張し、部分的に定義されたハイパーキューブを導入することで、トゥーラン密度の上界を改善した。顕著な改善が得られ、4サイクルを含まない部分ハイパーキューブの辺トゥーラン密度に対する上界は0.60318、6サイクルを含まない部分ハイパーキューブの上界は0.36577であり、一方でQ₃から1つの頂点を除いた場合の頂点トゥーラン密度は正確に2/3であることを証明した。

ABSTRACT

In this paper we describe a number of extensions to Razborov's semidefinite flag algebra method. We will begin by showing how to apply the method to significantly improve the upper bounds of edge and vertex Turán density type results for hypercubes. We will then introduce an improvement to the method which can be applied in a more general setting, notably to 3-uniform hypergraphs, to get a new upper bound of 0.5615 for $π(K_4^3)$. For hypercubes we improve Thomason and Wagner's result on the upper bound of the edge Turán density of a 4-cycle free subcube to 0.60318 and Chung's result on forbidding 6-cycles to 0.36577. We also show that the upper bound of the vertex Turán density of $\mc{Q}_3$ can be improved to 0.76900, and that the vertex Turán density of $\mc{Q}_3$ with one vertex removed is precisely 2/3.

研究の動機と目的

• 強化されたフラッグ代数法を用いてハイパーキューブにおける辺および頂点トゥーラン密度の上界を改善すること。
• ラズボフの半定値フラッグ代数技術をハイパーキューブへ拡張し、より精確な密度推定を可能にすること。
• 問題のサイズを縮小し、上界を改善するために、計算最適化として部分的に定義されたハイパーキューブを導入すること。
• 特にQ₃およびC₆に関して未解決のトゥーラン密度の問題を解決し、可能な限り正確な値を計算すること。
• 4頂点上の完全な3-一様超グラフK₄³のトゥーラン密度π(K₄³)の上界をより厳密にすること。

提案手法

• 頂点に色を塗ったハイパーキューブ（選択された頂点を赤、削除された頂点を青）を用いて部分グラフをモデル化することで、ラズボフの半定値フラッグ代数法をハイパーキューブに適応した。
• 半定値計画法における探索空間のサイズを縮小するため、部分的に定義されたハイパーキューブを導入した。
• 頂点色付きグラフにおけるフラッグ出現確率を用いて、正則性制約および追加の線形制約を半定値計画法に統合した。
• 禁止部分グラフの族を分割することでフラッグ積の期待値に上限および下限を適用し、半定値計画法における非負性を維持した。
• 不確実なフラッグ積期待値を扱いながらも半定値性を保つために、非負行列Q₊およびQ₋を用いた行列分解を採用した。
• 計算ツールおよび並列処理を活用し、主要な計算は高性能コンピューティングリソースを用いて検証した。

実験結果

リサーチクエスチョン

• RQ1 ハイパーキューブにおける4サイクルを含まない部分ハイパーキューブの辺トゥーラン密度に対する改善された上界は何か？
• RQ2 ハイパーキューブにおける6サイクルを含まない部分ハイパーキューブの辺トゥーラン密度に対する上界は、以前の推定値を下回るか？
• RQ3 Q₃から1つの頂点を除いた場合の頂点トゥーラン密度の正確な値は何か？
• RQ4 強化された手法を用いて、K₄³のトゥーラン密度π(K₄³)は既存の上界を超えて改善可能か？
• RQ5 Q₃の頂点トゥーラン密度に対する最良の可能な上界は何か？

主な発見

• ハイパーキューブにおける4サイクルを含まない部分ハイパーキューブの辺トゥーラン密度は、0.60318未満に抑えられ、以前の上界0.62256を改善した。
• ハイパーキューブにおける6サイクルを含まない部分ハイパーキューブの辺トゥーラン密度は、0.36577未満に抑えられ、以前の上界0.41421を改善した。
• Q₃から1つの頂点を除いた場合の頂点トゥーラン密度は正確に2/3であり、以前未解決であった問題を解決した。
• Q₃の頂点トゥーラン密度は0.76900未満に抑えられ、以前の下界3/4を改善し、真の値に近づいた。
• 4頂点上の完全な3-一様超グラフK₄³のトゥーラン密度π(K₄³)は、強化された手法を用いて0.5615未満に抑えられた。
• 部分的に定義されたハイパーキューブおよび洗練された正則性制約を組み込むことで、計算複雑性を顕著に低減し、より厳密な上界が得られた。