[论文解读] Using Grassmann calculus in combinatorics: Lindström-Gessel-Viennot lemma and Schur functions

Sylvain Carrozza, Thomas Krajewski+1 more|arXiv (Cornell University)|Apr 21, 2016

Advanced Combinatorial Mathematics参考文献 7被引用 29

一句话总结

本文将格拉斯曼微积分的新应用引入组合学，为林德斯特伦-盖塞尔-维尼托引理和雅可比-特鲁迪恒等式提供了新证明。通过格拉斯曼积分表示和对易变量，定义了一类满足卷积恒等式的单参数扩展谢尔多项式，从而在格拉斯曼积分表示和反对易变量的基础上推广了经典对称函数理论。

ABSTRACT

Grassmann (or anti-commuting) variables are extensively used in theoretical physics. In this paper we use Grassmann variable calculus to give new proofs of celebrated combinatorial identities such as the Lindström-Gessel-Viennot formula for graphs with cycles and the Jacobi-Trudi identity. Moreover, we define a one parameter extension of Schur polynomials that obey a natural convolution identity.

研究动机与目标

• 将格拉斯曼微积分应用于推导林德斯特伦-盖塞尔-维尼托引理和雅可比-特鲁迪恒等式等基本组合恒等式的全新证明。
• 基于格拉斯曼积分表示，利用单参数扩展推广谢尔多项式。
• 为扩展的谢尔多项式建立卷积恒等式，推广经典谢尔函数的乘积法则。
• 证明谢尔函数的路径计数解释可自然推广至参数化情形，其中路径交点贡献带有符号。

提出的方法

• 使用满足反对易关系 $\chi_i\chi_j = -\chi_j\chi_i$ 和 $\chi_i^2 = 0$ 的格拉斯曼变量，以在组合路径计数中模拟费米统计。
• 采用格拉斯曼高斯积分表达行列式与子式，包括 $\det M = \int d\bar{\chi}d\chi \, \exp\left(-\sum_{i,j} \bar{\chi}_i M_{ij} \chi_j\right)$。
• 定义生成函数 $U^a(x) = \prod_{m=1}^n (1 - x_m T)^{-a}$，通过在 $T$ 中展开生成广义谢尔多项式 $S_k(a,x)$。
• 在网格上构建加权路径模型，其中水平边的权重包含 $a(a-1)\cdots(a-k+1)/k!$，以反映参数 $a$。
• 应用柯西-宾特定理展开 $s_{\lambda/\mu}(a,x)$ 的行列式表达式，从而推导出卷积恒等式。
• 利用恒等式 $U^a(x)U^b(x) = U^{a+b}(x)$ 推导卷积规则 $s_{\lambda/\mu}(a+b,x) = \sum_{\nu} s_{\lambda/\nu}(a,x)s_{\nu/\mu}(b,x)$。

实验结果

研究问题

• RQ1 格拉斯曼微积分能否在不使用对合或符号相反的对合的情况下，为林德斯特伦-盖塞尔-维尼托引理提供统一且初等的证明？
• RQ2 如何利用格拉斯曼积分技术和反对易变量重新推导雅可比-特鲁迪恒等式？
• RQ3 谢尔多项式的自然单参数扩展是什么？它应保持组合结构并满足卷积恒等式。
• RQ4 在广义谢尔函数展开中，路径贡献如何体现非相交路径与端点置换的影响？

主要发现

• 利用格拉斯曼微积分重新证明了林德斯特伦-盖塞尔-维尼托引理，由于反对易性，相交路径的贡献自然消失。
• 通过基本对称函数的格拉斯曼积分表示推导出雅可比-特鲁迪恒等式，并推广至参数化情形。
• 通过 $\det\big(S_{\lambda_j - \mu_i + i - j}(a,x)\big)$ 定义谢尔多项式 $s_{\lambda/\mu}(a,x)$ 的单参数扩展，其中 $S_k(a,x)$ 由 $U^a(x) = \prod_m (1 - x_m T)^{-a}$ 生成。
• 扩展的谢尔多项式满足卷积恒等式 $s_{\lambda/\mu}(a+b,x) = \sum_{\nu} s_{\lambda/\nu}(a,x)s_{\nu/\mu}(b,x)$，推广了经典乘积法则。
• 当 $a=1$ 时，该构造恢复标准谢尔函数；当 $a \neq 1$ 时，出现新的路径贡献，其符号由端点排序决定，例如 $s_{(2,1)}(a,x)$ 中包含 $-\frac{a(a-1)(a-2)}{6}\sum_m x_m^3$ 项。
• 共轭恒等式 $s_{\lambda^*/\mu^*}(a,x) = (-1)^{| \lambda| - | \mu|} s_{\lambda/\mu}(-a,x)$ 成立，将对偶性推广至参数化情形。