[论文解读] Dimer model, bead model and standard Young tableaux: finite cases and limit shapes

Wangru Sun|arXiv (Cornell University)|Apr 10, 2018

Random Matrices and Applications参考文献 14被引用 12

一句话总结

本文通过证明在缩放极限下，归一化的高度函数收敛于最大化变分熵泛函的曲面，建立了均匀随机标准杨表和串珠构型的极限形状的存在性。串珠模型被证明是六价子模型的缩放极限，且串珠模型的极限形状被证明是六价子模型极限形状的极限，推广了关于杨表和六价子系统的已有结果。

ABSTRACT

The bead model is a random point field on $\mathbb{Z} imes\mathbb{R}$ which can be viewed as a scaling limit of dimer model. We prove that, in the scaling limit, the normalized height function of a uniformly chosen random bead configuration lies in an arbitrarily small neighborhood of a surface $h_0$ that maximizes some functional which we call as entropy. We also prove that the limit shape $h_0$ is a scaling limit of the limit shapes of a properly chosen sequence of dimer models. There is a map from bead configurations to standard tableaux of a (skew) Young diagram, and the map preserves uniform measures, and our results of the bead model yield the existence of the limit shape of a random standard Young tableau.

研究动机与目标

• 通过从串珠构型到标准杨表的保测度映射，建立均匀随机（斜）杨表的极限形状的存在性。
• 证明串珠模型的缩放极限收敛于最大化变分熵泛函的曲面。
• 证明串珠模型的极限形状是在适当归一化下，作为一系列六价子模型极限形状的极限而出现的。
• 在串珠模型及其缩放极限的背景下，定义并分析组合熵和局部熵函数。

提出的方法

• 引入串珠模型作为 Z×R 上满足交错性和局部有限性约束的随机点场。
• 在串珠模型上定义高度函数，并在均匀测度下构造到标准杨表的保测度映射。
• 为串珠构型引入调整后的组合熵 S(.)，并通过环形模型分析将其与局部熵函数 ent(.,.) 关联。
• 在单位正方形 D=[0,1]×[0,1] 上定义全局熵泛函 Ent(.) 为 ent(.,.) 的积分，并证明在允许的高度函数类上，Ent(.) 的变分原理。
• 使用欧拉-麦克拉林公式和复分析，比较单位根上的求和与积分，证明在缩放极限下离散求和收敛于积分。
• 建立极限的可交换性：在一致边界条件下，串珠模型的极限与六价子模型极限形状的极限相同。

实验结果

研究问题

• RQ1 在缩放极限下，均匀随机串珠构型的归一化高度函数是否收敛于确定性的极限形状？
• RQ2 串珠模型的极限形状是否可作为一系列尺寸递增、具有固定渐近边界条件的六价子模型极限形状的极限而实现？
• RQ3 是否存在一个变分原理，将串珠模型的极限形状刻画为全局熵泛函的最大化者？
• RQ4 串珠模型的组合熵与其局部熵函数和全局熵泛函之间有何关系？
• RQ5 从串珠构型到标准杨表的保测度映射是否保持缩放极限，从而意味着随机杨表存在极限形状？

主要发现

• 随机串珠构型的归一化高度函数以概率收敛于唯一曲面 h₀，该曲面在单位正方形 D 上最大化熵泛函 Ent(.)。
• 串珠模型的极限形状 h₀ 是在相同渐近边界条件下，一系列在更大区域上的六价子模型极限形状的适当归一化极限。
• 泛函 Ent(.) 定义为局部熵函数 ent(.,.) 在 D 上的积分，且在给定边界条件下，Ent(.) 的最大化者 h₀ 被证明是唯一的极限形状。
• 串珠模型的调整后组合熵 S(.) 在缩放极限下渐近等价于 n² 倍的熵泛函 Ent(.)。
• 通过欧拉-麦克拉林公式和复分析，严格建立了单位根上的离散求和收敛于积分，从而支持了变分原理的证明。
• 通过从串珠构型到均匀随机标准（斜）杨表的保测度映射，确立了极限形状的存在性，推广了 PR07 和 Ś06 的先前结果。