[論文レビュー] The inducibility of blow-up graphs

Hamed Hatami, James Hirst+1 more|arXiv (Cornell University)|Aug 29, 2011

Limits and Structures in Graph Theory参考文献 8被引用数 5

ひとこと要約

本稿では、任意の固定されたグラフ $ H $ に対して、十分に大きなバランス型ブLOW-up $ H^{(h)} $ の最大誘導密度は、$ H $ 自身のブLOW-upによって漸近的に達成されることを確立している。重み付きグラフと強いホモモーフィズム密度を用いて、$ H^{(h)} $ の誘導コピーを最大化する最適なグラフ構造は $ H $ のブLOW-upであることが証明され、ボロバース他（1995）が提起した問題の漸近的バージョンが解決された。

ABSTRACT

The blow-up of a graph is obtained by replacing every vertex with a finite collection of copies so that the copies of two vertices are adjacent if and only if the originals are. If every vertex is replaced with the same number of copies, then the resulting graph is called a balanced blow-up. We show that any graph which contains the maximum number of induced copies of a sufficiently large balanced blow-up of H is itself essentially a blow-up of H. This gives an asymptotic answer to a question in [BEHJ95].

研究の動機と目的

• 大規模なバランス型ブLOW-up $ H^{(h)} $ の誘導コピー数を最大化するグラフの漸近的構造を特定すること。
• ボロバース他（1995）が提起した、十分に大きな $ h $ に対して $ H $ のブLOW-upが $ H^{(h)} $ の誘導コピーを最大化するのに最適であるかどうかという問いを解明すること。
• $ H^{(h)} $ の強いホモモーフィズム密度が、$ H $ の頂点集合上での確率測度 $ \nu $ に対して $ H^{ u} $ で最大化されることを示すこと。
• 元のグラフがツイン自由でない場合でも、最適なグラフ構造は本質的に $ H $ のブLOW-upであることを確立すること。
• 極値誘導性問題を分析するため、重み付きグラフと強いホモモーフィズム密度の枠組みを拡張すること。

提案手法

• 著者たちは、上限が達成されない問題を避けるために、有限グラフの一般化として重み付きグラフを用いる。
• 強いホモモーフィズム密度 $ s(H; G) $ を、$ V(H) $ から $ V(G) $ へのランダム写像が強いホモモーフィズムである確率として定義する。
• 証明は、大きな $ h $ に対して $ s(H^{(h)}; G) $ を最大化する極値重み付きグラフの構造を分析することに依拠する。
• 主な技術には、自己同型不変測度の使用と、$ H $ の頂点集合上の確率分布に関する最適化が含まれる。
• 変分的アプローチを用い、矛盾を避けるために最適な測度 $ \nu $ が $ \text{Aut}(H) $-不変でなければならないことを示している。
• グラフのツイン自由因子分解の一意性を活用し、問題を $ H $ がツイン自由である場合に還元している。

実験結果

リサーチクエスチョン

• RQ1 どのグラフ $ H $ に対して、ある定数 $ h $ が存在して、すべての十分に大きな $ n $ に対して、$ n $ 頂点のグラフの中で $ H^{(h)} $ の誘導コピー数を最大化するものが $ H $ のブLOW-upであるか。
• RQ2 $ h \to \infty $ のとき、$ H^{(h)} $ の誘導密度を最大化するグラフの漸近的構造は何か。
• RQ3 $ H^{(h)} $ の強いホモモーフィズム密度は、$ H $ のブLOW-upによって最大化可能か。もしそうなら、どのような条件下で可能か。
• RQ4 $ H $ の自己同型群は、$ H^{(h)} $ の極値グラフの構造にどのように影響するか。
• RQ5 カラーハイパーグラフのパレットベースの枠組みを用いて、グラフの結果をハイパーグラフへ拡張可能か。

主な発見

• 任意の固定されたグラフ $ H $ に対して、ある閾値 $ h_0 $ が存在し、すべての $ h \geq h_0 $ に対して、強いホモモーフィズム密度 $ s(H^{(h)}; G) $ は、$ V(H) $ 上の確率測度 $ \nu $ に対する $ H^{ u} $ のブLOW-upによって最大化される。
• 最適な測度 $ \nu $ は $ \text{Aut}(H) $-不変であり、極値ブLOWアップにおける頂点分布は $ H $ の自己同型に関して対称である。
• 任意の $ n $ 頂点グラフにおける $ H^{(h)} $ の最大誘導密度は、バランス型 $ H $ のブLOWアップによって漸近的に達成され、その極限は $ i(H^{(h)}) = \lim_{n \to \infty} i(H, H^{(\mathbf{k}_n)}) $ である（適切な $ \mathbf{k}_n $ に対して）。
• 本結果は、ボロバース他（1995）が提起した $ K_r^{(h)} $ のブLOWアップの最大性に関する問いに対する漸近的答えを提供し、すべてのグラフ $ H $ に拡張している。
• 著者たちは、同様の結果が $ K $-カラーハイパーグラフに対しても成り立つと予想しており、$ H^{(h)} $ は同型を除いて唯一の極値 $ h $-ブLOWアップである。
• フラグ代数やグラフンを用いない手法を採用し、重み付きグラフと強いホモモーフィズム密度に直接的に基づくことで、分析を簡略化しつつ一般性を保った。