[論文レビュー] Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration

Stephen Melczer|arXiv (Cornell University)|Sep 15, 2017

Advanced Combinatorial Mathematics参考文献 26被引用数 9

ひとこと要約

本学位論文は、複数変数の解析的組合せ論（ACSV）を用いて、有理関数のD-有限な対角線に注目し、多変数母関数の漸近的解析のための効果的なアルゴリズムを開発する。広範な条件下でACSVの計算複雑性に関する最初の結果を確立し、格子路の数え上げ問題、特に直交座標領域や1/4平面における重み付きステップを含むモデルの未解決問題を解き明かす。

ABSTRACT

The field of analytic combinatorics, which studies the asymptotic behaviour of sequences through analytic properties of their generating functions, has led to the development of deep and powerful tools with applications across mathematics and the natural sciences. In addition to the now classical univariate theory, recent work in the study of analytic combinatorics in several variables (ACSV) has shown how to derive asymptotics for the coefficients of certain D-finite functions represented by diagonals of multivariate rational functions. We give a pedagogical introduction to the methods of ACSV from a computer algebra viewpoint, developing rigorous algorithms and giving the first complexity results in this area under conditions which are broadly satisfied. Furthermore, we give several new applications of ACSV to the enumeration of lattice walks restricted to certain regions. In addition to proving several open conjectures on the asymptotics of such walks, a detailed study of lattice walk models with weighted steps is undertaken.

研究の動機と目的

• 解析的組合せ論における多変数（ACSV）の枠組みにおいて、多変数母関数の漸近的解析のための厳密で効果的なアルゴリズムを開発すること。
• 滑らかで複素点の両方のケースを含む、広く満たされる条件下でACSVの最初の複雑性バOUNDSを確立すること。
• 直交座標領域および1/4平面に制限された格子路モデルの漸近的挙動に関する未解決の予想を解明すること。
• 標準的な短ステップフレームワークを超えた長ステップや重み付きステップを含むモデルへのACSV手法の拡張。
• 対称的・ほぼ対称的な格子路モデルに対して、カーネル法と対角表現技術を統合・一般化すること。

提案手法

• 正規化と実装を可能にするコンピュータ代数的視点を採用し、ACSVアルゴリズムの正しさと複雑性解析を保証する。
• 多変数留数理論とローラン展開を用いて、特に滑らかで複素な臨界点において、有理関数の対角から漸近的挙動を抽出する。
• 高次元におけるカーネル法を適用し、非常に対称的なステップ集合を持つウォークの均一な対角表現を導出する。
• ステップの大きさが |i|,|j| > 1 であるような長ステップモデルに対し、カーネルを保存する有理写像群を構築することで、カーネル法を一般化する。
• 結果式と代数的閉包技術を用いて写像群を安定化させ、境界母関数のための連立方程式系を導出する。
• 正の級数抽出と有理関数による対角抽出を用いて、完全な母関数を閉形式で表現し、漸近的解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一般的な条件下で、D-有限な多変数母関数にACSVアルゴリズムを適用する際の計算複雑性バOUNDSは何か？
• RQ2 1/4平面における長ステップ（例：絶対値が1より大きい座標を持つステップ）を含む格子路モデルに、カーネル法をどのように拡張できるか？
• RQ3 重み付きステップや高い対称性を持つモデルにおける、直交座標領域および1/4平面内での格子路の数え上げの漸近的挙動は何か？
• RQ4 非D-有限な格子路母関数に対して、有理関数の対角表現を体系的に導出できるか、その条件は何か？
• RQ5 特に指数が無理数である場合に、対称的またはほぼ対称的なステップ集合を持つ1/4平面内でのウォークの正確な漸近的成長率は何か？

主な発見

• 本論文は、広範な一般性条件下でACSVアルゴリズムの最初の複雑性結果を確立し、有効な漸近的解析の理論的基盤を提供する。
• ステップ集合 S₂ = {(−1,−1),(0,−1),(0,1),(1,0),(−1,0)} を用いた第一象限内でのウォークの母関数が、漸近的成長に無理数の指数 α を示すため、D-有限でないことを証明する。
• ステップ集合 S = {(1,0), (−1,0), (−2,1), (0,−1)} を持つモデルにおいて、全母関数の支配的漸近展開は [tk]Q(1,1,t) = (2√3)^k / k^4 * (Ck + O(1/k)) であり、Ck は偶奇に依存する。
• 中心に重みが置かれたGouyou-Beauchampsモデルの漸近的成長は、Ck^α ρ^k の形をとり、無理数の α を持つことが示され、D-有限でないことが確認される。
• 高次元におけるほぼ高次対称な格子路モデルに対して、特徴的多項式のみに依存する均一な対角表現が導出される。
• 本フレームワークは、直交座標領域および1/4平面内での格子ウォークの漸近的挙動に関する複数の未解決予想を成功裏に解消し、特に対称的・重み付きモデルにおいて顕著である。