[論文レビュー] The correlation decay (CD) tree and strong spatial mixing in multi-spin systems

Chandra Nair, Prasad Tetali|ArXiv.org|Jan 17, 2007

Markov Chains and Monte Carlo Methods参考文献 9被引用数 11

ひとこと要約

本稿では、有界次数の任意の有限グラフにおける頂点の周辺確率を正確に再現する境界条件を備えた有限の木（相関減衰木、CD木）を導入する。また、無限正則木（次数D）で非常に強い空間混合が成立するならば、最大次数Dのすべてのグラフに対しても同様に成立することを証明し、多スピン系における空間混合の最悪ケースとして正則木が成立することを示している。

ABSTRACT

This paper deals with the construction of a correlation decay tree (hypertree) for interacting systems modeled using graphs (hypergraphs) that can be used to compute the marginal probability of any vertex of interest. Local message passing equations have been used for some time to approximate the marginal probabilities in graphs but it is known that these equations are incorrect for graphs with loops. In this paper we construct, for any finite graph and a fixed vertex, a finite tree with appropriately defined boundary conditions so that the marginal probability on the tree at the vertex matches that on the graph. For several interacting systems, we show using our approach that if there is very strong spatial mixing on an infinite regular tree, then one has strong spatial mixing for any given graph with maximum degree bounded by that of the regular tree. Thus we identify the regular tree as the worst case graph, in a weak sense, for the notion of strong spatial mixing.

研究の動機と目的

• 任意の有界次数の有限グラフにおける頂点の周辺確率を正確に再現する有限木（CD木）を構築すること。
• 2スピン系に限らない計算木アプローチを、多スピン系および多体相互作用へと拡張すること。
• 無限正則木（次数D）で非常に強い空間混合が成立するならば、最大次数Dのすべてのグラフに対しても同様に成立することを確立すること。
• 多スピン系における有界次数系の空間混合において、無限正則木が最悪ケースのグラフであることを特定すること。
• グラフィカルモデルにおける相関減衰を用いた効率的近似アルゴリズムの理論的基盤を提供すること。

提案手法

• 元のグラフ内の自己回避ウォークから相関減衰（CD）木を構築し、番号の高い辺とサイクルを閉じる頂点を含む。
• CD木の境界条件を定義し、根における周辺確率が元のグラフと一致するようにする。
• CD木上で再帰的メッセージパッシング方程式を用いて周辺確率を正確に計算する。
• 木の構造と境界条件を通じて、CD木上の空間混合と元のグラフとの間の関係を確立する。
• 非常に強い空間混合が無限正則木（次数D）で成立するならば、最大次数Dのすべてのグラフに対しても成立することを証明する。
• CD木上の指数的相関減衰を活用し、多項式時間内に実行可能な効率的近似アルゴリズムを設計する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限グラフにおける頂点の周辺確率が、適切な境界条件を備えた有限木と一致するような木を構築できるか？
• RQ2 無限正則木（次数D）で強い空間混合が成立するならば、最大次数Dのすべてのグラフに対しても同様に成立するか？
• RQ3 多スピン系における有効な次数制限付き空間混合において、無限正則木は最悪ケースのグラフであるか？
• RQ4 CD木フレームワークは、2スピン系を超えて多スピンおよび多体相互作用へと拡張可能か？
• RQ5 CD木上の相関減衰を用いた周辺確率の近似の計算複雑度は何か？

主な発見

• CD木により、適切に定義された境界条件を備えた木への還元によって、任意の有限グラフにおける周辺確率を正確に計算可能である。
• ペアワイズ相互作用を有する任意の多スピン系で、無限正則木（次数D）で非常に強い空間混合が成立するならば、最大次数Dのすべてのグラフに対しても同様に成立する。
• 無限正則木は強い空間混合の最悪ケースのグラフである。これは、正則木上で得られる結果が、すべての有効な次数制限付きグラフに一般化可能であることを意味する。
• 周辺確率は、nに対して多項式時間内に(1±ε)の精度で近似可能であり、指数は空間混合率の逆数と次数Dに依存する。
• ε = n^(-β)の近似の計算複雑度はΘ(n^(β/κ_D * log D))であり、κ_Dは正則木における空間混合率である。
• このフレームワークにより、周辺確率のテレスコピック積を用いた分割関数の効率的近似アルゴリズムが可能となる。