[論文レビュー] A quantitative version of the Blow-up Lemma

Gábor N. Sárközy|arXiv (Cornell University)|May 28, 2014

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

ひとこと要約

本稿では、パラメータ間の依存関係を明示的に計算することで、ブロー・アップ補題の定量的バージョンを提示している。十分に小さな $ \varepsilon $ に対して、最大次数 $ \Delta $ を持つグラフ $ H $ が完全なブロー・アップ $ R(N) $ に埋め込めるならば、$ (\varepsilon,d,\delta) $-スーパー正則対から構築された疎なグラフ $ G $ に対しても埋め込みが可能であることを示し、絶対定数 $ C $ を特定している。この結果により、誤差項の明示的バウンドを伴う極値グラフ理論への応用が可能になる。

ABSTRACT

In this paper we give a quantitative version of the Blow-up Lemma.

研究の動機と目的

• 元の証明では得られていなかった $ \varepsilon $, $ d $, $ \delta $, $ \Delta $, $ r $ 間の依存関係を明示的に計算することで、ブロー・アップ補題の明示的・定量的バージョンを提供すること。
• 最近の応用に不可欠な、最小次数が $ \delta $ よりも低い可能性のある少数の例外的頂点を許容するように、元のブロー・アップ補題を強化すること。
• 明示的なパrameter階層を備えた自己完結的でアルゴリズム的な証明を提供することで、極値グラフ理論および埋め込み問題における実用的利用を可能にすること。
• 従来のブロー・アップ補題の証明に明示的なバウンドが欠けていたことによる制限を解消し、定量的状況下での応用可能性を高めること。

提案手法

• 証明は2段階のアルゴリズムに基づく：まず多数の頂点を貪欲に埋め込み、その後、最後のバッファフェーズで König-Hall の補題を用いる。
• パラメータの階層 $ \varepsilon \ll \varepsilon' \ll \cdots \ll d \ll 1 $ を用い、$ \delta $, $ d $, $ \Delta $, $ r $, 絶対定数 $ C $ から導かれた明示的表現により、正則性および埋め込みが成立するように $ \varepsilon $ が十分小さくなるように保証する。
• クラスタ $ V_i $ 間の $ \varepsilon $-正則対および $ (\varepsilon,d,\delta) $-スーパー正則対を定義し、高い最小次数と辺密度を確保することで、埋め込みに不可欠な性質を満たす。
• 各時刻 $ t $ における利用可能な像集合 $ H_{t,x} $ のサイズを追跡し、それが常に閾値 $ d''N $ を上回ることを証明することで、貪欲選択が常に有効な選択肢を持つことを保証する。
• 最後に埋め込むためのバッファ集合を定義し、König-Hall 定理を適用することで、最終段階の埋め込みに必要な相異なる代表元系が存在することを保証する。
• 正しさは2つの主張で証明される：(1) 利用可能な像集合が十分に多いため、貪欲フェーズは失敗しない。 (2) 残りの集合の密度およびサイズの条件により、バッファフェーズは成功する。

実験結果

リサーチクエスチョン

• RQ1 ブロー・アップ補題において、埋め込みが保証されるための $ \varepsilon $ の $ d $, $ \delta $, $ \Delta $, $ r $ への明示的依存関係は何か？
• RQ2 最小次数が $ \delta $ よりも低い少数の例外的頂点を許容しつつも、埋め込み性質を保つようにブロー・アップ補題を強化することは可能か？
• RQ3 ブロー・アップ補題をアルゴリズム的かつ定量的に明示的バウンドを伴って再構築することは可能か？ これにより極値グラフ理論への応用が可能になる。
• RQ4 最近の「アレンジャブル」バージョンと同等またはそれ以上の強さを持つ定量的バージョンのブロー・アップ補題を構築することは可能か？ ただし、例外的頂点の許容を含むこと。

主な発見

• 本稿では、絶対定数 $ C $ が存在し、$ \varepsilon < \left( \frac{\delta d^{\Delta}}{r\Delta} \right)^C $ であれば、埋め込み条件が成立することを確立している。
• 明示的なパラメータ階層として $ \varepsilon = (\varepsilon')^2 $, $ \varepsilon' = \left( \frac{\delta d^{\Delta}}{8r\Delta} \right)^{164} $ を定義し、結果として $ \varepsilon = \left( \frac{\delta d^{\Delta}}{8r\Delta} \right)^{328} $ を得ており、明確なバウンドを提供している。
• 貪欲埋め込みフェーズは、利用可能な像集合 $ H_{t,x} $ が常に $ d''N $ よりも大きいこと（$ d'' = \left( \frac{\delta d^{\Delta}}{8r\Delta} \right)^{50} $）により、各ステップで成功する。
• バッファフェーズは König-Hall 条件のおかげで成功する：未埋め込みの各頂点に対して、$ d'''M $ より多くの利用可能な像が存在し、和集合条件は例外的頂点の取り扱いに注意を払うことで成立する。
• 例外的頂点や辺密度の損失を考慮しても、残りの像集合が十分に大きく、相異なる代表元系が存在可能であることをアルゴリズムが保証する。
• 本結果は、例外的頂点を許容し、$ \varepsilon $ に対するよりきついバウンドを提供するため、最近の「アレンジャブル」バージョンよりも強い、構成的で定量的なブロー・アップ補題のバージョンである。