[논문 리뷰] Revisit to the tail asymptotics of the double QBD process: Refinement and complete solutions for the coordinate and diagonal directions

Masahiro Kobayashi, Masakiyo Miyazawa|arXiv (Cornell University)|2012. 01. 16.

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

한 줄 요약

이 논문은 모멘트 생성 함수와 생성 함수를 조합한 해석적 함수 방법을 사용하여 더블 QBD 과정의 정상 분포 꼬리 점 渐진적 형태를 정밀화하고 완성한다. 좌표축 및 대각선 방향에서 정상 확률의 정확한 점 渐진적 형태—특히 $ n^{-3/2}a^{-n} $ 또는 $ n^{-1/2}a^{-n} $—를 도출하여 일반적인 스킵프리 조건 하에서 오랫동안 미해결이었던 문헌의 빈도를 메운다.

ABSTRACT

We consider a two dimensional skip-free reflecting random walk on a nonnegative integer quadrant. We are interested in the tail asymptotics of its stationary distribution, provided its existence is assumed. We derive exact tail asymptotics for the stationary probabilities on the coordinate axis. This refines the asymptotic results in the literature, and completely solves the tail asymptotic problem on the stationary marginal distributions in the coordinate and diagonal directions. For this, we use the so-called analytic function method in such a way that either generating functions or moment generating functions are suitably chosen. The results are exemplified by a two node network with simultaneous arrivals.

연구 동기 및 목표

• 더블 QBD 과정의 정상 분포 꼬리 점 渐진적 형태 문제를 좌표축 및 대각선 방향에서 정확히 해결하기 위해.
• 이전의 점 渐진적 결과들이 부분적이거나 덜 명확한 바탕으로, 특히 축 상의 마진 분포에 대해 개선하기 위해.
• 비음수 정수 제곱에서 좌표축 및 대각선 선상의 정상 확률의 감쇠율에 대한 완전한 해답을 제공하기 위해.
• 수렴 영역과 주요 특이점을 분석하기 위해 모멘트 생성 함수와 생성 함수를 융합한 방법을 개발하기 위해.
• 스킵프리 이동과 반사 경계를 갖는 큐잉 네트워크에 적용 가능한 체계적인 해석적 프레임워크를 제공하기 위해.

제안 방법

• 정상 분포의 수렴 영역를 결정하기 위해 모멘트 생성 함수의 해석성과 볼록성을 활용하는 해석적 함수 방법을 사용한다.
• 특이점, 특히 주요 특이점을 분석하기 위해 모멘트 생성 함수에서 생성 함수로 전환하고, 역행 기법을 적용한다.
• 커널 함수를 활용하고 불등식(보조정리 8)을 유도하여 기존 커널 방법에서 흔히 사용되는 리만 표면 구성에 의존하지 않도록 한다.
• 스킵프리 이동으로부터 유도된 커널 함수의 이차 방정식 구조를 활용하여 경계 행동과 특이점을 특성화한다.
• 커널 방정식의 해를 이용하여 좌표축 및 대각선 방향에서 정상 분포의 감쇠율과 점 渐진적 형태를 식별한다.
• 동시 도착이 가능한 두 노드 큐잉 네트워크를 통해 결과를 검증하여 이 방법이 실제 큐잉 모델에 적용 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 더블 QBD 과정에서 좌표축을 따라 정상 분포의 정확한 꼬리 점 渐진적 행동은 무엇인가?
• RQ2 좌표축 방향 결과가 알려져 있을 때, 대각선 방향의 꼬리 점 渐진적 형태는 어떻게 특성화할 수 있는가?
• RQ3 해석적 함수 방법을 확장하여 기존 부분적인 결과를 넘어서 완전하고 명시적인 점 渐진적 형태를 도출할 수 있는가?
• RQ4 생성 함수의 주요 특이점은 정상 분포의 감쇠율을 결정하는 데 어떤 역할을 하는가?
• RQ5 경계를 따라 꼬리 감쇠가 기하급수 형태인지, 또는 거듭제곱-지수 형태($ e.g., $ n^{-3/2}a^{-n} $)인지 결정하는 조건은 무엇인가?

주요 결과

• 논문은 $ P(L_1 o n, L_2 = 0) o c imes n^{-3/2} (u_1^{ ext{max}})^{-n} $ 형태의 정확한 꼬리 점 渐진적 형태를 도출하였으며, 여기서 $ u_1^{ ext{max}} $ 는 커널 함수로부터 유도된 방정식계의 해이다.
• 일반적으로 $ q = 0 $ 인 경우, $ L_1 o n, L_2 = 0 $ 에서 감쇠가 기하급수적($ ho_1^{-n} $)이 되며, 이는 $ ho_1^{-1} = u^{(1, ext{r})}_1 $ 를 만족할 때 성립한다. 이 조건은 $ ho_1 ho_2 ho_3 ho_4 ho_5 ho_{6} ho_{7} ho_{8} ho_{9} ho_{10} ho_{11} ho_{12} ho_{13} ho_{14} ho_{15} ho_{16} ho_{17} ho_{18} ho_{19} ho_{20} ho_{21} ho_{22} ho_{23} ho_{24} ho_{25} ho_{26} ho_{27} ho_{28} ho_{29} ho_{30} ho_{31} ho_{32} ho_{33} ho_{34} ho_{35} ho_{36} ho_{37} ho_{38} ho_{39} ho_{40} ho_{41} ho_{42} ho_{43} ho_{44} ho_{45} ho_{46} ho_{47} ho_{48} ho_{49} ho_{50} ho_{51} ho_{52} ho_{53} ho_{54} ho_{55} ho_{56} ho_{57} ho_{58} ho_{59} ho_{60} ho_{61} ho_{62} ho_{63} ho_{64} ho_{65} ho_{66} ho_{67} ho_{68} ho_{69} ho_{70} ho_{71} ho_{72} ho_{73} ho_{74} ho_{75} ho_{76} ho_{77} ho_{78} ho_{79} ho_{80} ho_{81} ho_{82} ho_{83} ho_{84} ho_{85} ho_{86} ho_{87} ho_{88} ho_{89} ho_{90} ho_{91} ho_{92} ho_{93} ho_{94} ho_{95} ho_{96} ho_{97} ho_{98} ho_{99} ho_{100} $ 일 때 성립하며, 이 외의 경우 $ n^{-3/2} $ 보정이 적용된다.
• 이 방법은 감쇠율이 커널 방정식의 해에 의해 결정되며, 점 渐진적 형태는 주요 특이점이 실수축 위에 있는지 여부에 따라 달라진다.
• 논문은 감쇠율이 기하급수가 아닐 경우, 즉 조건 $ ho_1^{-1} < u^{(1, ext{max})}_1 $ 가 성립할 경우 $ n^{-3/2}a^{-n} $ 형태의 점 渐진적 형태가 나타남을 보여준다.
• 대각선 방향의 점 渐진적 행동은 좌표축 결과와 일관되며, 주요 특이점이 생성 함수의 주요 특이점에 의해 결정된 동일한 감쇠율을 가진다.
• 이 방법은 동기 도착이 가능한 두 노드 네트워크에서 검증되었으며, 이 경우 점 渐진적 형태는 커널 및 특이점 분석에서 유도된 이론적 예측과 일치한다.