[論文レビュー] Negative association in uniform forests and connected graphs

Geoffrey Grimmett, Severin Winkler|ArXiv.org|Feb 17, 2003

Limits and Structures in Graph Theory参考文献 18被引用数 29

ひとこと要約

本稿では、有限グラフの均一なランダム森およびその連結部分グラフにおける負の相関関係を調査し、このような部分グラフ内の辺ペアが負の相関関係を示す、すなわち片方の辺が存在するほどもう片方の辺が存在しにくくなるという仮説を提示する。著者らは、グラフの対称性を利用し、インデックスベースの pruning 策略を採用した独自のコンピュータアルゴリズムを用いて、8頂点以下または18本の辺以下のすべてのグラフについて辺の負の相関関係を検証した。これは、既知の均一なスパニングツリーにおける負の相関関係の性質を、森および連結部分グラフへと拡張するものである。

ABSTRACT

We consider three probability measures on subsets of edges of a given finite graph $G$, namely those which govern, respectively, a uniform forest, a uniform spanning tree, and a uniform connected subgraph. A conjecture concerning the negative association of two edges is reviewed for a uniform forest, and a related conjecture is posed for a uniform connected subgraph. The former conjecture is verified numerically for all graphs $G$ having eight or fewer vertices, or having nine vertices and no more than eighteen edges, using a certain computer algorithm which is summarised in this paper. Negative association is known already to be valid for a uniform spanning tree. The three cases of uniform forest, uniform spanning tree, and uniform connected subgraph are special cases of a more general conjecture arising from the random-cluster model of statistical mechanics.

研究の動機と目的

• 有限グラフ上の均一なランダム森および連結部分グラフが、すべての異なる辺ペア e と f に対して辺の負の相関関係を示すかどうかを調査すること。
• 均一なスパニングツリーにおける既知の負の相関関係の性質を、より広いクラスのランダム部分グラフへと拡張すること。
• 8頂点以下または18本の辺以下のすべてのグラフについて、負の相関関係を検証可能な計算効率の良いアルゴリズムを開発し、適用すること。
• 均一な森および連結部分グラフにおいて、辺の負の相関関係が成り立つという予想を検証すること。これは、ランダムクラスターモデルからの結果を一般化するものである。

提案手法

• 均一な森、均一な連結部分グラフ、均一なスパニングツリーの3つのランダム部分グラフモデルを定義する。それぞれは、その部分グラフ集合から一様に選ばれる。
• 辺の負の相関関係を、部分グラフの数を含む組み合わせ的不等式として表現する：M_{e,f} M_∅ ≤ M_e M_f。
• 9頂点以下かつ18本の辺以下のすべてのグラフを列挙する再帰的アルゴリズムを実装し、特定の辺集合を持つ候補となる部分グラフを生成する。
• グラフの同型不変量（j不変量）を用いて、同型な予想のケースを特定し、処理を飛ばすことで計算負荷を低減する。
• j不変量のインデックスデータベースを維持し、同型な構成からの再利用を可能にすることで、重複計算を避ける。
• 対称的に等価なケースとみなされるグラフの処理を回避するためのプルーニングルールを適用し、探索空間を顕著に削減する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限グラフ G における均一な森が、すべての異なる辺ペア e と f に対して辺の負の相関関係を示すか？
• RQ2 同様に、有限グラフにおける均一な連結部分グラフモデルについても同様の性質が成り立つか？
• RQ3 8頂点以下または18本の辺以下のすべてのグラフについて、負の相関関係を検証可能な計算的に効率の良いアルゴリズムを設計できるか？
• RQ4 グラフ内の対称性は、部分グラフ列挙における重複計算の低減にどの程度寄与できるか？
• RQ5 異なるグラフ族において、負の相関関係を支配する組み合わせ的不等式は、どのように振る舞うか？

主な発見

• 8頂点以下のすべての有限グラフにおいて、均一な森モデルにおける辺の負の相関関係が成り立つ。
• 9頂点かつ18本の辺以下のすべてのグラフについて、対称性を考慮した計算アルゴリズムを用いてその性質が検証された。
• j不変量を用いた同型構成の特定により、異なる予想ケースの数が削減された。
• j不変量のインデックスデータベースの利用により、事前に計算された結果を効率的に再利用でき、重複計算が回避された。
• 構造的対称性とプルーニングを活用することで、#P-完全な森の数え上げ問題に対しても本手法は効果的に対処できた。
• 結果は、均一な森および連結部分グラフにおいて負の相関関係が成り立つというより広い予想を支持しており、ランダムクラスターモデルからの予測とも整合的である。