[論文レビュー] Continued Classification of 3D Lattice Walks in the Positive Octant

Axel Bacher, Manuel Kauers+1 more|arXiv (Cornell University)|Nov 18, 2015

Computational Geometry and Mesh Generation参考文献 9被引用数 7

ひとこと要約

本稿は、{−1,0,1}³\{(0,0,0)}内に含まれる6700万もの可能なステップ集合を分析することで、正のオクタント内の3次元格子ウォークの分類を完了する。高度なコンピュータ代数技術を用い、モデルをD-有限性が証明されたもの、明らかに非D-有限性であるもの、および170の曖昧なケースに分類する。これらの170のケースについては、成長率における無理数の指数が示唆されており、非D-有限性を示唆するが、有限の群構造を持つため、2次元の場合の類似性とは対照的である。

ABSTRACT

We continue the investigations of lattice walks in the three dimensional lattice restricted to the positive octant. We separate models which clearly have a D-finite generating function from models for which there is no reason to expect that their generating function is D-finite, and we isolate a small set of models whose nature remains unclear and requires further investigation. For these, we give some experimental results about their asymptotic behaviour, based on the inspection of a large number of initial terms. At least for some of them, the guessed asymptotic form seems to tip the balance towards non-D-finiteness.

研究の動機と目的

• 正のオクタント内における{−1,0,1}³\{(0,0,0)}のすべてのステップ集合について、3次元格子ウォークの分類を完了すること。
• D-有限性が証明された生成関数を有するモデルと、明らかに非D-有限性であるモデルを区別し、残りの曖昧なケースを特定すること。
• 170の未解決モデルの漸近的挙動を調査し、特に成長率 cφⁿn^α における指数 α の性質を明らかにすること。
• 2次元の場合と同様に、3次元でも有限の群構造がD-有限性を示すかどうかを検証すること。特に、一部のモデルで無理数の α 値が観察されるという事実を踏まえて検証すること。
• 標準的な推測技法が失敗する状況においても、非D-有限性に関する計算的証拠を提供すること。

提案手法

• 対称性および射影性のフィルタを適用して、6700万のモデルを管理可能な数に削減し、対称的かつ自明なケースを除外する。
• コンピュータ代数を用いて、170の曖昧なモデルの多数の項を計算し、パデ近似および連分数を用いた漸近的解析を可能にする。
• 成長率 cφⁿn^α における指数 α を分析し、有理数か無理数かを特定する。無理数の α は、非D-有限性を示唆する。
• モジュラー算術（mod p）を用いて再帰式や微分方程式の発見を試みたが、数年の計算を経ても成功しなかった。
• 2次元の場合と同様に、3次元モデルの有限群構造を比較し、有限群がD-有限性を示すというパターンが3次元でも成り立つかどうかを検証する。
• Bostanら（2014a）の結果を基盤とし、体系的なフィルタリングとアルゴリズム的解析により、6700万のすべてのモデルに拡張した。

実験結果

リサーチクエスチョン

• RQ1 170の未解決な3次元格子ウォークモデル（有限群を持つ）は、2次元の場合と同様にD-有限な生成関数を有するか？
• RQ2 原点に戻るウォーク数の漸近的成長率が、無理数の指数を示すことで、非D-有限性を示唆できるか？
• RQ3 標準的な推測技法が、有限群構造を持つにもかかわらず、これらの170のモデルについて再帰式や微分方程式を同定できないのはなぜか？
• RQ4 3次元における有限群の多様性は2次元と比べてどのように異なり、これはD-有限性の群論的基準にどのような含意を持つのか？
• RQ5 Bostanら（2014b）が示唆したように、(4√7+6)ⁿn⁻².²⁶ などの観察された漸近的形は、非D-有限性を推論するために用いることができるか？

主な発見

• 本稿では、D-有限性の状態が未解決である有限群を持つ3次元格子ウォークモデルが170個同定され、研究の核心をなす。
• これらの170のモデルにおいて、漸近的成長率の指数 α が複数のケースで無理数であることが示唆されており、Bostanら（2014b）の主張に従えば、非D-有限性を示唆する。
• 何年にもわたる膨大な計算の結果、170のモデルすべてについて再帰式や微分方程式が発見されなかった。モジュラー算術の解析を経ても同様の結果であった。
• 3次元における群構造は2次元よりも多様であり、有限群の条件がD-有限性を保証するわけではない。これは2次元の類似性を覆すものである。
• 一部のモデルについての漸近的形、例えば (2√42+3)ⁿn⁻⁰.⁷⁸⁵⁹⁷⁰⁶ は、特に α が無理数である場合、非D-有限な挙動と整合的である。
• 本研究では、170のモデルのうち165つが、α ≈ −4 または α ≈ −0.786 の形 cφⁿn^α で成長率を示すことが確認され、単純な分類では説明できない複雑で一様でない挙動であることが示された。