[论文解读] Partition functions of integrable lattice models and combinatorics of symmetric polynomials

Kohei Motegi, Kazumitsu Sakai+1 more|arXiv (Cornell University)|Dec 25, 2015

Algebraic structures and combinatorial models参考文献 5被引用 3

一句话总结

本文建立了可积晶格模型的分划函数（特别是XXZ型和Felderhof模型）与对称多项式（如Schur、Grothendieck和辛Schur函数）之间的深层对应关系。通过从L-算符和边界条件推导波函数，作者证明了广义对偶Cauchy恒等式，将这些分划函数与阶乘Schur函数及辛Schur函数联系起来，揭示了通过量子可积性发现的新组合结构。

ABSTRACT

We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic Schur functions.

研究动机与目标

• 建立可积晶格模型分划函数与对称多项式之间系统性的对应关系。
• 探索XXZ型和Felderhof模型中的波函数如何生成Schur、Grothendieck和辛Schur函数。
• 将对应关系推广至包含彩色表示和扩展谱参数的情形。
• 利用域墙边界条件和Tsuchiya边界条件，推导阶乘与辛Schur函数的新对偶Cauchy恒等式。
• 证明量子可积性为代数组合学中对称函数理论的组合恒等式提供了强有力的发现与证明框架。

提出的方法

• 从满足RLL关系的L-算符出发，利用谱参数和额外的形变参数推导波函数。
• 通过域墙边界条件和Tsuchiya边界条件构造分划函数，以生成对称多项式。
• 应用Yang-Baxter关系和R-矩阵形式化方法，确保模型的可积性与一致性。
• 使用行列式表示和生成函数表达广义Schur与Grothendieck多项式。
• 通过在特定边界条件下计算标量积与分划函数，推导对偶Cauchy恒等式。
• 通过扩展参数集与修改L-算符，将对应关系推广至阶乘与辛Schur函数。

实验结果

研究问题

• RQ1 XXZ型与Felderhof模型的波函数如何与Schur与Grothendieck多项式相对应？
• RQ2 谱参数与额外形变参数在从晶格分划函数生成对称多项式的过程中起什么作用？
• RQ3 域墙边界条件与Tsuchiya边界条件如何导致阶乘与辛Schur函数的对偶Cauchy恒等式？
• RQ4 可积模型与对称多项式之间广义对应关系的代数结构是什么？
• RQ5 量子可积性能否为原本难以推导的对称函数提供新的组合公式？

主要发现

• XXZ型模型的波函数被识别为β-Grothendieck多项式的q-变形，其中q参数与量子群Uq(sl2)相关联。
• 对于Felderhof模型，带有域墙边界条件的分划函数导出了涉及参数α与γ的阶乘Schur函数的对偶Cauchy恒等式。
• Tsuchiya边界条件使辛Schur函数在分划函数中出现，推广了先前的结果。
• 推导出广义阶乘辛Schur函数的新对偶Cauchy恒等式，涉及(1 + αj(γk − γj))与(1 − γjγk)项的乘积。
• 广义辛Schur函数通过包含gμ(z|{α}, {γ})函数的矩阵行列式定义，为这些对称多项式提供了新表示。
• 该对应关系表明，可积模型自然编码了代数组合学中深刻的组合恒等式，尤其在Schubert微分几何中具有重要意义。