[論文レビュー] Representing ($q$--)hypergeometric products and mixed versions in difference rings

Evans Doe Ocansey, Carsten Schneider|arXiv (Cornell University)|May 3, 2017

Advanced Topics in Algebra参考文献 21被引用数 11

ひとこと要約

この論文は、$\alpha^n$ において $\alpha$ が単位根であるような代数的要素を含む $\piSigma$-拡張—差分環の一種—において、多基本超幾何積および混合 $q$-超幾何積を表現するためのアルゴリズムを導入することで、記号的総和理論を拡張している。主な貢献は、このような積の上でのネストされた和を表現・簡約する完全でアルゴリズム的な枠組みを提供することであり、記号計算システムにおけるテレスコーピング、クリエイティブ・テレスコーピング、および漸化式の解法の完全な自動化を可能にしている。

ABSTRACT

In recent years, Karr's difference field theory has been extended to the so-called $RΠΣ$-extensions in which one can represent not only indefinite nested sums and products that can be expressed by transcendental ring extensions, but one can also handle algebraic products of the form $α^n$ where $α$ is a root of unity. In this article we supplement this summation theory substantially by the following building block. We provide new algorithms that represent a finite number of hypergeometric or mixed $(q_1,...,q_e)$-multibasic hypergeometric products in such a difference ring. This new insight provides a complete summation machinery that enables one to formulate such products and indefinite nested sums defined over such products in $RΠΣ$-extensions fully automatically. As a side-product, one obtains compactified expressions where the products are algebraically independent among each other, and one can solve the zero-recognition problem for such products.

研究の動機と目的

• カールの $\rpiSigma$-体理論を多基本および混合超幾何積を含むように拡張すること。
• 差分環において、超幾何積および混合 $q$-超幾何積の上に定義されたネストされた和のアルゴリズム的表現を可能にすること。
• 表現における代数的独立性を保証することで、このような積のゼロ認識問題を解くこと。
• 組合せ論および素粒子物理学における記号的計算のための完全で自動化された総和マシンを提供すること。

提案手法

• 単位根 $\alpha$ に対し、代数的生成子 $\alpha^n$ を含む $\rpiSigma$-拡張を構築すること。
• 体 $\mathbb{K}$ 上の有理関数を用いて、多基本超幾何積 $\prod_{k=l}^n f(k, q_1^k, \dots, q_e^k)$ をこれらの拡張内に表現すること。
• ジエのアルゴリズムを用いて代数的数体における軌道問題を解き、乗法的定数のアルゴリズム的取り扱いを可能にすること。
• 差分環理論および $\rpiSigma$-拡張構成を用いて、積生成子の代数的独立性を保証すること。
• 抽象的環要素を列に写像する $\rK'$-埋め込み $\tau$ を定義し、テレスコーピングおよび積関係を保存すること。
• Sigma や NestedProducts などの既存の記号的総和ツールを統合して、テレスコーピング、クリエイティブ・テレスコーピング、漸化式の解法の自動化を実現すること。

実験結果

リサーチクエスチョン

• RQ1 基底体が代数的数体上の有理関数体であるとき、$\rpiSigma$-拡張内で任意の有限個の多基本および混合超幾何積を完全に表現できるか。
• RQ2 このような積の上に定義されたネストされた和は、差分環の枠組み内でどのようにアルゴリズム的に簡約・表現できるか。
• RQ3 表現内での超幾何積生成子の代数的独立性を保証することで、ゼロ認識問題を解けるか。
• RQ4 テレスコーピング、クリエイティブ・テレスコーピング、漸化式の解法を含む、このような一般化された積クラスのための総和マシン全体を完全に自動化できるか。

主な発見

• 本論文は、代数的数体上での任意の有限個の多基本および混合超幾何積を $\rpiSigma$-拡張で表現可能であることを示した。
• 差分環内でのこのような積の上に定義されたネストされた和の自動的表現を可能にする完全なアルゴリズム的枠組みが確立された。
• 構築された表現は、積生成子間の代数的独立性を保証しており、効果的なゼロ認識を可能にしている。
• Sigma や NestedProducts などのツールとの統合により、テレスコーピングやクリエイティブ・テレスコーピングを含む記号的総和技法の完全な自動化が可能になった。
• $\prod_{k=1}^n (k q_1^k + 1)$ のような積によって生成される列が正しく埋め込まれ、閉形式に一致することが明示的な例を通じて検証された。
• 従来の超幾何積に関する研究を拡張し、混合 $q$-多基本ケースを含むように一般化した。これにより、組合せ論および物理学分野における応用範囲が著しく拡大された。