[논문 리뷰] Uniform Lorden-type bounds for overshoot moments for standard exponential families: small drift and an exponential correction

Elmira Yu. Kalimulina, M. Ya. Kelbert|arXiv (Cornell University)|2026. 03. 10.

Stochastic processes and financial applications인용 수 0

한 줄 요약

이 논문은 작은 기울기 영역에서 지수 표본군의 증가-하강 과정의 overshoot 모멘트 R_b에 대해 균일한 Lorden-type 경계와 b에서의 지수 보정 및 경계가 상수 C_k=1로 개선될 수 있는 조건을 도출한다.

ABSTRACT

We study the overshoot \(R_b=S_{τ(b)}-b\) of a random walk with independent identically distributed increments from a standardised one-parameter exponential family, with primary emphasis on the small-drift regime \(θ\downarrow0\). Unlike the classical renewal-process setting with nonnegative increments, we allow sign-changing increments and assume only a positive drift \(μ_θ>0\). For each \(k\in\mathbb N\) we obtain Lorden-type moment bounds, uniform in the barrier \(b\), for \(\E_θ[R_b^k]\) with an explicit remainder term decaying exponentially in \(b\). The proof reduces the problem to the renewal process of strict ascending ladder heights and combines a simple bound for the limiting overshoot moments with a uniform exponential estimate for the rate of convergence of the distribution functions of \(R_b\) to the limiting random variable \(R_\infty\) as \(b o\infty\), uniformly in \(θ\in[0,θ^\ast]\). As a consequence, the classical constant \((k+2)/(k+1)\) arising in residual-life bounds improves to \(C_k=1\) for sufficiently large \(b\) at fixed \(θ\), and also uniformly over all \(b\ge0\) in the small-drift regime. Counterexamples are provided showing that the stronger inequality with \(kμ_θ\) in the denominator cannot hold uniformly in \((b,θ)\). Finally, the exponential CDF estimate is interpreted in terms of optimal transport: we obtain exponential convergence in the metric \(W_1\), a quantile coupling with \(\E|\widetilde R_b-\widetilde R_\infty|=O(e^{-rb})\), error bounds for Lipschitz functionals and a total-variation bound for smoothed distributions.

연구 동기 및 목표

• 표준 지수 분포군에서 양의 기울기를 갖는 부호 있는 증분에 대한 overshoot 모멘트를 동기화하여 동기화된 계측을 제시한다.
• 작은 기울기 영역에서 바이어 theta에 대해 경계 b에 대해 균일한 E_theta[R_b^k]의 Lorden-type 경계를 개발한다.
• 큰 경계나 작은 기울기 조건에서 고전적인 상수를 (k+2)/(k+1)에서 C_k=1로 감소시킨다.
• 한정된 초과 분포 R_infty로의 균일한 수렴 속도를 특성화하고 이를 최적 운송(metric)과 연결한다.
• 임계 임계값 중단 및 Wasserstein 거리와 완만화된 총 변이(TV)와의 커플링에의 응용을 제공한다.

제안 방법

• X_i를 F_theta(dx)=e^{ heta x-\psi( heta)}F_0(dx)로 주어진 표준 단일 매개변수 지수 분포군에서 모델링한다.
• overshoot 분석을 엄격상향 사다리 높이(H_n)의 재생성 과정과 사다리 높이 재생성 함수 U_theta^+(x)로 축소한다.
• 주요 재생성 정리 주장을 사용하여 θ에 대해 균일하게 P_theta(R_b≤y)가 P_theta(R_infty≤y)에 수렴하는 지수적 수렴 경계를 확립한다.
• 지수 보정 항을 가지는 E_theta[R_b^k]에 대한 명시적 경계를 도출한다: E_theta[R_b^k] ≤ (1/(k+1)) E_theta[(X_1^+)^{k+1}]/μ_theta + C (k Γ(k)/r^k) e^{-rb}.
• 큰 b일 때(Corollary 1) 또는 작은 theta일 때(Corollary 2) 이 경계가 E_theta[R_b^k] ≤ E_theta[(X_1^+)^{k+1}]/μ_theta로 축소됨을 보인다.
• 지수적 CDF 추정치를 Wasserstein 거리(W1), 분위수 커플링, 그리고 매끄러운 총 변이(TV) 경계로 해석한다.

실험 결과

연구 질문

• RQ1 증분이 표준 지수 분포군에서 양의 기울기를 가지는 경우 바리어 b에 대해 E_theta[R_b^k]를 균일하게 상한할 수 있는가?
• RQ2 지수 보정 항이 고전적 Lorden 경계를 더 촘촘하게 만들 수 있는지, 그리고 어떤 영역(큰 b 또는 작은 기울기)에서 경계가 C_k=1로 도달하는가?
• RQ3 b→∞일 때 R_b의 과도 분포가 R_infty로 수렴하는 속도를 θ에 대해 균일하게 구하는 방법은 무엇이며 이를 최적 운송으로 어떻게 정량화하는가?
• RQ4 이 경계들이 임계 중단 문제와 커플링에 어떻게 적용되며, 미세화된 TV 경계나 Lipschitz 함수적에 어떤 영향을 주는가?

주요 결과

• 균일한 보정과 지수 보정이 포함된 상한이 증명된다: E_theta[R_b^k] ≤ (1/(k+1)) E_theta[(X_1^+)^{k+1}]/μ_theta + C (k Γ(k)/r^k) e^{-rb} for theta in (0, theta*].
• 임계값 b_0(θ,k)가 존재하여 b ≥ b_0(θ,k)일 때 경계가 E_theta[R_b^k] ≤ E_theta[(X_1^+)^{k+1}]/μ_theta (C_k=1)로 개선된다.
• 충분히 작은 기울기 θ의 경우 이 개선은 모든 b ≥ 0에 대해 균일하게 C_k=1을 만족한다는 것이 정리들로부터의 보응이다.
• 제2조는 과도 분포의 균일한 지수 수렴 속도를 제공한다: sup_theta≤θ* |P_theta(R_b ≤ y) − P_theta(R_∞ ≤ y)| ≤ C e^{-r(b+y)}.
• 이로써 W1 수렴: sup_theta≤θ* W1(R_b, R_∞) ≤ (C/r) e^{-rb} 및 분위수 커플링으로 E|R̃_b − R̃_∞| = O(e^{-rb}).
• 응용으로는 Lipschitz 함수형의 오차 경계 및 매끄러운 TV 경계, 임계 중단 E_theta[τ(b)]를 통한 명시적 오차 조절이 포함된다.