[论文解读] Double Hurwitz numbers via the infinite wedge

Paul D. Johnson|arXiv (Cornell University)|Aug 19, 2010

Holomorphic and Operator Theory参考文献 10被引用 9

一句话总结

本文提出了一种基于无限楔形形式的算法，用于计算双赫尔维茨数的生成函数，证明了其分段多项式结构，并解决了强分段多项式猜想。该方法利用无限楔形空间上的算子演算，推导出显式公式，揭示了分歧型参数空间中的扇形结构与墙交叉行为。

ABSTRACT

We derive an algorithm to produce explicit formulas for certain generating functions of double Hurwitz numbers. These formulas generalize a formula of Goulden, Jackson and Vakil for one part double Hurwitz numbers. Immediate consequences include a new proof that double Hurwitz numbers are piecewise polynomial, an understanding of the chamber structure and wall crossing for these polynomials, and a proof of the Goulden, Jackson and Vakil's Strong Piecewise Polynomiality conjecture. The method is a straightforward application of Okounkov's expression for double Hurwitz numbers in terms of operators on the infinite wedge. We begin with a introduction to the infinite wedge tailored to our use.

研究动机与目标

• 开发一种基于无限楔形形式的算法，用于计算双赫尔维茨数的生成函数。
• 提供一种新证明，表明双赫尔维茨数在其分歧参数下是分段多项式。
• 通过分析扇形结构与墙交叉行为，解决强分段多项式猜想。
• 深化对共振排列及其在分类连通与非连通覆盖中作用的理解。
• 推导出一个简化的墙交叉公式，描述由共振排列定义的扇形之间赫尔维茨数的生成函数变化。

提出的方法

• 该方法在无限楔形 Fock 空间上应用奥库诺夫对双赫尔维茨数的算子表达式。
• 通过计算创生与湮灭算子乘积的真空期望值，提取生成函数。
• 形式化方法使用函数 $\varsigma(z) = e^{z/2} - e^{-z/2}$ 和 $\mathcal{S}(z) = \varsigma(z)/z$ 来编码分歧数据。
• 通过全交换子模式定义 $\mu$ 和 $\nu$ 的部分的规范总序 $\varphi$，以识别扇形。
• 该算法将生成系列 $H_{\mu,\nu}(z)$ 计算为交换子模式的和，其中每一项涉及矩阵元素的 $\varsigma$-函数。
• 扇形依赖性源于 $\varphi$-有序部分的部分和涉及的不等式导致项的消失或非消失。

实验结果

研究问题

• RQ1 如何利用算子形式化系统地计算双赫尔维茨数的生成函数？
• RQ2 分歧型参数空间中的扇形分解具有何种精确结构？
• RQ3 为何双赫尔维茨数是分段多项式，且扇形之间的墙交叉行为由什么决定？
• RQ4 在何种条件下，生成函数可简化为乘积公式？
• RQ5 能否利用此形式化证明强分段多项式猜想？

主要发现

• 本文证明了双赫尔维茨数在其分歧型 $\mu$ 和 $\nu$ 下是分段多项式，扇形由共振排列定义。
• 强分段多项式猜想得以解决：生成函数 $H_{\mu,\nu}(z)$ 在 $\mu$ 和 $\nu$ 上是分段多项式，多项式部分由墙 $W_{I,J}$ 分隔。
• 推导出一种新颖的墙交叉公式，比以往版本更简单，描述了生成函数在共振墙之间的变化。
• 在 $\varphi$-完全负扇形中，生成函数简化为单一项，从而得到一个涉及部分加权和的 $\varsigma$-函数的乘积公式。
• 证明了全交换子模式是 $\varphi$-完全负扇形中唯一非零项，这是由于真空期望值中的能量守恒。
• 该方法为任意固定的 $\mu$ 和 $\nu$ 提供了 $H_{\mu,\nu}(z)$ 的闭式表达，推广了 [GJV05] 中的一部分公式。