[論文レビュー] Unimodal polynomials and lattice walk enumeration with experimental mathematics

Bryan Ek|arXiv (Cornell University)|Jan 1, 2018

Advanced Combinatorial Mathematics参考文献 17被引用数 1

ひとこと要約

この論文は、O'HaraとZeilbergerの単峰性証明法を拡張し、任意のステップ集合をもつ格子道の数え上げに、アルゴリズム的でコンピュータで自動化可能な枠組みを適用することで、新たな単峰的多項式の族を生成する。主な貢献は、既知の結果を回復し、複雑なステップ集合に対して新たな結果を発見する、体系的かつ実験的数学的手法の導入である。

ABSTRACT

The main theme of this dissertation is retooling methods to work for different situations. I have taken the method derived by O'Hara and simplified by Zeilberger to prove unimodality of q-binomials and tweaked it. This allows us to create many more families of polynomials for which unimodality is not, a priori, given. I analyze how many of the tweaks affect the resulting polynomial. Ayyer and Zeilberger proved a result about bounded lattice walks. I employ their generating function relation technique to analyze lattice walks with a general step set in bounded, semi-bounded, and unbounded planes. The method in which we do this is formulated to be highly algorithmic so that a computer can automate most, if not all, of the work. I easily recover many well-known results for simpler step sets and discover new results for more complex step sets.

研究の動機と目的

• q-二項係数にとどまらない、より広範な応用を想定したO'Hara–Zeilbergerの単峰性証明法の再構築。
• 一般のステップ集合をもつ格子道の数え上げを、コンピュータ支援で可能にするアルゴリズム的枠組みの開発。
• 初期には自明に単峰的でない多項式族における単峰性の分析。
• AyyerとZeilbergerの生成関数技法を、有界、半有界、無限大の格子平面へと拡張。
• 計算的実験を通じて、格子パスの数え上げにおける新規結果の自動発見の実現。

提案手法

• O'Haraの組合せ的証明技法とZeilbergerの単純化手法を応用し、新たな単峰的多項式族を生成。
• AyyerとZeilbergerの手法にインspiredされた生成関数関係技法を適用し、任意のステップ集合をもつ格子道をモデル化。
• 計算ツールによる完全または部分的な自動化が可能になるように、極めてアルゴリズム的な手法を設計。
• コア手法の変更が得られる多項式の構造および単峰性に与える影響を体系的に分析。
• 有界、半有界、無限大の格子領域において、計算的実験を通じて結果の探索と検証。
• 同様のアルゴリズム的適用によって、既知の結果と新規結果の両方が得られるように枠組みを定式化。

実験結果

リサーチクエスチョン

• RQ1 O'Hara–Zeilberger法のどの変種が、新たな単峰的多項式族を生成するか？
• RQ2 生成関数技法は、有界、半有界、無限大の格子平面における格子道に、どのように一般化可能か？
• RQ3 どのようなステップ集合の構造的性質が、計算的に取り扱いやすく、かつ新規な数え上げ結果をもたらすか？
• RQ4 単峰性証明のアルゴリズム的変種を用いて、格子道の数え上げをどの程度自動化できるか？
• RQ5 この手法は、単純なステップ集合に対して既知の結果を回復できるか、また複雑なステップ集合に対しては新規結果を発見できるか？

主な発見

• 変更を加えた手法は、初期には単峰的でないと見えないにもかかわらず、複数の新たな単峰的多項式族を効果的に生成した。
• アルゴリズム的枠組みにより、さまざまな境界条件における格子道の数え上げが完全に自動化された。
• 単純なステップ集合に対する既知の結果が容易に再現され、手法の正しさと頑健性が裏付けられた。
• 手作業による解析では従来不可能だった、複雑なステップ集合に対する新たな数え上げ結果が同定された。
• 手法の微調整が得られる多項式に与える構造的影響が、単峰性の保持という観点から体系的かつ定量的に分析された。
• 生成関数技法は、半有界および無限大の格子平面へと成功裏に拡張され、その適用範囲が広がった。