[論文レビュー] On 3-dimensional lattice walks confined to the positive octant

Alin Bostan, Mireille Bousquet‐Mélou+2 more|arXiv (Cornell University)|Sep 12, 2014

Advanced Combinatorial Mathematics参考文献 8被引用数 6

ひとこと要約

この論文は、{−1, 0, 1}³ に含まれるステップを用いた正のオクタントに制限された3次元ラティスウォークを分類し、6ステップ以下のステップ集合を35,548個対象としている。実験的推測と厳密な手法（代数的カーネル法、ハダマード還元、コンピュータ代数）を用いて、すべての推測された微分方程式のD-有限性を証明した。主な結果は、有限群をもつ19のステップ集合が未解決のまま残っており、2次元の象限ウォークにおける有限群とD-有限生成関数の二分法的性質に挑戦するものである。

ABSTRACT

Many recent papers deal with the enumeration of 2-dimensional walks with prescribed steps confined to the positive quadrant. The classification is now complete for walks with steps in $\{0, \pm 1\}^2$: the generating function is D-finite if and only if a certain group associated with the step set is finite. We explore in this paper the analogous problem for 3-dimensional walks confined to the positive octant. The first difficulty is their number: there are 11074225 non-trivial and non-equivalent step sets in $\{0, \pm 1\}^3$ (instead of 79 in the quadrant case). We focus on the 35548 that have at most six steps. We apply to them a combined approach, first experimental and then rigorous. On the experimental side, we try to guess differential equations. We also try to determine if the associated group is finite. The largest finite groups that we find have order 48 -- the larger ones have order at least 200 and we believe them to be infinite. No differential equation has been detected in those cases. On the rigorous side, we apply three main techniques to prove D-finiteness. The algebraic kernel method, applied earlier to quadrant walks, works in many cases. Certain, more challenging, cases turn out to have a special Hadamard structure, which allows us to solve them via a reduction to problems of smaller dimension. Finally, for two special cases, we had to resort to computer algebra proofs. We prove with these techniques all the guessed differential equations. This leaves us with exactly 19 very intriguing step sets for which the group is finite, but the nature of the generating function still unclear.

研究の動機と目的

• 小ステップが{−1, 0, 1}³ に属する正のオクタントに制限された3次元ラティスウォークを体系的に分類すること。
• 2次元の象限ウォークにおける有限群条件が3次元のオクタントケースに一般化されるかどうか、すなわち有限群 ⇔ D-有限生成関数 かどうかを調査すること。
• 代数的およびアルゴリズム的技法を用いて、有限群をもつステップ集合の生成関数のD-有限性を特定し、証明すること。
• 有限群をもつがD-有限性が未解決の19のステップ集合を特定・分析し、象限ウォークの二分法的性質に挑戦すること。
• 有限群をもつモデルに対して非D-有限な生成関数が存在する可能性を検討し、有限群–D-有限性対応関係を反証する可能性を示すこと。

提案手法

• 35,548個のステップ集合（6ステップ以下）に対して、生成関数の線形微分方程式（多項式係数）を実験的に推測する。
• 多くのモデルに対して有効な代数的カーネル法を用いて、生成関数のD-有限性を厳密に証明する。
• 特定のモデルに見られる特別なハダマード構造を同定し、それを活用して問題を低次元のケースに還元する。
• 他の手法が失敗する2つの特に複雑なモデルに対して、コンピュータ代数による証明を適用する。
• フックスの関係式と顕在的特異点の上限を用いて、潜在的な微分作用素の形を制約する。
• 記号計算と群論的解析を組み合わせた体系的戦略を実装・適用し、すべての推測された微分方程式を検証する。

実験結果

リサーチクエスチョン

• RQ1 2次元の象限ウォークにおける有限群条件が3次元のオクタントウォークに拡張可能か、すなわち有限群 ⇔ D-有限生成関数 が成り立つかどうか。
• RQ2 有限群をもつが生成関数の性質が未解決の19のステップ集合が非D-有限であることを証明できるか。これにより、有限群–D-有限性対応関係が反証される可能性がある。
• RQ3 ボスタンら[8]の2次元ケースにおける技法（例：代数的カーネル法）を3次元オクタントウォークに拡張し、非D-有限性を証明できるか。
• RQ4 2次元の場合と同様に、D-有限生成関数に超幾何級数を用いた閉形式表現が存在するか。
• RQ5 特に2つの例外的モデルに関して、コンピュータ代数による結果を人間が読み解ける証明に再構成できるか。

主な発見

• 有限群をもつ6ステップ以下のすべての35,548個のステップ集合を分析し、微分方程式が推測されたすべてのケースでD-有限性を厳密に証明した。
• 最大の有限群の位数は48であった。位数200以上の群が発見され、それらは無限群であると予想されている。
• D-有限性が未解決の19のステップ集合に対しては、微分方程式が検出されなかった。
• 19の未解決モデルは、2次元象限ウォークで観察された有限群–D-有限性対応関係を破る可能性を秘めた唯一の候補である。
• 代数的カーネル法とハダマード還元技術により、大多数のモデルが解決されたが、2つのモデルは完全なコンピュータ代数証明を要した。
• 本研究により、3次元において有限群条件はD-有限性の必要条件ではあるが十分条件ではないことが確認された。19のケースが未分類のまま残っている。