[论文解读] On the Holonomy or Algebraicity of Generating Functions Counting Lattice Walks in the Quarter-Plane

Guy Fayolle, Kilian Raschel|arXiv (Cornell University)|Apr 10, 2010

Mathematics and Applications参考文献 9被引用 20

一句话总结

本文通过直接应用[4]中的通用定理，特别是基于概率随机游走模型导出的函数方程，确立了23种小步格路在象限内生成函数的代数与超几何性质。结果表明，所有生成函数均为超几何函数，其中四种情况（包括Gessel的随机游走）为代数函数，这取决于相关群结构与在由Weierstrass椭圆函数统一化的亏格一黎曼曲面上的核方程结构。

ABSTRACT

In two recent works \cite{BMM,BK}, it has been shown that the counting generating functions (CGF) for the 23 walks with small steps confined in a quadrant and associated with a finite group of birational transformations are holonomic, and even algebraic in 4 cases -- in particular for the so-called Gessel's walk. It turns out that the type of functional equations satisfied by these CGF appeared in a probabilistic context almost 40 years ago. Then a method of resolution was proposed in \cite{FIM}, involving at once algebraic tools and a reduction to boundary value problems. Recently this method has been developed in a combinatorics framework in \cite{Ra}, where a thorough study of the explicit expressions for the CGF is proposed. The aim of this paper is to derive the nature of the bivariate CGF by a direct use of some general theorems given in \cite{FIM}.

研究动机与目标

• 确定受限于象限的小步格路的双变量生成函数（CGF）的性质——超几何或代数。
• 利用[4]中已知的定理，特别是与边界值问题和共形粘合函数相关的定理，求解控制这些CGF的函数方程。
• 阐明为何某些格路产生代数CGF，而其他格路仅产生超几何CGF，基于群结构与曲线亏格的分析。
• 通过Weierstrass椭圆函数对核曲线进行统一化，实现CGF性质的直接、系统推导。

提出的方法

• 本文应用[4]中关于形如 $ K(x,y)F(x,y,z) = c(x)F(x,0,z) + \tilde{c}(y)F(0,y,z) + c_0(x,y) $ 的函数方程的一般定理，这些方程源于概率随机游走模型。
• 利用与步长集合 $ \mathcal{S} $ 相关的有理变换群 $ W = \langle \xi, \eta \rangle $，该群作用于核曲线 $ K(x,y) = 0 $，以分析对称性与单值性。
• 分析核曲线 $ K(x,y) = 0 $ 的亏格；当亏格为1时，通过Weierstrass椭圆函数 $ \wp $ 实现统一化，从而获得显式积分表示。
• 该方法涉及检查某类留数和 $ \sum_{k=0}^{n-1} \frac{\psi_{\delta^k}}{\prod_{i=1}^k f_{\delta^i}} $ 是否在曲线 $ K(x,y) = 0 $ 上恒为零，该条件决定生成函数的超几何性或代数性。
• 对于群阶 $ n = 2, 3, 4 $ 的格路，本文显式计算该和，并证明其仅在特定情况下为零，表明代数性。
• 分析依赖于共形粘合函数与步长集合 $ \mathcal{S} $ 的结构，特别是对称性以及 $ c(x), \tilde{c}(y) $ 的形式，以实现分类。

实验结果

研究问题

• RQ1 在何种条件下，象限内小步格路的双变量生成函数为超几何或代数函数？
• RQ2 与步长集合相关的有理变换群如何决定生成函数的性质？
• RQ3 为何23种有限群的格路中仅有四种产生代数生成函数，而其余19种仅为超几何函数？
• RQ4 核曲线 $ K(x,y) = 0 $ 的亏格一结构在通过Weierstrass统一化确定代数性方面起何作用？
• RQ5 能否直接利用概率随机游走模型中的函数方程方法，推导出生成函数的代数或超几何性质？

主要发现

• 所有23种具有有限群的象限格路的生成函数均为超几何函数，与[2]和[11]的早期结果一致。
• 四种格路（包括Gessel的随机游走）具有代数生成函数，其余19种为超几何但非代数函数。
• 代数性精确发生于和 $ \sum_{k=0}^{n-1} \frac{\psi_{\delta^k}}{\prod_{i=1}^k f_{\delta^i}} $ 在曲线 $ K(x,y) = 0 $ 上恒为零时，这仅在特定对称步长集合下成立。
• 对于 $ n = 2 $ 的格路，该和简化为 $ \frac{y(x_\eta - x)}{z c_\eta} + \frac{y_\xi (x - x_\eta)}{z c(x^2)_\delta} $，当 $ c/c_\eta = x^2 $ 时为零，此条件在三种对称情况下成立。
• 对于 $ n = 3 $ 或 $ n = 4 $ 的格路，该和在 $ K(x,y) = 0 $ 上不恒为零，解释了其生成函数为超几何但非代数的原因。
• 所有具有有限群的格路的核曲线 $ K(x,y) = 0 $ 均为亏格一，可通过Weierstrass $ \wp $-函数实现统一化，这是该求解方法的理论基础。