[论文解读] q-Distributions on boxed plane partitions

Alexei Borodin, Vadim Gorin+1 more|arXiv (Cornell University)|May 5, 2009

Bayesian Methods and Mixture Models参考文献 27被引用 11

一句话总结

本文通过椭圆权重在方框平面分拆上引入q-分布，推广了MacMahon的乘积公式。它建立了显式的马尔可夫链以实现精确采样，并证明在体极限下局部相关性收敛到遍历的吉布斯测度，其斜率由一个二次多项式编码，扩展了经典随机密铺与正交多项式的结果。

ABSTRACT

We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types of results. First, we construct explicit Markov chains that preserve these distributions. In particular, this leads to a relatively simple exact sampling algorithm. Second, we consider a limit when all dimensions of the box grow and plane partitions become large, and prove that the local correlations converge to those of ergodic translation invariant Gibbs measures. For fixed proportions of the box, the slopes of the limiting Gibbs measures (that can also be viewed as slopes of tangent planes to the hypothetical limit shape) are encoded by a single quadratic polynomial.

研究动机与目标

• 通过洛瓦兹密铺上的椭圆权重推广MacMahon的平面分拆数量乘积公式。
• 构建显式的马尔可夫链以保持q-分布，并实现平面分拆的精确采样。
• 分析大平面分拆的体极限，证明局部相关性收敛到遍历的平移不变吉布斯测度。
• 在体极限下，将极限吉布斯测度的斜率编码为单个二次多项式。
• 将该模型与q-拉卡赫正交多项式联系起来，并建立与q-Askey谱顶端的关联。

提出的方法

• 在由theta函数和模参数参数化的六边形的菱形密铺上引入椭圆权重。
• 利用椭圆超几何函数与双正交函数，推导出MacMahon公式的推广。
• 通过q-拉卡赫多项式的递推关系，构建保持q-分布的尺寸变化马尔可夫链的随机矩阵。
• 通过正交多项式建立相关核的行列式表示，以实现渐近分析。
• 应用相关核极限方法，证明在体标度极限下收敛到遍历的吉布斯测度。
• 使用变分原理与欧拉-拉格朗日方程刻画极限形状，其外部势能来自q-权重。

实验结果

研究问题

• RQ1 如何通过洛瓦兹密铺上的椭圆权重推广MacMahon的平面分拆乘积公式？
• RQ2 哪些马尔可夫链保持方框平面分拆上的q-分布并实现精确采样？
• RQ3 在这些q-分布下，大平面分拆的体极限中局部相关性如何表现？
• RQ4 极限形状的几何结构是什么？其斜率在渐近 regime 中如何编码？
• RQ5 所得的吉布斯测度与q-拉卡赫正交多项式及q-Askey谱有何关联？

主要发现

• 本文证明了使用theta函数与双正交函数的椭圆推广MacMahon公式，对一般参数成立，且满足|p| < 1与u₁u₂u₃ = 1。
• 所有方框平面分拆的总权重表示为格点上的乘积，涉及q-Pochhammer符号与椭圆gamma函数。
• 构建了显式的马尔可夫链，保持q-分布，并通过增减方框尺寸实现完美采样。
• 在体极限下，局部相关性收敛到遍历的平移不变吉布斯测度，其斜率由一个二次多项式决定。
• 极限形状满足带外部势能的变分原理，冻结边界在六边形顶点处可能具有一个或两个节点。
• 极限模型对应于q-Askey谱顶端的q-拉卡赫正交多项式，椭圆情形留待未来工作。