[論文レビュー] An Empirical Method for Solving (rigorously!) Algebraic Functional Equations Of the Form F(P(x,t), P(x,1),x,t)=0

Ira M. Gessel, Doron Zeilberger|arXiv (Cornell University)|Dec 29, 2014

Functional Equations Stability Results参考文献 3被引用数 3

ひとこと要約

本稿では、生成関数 $ P(x,t) $ とその $ t=1 $ における評価値 $ P(x,1) $ を含む形 $ F(P(x,t), P(x,1), x, t) \approx 0 $ の代数的関数方程式を解く、きめ細やかでコンピュータ支援の手法を提示する。$ P(x,1) $ を零化する二変数多項式 $ I(Q(x), x) = 0 $ を経験的に特定し、その後、結果的（resultant）を用いて $ Q(x) $ を消去することで、$ P(x,t) $ に対する代数的方程式を導出する。この手法により、Maple などの記号計算ツールを用いて完全に自動的かつ厳密に検証可能な解法が可能になる。

ABSTRACT

We present an empirical-yet-rigorous approach for solving a wide class of functional equations, thereby automating many results that previously required considerable human ingenuity and human labor.

研究の動機と目的

• 組合せ論に現れる、特に催化変数を含む代数的関数方程式を完全に自動的かつ厳密に解くための手法を開発すること。
• 作業が煩雑で人的な知的工夫を要するカーネル法の限界を克服すること。
• 既知の単変数評価値 $ P(x,1) $ から、二変数生成関数 $ P(x,t) $ に対する代数的方程式を自動的に導出できること。
• 本手法を公開可能な Maple パッケージ FunEq として実装し、広範な再現性と応用を可能にすること。
• 経験的推測と記号的消去を組み合わせることで、恣意的な人的介入なしに完全に厳密な結果が得られることを示すこと。

提案手法

• 手法はまず、$ P(x,1) $ を零化する二変数多項式 $ I(Q(x), x) $ を経験的に特定することから始める。ここで $ P(x,1) $ は単変数生成関数である。
• 関数方程式 $ F(P(x,t), P(x,1), x, t) \equiv 0 $ を用い、$ Q(x) $ を変数として結果的（resultant）操作により $ P(x,1) $ を消去することで、代数的方程式 $ G(P(x,t), x, t) \equiv 0 $ を得る。
• 結果的計算により、導出された $ P(x,t) $ に対する方程式が、元の関数方程式および既知の単変数関係と代数的に整合していることが保証される。
• 形式的形式的べき級数解の一意性を活用することで、導出された方程式が初期項と一致する限り、構成上正しく保証される。
• この全過程は記号計算、特に Maple の `resultant` コマンドを用いて自動化され、初期推測がなされれば、完全に厳密な結果が得られる。
• 本手法はオープンソースの Maple パッケージ FunEq に実装されており、多数の関数方程式を自動的に証明可能であり、先行研究のものも含む。

実験結果

リサーチクエスチョン

• RQ1 経験的でコンピュータ支援の手法が、人的知的工夫に依存せず、代数的関数方程式 $ F(P(x,t), P(x,1), x, t) \equiv 0 $ を厳密に解くことができるか？
• RQ2 多変数代数的関係の経験的特定が遅いため、代わりに $ P(x,1) $ の単変数零化多項式を推測することで、その手間を回避できるか？
• RQ3 結果的操作をどのように用いて、系から $ P(x,1) $ を消去し、$ P(x,t) $ に対する有効な代数的方程式を導出できるか？
• RQ4 この手法は、複数の催化変数を含む関数方程式へ、どの程度自動化されスケーラブルに拡張可能か？
• RQ5 このアプローチにより、従来の手法に比べて大幅に短時間で、2スタック可換順列に関する West の予想のような既知の結果を完全に厳密に証明できるか？

主な発見

• 本手法により、$ P(x,1) $ に対する既知の代数的関係が与えられれば、経験的推測と記号的消去のみを用いて、二変数生成関数 $ P(x,t) $ に対する代数的方程式を完全に自動的かつ厳密に導出可能である。
• 系 $ F(P(x,t), Q(x), x, t) \equiv 0 $ と $ I(Q(x), x) \equiv 0 $ から $ P(x,1) $ を結果的により消去することで、有効な代数的方程式 $ G(P(x,t), x, t) \equiv 0 $ が得られ、形式的べき級数解の一意性により、これが正当であることが保証される。
• 多変数多項式の推測の計算負荷を、$ Q(x) $ と $ x $ の二変数多項式の推測に大幅に軽減することで、計算効率が著しく向上する。
• 本手法は、Zeilberger の 2スタック可換順列に関する以前の研究の主要結果を、FunEq パッケージを用いて 2 秒未満で再証明した。
• 本手法はオープンソースの Maple パッケージ FunEq に完全に実装されており、[CJS] に記載されたすべての結果および多数の他の関数方程式について、自動的かつ厳密な証明を提供する。
• 本手法により、$ P $-再帰的数列と $ D $-有限生成関数が自然に代数的関係から生じること、および一階の再帰的関係（閉形式をもたらす）を経験的に特定し、自動的に検証可能であることが確認された。