[論文レビュー] Hitting Probabilities of Finite Points for One-Dimensional Lévy Processes

Kohki Iba|arXiv (Cornell University)|Feb 10, 2026

Probability and Risk Models被引用数 0

ひとこと要約

要約: この論文は、1次元リーヴィ過程が有限集合の特定の点を初めて hitting する確率の明示公式を導出し、trace過程のQ-マトリクスを正規化されたゼロ分解逆行行列を用いて表現する。

ABSTRACT

For a one-dimensional Lévy process, we derive an explicit formula for the probability of first hitting a specified point among a fixed finite set. Moreover, using this formula, we obtain an explicit expression for each entry of the $Q$-matrix of the trace process on the finite set. These formulas involve solely the renormalized zero resolvent.

研究の動機と目的

• ジャンプが Brown 動運動を超えてそのような確率を意味づける1次元リーヴィ過程の多点 hitting 確率の研究を動機づける。
• プロセスが x から出発して有限集合 A_n の中の特定の a_i に最初に hitt する確率の明示公式を導出する。
• これらの確率が正規化されたゼロ resolvent h のみで表現可能であることを示す。
• 二点の場合から多点ケースへ拡張し、A_n 上の trace 過程のQ-マトリクスと関連付ける。

提案手法

• 正規化されたゼロ resolvent h を用いる。再現性（limiting resolvent の差）による定義または遷移的な場合の P(T_0=∞) による定義。
• excursion 理論と局所時間を適用して hitting イベントを excursion 測度 n^{a} と Green 行列に結びつける。
• T_{a_i}=T_{A_n} を h（および遷移/ポアソン化設定での κ）を用いて明示的に導出。
• 複数点 hitting 確率を pairwise hitting 確率からなる線形系として表し、構造化された行列を反転して解く（定理1.2）。
• Q-マトリクスの成分 q_{i,j} を −q_{i,i} および P_{a_i}(T_{a_j}<T_{A_nackslashirst a_i}) を excursion 測度を用いて表現（定理1.4）。
• 公式を具体的な例（Brownian、安定分布、スペクトル的に負の Lévy過程）で示す。

実験結果

リサーチクエスチョン

• RQ1 1 次元リーヴィ過程が有限集合 A_n の中の特定点を最初に hitting する確率の明示的形はどのようになるか？
• RQ2 これらの多点 hitting 確率を正規化されたゼロ resolvent h を用いてどのように表現できるか？
• RQ3 trace 過程のQ-マトリクスを h と excursion 測度を用いてどのように表現できるか？
• RQ4 二点ケースから多点ケースへ自然に拡張できるか、対応する線形系はどのように解かれるか？
• RQ5 Brownian、安定、スペクトル的に負の Lévy過程などの主要系について Q の具体的表現はどうなるか？

主な発見

• P_x(T_{a_i}=T_{A_n}) の明示公式が h（および遷移の場合の κ）を用いて得られる。
• 多点 hitting 確率は、pairwise hitting 確率から構成される (n−1)×(n−1) 行列を反転することで得られる（定理1.2）。
• trace 過程 on A_n の Q-マトリクスの成分 q_{i,j} = −q_{i,i} P_{a_i}(T_{a_j}=T_{A_n\{a_i}}) となり、 excursion と埋め込みチェーンの具体的な関連を示す（定理1.4）。
• 再帰的設定では h はゼロ分解逆行列の極限 r_q(0)−r_q(−x) から派生；遷移的設定では h(x) = lim_{q→0+}(r_q(0)−r_q(−x)) = (1/κ) P_x(T_0=∞)。
• 本論文は Brownian、厳密に α-stable、スペクトル的に負の Lévy過程の Q の具体的表現を例示（例5.1–5.3）。
• Getoor の trace 過程と resolvent への結果との関連を示し、すべての量が h を通して表現可能であることを明らかにする。