[論文レビュー] The Quasi-Holonomic Ansatz and Restricted Lattice Walks

Manuel Kauers, Doron Zeilberger|ArXiv.org|Jun 26, 2008

Benford’s Law and Fraud Detection参考文献 7被引用数 5

ひとこと要約

本稿では、特に第1象限における制限付き格子ウォークの解析のためのフレームワークとして準ホールノミック仮説（quasi-holonomic ansatz）を導入し、KrewerasのウォークやGesselのウォークといった生成関数が多項式係数をもつ線形漸化式を満たすことを示している。本稿では、3ステップのKrewerasウォークで原点に戻るものの数が、閉形式の公式で与えられることを証明しており、Gesselの予想がこの仮説によって証明可能であると予想しているが、簡単な証明はまだ得られていない。

ABSTRACT

The great enumerator Germain Kreweras empirically discovered this intriguing fact, and then needed lots of pages[K], and lots of human ingenuity, to prove it. Other great enumerators, for example, Heinrich Niederhausen[N], Ira Gessel[G1], and Mireille Bousquet-Mélou[B], found other ingenious, ``simpler'' proofs. Yet none of them is as simple as ours! Our proof (with the generous help of our faithful computers) is ``ugly'' in the traditional sense, since it would be painful for a lowly human to follow all the steps. But according to our humble aesthetic taste, this proof is much more elegant, since it is (conceptually) one-line. So what if that line is rather long (a huge partial-recurrence equation satisfied by the general counting function), it occupies less storage than a very low-resolution photograph.

研究の動機と目的

• 第1象限における制限付き格子ウォークの閉形式列挙を、準ホールノミック仮説を用いて体系的かつ系統的に証明する方法を開発すること。
• Krewerasの有名な第1象限ウォーク定理を、一行情報の漸化式を用いて、その複雑さにもかかわらずコンピュータ支援で証明すること。
• Gesselの4ステップウォークに関する予想（第1象限で原点に戻るウォークの数がホールノミック列挙である）が、準ホールノミックフレームワークによって証明可能かどうかを調査すること。
• 標準的なホールノミック性が成立しない制限付きウォークに対しても、十分な構造的条件を同定することで、ホールノミック関数論の適用範囲を拡張すること。
• 新しいステップ集合に対して、漸化式の推定とウォーク列挙を自動化するための計算ツール（MapleおよびMathematicaパッケージ）を提供すること。

提案手法

• ホールノミック関数の一般化として、完全にホールノミックではないが多項式係数をもつ線形漸化式を満たすウォーク数関数の解析が可能な、準ホールノミック仮説を提唱する。
• Almkvist-Zeilbergerアルゴリズムおよびその多次元拡張を用いて、制限付きウォークの生成関数に対する線形漸化式を導出し、検証する。
• コンピュータ代数システムを用いて、KrewerasのウォークやGesselのウォークといった特定のステップ集合に対して、漸化式を生成・検証する。
• WZ理論およびホールノミック仮説を用いて、恒等式の証明を、直接計算に頼らずに漸化式の検証に還元する。
• ウォークの種別ごとの頻度を考慮した洗練された数え上げモデルを導入し、正の8分岐象限などの領域に制約を課した多変数生成関数の研究を可能にする。
• MapleおよびMathematicaパッケージ（例：WalkCarefully, Guess）を開発・公開し、新しいステップ集合に対して漸化式の推定とウォーク列挙を自動化する。

実験結果

リサーチクエスチョン

• RQ1 準ホールノミック仮説を用いて、原点に戻る制限付き格子ウォークの数が多項式係数をもつ線形漸化式を満たすことを証明できるか？
• RQ2 Gesselの予想（4ステップウォークで原点に戻る数がホールノミック列挙である）が、このフレームワークによって証明可能か？
• RQ3 制限付きウォークの生成関数がホールノミックではないとしても、十分な構造的条件を満たせば、準ホールノミックとなり、自動証明が可能になるか？
• RQ4 Krewerasのウォークに限らず、他のウォークモデルに対しても、大きな部分的漸化式に基づく一行情報の証明技法を一般化できるか？
• RQ5 Krewerasのウォークの3次元版（4ステップで正の8分岐象限内）は、多項式係数をもつ線形漸化式を満たすか？

主な発見

• 原点に戻るKrewerasウォークの長さ3nの数は、閉形式の公式で与えられる：F(3n;0,0) = 4^n / ((n+1)(2n+1)) * binomial(3n,n)。
• Krewerasのウォークにおいて、生成関数は準ホールノミックであり、F(m;0,0)の漸化式は高次のものではあるが、計算的に検証可能である。
• 経験的証拠から、Gesselのウォーク列挙列はホールノミックであると考えられるが、a, b, nの合計次数≤6の範囲で、A, B, Nの低次の漸化式は見つからず、現在の自動探索限界を超える複雑さであることが示唆されている。
• 本稿では、11個のステップ集合のうち10個（原点に戻る確率が非ゼロのもの）に対して、準ホールノミック仮説と漸化式推定を用いたコンピュータ生成証明を提供している。
• 著者らは、Gesselの予想が準ホールノミック仮説によって証明可能であると予想しているが、簡単な証明はまだ得られていない。
• MapleおよびMathematicaパッケージ WalkCarefully および Guess は公開されており、多変数ウォーク数関数の漸化式推定を自動化できる。