[論文レビュー] Two universal 3-quantifier representations of recursively enumerable sets

Yuri Matiyasevich, Julia Robinson|ArXiv.org|Feb 7, 2008

Computability, Logic, AI Algorithms参考文献 7被引用数 4

ひとこと要約

本稿では、非負整数の再帰的に可算集合が、正確に3つの量化子を用いた論理式で表現可能であることを確立している。具体的には、2つの存在量化子（∃b∃c）に続く1つの全称量化子（∀f）であり、内部の条件は多項式の正値制約である。主な貢献は、高基数の数値システムにおける多項式展開を用いた画期的な符号化技術であり、これはタプル符号化をシミュレート可能にし、任意のディオファントス表現を3量化子形式に還元可能にすることを可能にした。これにより、すべての再帰的に可算集合に対して普遍的な3量化子表現の存在が証明された。

ABSTRACT

It is proved that all recursively enumerable sets of natural numbers can be represented by arithmetic formulas (of two kinds) with only 3 quantifiers.

研究の動機と目的

• 非負整数の再帰的に可算集合が、正確に3つの量化子：∃b∃c∀f を用いて表現可能であることを示すこと。
• 高基数数値システムにおける単一の多項式を用いて、非負整数のタプルを符号化する画期的な方法を開発すること。
• 再帰的に可算集合の任意のディオファントス方程式表現を、多項式の正値制約を伴う3量化子形式に還元すること。
• 普遍的な3量化子表現の存在を確立し、ゲーデルの元々の再帰的に可算集合の算術的表現に関する結果を強化すること。

提案手法

• 多項式 $ B(h_1,\dots,h_\delta,k) = \sum_{\iota=1}^{\delta} h_\iota k^{(\lambda+1)^\iota} $ を用いて、タプル $ (h_1,\dots,h_\delta) $ を $ k $-進展開における桁として符号化する。
• 多項式 $ N(l_0,\dots,l_\delta) = \sum_{\iota=0}^{\delta} l_\iota (\lambda+1)^\iota $ の単射性を活用し、桁位置から係数を一意に復号可能であることを保証する。
• 多項式恒等式 $ V(k)(1 + ak + B)^\lambda = \sum_{\iota=0}^{2\nu} T_\iota k^\iota $ を構築し、ここで $ T_\nu = R(a,h_1,\dots,h_\delta) $ である。この恒等式により、符号化された表現と元のディオファントス方程式とを結びつける。
• 恒等式 $ ((y-1)g - s)(yg - t) > 0 $ を用いて不等式を1つの正値制約に変換し、有界範囲における全称量化子の等価性を実現する。
• 各不等式を全称量化子範囲のセグメントに一致させるために、$ F_\iota $ を用いてネストされた区間の列を定義し、変数 $ y $ をシフトする。
• 複数の正値制約を1つの全称論理式に統合するために、積多項式 $ W_\epsilon $ を用い、元のディオファントス表現と等価であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての再帰的に可算集合が、3つの量化子（2つの存在量化子と1つの全称量化子）のみを用いて表現可能だろうか？
• RQ2 非負整数のタプルを、元の値を明示的な復号なしに復元可能にできる単一の多項式に符号化する普遍的な方法は存在するか？
• RQ3 有界範囲の整数上での多項式の正値制約に還元することで、ディオファントス方程式の真偽性を表現可能だろうか？
• RQ4 多項式恒等式を用いて、不等式の論理和を1つの不等式に変換し、全称量化を可能にすることができるか？
• RQ5 一階算術において、任意の再帰的に可算集合を表現するために必要な最小の量化子構造は何か？

主な発見

• すべての非負整数の再帰的に可算集合は、形式 $ \exists b\,\exists c\,\forall f\, [f \leq F(a,b,c) \Rightarrow W(a,b,c,f) > 0] $ で表現可能であり、普遍的な3量化子表現の存在を証明する。
• 多項式 $ B(h_1,\dots,h_\delta,k) $ は、$ k $ が十分に大きく、桁の整合性が保たれるように、タプル $ (h_1,\dots,h_\delta) $ を $ k $-進展開における桁として符号化する。
• 恒等式 $ T_\nu(a,h_1,\dots,h_\delta) = R(a,h_1,\dots,h_\delta) $ により、展開における $ k^\nu $ の係数が元のディオファントス方程式を回復することが保証される。
• 恒等式 $ ((y-1)g - s)(yg - t) > 0 $ を用いて、論理和の不等式を1つの多項式不等式に変換することで、複数の制約を1つの全称量化子条件に還元可能である。
• すべてのパrameter値に対して、(20)に類似する必要な不等式が満たされることを保証する。これにより、還元の正しさが保証される。
• 最終的な論理式 $ \forall f[f \leq F_\epsilon \Rightarrow W_\epsilon(f) > 0] $ は、元のディオファントス表現と等価であり、定理の証明が完了する。