[論文レビュー] Stochastic block model entropy and broadcasting on trees with survey

Emmanuel Abbé, Elisabetta Cornacchia+2 more|arXiv (Cornell University)|Jan 29, 2021

Cellular Automata and Applications参考文献 16被引用数 6

ひとこと要約

本稿は、古典的なスパースでアソートラクティブな状況におけるストキャスティックブロックモデル（SBM）の極限エントロピーを、信号対ノイズ比（SNR）が (1, 3.513) の区間を除きすべての値について確立している。この区間では近似値が提示されている。本稿は、SBMエントロピーと消去側情報（サーベイ）を伴う木構造上のブロードキャストの間の関係を確立することで、SNR > 3.513 または < 1 の場合に境界の無関係性とBP固定点の一意性を証明し、残りの狭い領域のみが未解決のままであることを示している。

ABSTRACT

The limit of the entropy in the stochastic block model (SBM) has been characterized in the sparse regime for the special case of disassortative communities [COKPZ17] and for the classical case of assortative communities but in the dense regime [DAM16]. The problem has not been closed in the classical sparse and assortative case. This paper establishes the result in this case for any SNR besides for the interval (1, 3.513). It further gives an approximation to the limit in this window. The result is obtained by expressing the global SBM entropy as an integral of local tree entropies in a broadcasting on tree model with erasure side-information. The main technical advancement then relies on showing the irrelevance of the boundary in such a model, also studied with variants in [KMS16], [MNS16] and [MX15]. In particular, we establish the uniqueness of the BP fixed point in the survey model for any SNR above 3.513 or below 1. This only leaves a narrow region in the plane between SNR and survey strength where the uniqueness of BP conjectured in these papers remains unproved.

研究の動機と目的

• 古典的なスパースでアソートラクティブな状況における対称的ストキャスティックブロックモデル（SBM）の極限エントロピーを特徴づけるギャップを埋めること。
• 非アソートラクティブなコミュニティや密度の高い状態にしか適用されない既存の結果を拡張すること。
• SBMエントロピーと側情報（サーベイ）を伴う木構造上のブロードキャストとの間の関係を確立すること。
• SNR > 3.513 または SNR < 1 の場合に、サーベイモデルにおける信念伝播（BP）固定点の一意性を証明すること。
• BP固定点の一意性が未解決のまま残っている残りの領域（SNR ∈ (1, 3.513)）を特定すること。

提案手法

• 消去側情報（サーベイ）を伴う木構造上のブロードキャストモデルにおいて、局所的木エントロピーの積分として全SBMエントロピーを表現すること。
• SBMと木モデルの間の標準的カップリングを用いて、両システムの関係を確立すること。
• BPメッセージの収束を分析するために、φ(r) = −exp(−r/2) を用いたポテンシャル関数法を適用すること。
• 強い凸性とモーメントバウンドを用いて、遠く離れた境界条件の影響が極限において消えることを示すことにより、境界の無関係性を証明すること。
• メッセージ差の減衰に基づく収縮的議論を用いて、BP固定点の一意性を確立すること。
• イジング模型理論とアメーナブルグラフ理論の結果を用いて、BECサーベイを伴う一般のアメーナブルグラフに対しても境界の無関係性を拡張すること。

実験結果

リサーチクエスチョン

• RQ1 信号対ノイズ比（SNR）がすべての値において、スパースでアソートラクティブなストキャスティックブロックモデルの極限エントロピーは何か？
• RQ2 側情報（サーベイ）の存在が、木構造ブロードキャストモデルにおけるコミュニティ構造の再構築にどのように影響を与えるか？
• RQ3 信念伝播（BP）固定点が、どのような条件下でサーベイモデルにおいて一意になるか？
• RQ4 SBMを消去側情報付きの木に写像した場合、境界の無関係性の性質が成り立つか、特にスパースな状態においては？
• RQ5 （SNR, サーベイ強度）平面上で、BP固定点の一意性が未解決のまま残っている正確な領域は何か？

主な発見

• SNR ∈ (1, 3.513) を除き、スパースでアソートラクティブなSBMの極限エントロピーは、すべてのSNR値について特徴づけられている。この区間では近似値が提供されている。
• 本稿は、SNR > 3.513 または SNR < 1 の場合に、信念伝播（BP）固定点がサーベイモデルにおいて一意であることを証明し、これらの領域におけるBP収束を確立している。
• SBMを消去側情報付きの木に写像した場合、境界の無関係性が成立しており、極限において遠く離れた境界条件は根の推定に影響しない。
• 正則木では、dθ² < 1 のとき、メッセージ差が率 C₁ < 1 で幾何的に減衰し、収束が保証される。
• 結果は、ポisson型後継者数を伴うガルトン＝ウォーソン木や、BECサーベイを伴うアメーナブルグラフへと拡張可能であり、体積増加と等周性の性質を用いて境界の無関係性が証明されている。
• BP固定点の一意性が未解決のまま残っている唯一の領域は、SNR ∈ (1, 3.513) の狭い区間であり、この領域における予想は未解決のままである。