[논문 리뷰] Limit shape and fluctuations for exactly solvable inhomogeneous corner growth models

Elnur Emrah|arXiv (Cornell University)|2016. 12. 27.

Random Matrices and Applications참고 문헌 29인용 수 4

한 줄 요약

이 논문은 행과 열 인덱스에 따라 랜덤 시퀀스를 통해 변화하는 매개수를 가진, 위치에 따라 달라지는 지수 또는 기하 분포 무게를 가진 비균질 모서리 성장 모델을 연구한다. 한계 형태에 대한 변분 공식을 수립하여, 한계 영역 내에서는 엄격한 볼록성, 외부에서는 선형성을 보이며, 프레드홀름 행렬식의 최강하강 분석을 통해 볼록 영역 내에서의 최종 통과 시간에 대한 Tracy-Widom GUE 변동성을 입증한다.

ABSTRACT

We study a class of corner growth models in which the weights are either all exponentially or all geometrically distributed. The parameter of the distribution at site $(i, j)$ is $a_i+b_j$ in the exponential case and $a_ib_j$ in the geometric case, where $(a_i)_{i \ge 1}$ and $(b_j)_{j \ge 1}$ are themselves drawn randomly at the outset from ergodic distributions. These models are inhomogeneous generalizations of the much studied exactly solvable models in which the parameters are the same for all sites. Our motivation is to understand how inhomogeneity influences the limit shape and the corresponding limit fluctuations. We obtain a simple variational formula for the shape function and prove that it is strictly concave inside a cone (possibly the entire quadrant) but is linear outside. This is in contrast with the situation in the models with i.i.d. weights in which the shape function is expected to be strictly concave under mild assumptions. For the directions inside the cone, we show that the limit fluctuations are governed by the Tracy-Widom GUE distribution and derive bounds for the deviations of the last-passage times above the shape function. To obtain the shape result, we couple the model with an explicit family of stationary versions of it. For the fluctuation and large deviation results, we perform steepest-descent analysis on an available Fredholm determinant formula for the one-point distribution of the last-passage time. We also develop a detailed appendix on the steepest-descent curves of harmonic functions of two real variables and approximate the contour integral of an arbitrary meromorphic function along such curves.

연구 동기 및 목표

• 공간적 비균질성에 의한 무게 매개수의 영향이 모서리 성장 모델의 한계 형태와 변동성에 어떻게 작용하는지 이해하기.
• i.i.d. 무게를 가진 정확히 해를 가진 모델을 $a_i + b_j$ 또는 $a_i b_j$ 매개수 구조를 가진 비균질 설정으로 일반화하기.
• 랜덤 에르고딕 시퀀스 $a_i$와 $b_j$ 존재 조건에서 형태 함수에 대한 변분 공식 수립하기.
• 형태 함수가 특정 원뿔 내에서 엄격한 볼록성을 가지며, 외부에서는 선형성을 띠며, i.i.d. 경우와 대비하여 분석하기.
• 볼록 영역 내에서의 최종 통과 시간에 대한 Tracy-Widom GUE 변동성을 도출하고, 오른쪽 尾부 분산을 유계화하기.

제안 방법

• 모델의 정적 형태와의 결합을 통해 형태 함수에 대한 변분 공식 유도하기.
• 최종 통과 시간의 한점 분포에 대한 프레드홀름 행렬식 공식에 대해 최강하강 분석 적용하기.
• 조화 함수의 최강하강 곡선과 유리형 함수의 경로 적분에 대한 세부적인 부록 개발하기.
• 바르크로의 제안을 참고하여, 미분방정식 기반 매개수화를 통해 최강하강 곡선의 균일 제어 수행하기.
• 에르고딕 시퀀스에 대한 균일 수렴 보조정리 활용하여 $a_i$와 $b_j$의 랜덤성 다루기.
• 경로 적분에 대한 점근적 분석을 수행하여 변동성 척도 극한 추출하기.

실험 결과

연구 질문

• RQ1 무게 매개수 $a_i + b_j$ 또는 $a_i b_j$ 의 비균질성이 모서리 성장 모델의 한계 형태에 어떻게 영향을 미치는가?
• RQ2 형태 함수는 특정 방향에서 엄격한 볼록성을 가지며, 특정 원뿔 외부에서는 선형이 되는가?
• RQ3 비균질 설정에서 최종 통과 시간의 변동성은 Tracy-Widom GUE 분포로 수렴하는가?
• RQ4 랜덤 매개수 $a_i$와 $b_j$ 존재 조건에서 최강하강 방법을 균일하게 제어할 수 있는가?
• RQ5 비균질 모델에서 형태 함수 위의 최종 통과 시간에 대한 대규모 편차 유계는 무엇인가?

주요 결과

• 한계 형태는 원뿔 내에서 엄격한 볼록성, 외부에서는 선형성을 가지며, 원뿔이 전체 1사분면일 수도 있는 변분 공식으로 특징지어진다.
• 매개수 $a_i$와 $b_j$ 가 에르고딕적으로 분포하는 방향에서 형태 함수는 엄격한 볼록성을 가지며, i.i.d. 경우와 대비하여 조건이 약간만 충족되어도 엄격한 볼록성이 기대되는 것과 대조된다.
• 프레드홀름 행렬식의 최강하강 분석을 통해 볼록 영역 내에서 최종 통과 시간에 대한 Tracy-Widom GUE 변동성이 입증된다.
• 최강하강 곡선의 길이와 원점까지의 거리에 대한 균일한 유계가 도출되어 매개수의 랜덤성에 대해 강건성을 확보한다.
• 핵함수와 경로 적분의 점근적 분석을 통해 형태 함수 위의 최종 통과 시간 오른쪽 尾부 분산을 유계화한다.
• 부록은 조화 함수의 최강하강 곡선과 경로 적분에 대한 일반적 프레임워크를 제공하며, 다른 모델에도 적용 가능하다.