[论文解读] 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ΠΣ∗-扩张的简洁性、交错结构与序列环中的可嵌入性相联系，提供了对 RΠΣ∗-扩张——一种用于处理嵌套求和、乘积及单位根的符号求和代数结构——的新表征。在常数稳定的基域下，这些性质等价，从而实现了对嵌套求和代数独立性的完全自动证明，并高效求解参数化错位求和问题。

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ΠΣ∗-扩张嵌入序列环的算法框架，确保所生成求和与乘积的代数独立性。
• 建立一种构造性方法，利用参数化错位求和范式证明嵌套不定求和的代数独立性。

提出的方法

• 通过四个等价性质表征 RΠΣ∗-扩张：常数的常值性、差分环的简洁性、ΠΣ∗-扩张的交错性，以及可嵌入序列环的性质。
• 以 Singer 的差分方程伽罗瓦理论作为概念基础，推导 RΠΣ∗-扩张的结构定理。
• 构造 RΠΣ∗-环的 Σ∗-扩张以建模参数化错位求和问题，并应用序列的嵌入定理。
• 利用 o-函数与求值映射定义求和与乘积的序列表示，实现代数独立性的算法验证。
• 采用迭代嵌入技术，通过逐次环扩张，将 K-嵌入从基域扩展至 RΠΣ∗-扩张。
• 利用交错性质设计替代约化策略，用于求解基本 RΠΣ∗-扩张中的参数化错位求和问题。

实验结果

研究问题

• RQ1 在何种条件下，APS-扩张（代数、乘积、求和扩张）的塔构成一个基本 RΠΣ∗-扩张？
• RQ2 如何利用差分环的简洁性来表征 RΠΣ∗-扩张？
• RQ3 ΠΣ∗-扩张的交错性与 RΠΣ∗-扩张的结构之间有何关系？
• RQ4 能否使 RΠΣ∗-扩张嵌入序列环的过程算法化，并用于证明求和的代数独立性？
• RQ5 参数化错位求和问题与 RΠΣ∗-扩张中的代数独立性有何关联？

主要发现

• 基本 RΠΣ∗-扩张等价于简洁差分环：任何 σ-不变理想均为平凡理想。
• 序列环的嵌入是可能的，当且仅当基域允许此类嵌入，且该嵌入保持嵌套求和与乘积的结构。
• ΠΣ∗-扩张的交错性为 RΠΣ∗-扩张提供了典范分解，实现其结构表征。
• 可通过参数化错位求和方程无解来证明源自嵌套求和的序列的代数独立性。
• 若方程 σ(g) − g = ∑ c_i σ(f_i) 无解 (g, c₁,…,c_d)，则序列 ⟨S_i(a)⟩_a≥0 在嵌入像上代数独立。
• 该方法已在 Sigma 包中实现，可实现嵌套求和表达式的完全自动简化，且其代数独立分量可被自动识别。