[論文レビュー] 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の歩み—正の象限における西、北東、東、南西のステップを用いた格子パスを数える3変数母関数に対して、明示的な閉形式の表現を提供する。複素解析、リーマン境界値問題、楕円関数を用いて、著者たちは境界上での母関数の正確な表現を導出し、トーラス上の均一化とコンformalな貼り合わせを用いて、長年の未解決問題であった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_+$.

研究の動機と目的

• 正の象限において長さ2kの歩みが原点に戻る数に関するGesselの2001年の予想を解決すること。
• ステップが{西, NE, 東, SW}に属するGesselの歩みを数える3変数母関数Q(x,y,z)の明示的閉形式表現を導出すること。
• Gesselのモデルにおいて軌道和法が失敗するのを克服するため、複素解析に基づく新しい解析的アプローチを開発すること。
• 有限群構造を持つ他の79種の象限歩みモデルに適用可能な一般枠組みを確立すること。
• トーラス上でのリーマン＝カルゼマン境界値問題を用いて、母関数Q(x,0,z)、Q(0,y,z)、Q(0,0,z)を特徴付けること。

提案手法

• 境界母関数を用いて、3変数母関数Q(x,y,z)の関数方程式(1)を定式化すること。
• 周期ω₁, ω₂, ω₃で定義される複素トーラス上で、リーマン＝カルゼマン境界値問題（BVP）に問題を還元すること。
• ヴァイエルシュトラスの楕円関数℘を用いた均一化により、リーマン面をパラメトライズし、トーラス上にメロモルフィック関数x(ω), y(ω)を定義すること。
• 対合ψの下で関数方程式(39)および(40)を満たすコンフォーマル貼り合わせ関数qx(ω)およびqy(ω)を構成すること。
• 補題28を用いて、x(ω), y(ω), およびy(ω)+1の極と零点を分析することで、cut torus C/Ω 上でのqxおよび(y+1)qyの正則性を証明すること。
• 楕円関数の解析接続およびモノドロミー性質を活用して、境界条件の一貫性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 正の象限におけるGesselの歩みを数える3変数母関数Q(x,y,z)の明示的閉形式表現は何か？
• RQ2 Gesselのモデルにおいて軌道和法が失敗するにもかかわらず、関数方程式(1)をどのように解析的に解くことができるか？
• RQ3 リーマン＝カルゼマン境界値問題と楕円関数は、有限群構造を持つ歩みの母関数を解く際に果たす役割は何か？
• RQ4 境界上での母関数の特異点は、ヴァイエルシュトラスの楕円関数の零点および極とどのように関係するか？
• RQ5 この手法は、有限群作用を持つ象限内歩みの他の79のモデルへ一般化可能か？

主な発見

• 著者たちは、複素解析と楕円関数を用いて、Gesselの歩みの3変数母関数Q(x,y,z)の明示的表現を導出した。
• 境界母関数Q(x,0,z)、Q(0,y,z)、Q(0,0,z)は、トーラス上でのヴァイエルシュトラスの楕円関数およびその均一化を用いて表現された。
• 解は、インデックスχ = 0である周期ω₁, ω₂, ω₃を持つ複素トーラス上でリーマン＝カルゼマン境界値問題を解くことに依存する。
• qx(ω)およびqy(ω)は、孤立した特異点が関数方程式によって相殺される以外は、cut torus 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で明らかな特異点が存在しても正則のままである。