[論文レビュー] Summation Theory II: Characterizations of $\boldsymbol{RΠΣ^*}$-extensions and algorithmic aspects

Carsten Schneider|arXiv (Cornell University)|Mar 14, 2016

Computability, Logic, AI Algorithms被引用数 14

ひとこと要約

本稿は、ネストされた和、積、単位根を扱える記号的和分のための代数的構造であるRΠΣ∗-拡大について、その単純性、相互にねじれ合う構造、および数列環への埋め込み可能性を結びつけることで、新たな特徴付けを提供する。定数安定な基底体の下で、これらの性質が同値であることが確立され、ネストされた和の代数的独立性を完全に自動的に証明するアルゴリズムや、パrameterized telescoping問題を効率的に解くことが可能になる。

ABSTRACT

Recently, $RΠΣ^*$-extensions have been introduced which extend Karr's $ΠΣ^*$-fields substantially: one can represent expressions not only in terms of transcendental sums and products, but one can work also with products over primitive roots of unity. Since one can solve the parameterized telescoping problem in such rings, covering as special cases the summation paradigms of telescoping and creative telescoping, one obtains a rather flexible toolbox for symbolic summation. This article is the continuation of this work. Inspired by Singer's Galois theory of difference equations we will work out several alternative characterizations of $RΠΣ^*$-extensions: adjoining naively sums and products leads to an $RΠΣ^*$-extension iff the obtained difference ring is simple iff the ring can be embedded into the ring of sequences iff the ring can be given by the interlacing of $ΠΣ^*$-extensions. From the viewpoint of applications this leads to a fully automatic machinery to represent indefinite nested sums and products in such $RΠΣ^*$-rings. In addition, we work out how the parameterized telescoping paradigm can be used to prove algebraic independence of indefinite nested sums. Furthermore, one obtains an alternative reduction tactic to solve the parameterized telescoping problem in basic $RΠΣ^*$-extensions exploiting the interlacing property.

研究の動機と目的

• 構造的およびアルゴリズム的性質を統合する基本的RΠΣ∗-拡大の内在的特徴付けを提供すること。
• 標準的ΠΣ∗-体では表現できない、(−1)^nのような単位根を含む式を含めるように、記号的和分の道具箱を拡張すること。
• RΠΣ∗-拡大を数列環へ埋め込むためのアルゴリズム的枠組みを構築し、導かれる和および積の代数的独立性を保証すること。
• パrameterized telescopingのパラダイムを用いて、不定的なネストされた和の代数的独立性を構成的に証明する方法を確立すること。

提案手法

• 定数の定数性、差分環の単純性、ΠΣ∗-拡大のねじれ構造、数列環への埋め込みという4つの同値な性質を用いてRΠΣ∗-拡大を特徴付ける。
• Singerの差分方程式のガロア理論を概念的基盤として用い、RΠΣ∗-拡大の構造的定理を導出する。
• パrameterized telescoping問題をモデル化するためのRΠΣ∗-環のΣ∗-拡大を構築し、数列への埋め込み定理を適用する。
• o関数と評価写像を用いて、和および積の数列表現を定義し、代数的独立性のアルゴリズム的検証を可能にする。
• 反復的埋め込み技術を用いて、基本体からRΠΣ∗-拡大へのK-埋め込みを逐次的環拡大を通じて拡張する。
• ねじれ性質を活用して、基本的RΠΣ∗-拡大におけるパrameterized telescoping問題を解く代替還元戦略を設計する。

実験結果

リサーチクエスチョン

• RQ1 代数的拡大、積の拡大、和の拡大からなるAPS-拡大の塔が、基本的RΠΣ∗-拡大であるための条件は何か？
• RQ2 差分環の単純性は、RΠΣ∗-拡大を特徴付けるのにどのように利用できるか？
• RQ3 ΠΣ∗-拡大のねじれ構造とRΠΣ∗-拡大の構造との関係は何か？
• RQ4 RΠΣ∗-拡大を数列環に埋め込むことは、アルゴリズム的に可能であり、その埋め込みを用いて和の代数的独立性を証明できるか？
• RQ5 パrameterized telescoping問題は、RΠΣ∗-拡大における代数的独立性とどのように関係しているか？

主な発見

• 基本的RΠΣ∗-拡大は、単純な差分環と同値である：任意のσ不変イデアルは自明である。
• 数列環への埋め込みが可能であるための必要十分条件は、基底体が同様の埋め込みを許容することであり、この埋め込みはネストされた和および積の構造を保つ。
• ΠΣ∗-拡大のねじれ構造は、RΠΣ∗-拡大の標準的分解を提供し、構造的特徴付けを可能にする。
• ネストされた和から導かれる数列の代数的独立性は、パrameterized telescoping方程式の解の非存在性によって証明できる。
• σ(g) − g = ∑ c_i σ(f_i) に対して解 (g, c₁,…,c_d) が存在しないことは、⟨S_i(a)⟩_a≥0 が埋め込みの像上での代数的独立性を示す。
• 本手法はSigmaパッケージに実装されており、代数的独立成分を有するネストされた和式の完全自動簡約を可能にしている。