[論文レビュー] Categorical Belief Propagation: Sheaf-Theoretic Inference via Descent and Holonomy

Enrique ter Horst, Sridhar Mahadevan+1 more|arXiv (Cornell University)|Jan 8, 2026

Advanced Graph Neural Networks被引用数 0

ひとこと要約

この論文は因子グラフ上の信念伝搬のカテゴリ的枠組みを構築し、ホロノミーに基づく下降を導入してルーピー推論をセクターごとの厳密計算へ分解し、ループ阻害をデ deterministic compilation (HATCC) によって検出する。

ABSTRACT

We develop a categorical foundation for belief propagation on factor graphs. We construct the free hypergraph category \(\Syn_Σ\) on a typed signature and prove its universal property, yielding compositional semantics via a unique functor to the matrix category \(\cat{Mat}_R\). Message-passing is formulated using a Grothendieck fibration \(\int\Msg o \cat{FG}_Σ\) over polarized factor graphs, with schedule-indexed endomorphisms defining BP updates. We characterize exact inference as effective descent: local beliefs form a descent datum when compatibility conditions hold on overlaps. This framework unifies tree exactness, junction tree algorithms, and loopy BP failures under sheaf-theoretic obstructions. We introduce HATCC (Holonomy-Aware Tree Compilation), an algorithm that detects descent obstructions via holonomy computation on the factor nerve, compiles non-trivial holonomy into mode variables, and reduces to tree BP on an augmented graph. Complexity is \(O(n^2 d_{\max} + c \cdot k_{\max} \cdot δ_{\max}^3 + n \cdot δ_{\max}^2)\) for \(n\) factors and \(c\) fundamental cycles. Experimental results demonstrate exact inference with significant speedup over junction trees on grid MRFs and random graphs, along with UNSAT detection on satisfiability instances.

研究の動機と目的

• 信念伝搬を因子グラフ上での自由なハイパーグラフ圏を用いて普遍的な構文/意味論/実行の分離を実現する。
• 意味論を半環パラメトリックな消去によってMatRへ評価し、SCFAで構造をエンコードする。
• グラフ依存のメッセージ空間を捉えるためにメッセージ伝搬をGrothendieck ファブリケーションとしてモデル化する。
• BP更新における不変性を明らかにするためにゲージ同変性とシンプリシャル構造を導入する。
• 下降障害を検出し推論を木構造のサブ問題へ還元するHolonomy-Aware Tree Compilation (HATCC)を提案する。

提案手法

• 因子グラフ推論の Typed Signature から自由なハイパーグラフ圏としてSynΣを構成する。
• SemanticsをSynΣをMatRで評価し、合成を有限消去として解釈する。
• BP実行を分極化された因子グラフ上のメッセージファブリケーションとして、スケジュールに基づく自己同型を用いて定式化する。
• ゲージ伝搬写像 ΘG による BP のゲージ同変性を確立し、意味論を実行から分離する。
• カバーに沿った局所意味論のグローバル意味論への下降を定義し、有限状態空間が適用される場合には有効な下降を形式化する。
• ホロノミー生成子を計算し、軌道構造を同定し、ルーピー推論をセクターごとの木BPへ分解するためのHATCCを提示する。

実験結果

リサーチクエスチョン

• RQ1 カテゴリ的枠組みの中で信念伝搬に普遍的な構文-意味論-実行の分離をどう実現できるか？
• RQ2 ホロノミーに基づく下降を介して、ルーピーBPをいつ厳密に保証できるか、あるいは厳密なサブ問題へ分解できるか？
• RQ3 ホロノミーは下降をどのように妨げ、または可能にするのか、そしてこの障害を実現可能なサブ問題へどうコンパイルできるか？
• RQ4 BPにおけるゲージ対称性の役割は何か、投影BPはゲージ同値性の下でどう振る舞うか？
• RQ5 決定性のコンパイル（HATCC）は、ルーピー推論を木状の計算の有限混合へと保証付きで変換できるか？

主な発見

• 信念伝搬はメッセージ空間上の多項式自己写像として定式化でき、不変点は周辺確率に対応する。
• BPはゲージ伝搬写像の下で半同変であり、下降を射影的メッセージ空間とゲージ非依存の信念へ可能にする。
• 厳密推論は有効な下降として特徴づけられ、有限カバーでは下降が常に可能である；木構造およびジャンクションツリー様の分解は特別なケースである。
• ホロノミー（グローバルなサイクル輸送）は下降を妨げる；HATCCはホロノミーを検出しモード変数へコンパイルし、推論をセクターごとの木BPへ分解する。
• 実験では、格子MRFやランダムグラフでジャンクションツリーよりも速い厳密推論を示し、SATインスタンスでの UNSAT 検出を主張通り示した。