[論文レビュー] The art of algorithmic guessing in $ exttt{gfun}$

Sergey Yurkevich|arXiv (Cornell University)|Sep 7, 2022

Polynomial and algebraic computation参考文献 35被引用数 4

ひとこと要約

この論文は、Mapleのパッケージgfunが、2つの最近の数学的研究事例を用いて、ホロノミックな数列およびD-有限な母関数の効率的なアルゴリズム的推測を可能にすることを示している。具体的には、ランダムウォークに関連する母関数の単調性の証明と、生物学におけるCanhamモデルのための超幾何恒等式の発見である。この手法は、記号計算と自動的な漸化式推測、微分作用素による検証を組み合わせることで、実験的数学における予想形成と証明を簡素化する。

ABSTRACT

The technique of guessing can be very fruitful when dealing with sequences which arise in practice. This holds true especially when guessing is performed algorithmically and efficiently. One highly useful tool for this purpose is the package named $ exttt{gfun}$ in the software Maple. In this text we explore and explain some of $ exttt{gfun}$'s possibilities and illustrate them on two examples from recent mathematical research by the author and his collaborators.

研究の動機と目的

• Mapleのgfunパッケージを用いたホロノミックな数列およびD-有限な母関数のアルゴリズム的推測の実用的応用を示すこと。
• 微分作用素による自動推測とその後の証明が、実験的数学における発見をどのように加速できるかを示すこと。
• gfunがパラメトリックおよび複雑な式、特に超幾何関数と記号的パラメータを扱えることを示すこと。
• 研究者が自らの作業に「推測して証明する」戦略を適用できる、アクセス可能で再現可能なワークフローを提供すること。

提案手法

• gfunの`guessgf`および`seriestorec`関数を用いて、数列の項から最小線形漸化式を推測する。
• 既知の恒等式と級数展開を用いて、母関数を超幾何関数形に変換する。
• `holexprtodiffeq`および`de2diffop`を用いて、推測された式からD-有限方程式を導出する微分作用素の応用。
• 微分作用素の最大公右因子（GCRD）を計算することで恒等式の正当性を検証する。
• Gaussの連接関係および和分定理を用いて、超幾何関数の式を簡略化・検証する。
• パラメトリック係数を統合した記号計算により、漸化式および微分方程式における変数の自動処理を可能にする。

実験結果

リサーチクエスチョン

• RQ1 gfunにおけるアルゴリズム的推測は、ホロノミックな数列の閉形式恒等式の発見をどのように加速するか？
• RQ2 gfunは、組合せ論および数理生物学に現れる母関数の単調性の証明において、どのように支援するか？
• RQ3 自動漸化式推測と微分作用素による検証は、記号計算における従来の人的証明を置き換えたり補完したりできるか？
• RQ4 gfunとDEtoolsの組み合わせは、複雑な超幾何関数の式の簡略化と検証をどのように可能にするか？

主な発見

• 3正則グラフにおける閉路の数の母関数が、gfunを用いて推測され、超幾何関数を用いた閉形式で確認された。
• 変換された超幾何的類似級数の漸化式を最初に推測し、その後微分作用素のGCRD計算により検証することで、Iso(z)の単調性証明が完了した。
• 超幾何関数の微分と一般化超幾何級数との間の恒等式が、gfunと微分作用素代数を用いて発見され、アルゴリズム的に確認された。
• wa(x)のパラメトリック微分方程式が導出可能であり、1階漸化式を推測し、作用素のGCRDを用いてそのテイラー係数の正値性が確認された。