[論文レビュー] Parameter testing with bounded degree graphs of subexponential growth

Gábor Elek|ArXiv.org|Nov 18, 2007

Advanced Graph Theory Research参考文献 15被引用数 5

ひとこと要約

この論文は、独立比、マッチング比、対数パーティション関数といったグラフパラメータが、有界次数で亜指数的成長を示すグラフにおいて、定数個のクエリを用いたパrameterテストアルゴリズムによりテスト可能であることを確立している。主な貢献は、このようなグラフ列におけるこれらのパラメータの連続性と極限の存在を証明したことであり、従来の有界次数設定を超えてテスト可能性を拡張している。

ABSTRACT

Parameter testing algorithms are using constant number of queries to estimate the value of a certain parameter of a very large finite graph. It is well-known that graph parameters such as the independence ratio or the edit-distance from 3-colorability are not testable in bounded degree graphs. We prove, however, that these and several other interesting graph parameters are testable in bounded degree graphs of subexponential growth.

研究の動機と目的

• 標準的なテスト可能性が失敗する亜指数的成長を示す有界次数グラフへ、パラメータテスト理論を拡張すること。
• 独立比や3色性からの編集距離といったグラフパラメータが、スパースなグラフ族においてテスト可能かどうかを調査すること。
• 亜指数的成長条件の下で、収束するグラフ列の極限対象におけるグラフパラメータの連続性を確立すること。
• このようなグラフのFølner列において、独立集合およびマッチング比、およびそれらに関連するパーティション関数の極限の存在を証明すること。

提案手法

• 根付きボールの分布と同型型上の確率測度を用いた、有界次数グラフにおける弱収束の枠組みを用いる。
• 超積構成を適用して、亜指数的成長のクラスにおける収束列のための標準的極限対象（グラフイング）を定義する。
• ハイパーファイニットネスとFølner列を活用し、成分サイズを制御した有限部分グラフによる大きなグラフの近似を行う。
• 摂動バウンドを用いた連続性の議論：小さな辺の削除（ε|E|）はパラメータにO(εd)の影響を与えるため、安定性が保証される。
• 互いに素な成分におけるパーティション関数の分解を用いて、対数パーティション関数の極限の存在を証明する。
• 一般要素と可測同値関係の概念を用い、グラフ極限と[0,1]×[0,1]上の可測関数を結びつける。

実験結果

リサーチクエスチョン

• RQ1 独立比や3色性からの編集距離といったグラフパラメータは、亜指数的成長を示す有界次数グラフにおいてテスト可能か？
• RQ2 亜指数的成長を示すグラフにおいて、Følner列に沿って独立比は収束するか？
• RQ3 このようなグラフ列において、独立集合の対数パーティション関数は弱極限で連続か？
• RQ4 状態密度関数と関連パラメータは、この設定で定義可能であり、連続性が示せるか？
• RQ5 パラメータの連続性と、スパースなグラフ族における定数クエリアルゴリズムによるテスト可能性の関係は何か？

主な発見

• 亜指数的成長を示すグラフにおいて、任意のFølner列に沿って独立比が収束する。すなわち、limₙ→∞ I(Gₙ)/|V(Gₙ)| は存在する。
• 同様に、マッチング比についても、このような列において収束し、limₙ→∞ M(Gₙ)/|V(Gₙ)| が極限として存在する。
• 独立集合の正規化された対数パーティション関数 logπᴵ_{Gₙ}(λ)/|V(Gₙ)| は、すべてのλ > 0に対して収束し、極限はλに関して連続である。
• マッチングの対数パーティション関数に対しても同様の収束が成り立ち、エントロピーおよび関連パラメータの存在が保証される。
• ε|E|本の辺の削除が独立比に高々O(εd)の変化を与える摂動バウンドを用いた証明により、安定性が保証される。
• 標準的極限対象（グラフイング）は、列の漸近的挙動を捉えており、すべての連続パラメータはこの極限に連続的に拡張可能である。