[論文レビュー] Counting Independent Sets and Kernels of Regular Graphs

Adam Yedidia|ArXiv.org|Oct 24, 2009

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

ひとこと要約

本稿では、3正則グラフにおける独立集合およびカーネルの数がそれぞれ $ w^n $ および $ y^n $ のように増加することを、$ w \approx 1.54563 $ および $ y \approx 1.299 $ として、バイナリーデシジョンダイアグラム（BDDs）を用いて数値的証拠を提示する。本研究の核心は、これらのカウントの対数におけるフラクチュエーションが $ O(1) $ のままであるという仮説を支持しており、これは、大規模な3正則グラフにおいてベーゼ近似の優れた正確性を示している。

ABSTRACT

Chandrasekaran, Chertkov, Gamarnik, Shah, and Shin recently proved that the average number of independent sets of random regular graphs of size n and degree 3 approaches w^n for large n, where w is approximately 1.54563, consistent with the Bethe approximation. They also made the surprising conjecture that the fluctuations of the logarithm of the number of independent sets were only O(1) as n grew large, which would mean that the Bethe approximation is amazingly accurate for all 3-regular graphs. Here, I provide numerical evidence supporting this conjecture obtained from exact counts of independent sets using binary decision diagrams. I also provide numerical evidence that supports the novel conjectures that the number of kernels of 3-regular graphs of size n is given by y^n, where y is approximately 1.299, and that the fluctuations in the logarithm of the number of kernels is also only O(1).

研究の動機と目的

• 3正則グラフにおける独立集合の数の対数のフラクチュエーションが、通常想定される $ O(\sqrt{n}) $ ではなく $ O(1) $ であるという仮説を、数値的証拠として提供すること。
• 3正則グラフにおけるカーネルの数が $ y^n $ のように指数的に増加するか、$ y \approx 1.299 $ であるか、そしてそのフラクチュエーションが同様に有界であるかを調査すること。
• 統計力学に由来する近似（ベーゼ近似）を、これまであまり研究されてこなかった正則グラフにおけるカーネル数の問題に拡張すること。
• バイナリーデシジョンダイアグラム（BDDs）が、#P困難な問題である独立集合およびカーネルの数え上げにおいて、正確な列挙にいかに有効であるかを示すこと。

提案手法

• バイナリーデシジョンダイアグラム（BDDs）を用いて、3正則グラフにおいて独立集合およびカーネルの正確な列挙を、サイズ $ n = 40 $ まで実施する。
• 各グラフサイズ $ n $ に対して、1000個のランダムに抽出された3正則グラフの平均的な独立集合およびカーネルの数を計算する。
• 指数的増加率 $ w $ および $ y $ は、$ w = \exp(\langle \ln Z \rangle / n) $ を用いて推定する。ここで $ Z $ は独立集合またはカーネルの数を表す。
• カウントの対数におけるフラクチュエーションは、$ f(\epsilon) = |\ln Z - n \ln w| $ または $ |\ln Z - n \ln y| $ を用いて測定され、増加する $ n $ に対して分析される。
• 正則な3正則グラフの結果と、平均次数が3の非正則グラフの結果を比較し、正則性がフラクチュエーションに与える影響を分離する。
• 解析により、正則グラフではフラクチュエーションが有界のままであるのに対し、非正則グラフでは $ n $ と共に増大することが確認され、3正則グラフが特異な構造を持つことが浮き彫りになった。

実験結果

リサーチクエスチョン

• RQ1 3正則グラフにおける独立集合の数の対数のフラクチュエーションは、$ n \to \infty $ においても有界のまま保たれるのか。これは通常想定される $ O(\sqrt{n}) $ のスケーリングとは対照的である。
• RQ2 3正則グラフにおけるカーネルの数は漸近的に $ y^n $ であるか。また、$ O(1) $ のフラクチュエーションを示すのか。
• RQ3 BDDsは、独立集合やカーネルの数え上げという#P困難な問題において、指数的増加および有界フラクチュエーションに関する信頼できる数値的証拠を提供できるか。
• RQ4 特にエントロピーのフラクチュエーションに関して、3正則グラフにおける独立集合およびカーネルの統計的性質はどのように比較されるか。

主な発見

• 3正則グラフにおける独立集合の平均数は、$ w \approx 1.54563 $ を用いて $ w^n $ のように増加し、ベーゼ近似と整合的である。
• 独立集合の数の対数におけるフラクチュエーションは、$ n $ の増加に伴って有界のまま保たれ、$ O(1) $ フラクチュエーションの仮説を支持する。
• 3正則グラフにおけるカーネルの平均数は、$ y \approx 1.299 $ を用いて $ y^n $ のように増加し、これは新たな仮説であり、数値的証拠によって支持されている。
• カーネルの数の対数におけるフラクチュエーションも有界であり、$ O(1) $ の挙動を示しているが、独立集合よりも大きな分散を示している。
• 平均次数が3の非正則グラフでは、フラクチュエーションが $ n $ と共に増大する。これは、$ O(1) $ フラクチュエーションの性質が正則性に依存していることを示している。
• BDDsを用いることで、$ n = 40 $ まで独立集合およびカーネルの正確な列挙が可能となり、大規模なランダム3正則グラフに対する高精度なデータが得られた。