[논문 리뷰] Limit shapes for random square Young tableaux and plane partitions

Boris Pittel, Dan Romik|ArXiv.org|2004. 05. 11.

Random Matrices and Applications참고 문헌 32인용 수 9

한 줄 요약

이 논문은 균일한 랜덤 $n \times n$ 정사각형 양-테이블라우 및 평면 분할에 대해 한계 형상 정리(-limit shape theorem)를 수립하며, $n \to \infty$일 때, 스케일링된 테이블라우 표면이 아크탄젠트를 포함하는 초월방정식으로 정의된 결정론적 한계 표면 $L(x,y)$로 거의 확실히 수렴함을 보여준다. 이 해는 특수 적분방정식을 통한 변분법 문제의 해로서 유도되며, 항목 위치에 대한 반원형 유사 분포가 드러나고, 직사각형 및 평면 분할의 경우로 일반화되어 명시적인 점근적 성질을 가짐.

ABSTRACT

Our main result is a limit shape theorem for the two-dimensional surface defined by a uniform random n-by-n square Young tableau. The analysis leads to a calculus of variations minimization problem that resembles the minimization problems studied by Logan-Shepp, Vershik-Kerov, and Cohn-Larsen-Propp. Our solution involves methods from the theory of singular integral equations, and sheds light on the somewhat mysterious derivations in these works. An extension to rectangular diagrams, using the same ideas but involving some nontrivial computations, is also given. We give several applications of the main result. First, we show that the location of a particular entry in the tableau is in the limit governed by a semicircle distribution. Next, we derive a result on the length of the longest increasing subsequence in segments of a minimal Erdos-Szekeres permutation, namely a permutation of the numbers 1,2,...,n^2 whose longest monotone subsequence is of length n (and hence minimal by the Erdos-Szekeres theorem). Finally, we prove a limit shape theorem for the surface defined by a random plane partition of a very large integer over a large square (and more generally rectangular) diagram.

연구 동기 및 목표

• 균일한 랜덤 $n \times n$ 정사각형 양-테이블라우의 점점 커지는 $n \to \infty$에 따른 점근적 형상을 규명하는 것.
• 테이블라우 내 개별 항목의 분포를 분석하고 그 점근적 행동을 도출하는 것.
• 큰 정사각형 및 직사각형 도형 위에서의 랜덤 평면 분할로 한계 형상 결과를 확장하는 것.
• 한계 표면에 대한 변분 프레임워크를 수립하고 특수 적분방정식 기법을 통해 이를 해결하는 것.
• 에르되시–세케레시 정리와 최장 증가 부분수열 통계 간의 연결 고리를 탐색하는 것.

제안 방법

• 테이블라우 높이 함수에 대해 대 deviations 원리 수립하여, 허용 가능한 표면 위에서 기능을 최소화하는 변분 문제로 이어지는 것.
• 함수 $g_\alpha$의 매개수 가중치 가중 함수와 함수 $K(\tilde{g}_\alpha)$를 사용하여 변분 문제를 특수 적분방정식으로 변환하는 것.
• 일차 매개수 가중치 가중 함수 $\tilde{g}_\alpha$를 구성하고 $K(\tilde{g}_\alpha)$의 직접 계산을 통해 그 최적성(extremality)을 검증하는 것.
• 대칭성 $L(x,y) = 1 - L(1-x,1-y)$을 이용하여 $x+y \leq 1$ 영역에서의 해를 전체 단위 정사각형으로 확장하는 것.
• 후크 워크 알고리즘과 코트랜지션 측도를 적용하여 테이블라우 과정과 반원형 법칙 간의 관계를 설정하고 항목 위치 통계를 유도하는 것.
• 유사한 변분 원리와 생성함수의 점근적 분석을 사용하여 직사각형 테이블라우 및 평면 분할로 방법을 확장하는 것.

실험 결과

연구 질문

• RQ1 균일한 랜덤 $n \times n$ 정사각형 양-테이블라우의 점점 커지는 $n \to \infty$에 따른 한계 형상은 무엇인가요?
• RQ2 개별 항목의 위치는 한계에서 어떻게 분포하며, 그 점근적 분포는 무엇인가요?
• RQ3 큰 정사각형 또는 직사각형 도형 위에서의 랜덤 평면 분할에 대해 한계 표면 정리를 수립할 수 있는가요?
• RQ4 길이 $n^2$인 최소 에르되시–세케레시 순열에서, 크기가 $\alpha n^2$인 세그먼트의 최장 증가 부분수열 길이는 점점 커질 때 어떻게 수렴하는가요?
• RQ5 연속 감소 함수 $f$로 근사되는 형상을 가진 랜덤 양-테이블라우에 대해 일반적인 한계 표면 $L_f$가 존재하는가요?

주요 결과

• 한계 표면 $L(x,y)$는 아크탄젠트를 포함하는 초월방정식으로 암묵적으로 정의되며, $L(x,y) = 1 - L(1-x,1-y)$를 만족한다.
• 테이블라우 내 특정 항목의 위치는 $n \to \infty$일 때, 분포 수렴하여 반원형 법칙을 따른다.
• 길이 $n^2$인 최소 에르되시–세케레시 순열에서, 크기가 $\alpha n^2$인 세그먼트의 최장 증가 부분수열 길이는 $2\sqrt{\alpha(1-\alpha)}n$으로 수렴한다.
• 크기가 큰 정수 $N$에 대한 $n \times n$ 정사각형 도형 위의 랜덤 평면 분할의 수는 점점 커질 때 $M_{nN} \sim \frac{n^{11/12}}{\sqrt{2\pi}N} \exp\left(n^2 \log \frac{N}{n^3} + n^2(5/2 - 2\log 2) + \frac{\log 2}{12} + D\right)$로 점근적으로 수렴한다.
• 서로 다른 부분을 가진 평면 분할의 수와 총 평면 분할 수의 비율은 $\mathcal{M}_{nN}/M_{nN} = \exp\left(-\frac{n^6}{4N}(1 + o(1))\right)$를 만족하며, 이는 서로 다른 부분이 지수적으로 희귀하다는 것을 의미한다.
• 변분 문제의 해는 매개수 가중치 가중 함수 $\tilde{g}_\alpha$를 통해 도출되며, $K(\tilde{g}_\alpha)$의 직접 계산을 통해 검증되며, 특수 적분방정식과 수직 다항식 이론과 연결된다.