[论文解读] Factorial Schur functions and the Yang-Baxter equation

Daniel Bump, Peter J. McNamara+1 more|arXiv (Cornell University)|Aug 15, 2011

Advanced Combinatorial Mathematics参考文献 19被引用 11

一句话总结

本文通过带有形变玻尔兹曼权重的六顶点模型，建立了阶乘施图尔函数的统计力学解释，利用杨-巴克斯方程统一并推广了已知公式。证明了阶乘施图尔函数乘以形变的韦伊分母等于该模型的配分函数，在形变参数 $ t $ 的特殊取值下恢复经典结果，并通过此框架提供了对对偶柯西恒等式的主题性证明。

ABSTRACT

Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of "shift" parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.

研究动机与目标

• 通过带有形变玻尔兹曼权重的六顶点模型，建立阶乘施图尔函数的统计力学模型。
• 统一并推广阶乘施图尔函数的已知表示形式，包括拉苏克斯、麦克namara以及邦普-弗里德贝格-布鲁哈克的公式。
• 利用杨-巴克斯方程证明阶乘施图尔函数在平移参数中的渐近对称性。
• 通过配分函数分解，为阶乘施图尔函数提供一种新的、主题性的对偶柯西恒等式证明。

提出的方法

• 作者定义了一个具有行特异性谱参数 $ z_i $、列特异性平移参数 $ \alpha_j $ 和形变参数 $ t $ 的六顶点模型。
• 他们使用具有非交换参数群 $ \mathrm{GL}(2) \times \mathrm{GL}(1) $ 的杨-巴克斯方程，以确保可积性并计算配分函数。
• 证明该模型的配分函数等于阶乘施图尔函数乘以形变的韦伊分母，推广了十文字的公式。
• 当 $ t $ 取值为 $ -1 $、$ 0 $ 和 $ \infty $ 时，分别恢复已知恒等式：交错多项式的比值、表盘求和公式和拉苏克斯的描述。
• 通过将大系统的配分函数分解为上下两个子系统，每个子系统对应于对偶分拆的施图尔函数，从而证明对偶柯西恒等式。
• 利用边界条件和自旋构型编码分拆 $ \lambda $ 和 $ \hat{\lambda} $，并通过自旋翻转和反射变换将上层子系统转换为标准边界条件。

实验结果

研究问题

• RQ1 阶乘施图尔函数如何被解释为带有形变玻尔兹曼权重的六顶点模型的配分函数？
• RQ2 杨-巴克斯方程在统一阶乘施图尔函数的不同表示形式中起到什么作用？
• RQ3 形变参数 $ t $ 如何在已知的阶乘施图尔函数公式之间实现插值？
• RQ4 能否利用统计力学证明阶乘施图尔函数在平移参数中的渐近对称性？
• RQ5 能否从六顶点模型中配分函数的分解推导出阶乘施图尔函数的对偶柯西恒等式？

主要发现

• 具有参数 $ z_i $、$ \alpha_j $ 和形变 $ t $ 的六顶点模型的配分函数等于 $ s_\lambda(z|\alpha) $ 乘以形变的韦伊分母，推广了十文字的公式。
• 当 $ t = -1 $ 时，模型恢复了交错多项式的比值，证实了麦克唐纳的观察。
• 当 $ t = 0 $ 时，配分函数退化为表盘求和公式，恢复了标准的组合定义。
• 当 $ t = \infty $ 时，模型给出了拉苏克斯对阶乘施图尔函数的描述，与麦克namara先前的研究一致。
• 通过杨-巴克斯方程证明了 $ s_\lambda(z|\alpha) $ 在 $ \alpha_i $ 中的渐近对称性，证实了麦克唐纳的猜想。
• 通过对大系统配分函数的分解，将上下两个子系统分别对应于对偶分拆的施图尔函数，建立了对偶柯西恒等式 $ \prod_{i,j}(x_i + y_j) = \sum_\lambda s_\lambda(x|\alpha) s_{\hat{\lambda}}(y| -\alpha) $。