[論文レビュー] 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種類の小ステップ格子ウォークの2変数母関数のホロノミー性および代数的性を確立している。特に、確率的ランダムウォークモデルから導かれる関数方程式に注目し、関連する群構造と、ワイエルシュトラスの楕円関数によって均質化される genus-one リーマン面におけるカーネル方程式の構造に基づき、母関数がホロノミー的であることを確認。代数的性は4つのケース（ゲゼルのウォークを含む）で成立し、それ以外の19件はホロノミー的だが代数的ではない。

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}.

研究の動機と目的

• 四分円に制限された小ステップ格子ウォークの2変数母関数（CGF）の性質—ホロノミー的か代数的か—を特定すること。
• 文献[4]に記載された定理、特に境界値問題およびコンformal gluing関数に関連するものに基づき、これらのCGFを支配する関数方程式を解明すること。
• 特定のウォークが代数的CGFをもつ理由と、他のウォークがホロノミー的であるにとどまる理由を、群構造と曲線の種数に基づいて明確化すること。
• ワイエルシュトラスの楕円関数によるカーネル曲線の均質化を用いた、CGF性質の直接的かつ体系的な導出を提供すること。

提案手法

• 本稿では、確率的ランダムウォークモデルに由来する形で現れる、$ K(x,y)F(x,y,z) = c(x)F(x,0,z) + \tilde{c}(y)F(0,y,z) + c_0(x,y) $ の形をした一般関数方程式に関する[4]の定理を適用する。
• ステップ集合 $ \mathcal{S} $ に関連する有理写像の群 $ W = \langle \xi, \eta \rangle $ を用い、カーネル曲線 $ K(x,y) = 0 $ 上での対称性とモノドロミーを分析する。
• カーネル曲線 $ K(x,y) = 0 $ の種数を分析し、種数が1の場合にはワイエルシュトラスの楕円関数 $ \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 $ のウォークに対して、この和を明示的に評価し、特定のケースでのみ消えることから代数的性が成立することを示す。
• 解析は、特に対称性と $ c(x), \tilde{c}(y) $ の形に依存する跳躍集合 $ \mathcal{S} $ の構造およびコンフォーマルグリューニング関数に基づく。

実験結果

リサーチクエスチョン

• RQ1 小ステップ格子ウォークが四分円に制限された場合、その2変数母関数がホロノミー的または代数的であるための条件は何か？
• RQ2 ステップ集合に関連する有理写像の群が、母関数の性質にどのように影響を与えるか？
• RQ3 23件の有限群を持つウォークのうち、なぜわずか4件のウォークしか代数的母関数を持たないのか？ 残りの19件はホロノミー的だが代数的ではないのはなぜか？
• RQ4 カーネル曲線 $ K(x,y) = 0 $ の genus-one 構造が、ワイエルシュトラスの均質化を用いて代数的性を決定する役割を果たすか？
• RQ5 確率的ランダムウォークから導かれる関数方程式のアプローチを、直接的に母関数の代数的性またはホロノミー的性を導出するために用いることができるか？

主な発見

• 23件の有限群を持つ四分円ウォークすべてについて、母関数はホロノミー的であることが確認され、[2]および[11]の先行結果を裏付けた。
• ゲゼルのウォークを含む4件のウォークは代数的母関数をもち、残りの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 $ の条件下で消える。これは3つの対称的ケースで成立する。
• $ n = 3 $ や $ n = 4 $ のウォークでは、この和は $ K(x,y) = 0 $ 上で恒等的に消えないため、母関数がホロノミー的だが代数的ではないことが説明できる。
• 有限群を持つすべてのウォークについて、カーネル曲線 $ K(x,y) = 0 $ は種数1である。この性質により、ワイエルシュトラス $ \wp $-関数による均質化が可能となり、これが解析手法の基盤をなしている。