[논문 리뷰] Summation Theory II: Characterizations of $\boldsymbol{R\Pi\Sigma^*}$-extensions and algorithmic aspects

Carsten Schneider|arXiv (Cornell University)|2016. 03. 14.

Mathematical and Theoretical Analysis참고 문헌 38인용 수 30

한 줄 요약

이 논문은 RΠΣ∗-확장—내부 합, 곱, 원분단위의 근을 다루는 기호 합산을 위한 대수적 구조—의 새로운 특성화를 제시한다. 이는 그들의 단순성, 교차 구조, 그리고 수열의 링으로의 통합 가능성과 연결된다. 상수 안정적인 기초 체 위에서 이러한 성질들이 서로 동치임을 증명함으로써, 내부 합의 대수적 독립성에 대한 알고리즘적 검증과 매개변수화된 텔레스코프 문제의 효율적 해결이 가능해진다.

ABSTRACT

Recently, $R\Pi\Sigma^*$-extensions have been introduced which extend Karr's $\Pi\Sigma^*$-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\Pi\Sigma^*$-extensions: adjoining naively sums and products leads to an $R\Pi\Sigma^*$-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 $\Pi\Sigma^*$-extensions. From the viewpoint of applications this leads to a fully automatic machinery to represent indefinite nested sums and products in such $R\Pi\Sigma^*$-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\Pi\Sigma^*$-extensions exploiting the interlacing property.

연구 동기 및 목표

• 기본 RΠΣ∗-확장의 원래 정의를 초월하여 내재적이고 알고리즘적으로 검증 가능한 특성화를 제공하기 위해.
• RΠΣ∗-확장의 구조적 성질을 차분 방정정리 이론의 개념들과 통합하기 위해.
• RΠΣ∗-확장을 수열의 링으로 통합하기 위한 구축적이고 완전 자동화된 방법을 개발하기 위해.
• 매개변수화된 텔레스코프 해의 존재하지 않음을 통해 내부 합의 대수적 독립성을 증명할 수 있도록 하기 위해.
• Sigma와 같은 컴퓨터 대수 시스템에서 기호 합산을 위한 알고리즘 도구상자를 확장하기 위해.

제안 방법

• 차분 링의 단순성에 의한 RΠΣ∗-확장의 특성화: 모든 σ-안정 이상은 자명하다.
• RΠΣ∗-확장과 ΠΣ∗-확장의 교차성 간의 동치성을 확립하여 구조적 분해를 가능하게 한다.
• 수열의 링 S(K)로의 K-통합 τ: E → S(K)를 사용하여 원소들을 수열로 표현한다.
• 매개변수화된 텔레스코프 문제를 모델링하기 위해 H = E[s₁,…,s_d]의 Σ∗-확장을 구성하며, σ(s_i) = s_i + σ(f_i)이다.
• 수열 통합과 다항식 링의 구조를 활용하여 합 수열의 대수적 독립성을 테스트한다.
• o-함수와 평가 사상의 반복적 확장을 사용하여 대수적 관계를 유지한다.

실험 결과

연구 질문

• RQ1 APS-확장(대수적, 곱, 합 확장)의 탑재가 기본 RΠΣ∗-확장이 되는 조건은 무엇인가?
• RQ2 차분 링 E가 단순한가, 즉 모든 σ-안정 이상이 자명한가?
• RQ3 RΠΣ∗-확장이 수열의 링으로 통합될 수 있는 조건은 무엇이며, 이는 표현과 단순화에 어떤 함의를 갖는가?
• RQ4 매개변수화된 텔레스코프 해의 존재하지 않음을 어떻게 사용하여 내부 합의 대수적 독립성을 증명할 수 있는가?
• RQ5 ΠΣ∗-확장의 교차성은 표준 RΠΣ∗-확장 구성 방식에 대한 구조적 대안이 될 수 있는가?

주요 결과

• 기본 RΠΣ∗-확장은 단순한 차분 링과 동치이다: 모든 σ-안정 이상은 자명하다.
• RΠΣ∗-확장은 ΠΣ∗-확장의 교차된 곱과 동형이며, 이는 구조적 분해를 가능하게 한다.
• 기초 체 F가 그러한 통합을 허용할 경우에만 링 E가 수열의 링으로 통합될 수 있다.
• τ(E) 위에서 수열 ⟨S₁(n)⟩, ..., ⟨S_d(n)⟩의 대수적 독립성은 식 (6.2)의 매개변수화된 텔레스코프 방정식의 해가 존재하지 않는 것과 동치이다.
• E에서 텔레스코프 해가 존재하지 않으면, 해당 내부 합은 상수 체 K 위에서 대수적으로 독립적이다.
• 이 체계는 완전히 알고리즘적이며, Sigma 패키지에 구현되어 있어 내부 합 표현식을 압축하고 대수적으로 독립적인 형태로 표현할 수 있다.