[論文レビュー] Inhomogeneous Restricted Lattice Walks

Manfred Buchacher, Manuel Kauers|arXiv (Cornell University)|Nov 16, 2018

Advanced Combinatorial Mathematics参考文献 15被引用数 4

ひとこと要約

本稿は、位置または時間に応じてステップ集合が変化する半平面および四分円領域における非一様な制限付き格子ウォークを研究する。非一様半平面ウォークの生成関数が常に代数的であることを、線形関数方程式系に対する一般化されたカーネル法を用いて証明し、短ステップ四分円モデルの実験的分類を提示。その結果、理論的説明のない多くのD-有限なケースが明らかになった。

ABSTRACT

We consider inhomogeneous lattice walk models in a half-space and in the quarter plane. For the models in a half-space, we show by a generalization of the kernel method to linear systems of functional equations that their generating functions are always algebraic. For the models in the quarter plane, we have carried out an experimental classification of all models with small steps. We discovered many (apparently) D-finite cases for most of which we have no explanation yet.

研究の動機と目的

• ステップ集合が位置または時間に依存する非一様格子ウォークモデルを体系的に分析し、古典的な一様モデルの結果を拡張すること。
• 非一様半平面ウォークに由来する線形関数方程式系に対して、カーネル法を一般化すること。
• 四分円領域における短ステップ非一様モデルを分類し、その生成関数の性質を調査すること。
• 非一様モデルにおけるD-有限性のパターンを特定し、特に理論的説明のない場合に注目すること。

提案手法

• 非一様半平面ウォークに由来する関数方程式の線形系を解くために、カーネル法を一般化する。
• 位置とステップ数に線形関数で定義される多項式的非一様性を用い、ステップ集合の周期的切り替えを導入する。
• 群作用と軌道和（(x,y)↦(x,1/y) および (x,y)↦(1/x,y) で生成される群を用いて）を用い、関数方程式における境界項を消去する。
• ステップ集合の形式的べき級数およびローレンツ多項式表現を用いて、生成関数の閉形式表現を導出する。
• 短ステップおよび四分円領域における2つの非一様性パターンを対象として、コンピュータ代数を用いた実験的分類を実施する。
• D-有限性の閉包性を応用し、部分解から全生成関数のD-有限性を推論する。

実験結果

リサーチクエスチョン

• RQ1 非一様格子ウォークの半平面における生成関数は、ステップ集合が位置や時間に依存しても常に代数的であるか？
• RQ2 カーネル法は非一様モデルにおける関数方程式の線形系に対しても拡張可能か？
• RQ3 短ステップを持つ多くの非一様四分円モデルが、理論的説明のないままD-有限な生成関数を示すのはなぜか？
• RQ4 非一様モデルのどのような構造的性質がD-有限性または代数的生成関数をもたらすか？
• RQ5 一様モデルにおける次元概念を非一様非一様格子ウォークにどのように一般化できるか？

主な発見

• 非一様半平面ウォークの生成関数は、常に代数的である。これは、BanderierとFlajoletの古典的結果を一般化する。
• 線形関数方程式系に対する一般化されたカーネル法により、半平面ケースにおける代数的性が成功裏に証明された。
• 短ステップを持つ非一様四分円モデルにおいて、多数の生成関数がD-有限であることが判明したが、現在のところ理論的説明は存在しない。
• 四分円モデルの関数方程式は、群作用による軌道和を用いて解かれる。これにより境界項が消去され、正の部分の抽出が可能になる。
• 全生成関数 F(x,y) = F₀(x,y) + F₁(x,y) は、閉包性と群軌道和を含む導出式によりD-有限である。
• 実験的分類の結果、D-有限性が非一様モデルに広く見られることが判明し、未解明のより深い構造的パターンが存在する可能性を示唆した。