[논문 리뷰] Large Deviations for Past-Dependent Recursions

Fima C. Klebaner, R. Liptser|ArXiv.org|2006. 03. 16.

Stochastic processes and statistical mechanics참고 문헌 9인용 수 9

한 줄 요약

이 논문은 소음이 작은 비마르코프성이고 과거에 의존하는 확률적 재귀관계에 대해, 소음 과정을 통한 연속 사상에 의한 수축 원리(contraction principle)를 사용하여 대편차원리(Large Deviation Principle, LDP)를 수립한다. 주요 기여는 경로 기반 LDP에 대한 명시적인 비용 함수와, 마르코프 경우에서의 구간에서의 퇴출 시간의 점근적 표현을, 소음 분포에 대한 크라머 유형 조건 하에서 도출한 것이다.

ABSTRACT

The Large Deviation Principle is established for stochastic models defined by past-dependent non linear recursions with small noise. In the Markov case we use the result to obtain an explicit expression for the asymptotics of exit time.

연구 동기 및 목표

• 일반적인 과거에 의존하는 비선형 확률적 재귀관계에 대해 소음이 작은 조건에서 대편차원리(Large Deviation Principle, LDP)를 수립하는 것.
• 무한 수열 공간에서 ρ-거리 기준으로 경로 기반 LDP를 지배하는 비용 함수의 명시적 표현을 도출하는 것.
• 마르코프 경우(m=1)에서 유한 구간에서의 퇴출 시간의 점근적 행동을 분석하는 것, 특히 [-1,1]에서의 퇴출을 중심으로 한다.
• LDP가 성립함을 보장하는 소음 분포에 대한 충분조건을 제시하는 것(크라머 조건과 모멘트 생성 함수의 스케일링을 통한).

제안 방법

• 재귀관계 f에 의해 정의된 연속 사상에 의해 i.i.d. 소음 시퀀스 (εξk)에서 해 경로 (Xkε)로의 LDP를 전이하기 위해 수축 원리(바르다한의 방법)를 적용한다.
• 유한 차원 사영에서의 LDP를 무한 차원 경로 공간 (R∞, ρ)으로 확장하기 위해 데이저-가르트너 정리(Dawson-Gärtner theorem)를 사용한다.
• 초기 조건과의 일致성을 확보하기 위해, uk = f(uk−1, ..., uk−m, vk)를 만족하는 vk에 대해 infimum을 취한 합으로서 비용 함수 J∞(ū)를 정의한다.
• 소음 가족 εξ에 대해 LDP가 성립하기 위해 조건 (A.1)–(A.3)을 설정한다. 이는 크라머 조건과 모멘트 생성 함수 H(t)의 스케일링 행동을 포함한다.
• 시간 동질성과 마르코프 성질을 활용하여 생존 확률 P(maxk≤Mn |Xkε| < 1)에 대한 재귀적 경계를 도출하고, 이로부터 n에 대해 기하급수적 감소를 이끌어낸다.
• 재귀 관계와 기하급수적 급수 경계를 사용하여 기대 퇴출 시간과 첫 번째 통과 확률 P0(max1≤k≤M |Xkε| ≥ 1)를 연결함으로써 점근적 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 해 (Xkε)k≥m 가 공간 (R∞, ρ) 에서 대편차원리(LDP)를 만족하는 조건은 무엇인가?
• RQ2 과거에 의존하는 비선형 재귀관계에 대한 경로 기반 LDP에 대한 비용 함수 J∞(ū)의 명시적 형태는 무엇인가?
• RQ3 마르코프 경우에서 ε → 0 일 때 구간 [-1,1] 에서의 퇴출 시간 τε 의 점근적 행동은 어떻게 되는가?
• RQ4 소음 과정에 대한 비용 함수 I(v) 를 결정하는 데 있어 모멘트 생성 함수 H(t) 의 스케일링은 어떤 역할을 하는가?

주요 결과

• 해 (Xkε)k≥m 가 공간 (R∞, ρ) 에서 비용 함수 J∞(ū) = ∑k=m∞ inf{vk : uk = f(uk−1, ..., uk−m, vk)} I(vk) 를 갖는 LDP를 만족한다. 여기서 I(v) 는 모멘트 생성 함수의 스케일링된 펜체르-레지오트 변환이다.
• 마르코프 경우(m=1)에서 기대 퇴출 시간의 점근적 행동은 limε→0 ε² log E[τε] = −(1/2)(1 − a²) 로 기술되며, 여기서 a 는 선형 모델의 자기상관 계수이다.
• 소음 시퀀스 (εξk) 에 대한 LDP 는 조건 (A.1)–(A.3) 하에서 성립한다. 이는 크라머의 조건과 H(t) 의 적절한 스케일링을 포함하며, I(v) = limε→0 q(ε)L(v/ε) 가 잘 정의되고 수렴 집합이 컴팩트함을 보장한다.
• 확률 P(max1≤k≤M |Xkε| ≥ 1) 는 ε → 0 일 때 지수적으로 감소하며, 이에 대한 상한은 생존 확률의 기하급수적 감소를 통해 기대 퇴출 시간을 경계하는 데 사용된다.
• 재귀 관계 P(τε > Mn) ≤ [1 − P0(max1≤k≤M |Xkε| ≥ 1)]ⁿ 을 통해 기하급수적 급수 경계를 도출하고, 이는 퇴출 시간의 점근적 표현 유도에 기여한다.
• 이전에 발견되지 않은 퇴출 시간 점근적 표현의 오류로 인해 2006년에 2.2정리의 수정판이 출판되었으며, 이는 결과가 정확한 확률적 경계에 매우 민감함을 시사한다.