[论文解读] Six-Vertex, Loop and Tiling models: Integrability and Combinatorics

Paul Zinn-Justin|ArXiv.org|Jan 6, 2009

Advanced Combinatorial Mathematics参考文献 106被引用 65

一句话总结

本文综述了可积统计模型——六顶点模型、环状模型和镶嵌模型——通过量子可积性将统计物理与枚举组合数学及代数几何相联系。文章建立了具有域墙边界条件的六顶点模型与交错和矩阵之间的深刻联系，利用伊泽尔金公式，并通过量子 Knizhnik–Zamolodchikov 方程与施伯伯特几何方法，证明了 Razumov–Stroganov 猜想中的关键结果。

ABSTRACT

This is a review (including some background material) of the author's work and related activity on certain exactly solvable statistical models in two dimensions, including the six-vertex model, loop models and lozenge tilings. Applications to enumerative combinatorics and to algebraic geometry are described.

研究动机与目标

• 通过可积性的视角，统一量子可积模型与枚举组合数学及代数几何时，
• 全面综述作者关于六顶点模型、环状模型及其与平面分拆、交错和矩阵、施伯伯特簇之间联系的研究工作及相关进展。
• 建立 Razumov–Stroganov 猜想、量子 Knizhnik–Zamolodchikov 方程与矩阵施伯伯特簇、轨道簇等几何对象之间的严格联系。
• 展示可积系统解如何导出新的组合恒等式与几何不变量，包括多度数与施伯伯特多项式。
• 阐明 Macdonald 多项式与阶乘施伯伯特多项式在仿射 Hecke 代数与环状模型中的出现机制，及其在 Brauer 环路方案退化极限中的作用。

提出的方法

• 利用自由费米子 Fock 空间形式与 $\frak{gl}(\infty)$-对称性定义施伯伯特函数，并通过维克定理推导雅可比–特雷迪恒等式。
• 应用 Lindström–Gessel–Viennot 引理，将非相交格路与施伯伯特函数及平面分拆计数相联系。
• 采用 $R$-矩阵归一化的量子 Knizhnik–Zamolodchikov (qKZ) 方程，通过递推关系与朱奇–墨菲元构造解。
• 通过垂直翻转与幂零 Hecke 代数作用，建立 Brauer 环路方案中分量 $E_{\pi}$ 与矩阵施伯伯特簇 $S_{\sigma}$ 之间的几何对应关系。
• 在退化极限 $\tau \to 2$ 下，恢复幂零 Hecke 代数，并将 Brauer 环路多项式与双施伯伯特多项式相联系。
• 应用 Bott–Samelson 构造与管道梦想模型，描述矩阵施伯伯特簇及其定义方程。

实验结果

研究问题

• RQ1 qKZ 方程的解如何与环状模型在圆柱面上的稳态分布相关联？
• RQ2 Brauer 环路方案中分量 $E_{\pi}$ 的精确几何意义是什么？它们与矩阵施伯伯特簇有何关系？
• RQ3 Brauer 环路模型在 $\tau \to 2$ 退化极限下如何恢复幂零 Hecke 代数与双施伯伯特多项式？
• RQ4 轨道簇与矩阵施伯伯特簇的多度数如何从可积模型的配分函数中涌现？
• RQ5 Razumov 与 Stroganov 所提出的环路模型基态和规则，如何由 qKZ 方程与轮状条件推导得出？

主要发现

• 在圆柱面上的完全密铺环路（FPL）模型的基态被证明与标准杨表所索引的施伯伯特函数之和成正比，从而在置换扇区中证实了 Razumov–Stroganov 猜想。
• 利用六顶点模型在域墙边界条件下的伊泽尔金公式，导出了交错和矩阵的计数，从而为 MacMahon 公式提供了物理推导。
• 矩阵施伯伯特簇 $S_{\sigma}$ 的多度数被恢复为 Brauer 环路多项式 $\Upsilon_{\pi}(x_1,\ldots,x_{2n},\textsc{a},\textsc{b})$ 在 $\tau \to 2$ 极限下的极限，其中 $\Upsilon_{\pi} \sim \textsc{b}^{n(n-1)-|\sigma|} \Xi_{\sigma}(\textsc{a}+x_n,\ldots,\textsc{a}+x_1|x_{n+1},\ldots,x_{2n})$。
• 在置换扇区中，Brauer 环路方案的分量 $E_{\pi}$ 在映射 $(X,Y) \mapsto X$ 下（经垂直翻转）投影至矩阵施伯伯特簇 $S_{\sigma}$，且 $E_{\pi}$ 的定义方程与 Knutson 对上-上方案的猜想方程一致。
• 在 $\tau \to 2$ 极限下，Brauer 环路多项式的交换关系退化为经典双施伯伯特多项式（5.3）与对称施伯伯特多项式（5.4）的交换关系，经重新定义 $f_i \to t_i = (1 - \tau/2)f_i$ 后成立。
• 满足轮状条件与递推关系的 qKZ 方程的解，重现了环路模型基态的和规则，从而证实了其与标准杨表上施伯伯特函数之和的正比关系。