[논문 리뷰] Hitting Probabilities of Finite Points for One-Dimensional Lévy Processes

Kohki Iba|arXiv (Cornell University)|2026. 02. 10.

Probability and Risk Models인용 수 0

한 줄 요약

논문은 1차원 Lévy 과정이 유한한 점들 중 특정 점을 처음으로 만나는 확률에 대한 명시적 공식을 도출하고, 트레이스 과정의 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.

연구 동기 및 목표

• 일반적으로 점프가 Brownian 모션을 넘어서도 유의미한 다점 도달 확률을 갖도록 하는 1차원 Lévy 과정의 다점 도달 확률 연구를 동기화한다.
• A_n의 유한 집합에서 x에서 시작한 과정이 특정 a_i를 먼저 만나는 확률을 명시적으로 도출한다.
• 이 확률들이 재정규화된 제로 레졸벤트 h에 의해서만 표현될 수 있음을 보인다.
• 두 점 문제를 다점 경우로 확장하고 A_n에서의 트레이스 과정의 Q-매트릭스와의 관련성을 보인다.]
• method

제안 방법

• 재정규화된 제로 레졸벤트 h를 활용한다. h는 재발(recurrence)에서의 극한 레졸벤트 차이를 통해 정의되거나, 과도한(transient) 경우에는 P(T_0=∞)를 통해 정의된다.
• 도출된 도출법은 excursion 이론과 국소시간을 이용해 도달 이벤트를 excursion Measures n^{a} 및 Green 행렬과 연결한다.
• T_{a_i}=T_{A_n}에 대한 명시적 확률 공식을 h(및 κ를 포함한 transient/Poisson화 설정)로 도출한다.
• 다점도달 확률을 쌍별 도달 확률로 구성된 선형 시스템으로 표현하고(정리 1.2), 구조화된 행렬의 역으로 풀이한다.
• excursion 측정치(정리 1.4)를 이용해 Q-매트릭스의 항 q_{i,j}를 -q_{i,i}와 P_{a_i}(T_{a_j}<T_{A_n\backslash\first a_i})으로 표현한다.
• 공식들을 일리스트(Brownian, stable, spectrally negative) 형태의 구체적인 예를 제시한다.

실험 결과

연구 질문

• RQ1 1차원 Lévy 과정이 유한한 집합 A_n 중에서 특정 점을 처음으로 만나는 확률의 명시적 형태는 무엇인가?
• RQ2 이 다점 도달 확률을 재정규화된 제로 레졸벤트 h를 이용해 어떻게 표현할 수 있는가?
• RQ3 A_n에서의 트레이스 과정의 Q-매트릭스를 h 및 excursion 측정치로 표현하면 어떻게 되는가?
• RQ4 두 점 경우에서 자연스럽게 다점으로 확장되며, 관련 선형 시스템은 어떻게 해석적으로 풀리는가?
• RQ5 주요 과정 계열(Brownian, stable, spectrally negative)에서 Q의 구체적 표현은 어떤가?

주요 결과

• P_x(T_{a_i}=T_{A_n})에 대한 명시적 공식이 재정규화된 제로 레졸벤트 h(및 과도기적 경우의 κ)로 도출된다.
• 다점 도달 확률은 쌍방 도달 확률로 구성된 (n−1)×(n−1) 행렬의 역으로 주어진다(정리 1.2).
• 트레이스 과정의 Q-매트릭스 항 q_{i,j}는 q_{i,i}의 음수와 P_{a_i}(T_{a_j}=T_{A_n\{a_i}})의 곱으로 주어지며, excursion과 임베디드 체인 사이의 구체적 연계를 제공한다(정리 1.4).
• 재귀 설정에서 h는 zero-resolvent 극한 r_q(0)−r_q(−x)에서 도출되고; 과도 설정에서 h(x) = lim_{q→0+}(r_q(0)−r_q(−x)) = (1/κ) P_x(T_0=∞)이다.
• 이 논문은 Brownian 운동, strictly α-안정, 그리고 spectrally negative Lévy 과정에 대해 Q를 명시적으로 표현하는 구체적 예를 제공한다(예 5.1–5.3).
• 결과들은 Getoor의 trace process 및 resolvent에 대한 결과와의 연결을 보여주며, 모든 양은 h를 통해 표현될 수 있음을 분명히 한다.