[论文解读] Bijective proofs for Schur function identities

Markus Fulmek|ArXiv.org|Sep 29, 2009

Advanced Combinatorial Mathematics参考文献 15被引用 6

一句话总结

本文为一个广义的施温函数恒等式提供了双射证明，该恒等式涵盖了并推广了Gurevich、Pyatov和Saponov关于两个施温函数乘积的先前已知恒等式。通过非相交格路路径与双色路径重着色技术，作者建立了一个组合框架，通过显式双射和图形构造，统一推导出施温函数恒等式，包括[4]中的特例。

ABSTRACT

Gurevich, Pyatov and Saponov recently stated an expansion for the product of two Schur functions and gave a proof based on the Pluecker relations. Here we show that this identity is in fact a special case of a quite general Schur function identity, which was stated and proved in a paper by Fulmek and Kleber, where it was used to prove bijectively Dodgsons condensation formula and the Pluecker relations, but was not paid further attention: So we take the opportunity to make obvious the range of applicability of this identity by giving concrete examples, accompanied by many graphical illustrations.

研究动机与目标

• 证明Gurevich、Pyatov和Saponov（2009）提出的施温函数恒等式是更一般恒等式的一个特例。
• 通过非相交格路路径与双色路径叠加，为该一般恒等式提供双射的组合解释。
• 通过具体例子和图形表示，说明该一般恒等式的广泛适用性。
• 澄清[1, 引理16]的形式语言与[4]中使用的语言之间的转换关系，使其中的组合结构更加清晰。

提出的方法

• 利用Gessel-Viennot格路模型，将半标准斜杨表视为非相交格路路径族。
• 对对应于斜施温函数乘积的两组此类路径族的叠加，应用双色路径重着色技术。
• 通过符号相反的对合与路径重着色重构乘积恒等式，导致按向上剥离操作索引的项分解。
• 在路径构型与表之间建立双射，从而实现对恒等式的直接组合证明。
• 将[1, 引理16]中的一般恒等式转化为分拆与施温函数的语言，证明其与[4]中恒等式的等价性。
• 使用图形插图展示路径重着色、向上剥离操作以及由此产生的分拆位移。

实验结果

研究问题

• RQ1 如何通过格路路径组合地分解两个施温函数的乘积？
• RQ2 能够涵盖Gurevich、Pyatov和Saponov恒等式的施温函数恒等式的一般形式是什么？
• RQ3 分拆上的向上剥离操作如何对应于格路模型中的路径重着色？
• RQ4 非相交格路路径与双色叠加在构建双射证明中起到什么作用？
• RQ5 如何将[4]中的恒等式作为[1, 引理16]中更一般恒等式的一个特例推导出来？

主要发现

• 证明了[4, (3.3)]中的恒等式是通过非相交格路路径叠加中路径重着色导出的更一般施温函数恒等式的一个特例。
• 该一般恒等式被重新表述为定理1，该定理提供了两个斜施温函数乘积的双射分解，其和为通过向上剥离操作得到的分拆。
• 向上剥离操作定义为：在分拆中大小减小的行中选择一个起始方格，并向上移除一个部分边框条带至顶行。
• 对于每个此类操作，由行$i$和位置$t$索引，所得分拆记为$\lambda^{\uparrow_{(i,t)}}$，其对乘积的贡献项为$s_{\lambda^{\uparrow_{(i,t)}}/\mu} \cdot s_{\nu^{\downarrow^{(i)}}/\mu}$。
• 完整恒等式表达为$s_{\lambda/\mu} \cdot s_{\nu^{\downarrow}/\tau} = s_{\lambda^{\downarrow}/\mu} \cdot s_{\nu/\mu} + \sum_{i=1}^{k} s_{\lambda^{\uparrow_{(r_i-1,t_i)}}/\mu} \cdot s_{\nu^{\downarrow^{(r_i)}}/\mu}$，其中$k$为下降位置的数量。
• 该证明是完全双射的，依赖于显式的路径重着色与符号相反的对合，所有步骤均通过图形构造予以说明。