[論文レビュー] Parameterized Telescoping Proves Algebraic Independence of Sums

Carsten Schneider|ArXiv.org|Aug 19, 2008

Advanced Mathematical Identities参考文献 12被引用数 27

ひとこと要約

本稿は、ΠΣ*-体におけるパラメータ付き望遠鏡式フレームワークを導入し、ネストされた和および積の代数的独立性をアルゴリズム的に決定する手法を提示する。パラメータ付き望遠鏡式解の非存在が超越性を示すことを証明することで、代数的独立性の意思決定基準を確立し、ゼイルバーガーのアルゴリズムの理論的限界を拡張し、一般化された調和数などの和のクラスに対する超越性の証明を可能にする。

ABSTRACT

Usually creative telescoping is used to derive recurrences for sums. In this article we show that the non-existence of a creative telescoping solution, and more generally, of a parameterized telescoping solution, proves algebraic independence of certain types of sums. Combining this fact with summation-theory shows transcendence of whole classes of sums. Moreover, this result throws new light on the question why, e.g., Zeilberger's algorithm fails to find a recurrence with minimal order.

研究の動機と目的

• 不定なネストされた和および積の代数的独立性を決定するためのアルゴリズム的基準を開発すること。
• ゼイルバーガーのアルゴリズムが最小順序の漸化式を発見できない理由を、代数的独立性と結びつけて説明すること。
• 望遠鏡式解の非存在を、数列の環における超越性と結びつけることで、記号的和分理論を拡張すること。
• 一般化された調和数などの和のクラスの超越性に対する理論的基盤を提供すること。

提案手法

• 本稿は、ΠΣ*-体と一般化されたd’Alembertian拡張を用いて、和および積を代数的にモデル化する。
• より大きなΠΣ*-体から数列の環への差分環の単準同型を導入し、超越性の性質を保存する。
• 望遠鏡式方程式に対する解の非存在に依存して代数的独立性を推論する。
• Karrの和分アルゴリズムと和分理論の結果を用いて、望遠鏡式方程式の可解性を検証する。
• 非存在性と望遠鏡式方程式の解との等価性を示す定理によって、アプローチを形式化する。
• 乗法的望遠鏡式に基づく類似基準を用いて、積への拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 ネストされた和の集合がどのような条件下で代数的独立性を示すことができるか？
• RQ2 なぜゼイルバーガーのアルゴリズムは、ときとして最小順序の漸化式を生成できないのか？
• RQ3 パラメータ付き望遠鏡式解の非存在を、和の超越性の証明に利用できるか？
• RQ4 ΠΣ*-体の構造をどのように活用して、和および積の代数的独立性を決定できるか？
• RQ5 一般化された調和数のような、どのような和のクラスが、この手法によって超越的であると証明可能か？

主な発見

• ΠΣ*-体においてパラメータ付き望遠鏡式解が存在しないことは、対応する和が定数体上代数的独立であることを示す。
• 整数 $ i \geq 1 $ に対して、$ H_n^{(i)} = \sum_{k=1}^n \frac{1}{k^i} $ は $ \mathbb{Q}(n) $ 上代数的独立である。
• 望遠鏡式方程式の可解性に基づいて、和および積の超越性の意思決定基準を提供する。
• フレームワークは、創造的望遠鏡式が最小順序の漸化式を発見できない理由を説明する：関係する和は代数的独立である。
• 有理関数およびハイパージオメトリック項に対しては、Sigmaパッケージなどの既存の記号的和分ツールを用いて基準を実装可能である。
• 積のバージョンの基準は、Lemma 9.4における比の条件が成り立つ場合、$ \prod_{k=r}^n \frac{p_i(k)}{q_i(k)} $ のような数列が代数的独立であることを示す。