[논문 리뷰] Denominator Bounds for Systems of Recurrence Equations using $ΠΣ$-Extensions

Johannes Middeke, Carsten Schneider|arXiv (Cornell University)|2017. 04. 30.

Polynomial and algebraic computation참고 문헌 32인용 수 4

한 줄 요약

이 논문은 ΠΣ-확장의 계수를 가진 선형 재귀 방정식 시스템에 대한 분모 한계를 계산하는 알고리즘을 제시하며, 유리 해를 찾는 문제를 다항식 해 계산으로 환원할 수 있도록 한다. 주요 기여는 모든 해의 분모를 나누는 보편 분모를 체계적으로 결정하는 방법을 제공하는 것으로, 기호 합산 이론과 특수 함수 이론에서 연립 재귀 시스템을 해결하는 데 핵심적이다.

ABSTRACT

We consider linear systems of recurrence equations whose coefficients are given in terms of indefinite nested sums and products covering, e.g., the harmonic numbers, hypergeometric products, $q$-hypergeometric products or their mixed versions. These linear systems are formulated in the setting of $ΠΣ$-extensions and our goal is to find a denominator bound (also known as universal denominator) for the solutions; i.e., a non-zero polynomial $d$ such that the denominator of every solution of the system divides $d$. This is the first step in computing all rational solutions of such a rather general recurrence system. Once the denominator bound is known, the problem of solving for rational solutions is reduced to the problem of solving for polynomial solutions.

연구 동기 및 목표

• ΠΣ-확장 내 선형 재귀 방정식 시스템에 대한 보편 분모 한계를 계산하는 알고리즘을 개발하는 것.
• 분모 한계를 통해 유리 해 문제를 다항식 해 문제로 변환하는 것.
• 비용이 많이 드는 분해 단계 없이도 직접 연립 재귀 시스템을 해결할 수 있도록 지원하는 것.
• 일반적인 중첩된 합과 곱을 포함한 연립 시스템으로 기존 스칼라 재귀에 대한 방법을 확장하는 것.
• 기호 합산에서 d’Alembertian 및 Liouvillian 해를 계산하기 위한 기초를 제공하는 것.

제안 방법

• 계수 체를 포함하는 중첩된 합과 곱(예: 조화수 및 초기함수 항목)을 모델링하기 위해 ΠΣ-확장을 사용한다.
• 장치 σ에 의한 체 확장의 이동 행동을 분석하여 ℱ[t]에 속하는 비주기적 분모 한계 d를 계산한다.
• σ(t) = t + β(합형태)인 경우 분모 한계 d는 완전하다. σ(t) = αt(곱형태)인 경우 충분히 큰 m에 대해 t^m d가 완전해진다.
• 문제를 다항식 해 y' ∈ ℱ[t]^n 를 구하는 문제로 환원하기 위해 y = y'/d 를 치환한다.
• 다항식 해의 탐색 공간을 제한하기 위해 degree bounds b ∈ ℕ 를 추측하여 상수 체 위에서 선형 대수 문제로 환원한다.
• 하위체에 대해 이 방법을 재귀적으로 적용함으로써 상수 체에 도달할 때까지 하향식으로 중첩된 ΠΣ-확장 내 시스템을 해결할 수 있다.

실험 결과

연구 질문

• RQ1 ΠΣ-확장 내 연립 선형 재귀 방정식 시스템에 대해 보편 분모 한계를 어떻게 계산할 수 있는가?
• RQ2 분모 한계의 완전성 결정에 있어 이동 행동(σ(t) = t+β 또는 σ(t) = αt)의 역할은 무엇인가?
• RQ3 비용이 많이 드는 분해 단계 없이도 여전히 유리 해 계산을 가능하게 할 수 있는가?
• RQ4 다항식 해 탐색이 계산적으로 타당하게 유지되기 위한 전략은 무엇인가?
• RQ5 중첩된 ΠΣ-확장에 대해 이 방법을 어떻게 재귀적으로 적용하여 상수 체에 도달할 수 있는가?

주요 결과

• 논문은 ℱ[t]에서 산란(dispersion)을 계산할 수 있다는 가정 하에, ΠΣ-확장 내에서 분모 한계 d ∈ ℱ[t]를 알고리즘적으로 계산할 수 있음을 입증한다.
• 합형태 변수(σ(t) = t + β)의 경우 계산된 d는 완전한 분모 한계이다.
• 곱형태 변수(σ(t) = αt)의 경우 충분히 큰 m에 대해 t^m d 가 완전한 분모 한계가 되지만, 일반적으로 m를 알고리즘적으로 결정하는 것은 아직 이루어지지 않았다.
• 이 방법은 유리 해를 찾는 문제를 다항식 해를 구하는 문제로 환원할 수 있도록 하여 기호 계산에 더 적합한 형태로 만든다.
• 이 접근법은 기호 합산 및 입자 물리학에서 나타나는 연립 재귀 시스템에서 d’Alembertian 및 Liouvillian 해를 계산하는 데 기여한다.
• 이 방법은 재귀적이며, 하위체를 통해 하향식으로 중첩된 ΠΣ-확장 내 시스템을 해결할 수 있으며, 상수 체에 도달했을 때 선형 대수학으로 최종 시스템을 해결할 수 있다.