[논문 리뷰] A Kernel Method for Exact Tail Asymptotics --- Random Walks in the Quarter Plane

Hui Li, Yiqiang Q. Zhao|arXiv (Cornell University)|2015. 05. 17.

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

한 줄 요약

이 논문은 사분평면 내에서의 랜덤 워크에 대한 정확한 꼬리 점점 감소 행동을 위한 커널 방법을 제안한다. 이 방법은 알려지지 않은 생성 함수를 명시적으로 구하는 것 없이도 가능하게 하며, 주로 주요 특이점과 그 점근적 성질을 타우버리안 유사 정리에 의해 분석함으로써, 네 가지 유형의 정확한 꼬리 행동—기하 감소, $n^{-1/2}$, $n^{-3/2}$, $n$ 인자에 의해 조절되는 기하 감소—를 체계적으로 도출한다. 이는 모든 안정적인 랜덤 워크 모델, 비표준 케이스를 포함하여 다수의 주요 특이점이 존재해 주기적 현상이 발생하는 경우에도 적용 가능하다.

ABSTRACT

In this paper, we propose a kernel method for exact tail asymptotics of a random walk to neighborhoods in the quarter plane. This is a two-dimensional method, which does not require a determination of the unknown generating function(s). Instead, in terms of the asymptotic analysis and a Tauberian-like theorem, we show that the information about the location of the dominant singularity or singularities and the detailed asymptotic property at a dominant singularity is sufficient for the exact tail asymptotic behaviour for the marginal distributions and also for joint probabilities along a coordinate direction. We provide all details, not only for a "typical" case, the case with a single dominant singularity for an unknown generating function, but also for all non-typical cases which have not been studied before. A total of four types of exact tail asymptotics are found for the typical case, which have been reported in the literature. We also show that on the circle of convergence, an unknown generating function could have two dominant singularities instead of one, which can lead to a new periodic phenomena. Examples are illustrated by using this kernel method. This paper can be considered as a systematic summary and extension of existing ideas, which also contains new and interesting research results.

연구 동기 및 목표

• 사분평면 내 이차원 랜덤 워크의 정적 분포에 대한 정확한 꼬리 점점 감소 행동을 체계적으로 도출하는 방법을 개발한다.
• 꼬리 점점 감소 분석에서 알려지지 않은 생성 함수나 라플라스 변환을 명시적으로 결정할 필요성을 제거한다.
• 다양한 주요 특이점이 존재하는 비표준 케이스를 포함한 모든 가능한 정확한 꼬리 행동 유형을 특성화한다.
• 기존의 커널 방법을 발전시켜 전역 함수 형태가 아닌 특이점의 위치와 국소 점근적 행동에 초점을 맞춘다.
• 모든 안정적인 랜덤 워크 모델, 일반화된 경우와 특이한 경우를 포함하여 적용 가능한 통합 프레임워크를 제공한다.

제안 방법

• 모든 생성 함수의 주요 특이점을 명시적으로 구하지 않고도 커널 방정식 분석을 통해 식별한다.
• 타우버리안 유사 정리를 사용하여 주요 특이점의 위치와 국소 점근적 행동을 정적 확률의 꼬리 감소 속도와 연결한다.
• 주요 특이점의 성격과 경계 생성 함수와의 상호작용에 따라 네 가지 유형의 꼬리 점점 감소 행동을 구분한다.
• 특히 수렴 원 위에 두 개의 주요 특이점이 존재하는 비표준 케이스를 분석할 수 있는 프레임워크를 도입하며, 이는 꼬리 행동에서 주기적 진동을 유도한다.
• 좌표 방향에 따른 근사적 생성 함수 분석을 통해 귀속 확률과 연합 꼬리 확률 모두에 적용 가능하다.
• 해석적 계속성과 특이점 전이의 원리에 의해 커널 함수와 경계 생성 함수 $\pi_1(x)$ 및 $\pi_2(y)$ 간의 상호작용을 활용한다.

실험 결과

연구 질문

• RQ1 모르는 생성 함수를 가진 사분평면 내 랜덤 워크의 정적 분포에 대해 정확한 꼬리 점점 감소 행동은 무엇인가?
• RQ2 알려지지 않은 생성 함수를 명시적으로 구하지 않고도 꼬리 점점 감소 행동을 유도할 수 있는가?
• RQ3 수렴 원 위에 다수의 주요 특이점이 동시에 존재할 경우 꼬리 행동은 어떻게 되는가?
• RQ4 이동 평균과 전이 확률의 다양한 조합이 어떻게 다른 꼬리 감소 패tern을 유도하는가?
• RQ5 이 방법을 통해 기하 감소 외의 형태, 예를 들어 $n^{-1/2}$ 또는 $n^{-3/2}$ 조절을 포함한 모든 가능한 꼬리 점점 감소 유형을 체계적으로 분류할 수 있는가?

주요 결과

• 네 가지 유형의 정확한 꼬리 점점 감소 행동이 확인되었다: 기하 감소, $n^{-1/2}$에 의해 조절되는 기하 감소, $n^{-3/2}$에 의해 조절되는 기하 감소, $n$ 인자에 의해 조절되는 기하 감소.
• 수렴 원 위에 두 개의 주요 특이점이 동시에 존재할 경우, 꼬리 행동에 새로운 주기적 현상이 나타나며, 감소 속도에 진동 보정이 발생한다.
• 일반화된 이중 수요 모델의 경우, 서비스 속도와 도착 속도의 상대적 크기에 따라 꼬리 행동이 달라지며, $\mu_k$와 $\lambda, \lambda_k$를 포함한 부등식으로 정의된 세 개의 서로 다른 영역이 존재한다.
• 간단한 랜덤 워크의 경우 $M_y > 0$ 이고 $M_x < 0$ 일 때, $x_3$에 대한 선형 표현을 임계값과 비교하여 세 개의 꼬리 영역가 결정되며, 이는 서로 다른 감소 조절을 의미한다.
• $M_y < 0$ 이고 $M_x < 0$ 일 경우, $x^*$와 $y^*$를 포함한 두 개의 부등식으로 정의된 영역에서, 네 번째 유형의 꼬리 점점 감소 행동—기하 감소에 $n$ 인자를 곱한 형태—가 발견된다. 이는 전이 확률에 대한 조건과 함께 성립한다.
• 비판적 영역에서 주요 점근적 항의 계수가 0이 아니라는 것이 확인되어, 유도된 꼬리 형태의 타당성이 보장된다.