[論文レビュー] Differential Recursion and Differentially Algebraic Functions

Akitoshi Kawamura|ArXiv.org|Apr 3, 2007

Computability, Logic, AI Algorithms参考文献 32被引用数 5

ひとこと要約

この論文は、部分関数における微分再帰作用素の曖昧さを解消することで、ムーアの実原始再帰的関数の理論を厳密に再定式化する。数学的に整合的で解析性を保つ定式化のもとでも、ムーアがこのような関数が微分代数的であると主張する主張が成立しないことが示される。具体的には、実原始再帰的であるが微分代数的でない古典的ガンマ関数Γ(x)が反例となり、ムーアの中心的主張と矛盾する。

ABSTRACT

Moore introduced a class of real-valued "recursive" functions by analogy with Kleene's formulation of the standard recursive functions. While his concise definition inspired a new line of research on analog computation, it contains some technical inaccuracies. Focusing on his "primitive recursive" functions, we pin down what is problematic and discuss possible attempts to remove the ambiguity regarding the behavior of the differential recursion operator on partial functions. It turns out that in any case the purported relation to differentially algebraic functions, and hence to Shannon's model of analog computation, fails.

研究の動機と目的

• ムーアの実原始再帰的関数の元々の定式化における技術的欠陥、特に部分関数と微分再帰に関するものを是正すること。
• 解析性を保ちながら曖昧さを避ける数学的に厳密な微分再帰の定義を確立すること。
• ムーオが実原始再帰的関数が微分代数的であると主張するという主張の妥当性を検証すること。
• 最小化作用素と再帰作用素における潜在的な欠陥を踏まえて、実再帰的関数とデジタル計算可能性の関係を調査すること。

提案手法

• 解析性を保ち、部分関数を適切に扱うようにムーオの微分再帰作用素（dr）を再定式化し、未定義の振る舞いを回避する。
• 微分代数的関数の特徴づけとして、導関数における局所的多項式関係（定理3）を適用し、閉包性を検証する。
• ガンマ関数Γ(x)を反例として用いる：ˇΓ(R,x)を用いた極限的構成により、Γ(x)が実原始再帰的であることが示され、一方で微分代数的でない。
• ˇΓ(R,x)の導関数の極限を用いて、もしˇΓが微分代数的であればΓ(x)も微分代数的であるはずだが、ホルダーの結果によりそれは成立しないことを示す。
• ムーオの最小化作用素（mn）を分析し、部分関数への適用における曖昧さを指摘するが、修正された反復補題が成立することを証明する。
• 実原始再帰的関数のクラスと、線形微分再帰に基づく既知のクラスを比較し、アナログ計算モデルにおける基礎的問題を浮き彫りにする。

実験結果

リサーチクエスチョン

• RQ1 微分再帰作用素の数学的に厳密な定式化のもとで、ムーオが実原始再帰的関数が微分代数的であるという主張は妥当か？
• RQ2 曖昧さを回避し、解析性を保つwell-definedな微分再帰作用素を構築できるか？
• RQ3 古典的ガンマ関数は、見直された定義のもとで実原始再帰的とみなされ、かつ微分代数的であるか？
• RQ4 部分関数の取り扱いが、実再帰的関数クラスの閉包性に与える影響は何か？
• RQ5 定義が単純で、微分代数的関数についても閉じているような、実原始再帰的関数の部分クラスを特定できるか？

主な発見

• 積分 [1/R, R] を用いて定義される関数 ˇΓ(R,x) は、見直された微分再帰作用素のもとで実原始再帰的である。
• R→∞ の極限における ˇΓ(R,x) の極限は、オイラーのガンマ関数Γ(x) に一致するが、ホルダーの定理により、これは微分代数的でないと知られている。
• ˇΓが実原始再帰的であり、その極限がΓ(x)であるにもかかわらず、実原始再帰的関数のクラスは、微分代数的性質を保つ極限をとる操作について閉じていない。
• 本論文は、ムーオが実原始再帰的関数が微分代数的であるという主張が、最も制限的で数学的に整合的な再帰作用素の定式化のもとでも誤りであることを証明する。
• ムーオのフレームワークにおける最小化作用素（mn）は、部分関数への適用において曖昧であるが、修正された反復補題は依然として成立する。
• 極限に関する閉包性の失敗とガンマ関数の反例は、ムーオの実再帰的関数とシャノンのGPACアナログ計算モデルとの間の基礎的関係を揺るがす。