[论文解读] 2D Toda au-functions as combinatorial generating functions

Mathieu Guay-Paquet, J. Harnad|arXiv (Cornell University)|May 24, 2014

Algebraic structures and combinatorial models参考文献 38被引用 10

一句话总结

本文通过两种等价框架——Jucys-Murphy元系作用于群代数与费米子 Fock 空间顶点算子构造——将二维 Toda tau 函数的组合解释为对称群 $S_n$ 的凯莱图中路径计数的生成函数。关键结果表明，双 Schur 函数展开中的系数对应于多重单调路径的计数，通过基于特征映射与费米子化同构的统一代数-几何框架，推广了 Hurwitz 数与单调路径计数。

ABSTRACT

Two methods of constructing 2D Toda $\ au$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_\\lambda \\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $\ au$-functions of hypergeometric type. The second method is the standard construction of $\ au$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions.

研究动机与目标

• 将二维 Toda tau 函数的两种不同构造联系起来：一种是通过 $\mathbf{C}[S_n]$ 中共轭类上的群代数作用，另一种是通过费米子 Fock 空间中的顶点算子矩阵元。
• 将这些 tau 函数的双 Schur 函数展开中的系数解释为由对换生成的 $S_n$ 凯莱图中的组合路径计数。
• 将已知的 Hurwitz 数与单调路径计数结果扩展至更广类别的生成函数，包括混合与多重单调路径计数。
• 在特征映射与费米子化同构的交织下，建立 $\mathbf{C}[S_n]$ 中中心元的阿贝尔群与 Fock 空间卷积对称群之间的同态。
• 为双曲型二维 Toda tau 函数提供统一的代数-几何解释，将其视为具有几何意义的组合不变量的生成函数。

提出的方法

• 通过将弗罗贝尼乌斯特征映射扩展至 $\mathbf{C}[S_n] \otimes \mathbf{C}[S_n]$，将群代数作用转化为对称函数展开。
• 定义从由 Jucys-Murphy 幂和指数生成的中心元 $e^{\sum t_i P_i}$ 的代数 $\mathcal{A}_P$ 到 Fock 空间中卷积对称群 $\hat{C}$ 的同态 $\mathcal{I}$。
• 在费米子 Fock 空间 $\mathcal{F}$ 中，将 tau 函数构造为顶点算子与卷积对称算子在真空态上的矩阵元，且在标准基 $|\lambda;N\rangle$ 下对角化。
• 将所得的 tau 函数表达为对角双 Schur 函数展开 $\sum_{\lambda} r_\lambda^{(s,u_1,\dots,u_m)} S_\lambda(\mathbf{p}^{(1)}) S_\lambda(\mathbf{p}^{(2)})$，其中系数 $r_\lambda$ 编码路径计数。
• 通过弗罗贝尼乌斯特征公式将展开式重新表达为幂和对称函数形式，得到关于 $p$ 与 $w_\alpha$ 变量的多元泰勒级数。
• 识别出系数 $E^{(n,d_1,\dots,d_m)}(\lambda,\mu)$ 为在 $m$ 个长度为 $d_1,\dots,d_m$ 的区间内，按较大索引严格递增顺序使用 $d_\alpha$ 个对换的凯莱图中路径的计数。

实验结果

研究问题

• RQ1 如何将二维 Toda tau 函数解释为 $S_n$ 凯莱图中路径计数等组合不变量的生成函数？
• RQ2 通过 Jucys-Murphy 元素的群代数作用与费米子 Fock 空间中顶点算子构造之间的精确代数关系是什么？
• RQ3 二维 Toda tau 函数的双 Schur 函数展开中的系数如何对应于具有单调性约束的路径计数？
• RQ4 HCIZ 积分及其变体能否被理解为对称群中多重单调路径计数的生成函数？
• RQ5 特征映射与费米子化同构在统一群代数与 Fock 空间方法构造 tau 函数中起什么作用？

主要发现

• 在 $\tilde{Z}_{(2,m)}$ 的幂和展开中，系数 $E^{(n,d_1,\dots,d_m)}(\lambda,\mu)$ 计数的是从共轭类 $C_\lambda$ 出发、终止于 $C_\mu$ 的凯莱图中的路径数，这些路径由对换生成，且在 $m$ 个长度为 $d_1,\dots,d_m$ 的段内，较大索引严格递增。
• 对角双 Schur 函数展开 $\tilde{Z}_{(2,m)}(q,w_1,\dots,w_m|\mathbf{p}^{(1)},{\mathbf{p}}^{(2)}) = \sum_{\lambda} \tilde{r}_\lambda^{(q,w_1,\dots,w_m)} S_\lambda(\mathbf{p}^{(1)}) S_\lambda(\mathbf{p}^{(2)})$ 的本征值为 $\tilde{r}_\lambda^{(q,w_1,\dots,w_m)} = q^{|λ|} \prod_{\alpha=1}^m \prod_{(ij)\in\lambda} (1 + w_\alpha(j-i))$，其编码了多重单调路径的生成函数。
• 同态 $\mathcal{I}: \mathcal{A}_P \to \hat{C}$ 将群代数中的中心元 $e^{\sum t_i P_i}$ 映射到 Fock 空间中的卷积对称性，且由特征映射与费米子化复合所交织。
• $Z_{(2,m)}$ 的 $k=2$ 情况对应于一种双曲型二维 Toda tau 函数，其推广了双 Hurwitz 数与单调双 Hurwitz 数。
• $k=1$ 情况在特定取值下退化为 HCIZ 积分，其系数在 $w_\alpha \to 0$ 极限下被证明计数弱单调路径。
• 整个构造提供了一个统一框架：同一 tau 函数既可从群代数（通过路径计数）也可从 Fock 空间（通过顶点算子矩阵元）导出，而特征映射与费米子化则在两者之间架起桥梁。