MathLabs
定理証明済み

ランダムサーファーの定常分布としてのページランク

内容

JJ を N×NN\times N 全成分1の行列(NN = ウェブページ数)とし、PP を行確率的なリンク行列とする(ページ ii はそれが指す各ページへ均等にリンクし、アウトリンクを持たないページは全ページへ一様に送られるとする)。任意の減衰係数 d∈(0,1)d\in(0,1) に対して、Google行列 G=dP+(1−d)1NJG=dP+(1-d)\tfrac1N J は既約かつ非周期的なマルコフ連鎖の遷移行列であり、したがって上記の基本定理により π=π(dP+(1−d)1NJ)\pi=\pi\Big(dP+(1-d)\tfrac1N J\Big) を満たす一意の定常分布 π\pi を持つ——この π\pi がまさにページランクベクトルであり、べき乗法 πk+1=πkG\pi_{k+1}=\pi_k G はどの初期推定値からもこれに収束する。

なぜ正しいのか?

これにより、「重要なページは他の重要なページからリンクされる」という曖昧な考えが、一意の解が保証された明確な不動点問題へと変わり、「リンクに沿ってランクを広げる」ことを単に繰り返すべき乗法がなぜ振動したり発散したりせず確実にうまくいくのかが説明される。

証明の概略

既約性。1−d>01-d>0 であるから、GG のすべての成分は狭義正である(Gij≥(1−d)/N>0G_{ij}\ge(1-d)/N>0)。したがってどのページからも他の任意のページへ一段階で正の確率で直接跳べる——基礎となるグラフは自明に強連結であり、ゆえに GG は既約である。

非周期性。どの状態からも(Gii>0G_{ii}>0 でもあるため自分自身も含め)他のすべての状態へ直接遷移できる連鎖は、あらゆる長さ 1,2,3,…1,2,3,\dots の帰還時刻を持ち、その最大公約数は1である。したがって GG は非周期的である。

存在性・一意性・収束性。GG は構成上行確率的であり(2つの行確率的行列 PP と J/NJ/N の凸結合 dP+(1−d)1NJdP+(1-d)\tfrac1N J は行確率的である)、既約かつ非周期的であることは今示したとおりなので、有限マルコフ連鎖の基本定理が直接適用できる:π=π(dP+(1−d)1NJ)\pi=\pi\Big(dP+(1-d)\tfrac1N J\Big) を満たす一意の定常分布 π\pi が存在し、GnG^n は各成分ごとにすべての行が π\pi に等しい行列へ収束する。

べき乗法。任意の出発分布 π0\pi_0 に対して πk=π0Gk\pi_k=\pi_0G^k であり、GkG^k のすべての行が k→∞k\to\infty のとき π\pi に収束するので、加重平均 π0Gk\pi_0G^k も π\pi に収束する——これがまさに、任意の出発ランク(通常は一様分布)から πk+1=πkG\pi_{k+1}=\pi_k G を繰り返し適用すると真のページランクベクトルに収束する理由である。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. David A. Levin, Yuval Peres, Elizabeth L. Wilmer (2017). Markov Chains and Mixing Times
  2. Sergey Brin, Lawrence Page (1998). The Anatomy of a Large-Scale Hypertextual Web Search Engine
  3. James R. Norris (1997). Markov Chains