[論文レビュー] Intrinsic scales for high-dimensional LEVY-driven models with non-Markovian synchronizing updates

Anatoly Manita|arXiv (Cornell University)|Sep 9, 2014

Network Time Synchronization Technologies参考文献 57被引用数 3

ひとこと要約

本稿は、同期ジャンプを伴うLévy過程によって駆動される高次元的で非マルコフ型の確率的同期モデルのクラスを導入する。対称的システムでは、分布における漸近的同期が達成され、Lévy過程が安定分布の吸引域にあれば、内在的な空間スケールが出現する—具体的には、$ b_N = (N-1)^{1/\alpha} $ でスケーリングした際の成分間差が極限に収束し、その極限分布にはLinnik分布が含まれる。

ABSTRACT

We propose stochastic $N$-component synchronization models $(x_{1}(t),...,x_{N}(t))$, $x_{j}\in\mathbb{R}^{d}$, $t\in\mathbb{R}_{+}$, whose dynamics is described by Levy processes and synchronizing jumps. We prove that symmetric models reach synchronization in a stochastic sense: differences between components $d_{kj}^{(N)}(t)=x_{k}(t)-x_{j}(t)$ have limits in distribution as $t ightarrow\infty$. We give conditions of existence of natural (intrinsic) space scales for large synchronized systems, i.e., we are looking for such sequences $\{b_{N}\}$ that distribution of $d_{kj}^{(N)}(\infty)/b_{N}$ converges to some limit as $N ightarrow\infty$. It appears that such sequence exists if the Levy process enters a domain of attraction of some stable law. For Markovian synchronization models based on $α$-stable Levy processes this results holds for any finite $N$ in the precise form with $b_{N}=(N-1)^{1/α}$. For non-Markovian models similar results hold only in the asymptotic sense. The class of limiting laws includes the Linnik distributions. We also discuss generalizations of these theorems to the case of non-uniform matrix-based intrinsic scales. The central point of our proofs is a representation of characteristic functions of $d_{kj}^{(N)}(t)$ via probability distribution of a superposition of $N$ independent renewal processes.

研究の動機と目的

• 非マルコフ型で高次元的な確率的同期システムの一般枠組みを構築すること。
• このようなシステムが分布において長期的に同期するための条件を確立すること。
• 成分間の差のスケーリングが $ N \to \infty $ で収束するような内在的空間スケール $ b_N $ を特定すること。
• 再生過程の重ね合わせと特性関数解析を用いて、マルコフ型 $ \alpha $-安定モデルの結果を非マルコフ型設定へと拡張すること。
• 作用素安定分布と行列に基づく内在的スケールが、同期システムの漸近的挙動における役割を明らかにすること。

提案手法

• 非独立同分布の時刻におけるランダムな同期ジャンプによって中断される独立なLévy過程としての成分ダイナミクスのモデル化。
• 成分間差の特性関数を $ N $ 個の独立な再生過程の重ね合わせとして表現する。
• ラプラス変換と母関数を用いて特性関数の漸近的挙動を分析する。
• 主要再生定理の近似と特性関数差のバインディングを用いて収束結果を導出する。
• 非対称設定におけるスカラースケーリングの一般化として、Jurek座標を用いた行列ベースの内在的スケールを導入する。
• 安定分布の吸引域にあれば、極限分布がLinnik分布に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 非マルコフ型でLévy駆動の同期モデルが、分布において漸近的同期を達成する条件は何か？
• RQ2 成分間差のスケーリングされた形 $ d_{kj}^{(N)}(\infty)/b_N $ が $ N \to \infty $ で収束するような内在的空間スケール $ b_N $ は何か？
• RQ3 成分間差の極限分布は、Lévy過程の特性、特に安定分布の吸引域内にある場合にどのように依存するか？
• RQ4 マルコフ型 $ \alpha $-安定モデルの結果は、一般の到着間隔分布を有する非マルコフ型モデルへと拡張可能か？
• RQ5 行列ベースのスケーリングとJurek座標は、スカラー形式を超えた内在的スケールの一般化において果たす役割は何か？

主な発見

• Lévy過程によって駆動される対称的 $ N $ 成分システムでは、分布における同期が達成される：$ t \to \infty $ のとき $ d_{kj}^{(N)}(t) $ は分布収束する。
• $ \alpha $-安定Lévy過程に対して、$ b_N = (N-1)^{1/\alpha} $ という内在的スケールが存在し、$ N \to \infty $ で非退化極限に収束する。
• 非マルコフ型モデルでは、漸近的にスケーリングが成立し、$ \chi_N(\infty; \lambda) $ が $ \frac{1}{1 + \theta_{1,N} \boldsymbol{\eta}(\lambda)} $ の形の特性関数に収束する。ここで $ \theta_{1,N} \sim mN/\varkappa $ である。
• Lévy過程が安定分布の吸引域にある場合、極限分布にはLinnik分布が含まれる。
• Jurek座標による行列ベースの内在的スケールは、スカラースケーリングを一般化し、高次元システムにおける非一様スケーリングを可能にする。
• 極限特性関数の近似誤差は $ \mathcal{O}(N l_N) $ で有界であり、$ N \to \infty $ で消えるため、収束が保証される。