[論文レビュー] Local time for lattice paths and the associated limit laws

Cyril Banderier, Michael Wallner|arXiv (Cornell University)|May 23, 2018

Mathematical Dynamics and Fractals参考文献 13被引用数 4

ひとこと要約

本稿は、長さ、最終高さ、および原点における局所時刻（x軸との交差回数として定義）を追跡するための、ラティスパスの3変数母関数を導出するための核法の新規な変種を提示する。局所時刻の漸近的性質は、漂移およびパスの種別に応じて普遍的な極限定理（幾何分布、負の二項分布、レイリー分布、または半正規分布）に従うことが示され、解析的組合せ論と特異点解析を用いて、ブラウン運動の手法では捉えきれない離散的パラメータを解消する。

ABSTRACT

For generalized Dyck paths (i.e., directed lattice paths with any finite set of jumps), we analyse their local time at zero (i.e., the number of times the path is touching or crossing the abscissa). As we are in a discrete setting, the event we analyse here is '' invisible '' to the tools of Brownian motion theory. It is interesting that the key tool for analysing directed lattice paths, which is the kernel method, is not directly applicable here. Therefore, we introduce a variant of this kernel method to get the trivariate generating function (length, final altitude, local time): this leads to an expression involving symmetric and algebraic functions. We apply this analysis to different types of constrained lattice paths (meanders , excursions, bridges,. . .). Then, we illustrate this approach on 'basketball walks ' which are walks defined by the jumps --2, --1, 0, +1, +2. We use singularity analysis to prove that the limit laws for the local time are (depending on the drift and the type of walk) the geometric distribution, the negative binomial distribution, the Rayleigh distribution, or the half-normal distribution (a universal distribution up to now rarely encountered in analytic combinatorics).

研究の動機と目的

• 方向付きラティスパスにおける原点における局所時刻（x軸との交差回数として定義）を分析するための手法を開発すること。
• 標準的な母関数技法の限界を克服するため、核法を局所時刻の取り扱いに拡張すること。
• 一般化されたダイクパスに対して、長さ、最終高さ、および局所時刻を符号化する3変数母関数を導出すること。
• 特異点解析を用いて、さまざまなパスの種別（メアンドル、エクスカージョン、ブリッジ、ウォーク）における局所時刻の極限定理を確立すること。
• ジャンプが{-2,-1,0,1,2}に属する「バスケットボールウォーク」に対して本手法を適用し、レイリー分布または半正規分布への収束を示すこと。

提案手法

• 長さ、最終高さ、および原点における局所時刻を含む3変数母関数を導出するため、核法を変更した手法を開発した。
• 代数関数を含む関数方程式に対して、オメガ作用素を適用し、局所時刻の統計量の抽出を可能にした。
• 母関数に特異点解析を適用し、z=ρにおける主要な特異点に注目した。プアウシュー展開により、平方根の挙動が明らかになった。
• 本手法により、1/F(z,q) が g(z,q) + h(z,q)√(1−z/ρ) の形をとり、g および h が正則で、g(ρ,1)=0 であることが特定された。
• z=ρ および q=1 における g および h の漸近的性質を分析することで、極限定理が特定された：ブリッジではレイリー分布、ゼロ漂移ウォークでは半正規分布が得られた。
• 数値シミュレーションにより、本手法の妥当性を検証した。実験的局所時刻分布は理論的極限定理へ迅速に収束することが確認された。

実験結果

リサーチクエスチョン

• RQ1 原点における局所時刻（x軸との交差回数として定義）は、方向付きラティスパスにおいてどのように体系的に分析可能か？
• RQ2 長さ、最終高さ、および局所時刻を同時に追跡する際のラティスパスの母関数の構造はいかなるものか？
• RQ3 異なるパスの種別および漂移条件において、局所時刻分布を支配する普遍的な極限定理は何か？
• RQ4 なぜ標準的なブラウン運動の手法は、ラティスパスにおける離散的局所時刻の分析に不適切なのか？
• RQ5 核法は、古典的なエクスカージョン分解では捉えきれない、帰還以外のパラメータ（例：軸交差回数）を扱うように拡張可能か？

主な発見

• 長さ、最終高さ、および局所時刻を符号化する3変数母関数が、変更された核法を用いて導出され、対称的かつ代数的関数で表現された。
• ブリッジの場合、局所時刻の極限定理はレイリー分布である。これは、z=ρ および q=1 における gq(ρ,1)<0 および h(ρ,1)≠0 であることから導かれる。
• ゼロ漂移ウォークの場合、局所時刻の極限定理は半正規分布である。これは、gq(ρ,1)=gqq(ρ,1)=0 かつ h(ρ,1)=0 であるが、gz(ρ,1)≠0 および hq(ρ,1)≠1 であることから生じる。
• 本手法は、ジャンプが{-2,-1,0,1,2}に属するような複雑なステップ集合（例：バスケットボールウォーク）に対しても適応可能であり、明示的な漸近的法則を導出できた。
• 数値的シミュレーションにより、経験的局所時刻分布が理論的レイリー分布および半正規分布へ迅速に収束することが確認された。
• 本手法により、局所時刻は解析的組合せ論における普遍的パラメータであることが明らかになった。極限定理は漂移およびパス制約に依存し、ブラウン運動スケーリングでは到達できない。