[논문 리뷰] Stable processes conditioned to avoid an interval

Leif Doering, Andreas E. Kyprianou외 1명|arXiv (Cornell University)|2018. 02. 20.

Bayesian Methods and Mixture Models참고 문헌 17인용 수 4

한 줄 요약

이 논문은 충돌 시간 尾尾漸近의 해를 유도한 조화 함수를 사용하여 고정된 간격을 피하도록 조건화된 안정적인 Lévy 과정의 존재성을 확립한다. 모든 $\alpha \in (0,2)$ 에 대해, 조건화된 과정이 비반복적임을 증명하고, 간격에 도달할 때 멈추는 안정 과정의 시간-변경된 $h$-변환으로 유일하게 특징지어진다.

ABSTRACT

Conditioning Markov processes to avoid a domain is a classical problem that has been studied in many settings. Ingredients for standard arguments involve the leading order tail asymptotics of the distribution of the first hitting time of the domain of interest and its relation to an underlying harmonic function. In the present article we condition stable processes to avoid intervals. The required tail asymptotics in the stable setting for $α\geq 1$ go back to classical work of Blumenthal et al. and Port from the 1960s. For $α<1$, we appeal to recent results centred around the so-called deep factorisation of the stable process to compute hitting probabilities and, moreover, to identify the associated harmonic functions for all $α\in (0,2)$. With these in hand, we thus prove that conditioning to avoid an interval is possible in the classical sense and that the resulting process is a Doob $h$-transform of the stable process killed on entering the aforesaid interval. Appealing to the representation of the conditioned process as a Doob $h$-transform, we verify that the conditioned process is transient.

연구 동기 및 목표

• 고전적인 조건화 방법이 브라운 운동을 초월하여 고정된 간격을 피하도록 조건화된 안정 Lévy 과정을 엄밀히 정의하고 구성하는 것.
• 특히 표준 조화 함수 이론이 실패하는 어려운 경우인 $\alpha < 1$ 에서도 적절한 조화 함수 $h(x)$ 를 식별하는 것.
• 결과로 얻어진 조건화된 과정이 비반복적임을 증명하고, Lévy 과정의 경로 기반 조건화에 대한 기존 결과를 확장하는 것.
• 모든 색인 범위 $\alpha \in (0,2)$ 에 걸쳐 안정 과정을 통합적으로 다루며, 안정 과정과 코시 과정을 포함하는 것.
• 깊은 인수분해 및 잠재이론 도구를 사용하여 안정 설정에서 간격 피하기를 위한 Doob $h$-변환 구성의 타당성을 확립하는 것.

제안 방법

• 간격 $[-1,1]$ 에 도달할 때 멈추는 안정 과정의 시간-변경된 형태로 조건화된 과정을 Doob $h$-변환을 사용하여 구성한다.
• $\alpha \geq 1$ 인 경우, Blumenthal, Port (1960년대) 의 충격 시간 尾尾漸近의 고전적 결과에 의존한다.
• $\alpha < 1$ 인 경우, 최근의 안정 과정에 대한 깊은 인수분해 결과를 적용하여 충격 확률을 계산하고 조화 함수 $h(x)$ 를 식별한다.
• 죽은 잠재 측도 $U_{[-1,1]}(x, \cdot)$ 를 포함한 잠재이론적 추론을 사용하여 적분 가능성과 비반복성을 검증한다.
• Getoor의 비반복성 기준을 적용하기 위해, $[-1,1]$ 외부의 유한 집합에서 기대 수명이 유한한지 확인하며, $h(y)/h(x)$ 의 경계와 $u^{[-1,1]}(x,y)$ 의 적분 가능성에 기반한다.
• Profeta와 Simon (2014) 의 잠재 밀도 $u^{[-1,1]}(x,y)$ 에 대한 명시적 공식을 사용하여, $|x|>1$, $d>1$ 인 경우 $U_{[-1,1]}(x,[-d,d])$ 가 유한함을 검증한다.

실험 결과

연구 질문

• RQ1 고전적 의미에서 안정 Lévy 과정이 브라운 운동이 양의 영역에 머무르도록 조건화하는 것과 유사하게 고정된 간격을 피하도록 의미 있게 조건화할 수 있는가?
• RQ2 특히 $\alpha < 1$ 인 경우, 안정 과정이 간격을 피하도록 조건화하는 Doob $h$-변환을 특징짓는 적절한 조화 함수 $h(x)$ 는 무엇인가?
• RQ3 결과로 얻어진 조건화된 과정은 비반복적인가? 잠재이론적 도구를 사용하여 이를 어떻게 증명할 수 있는가?
• RQ4 안정 과정의 경로 불연속성은 조건화된 과정의 구성과 성질에 확산 과정과 비교하여 어떤 영향을 미치는가?
• RQ5 깊은 인수분해를 활용하여 $\alpha < 1$ 영역에서 충격 확률과 조화 함수를 계산할 수 있는가?

주요 결과

• 모든 $\alpha \in (0,2)$ 에 대해 조건화된 과정이 존재하며, 간격 $[-1,1]$ 에 도달할 때 멈추는 안정 과정의 Doob $h$-변환으로 유일하게 특징지어진다.
• $\alpha \in (0,1)$ 인 경우, 조화 함수 $h(x)$ 는 안정 과정의 깊은 인수분해를 통해 구성되며, 일반적인 양의 조화 함수가 존재하지 않는다는 점을 감안해도 조건화를 가능하게 한다.
• 잠재 측도 $U_{[-1,1]}(x,[-d,d])$ 는 모든 $|x|>1$ 와 $d>1$ 에 대해 유한하며, 이는 비반복성 증명에 필수적이다.
• Getoor의 기준을 검증함으로써 조건화된 과정이 비반복적임을 입증하였으며, $\mathbb{E}^{\updownarrow,x}\left[\int_0^\infty \mathbf{1}_{\{X_t \in [-d,d]\}} dt\right] < \infty$ 의 유한성에 기반한다.
• 첫 번째 충격 시간 $T_{[-1,1]}$ 의 尾尾漸近이 $s \to \infty$ 일 때 순서 $s^{1-1/\alpha}$ 를 가지며, 이는 조화 함수의 구성에 기초가 된다.
• 조화 함수 $h(x)$ 는 $x \to \infty$ 일 때 $x^{\alpha\rho - 1}$ 과 渐近적으로 동일하며, $x \to -\infty$ 일 때도 유사한 행동을 보여 $h$-변환이 잘 정의됨을 보장한다.