[論文レビュー] A Pearson-Dirichlet random walk

G. Le Caër|arXiv (Cornell University)|Dec 17, 2009

Diffusion and Search Dynamics参考文献 31被引用数 28

ひとこと要約

この論文は、パrameter q を用いたディリクレ分布によってステップ長をモデル化することで、制約付きランダムウォークを一般化している。q=1 の既知のケース（指数分布の長さ）を任意の q へ拡張する。整数および半整数 q の場合、2 種類のペアソン-ディリクレウォークの族が、d 次元のエンドポイントが R^k における超球面上の一様ベクトルの成分と同一分布に従うことを特定した。ここで k は n に対してアフィン関数である。さらに、ベッセル関数の積とべき関数の積分を用いて、R^3 および R^4 における球内に一様なエンドポイント分布を持つ 5 つのウォークを同定した。

ABSTRACT

A constrained diffusive random walk of n steps and a random flight in Rd, which can be expressed in the same terms, were investigated independently in recent papers. The n steps of the walk are identically and independently distributed random vectors of exponential length and uniform orientation. Conditioned on the sum of their lengths being equal to a given value l, closed-form expressions for the distribution of the endpoint of the walk were obtained altogether for any n for d=1, 2, 4 . Uniform distributions of the endpoint inside a ball of radius l were evidenced for a walk of three steps in 2D and of two steps in 4D. The previous walk is generalized by considering step lengths which are distributed over the unit (n-1) simplex according to a Dirichlet distribution whose parameters are all equal to q, a given positive value. The walk and the flight above correspond to q=1. For any d >= 3, there exist, for integer and half-integer values of q, two families of Pearson-Dirichlet walks which share a common property. For any n, the d components of the endpoint are jointly distributed as are the d components of a vector uniformly distributed over the surface of a hypersphere of radius l in a space Rk whose dimension k is an affine function of n for a given d. Five additional walks, with a uniform distribution of the endpoint in the inside of a ball, are found from known finite integrals of products of powers and Bessel functions of the first kind. They include four different walks in R3 and two walks in R4. Pearson-Liouville random walks, obtained by distributing the total lengths of the previous Pearson-Dirichlet walks, are finally discussed.

研究の動機と目的

• 指数的ステップ長を持つ制約付きランダムウォークを、ディリクレ分布に従う長さを用いてより広いクラスへ一般化すること。
• エンドポイント分布が球面または球体上に一様に分布する条件を同定すること。
• 多次元分布と特殊関数、特にベッセル関数との関係を調査すること。
• 既知のランダムフライトおよび拡散的ウォークの結果を、統一的なペアソン-ディリクレフレームワークに拡張すること。
• 長さの制約と次元性が R^d 内のエンドポイント統計に与える影響を調査すること。

提案手法

• n ステップのランダムウォークを、(n-1)-単体上にパrameter q を持つディリクレ分布からステップ長を抽出する形でモデル化する。
• 全路線長が固定値 l に等しい条件のもとでウォークを条件づけ、正確な分布的解析を可能にする。
• 対称性と変換技術を用いて、d 次元のエンドポイント分布を R^k 内の超球面上の一様測度と関連付ける。
• ベッセル関数の積とべき関数の積分に関する既知の恒等式を活用し、R^3 および R^4 における一様エンドポイント分布を有するケースを同定する。
• モーメント生成関数および特性関数の解析を通じて、エンドポイント成分の同時分布を導出する。
• ペアソン-ディリクレウォークの全長を再配分することでペアソン-リウヴィルウォークを導入し、さらなる分布的解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どの q の値と次元 d に対して、ペアソン-ディリクレウォークのエンドポイント分布が、ある k に対して R^k 内の超球面上の一様測度と等価になるか？
• RQ2 制約付きランダムウォークのエンドポイントが R^d 内の球体上に一様に分布するのはどのような条件下か？
• RQ3 ステップ長のディリクレ分布のパrameter がエンドポイント分布の幾何的性質にどのように影響するか？
• RQ4 ベッセル関数の積とべき関数の積分は、一様エンドポイント分布を同定する際に果たす役割は何か？
• RQ5 ペアソン-ディリクレウォークの性質は、関連するペアソン-リウヴィルウォークへどのように拡張されるか？

主な発見

• 整数および半整数 q の場合、2 種類のペアソン-ディリクレウォークの族が、d が固定されたとき n に対してアフィン関数となる k における R^k 内の超球面上の一様ベクトルと同一のエンドポイント分布を示す。
• R^3 では、4 つの異なるウォークが、ベッセル関数の積とべき関数の有限積分から得られる、球体内部に一様なエンドポイント分布を持つ。
• R^4 では、2 つのウォークが、既知のベッセル関数積分を用いて、球体内部に一様なエンドポイント分布を持つことが同定された。
• 標準的なウォーク（q=1、指数的長さ）は、一般化されたペアソン-ディリクレモデルの特殊ケースとして回復される。
• 一般化されたウォークのエンドポイント成分は、R^k 内の超球面上の一様ベクトルの d 成分と同一分布に従い、幾何確率と特殊関数の間の関係を結ぶ。
• ペアソン-リウヴィルウォークは、ペアソン-ディリクレウォークの全長を再配分することで得られるさらなる一般化であり、新たな分布的洞察を可能にする。