[논문 리뷰] A Large deviation principle for last passage times in an asymmetric Bernoulli potential

Federico Ciech, Nicos Georgiou|arXiv (Cornell University)|2018. 01. 01.

Random Matrices and Applications참고 문헌 30인용 수 1

한 줄 요약

이 논문은 비대칭 베르누이 포텐셜에서의 최종 통과 시간에 대해 대규모 변동 원리(LDP)를 수립하며, 명시적인 비용 함수를 증명하고 한정 로그 모멘트 생성 함수를 유도한다. 모델은 특정 방향에서 형태 함수에 평평한 가장자리가 존재하며, 정확한 해법과 버크 유형의 불변성 성질을 사용하여 이러한 영역에서의 LDP 행동을 분석한다. 변분 공식을 확인하고 임계 점근적 행동을 계산한다.

ABSTRACT

We prove a large deviation principle and give an expression for the rate function, for the last passage time in a Bernoulli environment. The model is exactly solvable and its invariant version satisfies a Burke-type property. Finally, we compute explicit limiting logarithmic moment generating functions for both the classical and the invariant models. The shape function of this model exhibits a flat edge in certain directions, and we also discuss the rate function and limiting log-moment generating functions in those directions.

연구 동기 및 목표

• 비대칭 베르누이 환경을 가진 방향성 최종 통과 퍼콜레이션 모델에서 최종 통과 시간에 대한 대규모 변동 원리(LDP)를 수립한다.
• 특히 형태 함수가 평평한 가장자리를 보이는 방향에서 비용 함수의 명시적 표현을 도출한다.
• 고전적 모델과 불변 버전의 모델에 대해 한정 로그 모멘트 생성 함수를 계산한다.
• 엄격한 볼록성이 실패하는 평평한 가장자리 영역에서 LDP 및 모멘트 생성 함수의 행동을 분석한다.
• 불변 경계 모델을 사용하여 형태 함수의 변분 공식을 검증하고, 불변 설정에서 버크 유형 성질을 확인한다.

제안 방법

• 환경로 i.i.d. 베르누이(p) 랜덤 변수를 사용하여 모델을 수립하며, 방향성 경로와 값 λ를 가진 위치를 통과하는 것을 선호하는 포텐셜 함수를 도입한다.
• 변수를 바꾸어 제1통과 시간을 최종 통과 시간으로 변환함으로써 정확한 해법을 가능하게 하고 분석을 단순화한다.
• 볼록 해석학과 변분 방법을 적용하여 비용 함수를 유도하며, 특히 독립 랜덤 변수들의 최소합성을 사용한다.
• i.i.d. 베르누이 및 기하 랜덤 변수를 사용한 불변 경계 모델을 활용하여 대수법의 법칙을 증명하고 버크 유형 성질을 검증한다.
• LDP 비용 함수의 최소화 문제에 대한 비판적 분석을 수행하며, 매개수 u에 대한 이차 방정식을 풀어 평평한 가장자리 영역에서의 최소화자를 확인한다.
• 세부적인 점근적 분석과 판별식 평가를 수행하여 최소화자가 (p, 1] 내부에 있으며, 관련 함수에 대해 전역적으로 최소화됨을 확인한다.

실험 결과

연구 질문

• RQ1 비대칭 베르누이 포텐셜에서 최종 통과 시간에 대한 대규모 변동 비용 함수는 무엇이며, 평평한 가장자리 영역에서 어떻게 행동하는가?
• RQ2 특히 평평한 가장자리가 있는 방향에서 고전적 및 불변 모델의 한정 로그 모멘트 생성 함수는 어떻게 행동하는가?
• RQ3 모델는 버크 유형의 불변성 성질을 만족하는가? 이 성질은 LDP 유도에 어떻게 기여하는가?
• RQ4 형태 함수가 평평할 때 비용 함수의 변분 공식에서 최소화자의 정확한 구조는 무엇인가?
• RQ5 LDP의 행동은 엄격히 볼록인 영역과 비교해 평평한 가장자리 영역에서 어떻게 다를 수 있으며, 이는 모멘트 생성 함수에 어떤 영향을 미치는가?

주요 결과

• 논문은 비대칭 베르누이 모델에서 최종 통과 시간에 대해 완전한 대규모 변동 원리(LDP)를 수립하며, 변분 원리에 의해 명시적인 비용 함수를 도출한다.
• 비용 함수는 제한된 영역에서만 유한하며, 형태 함수가 특정 방향에서 일정한 평평한 가장자리 영역에서는 비정상적인 구조를 보인다.
• 고전적 모델의 한정 로그 모멘트 생성 함수는 명시적으로 계산되었으며, 이는 비용 함수의 레전드르-펜켈 변환과 일치한다.
• 불변 모델의 경우, 불변 경계 구축을 통해 한정 로그 모멘트 생성 함수가 도출되었으며, 고전적 경우와의 일관성을 확인한다.
• 평평한 가장자리 영역(t ≥ s(1−p)/p)에서는 모든 값에서 비용 함수가 0임을 보여주며, 이는 이러한 방향에서의 이탈이 처벌되지 않음을 의미한다.
• 변분 공식에서 최소화자 u*는 (p, 1] 내부에 있으며, 도함수의 부호 분석을 통해 전역 최소화자임을 증명하여 비용 함수 표현의 정확성을 확인한다.