[논문 리뷰] Local time for lattice paths and the associated limit laws

Cyril Banderier, Michael Wallner|arXiv (Cornell University)|2018. 05. 23.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 4

한 줄 요약

이 논문은 길이, 최종 고도, 그리고 0에서의 국소 시간(즉, x축과의 교차 횟수)을 추적하는 삼변수 생성함수를 유도하기 위해 커널 방법의 새로운 변종을 제안한다. 국소 시간 清차의 점근적 성질은 비드라이프 및 경로 유형에 따라 보편적인 극한 법칙(기하학적, 음이이항, 레일리, 또는 반정규 분포)을 따르며, 해석적 조합론과 특이점 분석을 통해 브라운 운동 접근법에서 드러나지 않는 이산적 매개변수를 해결한다.

ABSTRACT

For generalized Dyck paths (i.e., directed lattice paths with any finite set of jumps), we analyse their local time at zero (i.e., the number of times the path is touching or crossing the abscissa). As we are in a discrete setting, the event we analyse here is '' invisible '' to the tools of Brownian motion theory. It is interesting that the key tool for analysing directed lattice paths, which is the kernel method, is not directly applicable here. Therefore, we introduce a variant of this kernel method to get the trivariate generating function (length, final altitude, local time): this leads to an expression involving symmetric and algebraic functions. We apply this analysis to different types of constrained lattice paths (meanders , excursions, bridges,. . .). Then, we illustrate this approach on 'basketball walks ' which are walks defined by the jumps --2, --1, 0, +1, +2. We use singularity analysis to prove that the limit laws for the local time are (depending on the drift and the type of walk) the geometric distribution, the negative binomial distribution, the Rayleigh distribution, or the half-normal distribution (a universal distribution up to now rarely encountered in analytic combinatorics).

연구 동기 및 목표

• 방향성 있는 격자 경로에서 0에서의 국소 시간을 분석하기 위한 방법을 개발하는 것 — 이는 브라운 운동 접근법에서 드러나지 않는 이산적 매개변수이다.
• 기존 생성함수 기법의 한계를 극복하기 위해 커널 방법을 국소 시간 처리에 확장하는 것.
• 일반화된 다이크 경로에 대해 길이, 최종 고도, 국소 시간을 모두 포함하는 삼변수 생성함수를 유도하는 것.
• 특이점 분석을 통해 다양한 경로 유형(메이너스, 엑스кур션, 브릿지, 워크)에 대해 국소 시간의 극한 법칙을 확립하는 것.
• 점프 집합 {-2,-1,0,1,2}를 가진 '농구 워크'에 대해 이 접근법을 적용하여 레일리 또는 반정규 법칙으로 수렴하는 것을 보여주는 것.

제안 방법

• 길이, 최종 고도, 0에서의 국소 시간을 포함하는 삼변수 생성함수를 유도하기 위해 수정된 커널 방법이 개발되었다.
• 대수적 함수를 포함하는 함수방정식에 오메가 연산자를 적용하여 국소 시간 통계를 추출한다.
• 특이점 분석을 생성함수에 적용하며, 주요 특이점 z=ρ에서의 행동을 중심으로 다루며, 푸아제 전개를 통해 제곱근 형태의 행동을 밝혀낸다.
• 이 방법은 1/F(z,q)가 g(z,q) + h(z,q)√(1−z/ρ)의 구조를 가지며, g와 h는 해석적 함수이며 g(ρ,1)=0임을 규명한다.
• z=ρ 및 q=1에서 g와 h의 점근적 분석을 통해 극한 법칙을 결정한다: 브릿지의 경우 레일리 법칙, 0-드라이프 워크의 경우 반정규 법칙.
• 수치 시뮬레이션을 통해 '농구 워크'에 대한 접근법의 타당성을 검증하였으며, 이론적 극한 법칙으로의 수렴 속도가 매우 빠르게 나타났다.

실험 결과

연구 질문

• RQ1 0에서의 국소 시간 — 즉, x축과의 교차 횟수 — 는 어떻게 방향성 있는 격자 경로에서 체계적으로 분석될 수 있는가?
• RQ2 길이, 최종 고도, 국소 시간을 동시에 추적할 경우, 격자 경로의 생성함수는 어떤 구조를 가지는가?
• RQ3 다양한 경로 유형과 드라이프 조건에서 국소 시간 분포를 지배하는 보편적 극한 법칙은 무엇인가?
• RQ4 기존의 브라운 운동 도구는 왜 격자 경로에서 이산적 국소 시간을 분석하는 데 효과적이지 않은가?
• RQ5 클래식한 엑스큐르션 분해에 의해 포착되지 않는 축 교차 수와 같은 비복귀 매개변수를 다룰 수 있도록 커널 방법을 어떻게 변형할 수 있는가?

주요 결과

• 삼변수 생성함수는 대칭적이고 대수적 함수를 통해 표현된 수정된 커널 방법을 통해 유도되었다.
• 브릿지의 경우, 국소 시간 극한 법칙은 레일리 법칙이며, 주요 특이점에서 gq(ρ,1)<0 및 h(ρ,1)≠0 조건에 의해 결정된다.
• 0-드라이프 워크의 경우, 국소 시간 극한 법칙은 반정규 법칙이며, gq(ρ,1)=gqq(ρ,1)=0 및 h(ρ,1)=0이지만 gz(ρ,1)≠0 및 hq(ρ,1)≠1 조건에서 유도된다.
• 복잡한 스텝 세트, 예를 들어 점프 집합 {-2,-1,0,1,2}를 가진 농구 워크의 경우에도 이 방법이 성공적으로 적용되어 명시적 점근 법칙을 도출하였다.
• 수치 시뮬레이션을 통해 경험적 국소 시간 분포가 이론적 레일리 및 반정규 법칙으로 매우 빠르게 수렴하는 것으로 확인되었다.
• 이 접근법은 국소 시간이 해석적 조합론에서 보편적 매개변수임을 드러내며, 극한 법칙은 드라이프와 경로 제약 조건에 따라 달라지며, 브라운 운동 스케일링을 통해는 접근할 수 없음을 보여준다.