[論文レビュー] Mixing Time of Glauber Dynamics With Parallel Updates and Heterogeneous Fugacities

Mathieu Leconte, Jian Ni+1 more|arXiv (Cornell University)|Apr 2, 2010

Markov Chains and Monte Carlo Methods参考文献 8被引用数 3

ひとこと要約

本稿は、硬コアガスモデルにおける並列更新と非一様な活動度を有する一般化されたグローバー動的過程の混合時間について分析する。頂点数に関して多項式の混合時間を保証する条件を確立し、新たなドリフト解析を用いてポテンシャル関数の期待変化を制限する。主な結果は、頂点の次数、個々の活動度、更新確率に依存する。

ABSTRACT

Glauber dynamics is a powerful tool to generate randomized, approximate solutions to combinatorially difficult problems. Applications include Markov Chain Monte Carlo (MCMC) simulation and distributed scheduling for wireless networks. In this paper, we derive bounds on the mixing time of a generalization of Glauber dynamics where multiple vertices are allowed to update their states in parallel and the fugacity of each vertex can be different. The results can be used to obtain various conditions on the system parameters such as fugacities, vertex degrees and update probabilities, under which the mixing time grows polynomially in the number of vertices.

研究の動機と目的

• 複数の頂点が並列に更新され、各頂点に異なる活動度が割り当てられる場合のグローバー動的過程の混合時間の研究。
• 活動度、頂点の次数、更新確率に関する何らかの条件下で、混合時間が頂点数に関して多項式的である条件の特定。
• 古典的な1サイト更新グローバー動的過程を、並列更新モデルに拡張しつつ、積型定常分布を維持すること。
• この一般化された動的過程におけるマルコフ連鎖の収束速度に関する理論的境界の提供。
• 非均質なトラフィック要求を有する無線ネットワークにおける分散型、スループット最適スケジューリングアルゴリズムの設計を支援すること。

提案手法

• 各タイムスロットにおいて、一様にランダムに選ばれた独立集合の頂点群が同時に状態を更新する並列グローバー動的過程を提案。
• 更新集合として独立集合のみを選択することで、積型定常分布を維持する。
• 2つの配置間のハミング距離を測るポテンシャル関数 $\Phi$ を導入し、収束性の分析に用いる。
• マルコフ連鎖1ステップにおけるポテンシャル関数の期待変化を制限するためにドリフト解析を適用。
• 配置における頂点の追加・削除・更新に起因する寄与を分析することで、ポテンシャル関数の期待変化の上界を導出。
• インジケータ関数と近隣依存関係を用いて、特に中心頂点 $v$ から距離1および2の頂点に起因する状態遷移に起因するポテンシャルの期待変化を計算。

実験結果

リサーチクエスチョン

• RQ1 非一様な活動度を有する並列グローバー動的過程が多項式的混合時間を示すための、活動度、頂点の次数、更新確率に関する条件は何か？
• RQ2 複数の頂点が並列に更新可能である場合に、積型定常分布をどのように維持できるか？
• RQ3 非一様な活動度と並列更新を有する一般化されたグローバー動的過程の収束速度（混合時間）は何か？
• RQ4 非一様な活動度が存在する状況下で、ポテンシャル関数のドリフトと混合時間の関係は何か？
• RQ5 活動度の値と更新確率に関するある種の制約のもとで、グラフ構造に依存せずに混合時間の上限が得られるか？

主な発見

• 適切なシステムパラメータ条件下で、非一様な活動度を有する並列グローバー動的過程の混合時間は、頂点数 $n$ の多項式で上界が与えられる。
• ポテンシャル関数 $\Phi$ の期待変化が $-2 + \sum_{w \in \mathcal{N}_v} \lambda_w$ 以下であることが示され、これにより混合時間に対するドリフトに基づく境界が得られる。
• すべての $v$ に対して $\lambda_v \leq \frac{1}{\Delta_v - 1}$ が成り立つならば、ここで $\Delta_v$ は頂点 $v$ の次数であるが、このとき混合時間は $n$ の多項式で上界が与えられる。
• 期待ドリフトの上界は、頂点の近隣の活動度の和に依存しており、局所的な活動度制御が高速収束を保証することを示唆する。
• 古典的な1サイトグローバー動的過程の結果（例：$\lambda < \frac{2}{\Delta - 2}$）を、並列的かつ非一様な活動度の状況に一般化した。
• 導出された境界は十分にタイトであり、非均質なキュー長と干渉制約を有する無線ネットワークにおける分散型、スループット最適スケジューリングアルゴリズムの設計を支援できる。