[論文レビュー] Degree Spectra, and Relative Acceptability of Notations

Nikolay Bazhenov, Dariusz Kalociński|arXiv (Cornell University)|May 2, 2022

Computability, Logic, AI Algorithms被引用数 1

ひとこと要約

この論文は、自然数の許容的記法に関するシャーマンの哲学的枠組みと計算可能構造理論を橋渡しし、広範な計算可能ブロック関数のクラスに対して、度スペクトルが正確にc.e.度であることは、任意の計算可能同型コピーにおいて関数の像から後続関数が計算可能であることと同値であることを示している—シャーマンの許容性の概念を形式的かつ計算可能性理論的に再構築するものである。

ABSTRACT

Shapiro's notations for natural numbers, and the associated desideratum of acceptability - the property of a notation that all recursive functions are computable in it - is well-known in philosophy of computing. Computable structure theory, however, although capable of fully reconstructing Shapiro's approach, seems to be off philosophers' radar. Based on the case study of natural numbers with standard order, we make initial steps to reconcile these two perspectives. First, we lay the elementary conceptual groundwork for the reconstruction of Shapiro's approach in terms of computable structures and show, on a few examples, how results pertinent to the former can inform our understanding of the latter. Secondly, we prove a new result, inspired by Shapiro's notion of acceptability, but also relevant for computable structure theory. The result explores the relationship between the classical notion of degree spectrum of a computable function on the structure in question - specifically, having all c.e. degrees as a spectrum - and our ability to compute the (image of the) successor from the (image of the) function in any computable copy of the structure. The latter property may be otherwise seen as relativized acceptability of every notation for the structure.

研究の動機と目的

• シャーマンの許容的記法に関する哲学的枠組みを、計算可能構造理論の形式的道具と調和させること。
• 計算可能関数 f が (ω, <) 上で度スペクトルが正確にc.e.度であるならば、任意の計算可能同型コピーにおいて後続関数が f の像から計算可能であるかどうかを調査すること。
• 度スペクトルと計算可能同型コピーを用いて、シャーマンの許容性の概念を相対化され、構造論的設定に拡張すること。
• 関数のスペクトルがc.e.度である場合に後続関数が回復可能であることを保証する十分条件を確立すること。

提案手法

• 記法が (ω, <) の計算可能同型コピーに対応することを前提に、シャーマンの許容性の概念を計算可能同型コピーの観点から再定式化すること。
• 関数 f の度スペクトルを、すべての計算可能同型コピーにおける f の像のすべてのチューリング度の集合として定義すること。
• 後続関数の回復可能性という概念を導入する：任意の計算可能同型コピーにおいて、f の像から後続関数が計算可能である。これはシャーマンの許容性条件の一般化である。
• 自然数 ω を有限区間（ブロック）に分割する計算可能関数であるブロック関数を用いて、例を構成しスペクトル的挙動を分析すること。
• 計算可能構造理論の技術を適用し、関数 cpf(x) を用いた f-ブロックの有効回復を実現することで、構造的要素へのアルゴリズム的アクセスを保証すること。
• 特定の効果的性質を満たす計算可能ブロック関数に対して、c.e.度スペクトルが後続関数の回復可能性を意味することを、慎重なブロック相互作用制御を伴う優先順位的構成を用いて証明すること。

実験結果

リサーチクエスチョン

• RQ1 計算可能関数 f が (ω, <) 上で度スペクトルが正確にc.e.度である場合、任意の計算可能同型コピーにおいて後続関数が f の像から計算可能であることが保証されるか？
• RQ2 シャーマンの枠組みにおける許容性の概念は、計算可能構造理論の文脈で形式的に再構築され、一般化可能か？
• RQ3 関数 f が度スペクトルを正確にc.e.度に保つために必要な構造的性質は何か？
• RQ4 度スペクトルがc.e.度であるが、f から後続関数が回復できない計算可能ブロック関数は存在するか？
• RQ5 c.e.度スペクトルと後続関数の回復可能性の同値性は、すべての計算可能ブロック関数に対して成り立つか？

主な発見

• 特定の効果的性質を満たす計算可能ブロック関数の広いクラスに対して、度スペクトルが正確にc.e.度であることは、任意の計算可能同型コピーにおいて後続関数が f の像から計算可能であることと同値である。
• 証明は、f-ブロックの有効回復に依存しており、関数 cpf(x) を用いることで構造的要素をアルゴリズム的に特定可能とする。
• 本論文は、シャーマンの許容性の概念を「相対化された許容性」として形式的かつ計算可能性理論的に再構築しており、これは f の像に対する後続関数の計算可能性を意味する。
• cpf(x) が計算不能であるが、f のブロックが無限回出現し、f のスペクトルがすべての ∆2 度を含むような計算可能ブロック関数 f が存在する。これは、c.e.スペクトル条件が追加の効果的制約なしでは十分でないことを示している。
• 著者らは、c.e.度スペクトルと後続関数の回復可能性の同値性が、すべての計算可能ブロック関数に対して成り立つと予想しているが、効果的性質を満たさない関数については未解決のままである。