[論文レビュー] Quarter-plane lattice paths with interacting boundaries: the Kreweras and reverse Kreweras models

Nicholas R. Beaton, A L Owczarek+1 more|arXiv (Cornell University)|May 26, 2019

Advanced Combinatorial Mathematics参考文献 21被引用数 2

ひとこと要約

この論文は、x軸、y軸、原点における訪問に実数重みa, b, cを割り当てた一般の境界相互作用を伴う2つの古典的準平面格子路モデル—Krewerasおよび逆Krewerasウォーク—に対して代数的カーネル法を適用する。逆Krewerasウォークはすべてのパrameter値において代数的生成関数を保つことが証明され、Krewerasウォークは代数的ではなくD-有限な生成関数をもつ。これは、境界相互作用を伴う準平面モデルにおいて、このような性質の違いが知られている最初の例である。

ABSTRACT

Lattice paths in the quarter plane have led to a large and varied set of results in recent years. One major project has been the classification of step sets according to the properties of the corresponding generating functions, and this has involved a variety of techniques, some highly intricate and specialised. The famous Kreweras and reverse Kreweras walk models are two particularly interesting models, as they are among the only four cases which have algebraic generating functions. Here we investigate how the properties of the Kreweras and reverse Kreweras models change when boundary interactions are introduced. That is, we associate three real-valued weights $a,b,c$ with visits by the walks to the $x$-axis, the $y$-axis and the origin $(0,0)$ respectively. These models were partially solved in a recent paper by Beaton, Owczarek and Rechnitzer (2019). We apply the algebraic kernel method to completely solve these two models. We find that reverse Kreweras walks have an algebraic generating function for all $a,b,c$, regardless of whether the walks are restricted to end at the origin or on one of the axes, or may end anywhere at all. For Kreweras walks, the generating function for walks returning to the origin is algebraic, but the other cases are only D-finite. To our knowledge this is the first example of a quarter-plane model with this property.

研究の動機と目的

• 境界相互作用がKrewerasおよび逆Kreweras格子路モデルの生成関数に与える影響を解明する未解決問題に取り組む。
• 対称性やゼロ相互作用を仮定するのではなく、x軸、y軸、原点への訪問に一般重みa, b, cを導入することで、先行研究を拡張する。
• 任意の境界重みのもとで両モデルを完全に解くために代数的カーネル法を用い、生成関数の構造を解明する。
• 相互作用が存在する状況における代数的関数とD-有限関数の境界を明確にし、代数的関数ではなくD-有限関数に限る、新しい事例を特定する。
• 特に有限の群対称性を持つモデルに対して、境界相互作用を伴う他の準平面モデルを分析するためのフレームワークを提供する。

提案手法

• Krewerasおよび逆Krewerasウォークのステップ集合から導かれる関数方程式に代数的カーネル法を適用する。
• 対称性と代数的構造を活用して、境界項Q(x,0)、Q(0,y)、Q(0,0)を消去するために、全軌道和および半軌道和を用いる。
• xおよびyの正負のべきに分離することで、[x>]および[x<]射影を用いて生成関数を分離する。
• 全軌道和におけるQ(0,0)の係数を分析し、その係数が消えるかどうかに基づいて、解がD-有限かD-代数的かを特定する。
• Mathematicaノートブックを用いて、カーネル法において生じる複雑な代数的変形および有理・無理数表現を検証する。
• モデル間のカーネル方程式の構造を比較することで、解が代数的、D-有限、またはD-代数的である場合を区別する。

実験結果

リサーチクエスチョン

• RQ1 x軸、y軸、原点への訪問にそれぞれ実数重みa, b, cを割り当てた場合、逆Krewerasウォークの生成関数は常に代数的であるか？
• RQ2 一般の境界相互作用のもとで、Krewerasモデルの生成関数は代数的のままであるか、それともD-有限にとどまるか？
• RQ3 相互作用を伴うモデルにおいて、全軌道和におけるQ(0,0)の係数が、解がD-有限かD-代数的かを決定する根拠となるか？
• RQ4 境界相互作用が対称性を破る場合でも、全軌道和がゼロでないモデルに対して、代数的カーネル法を効果的に適用できるか？
• RQ5 境界相互作用が存在する状況において、代数的生成関数を与えるモデルと、D-有限関数に限るモデルとの間に構造的差異が存在するか？

主な発見

• x軸、y軸、原点への訪問にそれぞれ実数重みa, b, cを割り当てた場合、逆Krewerasウォークの生成関数はすべてのa, b, cに対して代数的である。
• Krewerasウォークの生成関数はすべてのa, b, cに対してD-有限であるが、代数的ではない。これは、このような性質を持つ準平面モデルが知られている最初の例である。
• 非相互作用または対称的相互作用のケースとは異なり、Krewerasウォークの全軌道和はゼロにならないが、境界項の係数の構造のおかげで解はD-有限のままである。
• 他のD-代数的モデルとは異なり、Krewerasウォークでは全軌道和におけるQ(0,0)の係数が解の性質を決定しない。これは、特異な構造的挙動を示している。
• 逆Krewerasウォークは、全軌道和および半軌道和の両方がQd₀(x)の係数として多項式をもたらすため、代数的構造を保っている。
• 本手法は、全軌道和におけるQ(0,0)係数の消えるかどうかを分析することで、D-有限とD-代数的解を明確に区別でき、今後のモデルに対して基準を提供する。