[論文レビュー] A limit theorem for diffusions on graphs with variable configuration

Alexei Kulik|ArXiv.org|Jan 23, 2007

advanced mathematical theories参考文献 11被引用数 3

ひとこと要約

本稿は、エッジ係数（ドリフトおよび拡散）と頂点非対称性パラメータが変化するグラフ構成の下での拡散過程の極限定理を確立する。頂点群が点に収縮する際の極限非対称性パラメータの明示的公式が得られ、特異な拡散（例えばツィレルソンの特異性を有するもの）がグラフの収縮によって非特異な過程に弱近似可能となる。これにより、ストロング解としての確率微分方程式（SDE）への表現が可能になる。

ABSTRACT

A limit theorem for a sequence of diffusion processes on graphs is proved in a case when vary both parameters of the processes (the drift and diffusion coefficients on every edge and the asymmetry coefficients in every vertex), and configuration of graphs, where the processes are set on. The explicit formulae for the parameters of asymmetry for the vertices of the limiting graph are given in the case, when, in the pre-limiting graphs, some groups of vertices form knots contracting into a points.

研究の動機と目的

• エッジ係数と頂点非対称性パラメータが変化する中で、グラフ上の拡散過程の弱極限を分析すること。
• 頂点群が単一の点に収縮する際の非対称性極限パラメータを計算する非自明な問題を解決すること。
• ツィレルソンの特異性（例えば三重点において生じる）を有する拡散を、特異性を持たないグラフ上での非特異な拡散系列による構成的近似法を提供すること。
• このような特異な拡散が、頂点のねじれの除去（頂点の収縮）によるグラフ変形を通じて、ツィレルソンの特異性を有さない過程の弱極限として表現可能であることを示すこと。
• 特異性が解けないグラフ上の確率フローに対して、ストロングSDE表現を可能にする。

提案手法

• m個の頂点と2m本の辺を持つグラフの系列を構成し、そのうちm本はレーザーであり、残りのm本は連続する頂点を結ぶ長さ1/nの短い線分とする。
• 短い線分およびレーザー上に、エッジ係数（ドリフトおよび拡散）と非対称性パラメータ p_{i,∞}^n = p_{i,i+1}^n = 1/2 を割り当てる。
• エッジ長の収束と遷移確率の構造を用いて、極限グラフを単一の頂点とm本の辺を有するものとして定義する。
• 定理3を適用して、極限非対称性パラメータ p^1, ..., p^m を導出し、正規化定数 P = 1/m を得る。
• 射影過程 X^n が単一頂点グラフ上の極限過程 X̂ に分布収束することを示す。
• X^n を半直線上の1次元SDEの混合として表現し、ツィレルソンの特異性を有さないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 エッジ係数と頂点パラメータが変化する中で、グラフ上の頂点群が単一の点に収縮する際、極限拡散過程の非対称性パラメータはどのように振る舞うか？
• RQ2 三重点に起因するツィレルソンの特異性を有する拡散過程は、特異性を持たないグラフ上での非特異な拡散系列によって弱近似可能か？
• RQ3 特に、事前極限頂点に既知の非対称性パラメータが与えられた場合、頂点収縮の際の極限非対称性パラメータを支配する明示的公式は何か？
• RQ4 グラフ構成とエッジおよび頂点上の係数が両方とも変化する場合、拡散の極限挙動はどのように特徴づけられるか？
• RQ5 時刻に依存する関数としての1次元ウィーナー過程の関数的である過程の弱極限として、グラフ上の特異な拡散を表現することは可能か？

主な発見

• 収縮した頂点の極限非対称性パラメータは、事前極限頂点パラメータの正規化された寄与から正確に p^1, ..., p^m として得られる。
• 極限非対称性公式における正規化定数 P は P = 1/m であり、m は収縮する頂点の数である。
• 極限過程 X̂ は、事前極限過程から引き継いだ非対称性パラメータ p^1, ..., p^m を有し、元のグラフ構造と整合的である。
• m 個の頂点と長さ 1/n の短い辺を有する変更されたグラフ上での過程 X^n の系列は、単一頂点グラフ上の極限過程 X̂ に分布収束する。
• 各 X^n は1次元SDEの系のストロング解として表現可能であり、ツィレルソンの特異性を有さないことを示す。
• 本手法により、頂点収縮によるグラフの「解きほぐし」を通じて、ツィレルソンの特異性を有する任意の拡散を非特異な過程による弱近似が可能になる。