[論文レビュー] Lattice paths with catastrophes

Cyril Banderier, Michael Wallner|arXiv (Cornell University)|Jul 6, 2017

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

本稿では、正の高さからゼロへの急激なジャンプ（「崩壊」）を許す格子パス——いわゆる『崩壊付き格子パス』——を、核法（kernel method）と解析的組合せ論を用いて導入・分析する。一般のジャンプ集合に対して、正確な数え上げ式、漸近展開、極限定理を提供し、一様な確率的生成を効率的に行うアルゴリズムを提示。古典的ダイクパスとは異なり、無限の負のドリフトを示すため、確率的挙動に顕著な相違が生じる。

ABSTRACT

In queuing theory, it is usual to have some models with a "reset" of the queue. In terms of lattice paths, it is like having the possibility of jumping from any altitude to zero. These objects have the interesting feature that they do not have the same intuitive probabilistic behaviour as classical Dyck paths (the typical properties of which are strongly related to Brownian motion theory), and this article quantifies some relations between these two types of paths. We give a bijection with some other lattice paths and a link with a continued fraction expansion. Furthermore, we prove several formulae for related combinatorial structures conjectured in the On-Line Encyclopedia of Integer Sequences. Thanks to the kernel method and via analytic combinatorics, we provide the enumeration and limit laws of these "lattice paths with catastrophes" for any finite set of jumps. We end with an algorithm to generate such lattice paths uniformly at random.

研究の動機と目的

• 正の高さからゼロへのジャンプを許す、古典的ダイクパスの変種としての崩壊付き格子パスを研究すること。
• これらのパスの組合せ論的および確率的挙動を分析し、特にブラウン運動に基づく直感とはどのように異なるかを明らかにすること。
• 任意の有限ジャンプ集合に対して、このようなパスの数の正確な数え上げと漸近的公式を提供すること。
• パス長、高さ、面積、最初の崩壊までの待ち時間といった主要パラメータの極限定理を導出すること。
• これらの格子パスを一様に効率的に確率的生成するアルゴリズムを開発すること。

提案手法

• 崩壊付き格子パスの母関数から導かれる関数方程式に対して、核法を適用して解く。
• 鞍点解析とプアセュール級数展開を活用し、解析的組合せ論を用いてパス数の漸近的展開を抽出する。
• 崩壊付きパスと特定の連分数展開との間の双対性（bijection）を確立し、既知の組合せ構造と関連付ける。
• 終点がゼロであるパスの母関数が特定の連分数展開を満たすことを示し、2通りの異なる方法で証明する。
• 大規模なジャンプ集合に対して計算的に扱いにくいため、文脈自由文法のアプローチは却下された。
• 本フレームワークを、偶数の高さでのみ崩壊が許される場合や時間ステップ制限付きのバージョン、状態依存の崩壊確率を持つモデルなど、変種への応用に拡張した。

実験結果

リサーチクエスチョン

• RQ1 崩壊付き格子パスは、古典的ダイクパスとどのように挙動が異なるのか。特に、確率的極限やドリフト特性の観点から。
• RQ2 任意の有限ジャンプ集合に対して、崩壊付き格子パスの正確な数え上げと漸近的成長率は何か。
• RQ3 このようなパスの母関数は連分数として表現可能か。その背後にある組合せ論的または代数的根拠は何か。
• RQ4 高さ、面積、最大アーチのサイズ、最初の崩壊までの待ち時間といった主要パラメータの極限定理は何か。
• RQ5 崩壊付き格子パスを効率的なアルゴリズムで一様に確率的生成することは可能か。

主な発見

• 終点がゼロであるパスの母関数は、繰り返し現れる z² 項を含む連分数展開を有する。これは定理3.1で厳密に証明されている。
• 任意の有限ジャンプ集合に対して、このような格子パスの数は、C · Aⁿ · n^α の形で漸近的に増加する。ここで、臨界指数 α はプアセュール展開による主要特異点から決定される。
• 漸近的挙動は、核方程式の鞍点解析によって支配され、臨界点 τ は P''(τ) = 0 を満たす。これは分散に類似したパrameterと関連する。
• アーチ（崩壊の間の最大パスセグメント）の長さが n 以上である確率の尾部確率は、~η / √n のように減少する。ここで η はプアセュール展開から導出される。
• 偶数の高さでのみ崩壊が許される、時間ステップ制限付き、状態依存の崩壊確率を持つモデルなど、変種に対しても本手法が適応可能である。
• 解析的組合せ論の枠組みと核法に基づき、このような格子パスの効率的な一様確率的生成アルゴリズムが構築された。