[論文レビュー] On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in $Π\mathbfΣ^*$-field extensions

С. А. Абрамов, Manuel Bronstein+2 more|arXiv (Cornell University)|May 11, 2020

Polynomial and algebraic computation被引用数 5

ひとこと要約

本稿では、ΠΣ*-体拡張におけるパrameter化された線形差分方程式のすべての有理数解、および同次線形差分方程式のすべての超幾何解を計算する包括的なアルゴリズムを提示する。既存の手法を拡張し、計算可能な定数体上でのネストされたΠΣ*-拡張によって構築される広範な差分体のクラスにおいて、柔軟でアルゴリズム的に妥当なフレームワークを提供する。このフレームワークは、Sigmaパッケージに完全に実装されている。

ABSTRACT

We present a complete algorithm that computes all hypergeometric solutions of homogeneous linear difference equations and rational solutions of parameterized linear difference equations in the setting of $ΠΣ^*$-fields. More generally, we provide a flexible framework for a big class of difference fields that is built by a tower of $ΠΣ^*$-field extensions over a difference field that satisfies certain algorithmic properties. As a consequence one can compute all solutions in terms of indefinite nested sums and products that arise within the components of a parameterized linear difference equation, and one can find all hypergeometric solutions that are defined over the arising sums and products of a homogeneous linear difference equation.

研究の動機と目的

• パrameter化された線形差分方程式のすべての有理数解をΠΣ*-体拡張において計算する包括的アルゴリズムの開発。
• 同次線形差分方程式のすべての超幾何解をΠΣ*-体拡張において計算する包括的アルゴリズムの提供。
• 有理関数体を超える、より複雑な差分体（ΠΣ*-拡張によって構築）に対しても、有理数解および超幾何解のアルゴリズムを一般化すること。
• 計算可能な定数体が特定のアルゴリズム的性質を満たす限り、フレームワークがアルゴリズム的に有効であることを保証すること。
• 代数的数や積の次数を制御可能なオプションを備えたSigmaサマーションパッケージへの統合により、実用的な計算を可能にすること。

提案手法

• 本手法は、アルゴリズム的性質を備えた基本差分体上に、ΠΣ*-体拡張の塔として構築された一般差分体のフレームワークに基づく。
• アブラモフの分母バウンディング技法の一般化を用い、それをΠΣ*-体へ拡張することで、パrameter化された方程式の有理数解を特定する。
• 超幾何解のためのアプローチでは、定数体上での有理関数方程式系の解法に帰着させ、ΠΣ*-モナミアルの構造を活用する。
• 最小の定数体に問題を正規化するプロセスを用いることで、完全性と効率性を保証する。
• カールの差分体理論と統合され、Sigmaパッケージを通じて創造的テレスコーピングをサポートし、再帰式の解法を可能にする。
• ユーザーが特定の代数的数体や積の次数に制限を設けることができる設定可能なオプションを提供し、計算の実行可能性を向上させる。

実験結果

リサーチクエスチョン

• RQ1 パrameter化された線形差分方程式のすべての有理数解をΠΣ*-体拡張において計算する包括的アルゴリズムを開発することは可能か？
• RQ2 一般のΠΣ*-体（特に有理関数体に限らない）において、同次線形差分方程式のすべての超幾何解を計算することは可能か？
• RQ3 完全性と計算可能性を保ちつつ、任意のΠΣ*-体拡張に対して動作するように、アルゴリズム的フレームワークを一般化するにはどうすればよいか？
• RQ4 このようなアルゴリズムが有効に機能するための、基本定数体に必要な最小限のアルゴリズム的要件は何か？
• RQ5 記号的サマーションおよび再帰式解法の分野で実用的かつ拡張可能であるように、このフレームワークをどのように設計すべきか？

主な発見

• 本稿では、有理関数体に限られていた先行研究を拡張し、ΠΣ*-体拡張におけるパrameter化された線形差分方程式のすべての有理数解を計算する包括的アルゴリズムを提示する。
• 同次線形差分方程式のすべての超幾何解をΠΣ*-体拡張において計算する包括的アルゴリズムが開発され、既存手法における空白を解消した。
• フレームワークは一般的かつ柔軟で、特定のアルゴリズム的性質を満たす任意の基本差分体上でのΠΣ*-体拡張に適用可能である。
• アルゴリズムはSigmaサマーションパッケージに実装されており、代数的数体や積の次数を制御するオプションにより、パフォーマンスが向上している。
• 本手法により、ネストされた和積体におけるd’Alembertian解およびLiouvillian解の計算が可能となり、記号的サマーションツールの適用範囲が拡張された。
• 本アプローチは、素粒子物理学や組合せ論に由来する複雑なサマーション問題における再帰式の発見および解法を可能にする。