[論文レビュー] A conjecture in the problem of rational definite summation

Mark van Hoeij|ArXiv.org|Oct 10, 2002

semigroups and automata theory参考文献 1被引用数 3

ひとこと要約

本稿では、有理関数 F(n,k) における k = 0 から n までの定積分が n の有理関数であるかどうかを判定する問題を、部分分数項の同値類ごとの同一性を確認することに還元する予想を提示する。この予想が真であれば、分母因数における構造的対称性を活用することで、有理定和のための体系的でアルゴリズム的なアプローチが可能になる。

ABSTRACT

A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.

研究の動機と目的

• 有理関数 F(n,k) における ∑ₖ₌₀ⁿ F(n,k) が n の有理関数であるかどうかを決定する根本的問題に取り組む。
• 代数的対称性に基づいて部分分数項を同値類にグループ化することで、一般の和問題をより単純な部分問題に還元する。
• 和が有理関数のまま保たれる構造的条件を同定することにより、有理定和のためのアルゴリズム的アプローチの理論的基盤を提供する。
• 自己同型と対称性タイプ（一般型、対称型、有理型）が、和の有理性を保つために必要な項のキャンセルを可能にする役割を調査する。
• 全和の有理性が、各同値類における和の有理性を示唆するかどうかを検討し、モジュラーなアルゴリズム設計を可能にする。

提案手法

• C(n)[k] 内の既約多項式に、アフィン変換 ψₐ,ᵦ,𝒸(k) = ak + bn + c を用いた同値関係 ∼ₚ を定義し、単位元を除いて同じ形に写される多項式を同定する。
• 有理関数 F(n,k) を多項式部 Q と部分分数項 Fᵢ = Aᵢ/Bᵢ^{dᵢ} に分解し、deg_k(Aᵢ) < deg_k(Bᵢ) かつ Bᵢ が既約であることを満たす。
• 部分分数項を、同じ dᵢ および Bᵢ ∼ₚ Bⱼ を満たすもの同士で同値類 Gᵢ にグループ化し、対称的家族の項の和を形成する。
• ∑ₖ₌₀ⁿ F(n,k) が有理関数であれば、各 ∑ₖ₌₀ⁿ Gᵢ(n,k) も有理関数であるはずである、という予想を提示する。これが中心となる予想である。
• C(n)[k] 内の既約多項式 B を、その自己同型群 Aut(B) のサイズによって分類し、一般型（1要素）、対称型（2要素）、有理型（無限要素）に区別する。
• これらの対称性タイプを用いて、キャンセル検出手順の設計を支援し、特に有理型項ではより複雑なキャンセルが生じることに注意を向ける。

実験結果

リサーチクエスチョン

• RQ1 有理関数 F(n,k) における定和 ∑ₖ₌₀ⁿ F(n,k) が n の有理関数である条件は何か？
• RQ2 全和の有理性は、部分分数項の同値類ごとの和を分析することで特定できるか？
• RQ3 分母多項式における特定の対称性タイプ（一般型、対称型、有理型）が、有理性を保つ予測可能なキャンセルを可能にするか？
• RQ4 同値な部分分数項同士のすべての可能なキャンセルを体系的に検出できる、完全なアルゴリズム的手順が存在するか？
• RQ5 R(n) = ∑ₖ₌₀ⁿ F(n,k) が多項式係数の線形再帰関係を満たす場合、ある分母の制約のもとで R(n) が有理関数であると示唆されるか？

主な発見

• 予想では、∑ₖ₌₀ⁿ F(n,k) が有理関数であれば、各同値類 Gᵢ における和 ∑ₖ₌₀ⁿ Gᵢ(n,k) も有理関数でなければならないとし、このことによりグローバル問題がより小さな構造的サブプロブレムに還元される。
• 本稿では、既約分母因数の自己同型群に基づいて、一般型、対称型、有理型の3つの対称性タイプを特定し、それらが可能なキャンセルの複雑さを決定づける。
• 例では、非自明なキャンセルが一般型でも発生しうることを示しており、例えば F = 1/B(n,k) − 1/B(n,n−k) のように、個々の項が非ゼロでも和がゼロとなる例がある。
• 有理型項では、より複雑なキャンセルが可能であり、1/(k+1) + 2/(k+2+n) − 2/(2k+1) は、対称項に再書き換えすることで和がゼロになる。
• R(n) = ∑ₖ₌₀ⁿ 1/(k + n(n+1)/2) は、C[n] 上で多項式係数の線形再帰関係を満たさない。これは、R(n) が有理関数でないことを示唆する。
• この再帰関係の不成立は、素数密度の議論と互いに素な集合 Sₙ の性質を用いた背理法により証明され、再帰関係が存在すれば分母の成長率が素数定理に反することを示している。