[論文レビュー] A Kernel Method for Exact Tail Asymptotics --- Random Walks in the Quarter Plane

Hui Li, Yiqiang Q. Zhao|arXiv (Cornell University)|May 17, 2015

Stochastic processes and statistical mechanics参考文献 32被引用数 10

ひとこと要約

本稿では、未知の生成関数を明示的に求めることなく、四分円平面内のランダムウォークにおける正確な尾尾漸近挙動を求めるカーネル法を導入する。支配的特異点の解析と、タウバー型定理を用いたその漸近的性質の分析により、4種類の異なる正確な尾尾挙動—幾何的減衰、$n^{-1/2}$、$n^{-3/2}$、$n$ 要因による幾何的減衰の変調—を体系的に導出する。この方法は、すべての安定なランダムウォークモデルに適用可能であり、複数の支配的特異点が共存する非典型ケースにおいて周期的現象を引き起こす場合にも対応可能である。

ABSTRACT

In this paper, we propose a kernel method for exact tail asymptotics of a random walk to neighborhoods in the quarter plane. This is a two-dimensional method, which does not require a determination of the unknown generating function(s). Instead, in terms of the asymptotic analysis and a Tauberian-like theorem, we show that the information about the location of the dominant singularity or singularities and the detailed asymptotic property at a dominant singularity is sufficient for the exact tail asymptotic behaviour for the marginal distributions and also for joint probabilities along a coordinate direction. We provide all details, not only for a "typical" case, the case with a single dominant singularity for an unknown generating function, but also for all non-typical cases which have not been studied before. A total of four types of exact tail asymptotics are found for the typical case, which have been reported in the literature. We also show that on the circle of convergence, an unknown generating function could have two dominant singularities instead of one, which can lead to a new periodic phenomena. Examples are illustrated by using this kernel method. This paper can be considered as a systematic summary and extension of existing ideas, which also contains new and interesting research results.

研究の動機と目的

• 二変数ランダムウォークの四分円平面における定常分布の正確な尾尾漸近挙動を体系的に導出するための手法を開発すること。
• 尾尾漸近解析において、未知の生成関数やラプラス変換を明示的に求めることの必要性を排除すること。
• 複数の支配的特異点を有する非典型ケースを含む、すべての可能な正確な尾尾挙動のタイプを同定すること。
• 生成関数のグローバルな関数形ではなく、特異点の位置と局所的漸近的性質に注目することで、既存のカーネル法を拡張すること。
• 一般化されたおよび特異なケースを含む、すべての安定なランダムウォークモデルに適用可能な統一的枠組みを提供すること。

提案手法

• 未知の生成関数の支配的特異点を明示的に解かずに特定するため、カーネル方程式の解析に依存する。
• タウバー型定理を用いて、支配的特異点の位置とその局所的漸近的性質を、定常確率の尾尾減衰率と結びつける。
• 支配的特異点の性質と境界生成関数との相互作用に基づき、4種類の尾尾漸近挙動を区別する。
• 円周上に2つの支配的特異点が共存するような非典型ケースを分析するフレームワークを導入し、尾尾挙動に周期的振動を引き起こす現象を解明する。
• 座標方向における周辺確率および同時尾確率の両方に適用可能であり、生成関数の漸近的解析を用いる。
• 解析的接続と特異点の伝達を活用して、カーネル関数と境界生成関数 $\pi_1(x)$ および $\pi_2(y)$ の相互作用を活用する。

実験結果

リサーチクエスチョン

• RQ1 生成関数が未知である場合、四分円平面におけるランダムウォークの定常分布の正確な尾尾漸近挙動は何か？
• RQ2 未知の生成関数を明示的に解かずに、尾尾漸近挙動を導出できるか？
• RQ3 複数の支配的特異点が収束円周上に共存する場合、尾尾挙動にはどのような影響が生じるか？
• RQ4 移動量と遷移確率の異なる組み合わせが、どのように異なる尾尾減衰パターンを生じるか？
• RQ5 本手法は、$n^{-1/2}$ や $n^{-3/2}$ のような非幾何的変調を含む、すべての可能な尾尾漸近タイプを体系的に分類できるか？

主な発見

• 4種類の異なる正確な尾尾漸近挙動が同定された：幾何的減衰、$n^{-1/2}$ による幾何的減衰の変調、$n^{-3/2}$ による幾何的減衰の変調、$n$ 要因による幾何的減衰の変調。
• 収束円周上に2つの支配的特異点が共存する場合、尾尾挙動に新たな周期的現象が現れ、減衰率に振動的補正が生じる。
• 一般化された2需要モデルでは、サービス率と到着率の相対的な値に依存し、$\mu_k$ と $\lambda, \lambda_k$ を含む不等式によって3つの異なる領域が定義される。
• $M_y > 0$ かつ $M_x < 0$ である単純ランダムウォークの場合、$x_3$ に関する線形式と閾値との比較によって3つの尾尾領域が定義され、それぞれ異なる減衰変調に対応する。
• $M_y < 0$ かつ $M_x < 0$ の場合、$x^*$ と $y^*$ を含む2つの不等式で定義される領域において、幾何的減衰に $n$ 要因を乗じた第4の尾尾漸近タイプが確認された。加えて、遷移確率に関する条件も必要となる。
• 臨界領域においても、主要漸近項の係数が非ゼロのままであることが確認され、導出された尾尾形式の有効性が保証された。