[論文レビュー] Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane

Alin Bostan, Frédéric Chyzak+3 more|arXiv (Cornell University)|Jun 9, 2016

Advanced Combinatorial Mathematics参考文献 56被引用数 50

ひとこと要約

この論文は、以前はD-有限性に関する予想が立てられていた19種類の小ステップウォークの母関数が、実際にD-有限であり、ガウス超幾何関数の形で表現可能であることを証明している。主な貢献は、これらの母関数の超幾何表現を厳密に導出したことであり、それによって母関数の超越的性質が確立され、ウォーク数え上げの漸近的成長定数が洗練され、記号計算と積分表現を用いた完全な代数的・解析的証明が提供されている。

ABSTRACT

We study nearest-neighbors walks on the two-dimensional square lattice, that is, models of walks on $\\mathbb{Z}^2$ defined by a fixed step set that is a subset of the non-zero vectors with coordinates 0, 1 or $-1$. We concern ourselves with the enumeration of such walks starting at the origin and constrained to remain in the quarter plane $\\mathbb{N}^2$, counted by their length and by the position of their ending point. Bousquet-M\\'elou and Mishna [Contemp. Math., pp. 1--39, Amer. Math. Soc., 2010] identified 19 models of walks that possess a D-finite generating function; linear differential equations have then been guessed in these cases by Bostan and Kauers [FPSAC 2009, Discrete Math. Theor. Comput. Sci. Proc., pp. 201--215, 2009]. We give here the first proof that these equations are indeed satisfied by the corresponding generating functions. As a first corollary, we prove that all these 19 generating functions can be expressed in terms of Gauss' hypergeometric functions that are intimately related to elliptic integrals. As a second corollary, we show that all the 19 generating functions are transcendental, and that among their $19 \ imes 4$ combinatorially meaningful specializations only four are algebraic functions.

研究の動機と目的

• 以前のコンピュータ代数による推測に基づいて予想された、19種類の小ステップウォークの四分円内母関数が実際にD-有限であることを厳密に証明すること。
• これらのウォークの母関数に対して明示的な超幾何表現を導出し、ガウス超幾何関数および楕円積分と関連付けること。
• 19個の母関数のすべてが超越的であることを確立し、19×4の組み合わせ的に意味のある特殊化のうち4つが代数的であることを同定すること。
• ウォーク数え上げの漸近的成長定数を洗練・是正し、先行する数値的推定値にあった曖昧さを解消すること。

提案手法

• 19のモデルに対して以前に推測された annihilating 微分作用素の正当性を、記号計算とコンピュータ代数技術を用いて検証した。
• 基礎となる代数的および微分方程式の構造を分析することで、母関数の閉形式超幾何表現を導出した。
• 特異点および極部分の注意深い取り扱いを伴う、超幾何関数を含む積分表現を構築し、漸近展開を導出する。
• 母関数の特異展開から漸近的挙動を抽出するために、転送定理を適用した。
• 数値的検証および収束加速技術を用いて、特に複数の領域にまたがる成長領域を示すケースにおける漸近的成長率の定数を確認した。
• PSLQアルゴリズムを用いて、漸近公式における定数を数値的に推測・検証し、[5]からの以前の推定値を是正した。

実験結果

リサーチクエスチョン

• RQ1 コンピュータ代数によって推測された19種類の小ステップウォークの四分円内母関数は、実際にD-有限であるか？
• RQ2 これらの母関数はガウス超幾何関数の形で表現可能であるか？ もし可能であれば、その明示的形は何か？
• RQ3 長さnのウォークの数の正確な漸近的成長率は何か？ そして、この成長率に含まれる定数は、先行する数値的推定値とどのように異なるか？
• RQ4 19×4の特殊化（例えば、帰還ウォーク、軸上に戻るウォークなど）のうち、どのケースで母関数が代数的になり、どのケースで超越的になるか？
• RQ5 漸近展開における数値的定数は、特に交互に現れる成長領域を示すケースにおいても、厳密に確認可能か？

主な発見

• 四分円内小ステップウォークの19個すべての母関数が、D-有限であり、ガウス超幾何関数の形で表現可能であることが証明された。
• 母関数はすべて超越的であり、19×4の特殊化のうち4つだけが代数的である。
• 長さnのウォークの数の漸近的成長は、κρⁿ/nᵞの形をとり、κ、ρ、γの定数が以前の推定値よりも洗練され是正された。
• 漸近公式における定数κが非ゼロであることが証明され、数値的検証およびPSLQアルゴリズムによりその値が確認された。
• 本研究は、漸近的定数の状態を解消し、周期性に起因するnの関数的変動を考慮しない先行推定値の欠落を明らかにした。
• すべての作用素、証明書、閉形式がプロジェクトのウェブページで入手可能であり、結果が完全に再現可能である。これにより、以前のコンピュータ生成結果が裏付けられた。