[論文レビュー] Opinion Dynamics in Networks: Convergence, Stability and Lack of Explosion

Tung Mai, Ioannis Panageas+1 more|arXiv (Cornell University)|Jul 13, 2016

Opinion Dynamics and Social Influence参考文献 20被引用数 8

ひとこと要約

本稿では、ネットワーク上での決定的意見動態モデルを提案する。このモデルでは、人口の質量が小さいタイプ（例えば、政党）から大きいタイプへと流れ込み、ほとんど確実に、活性なタイプが独立集合を形成する固定点に収束する。さらに、タイプの確率的誕生・死滅を導入した拡張モデルを提示し、出生率が低い場合、質量移動がなく長期間にわたる安定した段階に達することを証明している。また、$1/\epsilon$に関して対数的であるタイプ数が保たれ、頻繁な出生があっても爆発を回避することが示された。

ABSTRACT

Inspired by the work of [Kempe, Kleinberg, Oren, Slivkins, EC13] we introduce and analyze a model on opinion formation; the update rule of our dynamics is a simplified version of that of Kempe et. al. We assume that the population is partitioned into types whose interaction pattern is specified by a graph. Interaction leads to population mass moving from types of smaller mass to those of bigger. We show that starting uniformly at random over all population vectors on the simplex, our dynamics converges point-wise with probability one to an independent set. This settles an open problem of Kempe et. al., as applicable to our dynamics. We believe that our techniques can be used to settle the open problem for the Kempe et. al. dynamics as well. Next, we extend the model of Kempe et. al. by introducing the notion of birth and death of types, with the interaction graph evolving appropriately. Birth of types is determined by a Bernoulli process and types die when their population mass is less than a parameter $ε$. We show that if the births are infrequent, then there are long periods of "stability" in which there is no population mass that moves. Finally we show that even if births are frequent and "stability" is not attained, the total number of types does not explode: it remains logarithmic in $1/ε$.

研究の動機と目的

• ケンプらによるオープンな問題、すなわち、初期人口ベクトルを単体上で一様にランダムに初期化した場合、意見動態が独立集合に収束するかを解明すること。
• ネットワーク上の意見システムにおいて、タイプ（例えば政党）の確率的誕生・死滅を導入することで、現実的な集団レベルの動態をモデル化すること。
• 出生・死滅過程下での長期的挙動を分析し、特に質量移動が停止するか、タイプ数が爆発するかを特定すること。
• 変動する出生率と人口閾値のもとで、安定期間の確率的境界とタイプ数の境界を確立すること。

提案手法

• ペアワイズ影響関数に基づき、ネットワークグラフ上で、小さいタイプから大きいタイプへ質量が流れ込む簡略化された意見動態更新ルールを導入する。
• リャプノフ関数を用いた議論により、活性なタイプが独立集合を形成する固定点へのほとんど確実な収束を証明する。
• タイプの誕生をパラメータ $p$ のベルヌーイ過程でモデル化し、質量が $\epsilon$ 未満になるとタイプが死滅するものとする。
• 質量移動がなく、安定した期間が存在する確率が非常に高いことを示すために、「安定期間」（質量移動のない区間）を定義する。
• 長さ $(16/p)\log(1/\epsilon)$ の区間ごとの周期的解析フレームワークを用い、タイプ数が減少または有界のまま保たれることを示す。
• 集中不等式と和集合の上限を用いて、タイプ数と安定期間の高確率境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 単体上で一様にランダムに初期化された場合、意見動態モデルはほとんど確実に独立集合に収束するか？
• RQ2 どのような条件下で、質量移動がなく長期間にわたる安定状態に達するか？
• RQ3 システム内のタイプ数は、時間経過とともに爆発するか、それとも出生・死滅過程下でも有界に保たれるか？
• RQ4 タイプの出生頻度が、安定状態に達する可能性と最大タイプ数にどのように影響するか？
• RQ5 出生率が高い場合、安定状態が達成されないとき、システムの漸近的挙動はいかなるものか？

主な発見

• 動的挙動は、確率1で、活性なタイプの集合が相互作用グラフにおける独立集合を形成する固定点に点-wise に収束する。
• 出生率が低い場合、高確率で、質量移動のない長期間の安定期間にシステムが到達する。
• 頻繁な出生があっても、タイプの総数は $O(\log(1/\epsilon))$ に有界に保たれ、爆発を回避する。
• $1 - 3\epsilon$ の確率で、動的挙動の終了時点でタイプ数は $72\log(1/\epsilon)$ 以下である。
• 減少条件のもとで、再帰的関係 $T(n) \leq T(n-1)/2 + 24\log(1/\epsilon)$ により、タイプ数は $\log(1/\epsilon)$ 期間以内に $48\log(1/\epsilon)$ 以下に低下する。
• 解析により、出生率が比較的低い条件下でも、システムは爆発を回避し、安定状態に達することが保証され、長期的な予測可能性が裏付けられる。