[論文レビュー] Limit shapes for random square Young tableaux and plane partitions

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

Random Matrices and Applications参考文献 32被引用数 9

ひとこと要約

本稿は、一様にランダムな $n \times n$ 平方ヤング図版および平面分割の極限形状定理を確立し、$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 \to \infty$ のとき、一様にランダムな $n \times n$ 平方ヤング図版の漸近的形状を特定すること。
• 図版内の個々のエントリの分布を分析し、その極限的挙動を導出すること。
• 大きな正方形および長方形の図形上でのランダム平面分割に対し、極限形状定理を拡張すること。
• 極限表面のための変分的枠組みを確立し、特異積分方程式の手法を用いてそれを解くこと。
• Erdős–Szekeresの定理および最長増加部分列統計との関係を探索すること。

提案手法

• 図版高さ関数の大偏差原理を定式化し、許容可能な表面の上での汎関数を最小化する変分問題に帰着する。
• パラメトリック関数族 $g_\alpha$ と関数 $K(\tilde{g}_\alpha)$ を用いて、変分問題を特異積分方程式に変換する。
• 一パrameter族 $\tilde{g}_\alpha$ を構成し、$K(\tilde{g}_\alpha)$ の直接計算によりその極値性を検証することで、得られた積分方程式を解く。
• 対称性 $L(x,y) = 1 - L(1-x,1-y)$ を用いて、領域 $x+y \leq 1$ における解を単位正方形全体に拡張する。
• ホックウォークアルゴリズムとコトランスイション測度を用い、図版過程と半円分布の関係を確立し、エントリ位置の統計を導出する。
• 類似する変分原理および生成関数の漸近的解析を用いて、長方形図版および平面分割へと手法を拡張する。

実験結果

リサーチクエスチョン

• RQ1 一様にランダムな $n \times n$ 平方ヤング図版の極限形状は何か、$n \to \infty$ のとき？
• RQ2 個々のエントリの位置は極限でどのように分布し、その極限分布は何か？
• RQ3 大きな正方形または長方形の図形上でのランダム平面分割に対し、極限表面定理を確立できるか？
• RQ4 最小のErdős–Szekeres順列における最長増加部分列の漸近的挙動は何か、長さ $n^2$ の部分列に対して？
• RQ5 連続的減少関数 $f$ で近似可能な形状のランダムヤング図版に対し、一般の極限表面 $L_f$ が存在するか？

主な発見

• 極限表面 $L(x,y)$ は、逆正接関数を含む超越方程式によって暗黙的に定義され、$L(x,y) = 1 - L(1-x,1-y)$ を満たす。
• 特定のエントリの位置は、$n \to \infty$ の極限で半円分布に分布収束する。
• 長さ $n^2$ の最小Erdős–Szekeres順列に対して、サイズ $\alpha n^2$ の部分列における最長増加部分列の長さは、$2\sqrt{\alpha(1-\alpha)}n$ に収束する。
• $n \times n$ 正方形図形上での大きな整数 $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)$ の直接計算により検証され、特異積分方程式および直交多項式の理論と結びついている。