[论文解读] Explicit expression for the generating function counting Gessel's walks

Irina Kurkova, Kilian Raschel|arXiv (Cornell University)|Dec 2, 2009

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

一句话总结

本文为计数格路（Gessel's walks）——在正象限内使用向西、东北、向东和西南步长的格路——的三元生成函数提供了显式闭式表达。通过复分析、黎曼边界值问题和椭圆函数，作者在环面上通过统一化和共形粘合方法，推导出边界上的生成函数精确表达式，从而解决了长期悬而未决的Gessel猜想。

ABSTRACT

Gessel's walks are the planar walks that move within the positive quadrant $\mathbb{Z}_{+}^{2}$ by unit steps in any of the following directions: West, North-East, East and South-West. In this paper, we find an explicit expression for the trivariate generating function counting the Gessel's walks with $k\geq 0$ steps, which start at $(0,0)$ and end at a given point $(i,j) \in \mathbb{Z}^2_+$.

研究动机与目标

• 解决Gessel于2001年提出的关于长度为2k的格路返回原点的计数猜想。
• 为计数Gessel格路（步长集合为{West, NE, East, SW}）的三元生成函数Q(x,y,z)推导出显式闭式表达式。
• 通过基于复分析的新型解析方法，克服Gessel模型中轨道和方法的失效。
• 建立一个适用于其他79个具有有限群结构的象限格路模型的通用框架。
• 通过环面上的黎曼-卡莱曼边界值问题表征生成函数Q(x,0,z)、Q(0,y,z)和Q(0,0,z)。

提出的方法

• 以边界生成函数的形式表述三元生成函数Q(x,y,z)的功能方程(1)。
• 将问题约化为在由周期ω₁、ω₂、ω₃定义的复环面上求解黎曼-卡莱曼边界值问题（BVPs）。
• 通过Weierstrass椭圆函数℘进行统一化，参数化黎曼曲面，并在环面上定义亚纯函数x(ω)、y(ω)。
• 构造满足在对合ψ下函数方程(39)和(40)的共形粘合函数qx(ω)和qy(ω)。
• 通过分析x(ω)、y(ω)和y(ω)+1的极点与零点（利用引理28），证明qx和(y+1)qy在切口环面上的全纯性。
• 利用椭圆函数的解析延拓与单值性性质，验证边界条件的一致性。

实验结果

研究问题

• RQ1 Gessel在正象限中的格路的三元生成函数Q(x,y,z)的显式闭式表达式是什么？
• RQ2 尽管Gessel模型中轨道和方法失效，如何通过解析方法求解功能方程(1)？
• RQ3 黎曼-卡莱曼边界值问题与椭圆函数在求解具有有限群结构的格路生成函数中起什么作用？
• RQ4 边界上生成函数的奇点如何与Weierstrass椭圆函数的零点和极点相关联？
• RQ5 该方法能否推广至其他79个具有有限群作用的象限格路模型？

主要发现

• 作者通过复分析与椭圆函数，推导出Gessel格路的三元生成函数Q(x,y,z)的显式表达式。
• 边界生成函数Q(x,0,z)、Q(0,y,z)和Q(0,0,z)以Weierstrass椭圆函数及其在环面上的统一化形式表达。
• 该解依赖于在具有周期ω₁、ω₂、ω₃的复环面上求解黎曼-卡莱曼边界值问题，其中指标χ = 0。
• qx(ω)与qy(ω)在切口环面C/Ω上全纯，除孤立奇点外，这些奇点由函数方程抵消。
• 通过引理28，完全刻画了x(ω)、y(ω)和y(ω)+1的极点与零点：x在ω₂/8、7ω₂/8处有单极点；y在3ω₂/8处有二阶极点，在7ω₂/8处有二阶零点。
• 生成函数Q(0,0,z)在y = -1处有界，确保即使存在明显奇点，qy(ω)在ω₂/8与5ω₂/8处仍保持全纯。