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

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

Computability, Logic, AI Algorithms인용 수 14

한 줄 요약

이 논문은 루트 오브 유니티를 다루는 기호 합산을 위한 대수적 구조인 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-함수와 평가 사상(평가 지도)을 활용하여 합과 곱의 수열 표현을 정의함으로써, 대수적 독립성의 알고리즘적 검증을 가능하게 하기.
• 반복적인 통합 기법을 활용하여 기초 체에서부터 RΠΣ∗-확장까지 K-통합을 순차적 링 확장에 따라 확장하기.
• 교차성 성질을 활용하여 기본 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 패키지에 구현되어 있으며, 대수적으로 독립적인 성분을 가진 중첩된 합 표현의 완전 자동 단순화를 가능하게 한다.