[论文解读] Two universal 3-quantifier representations of recursively enumerable sets

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

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

一句话总结

本文证明了每个非负整数的递归可枚举集合都可以通过一个恰好包含三个量词的公式来表示：两个存在量词（∃b∃c）后接一个全称量词（∀f），其中内部条件为一个多项式上的正性约束。关键贡献在于提出了一种新颖的编码技术，利用高基数制中的多项式展开来模拟元组编码，从而将任意的丢番图表示简化为三重量词形式，因此证明了所有递归可枚举集合均存在普遍的三重量词表示。

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.

研究动机与目标

• 证明每个非负整数的递归可枚举集合均可表示为仅含三个量词的形式：∃b∃c∀f。
• 开发一种新颖的编码方法，将非负整数元组编码为单个多项式，使用高基数制系统。
• 将任意递归可枚举集合的丢番图方程表示转化为一个三重量词形式，其中包含对多项式的正性条件。
• 建立普遍三重量词表示的存在性，从而强化哥德尔关于递归可枚举集合算术表示的原始结果。

提出的方法

• 使用多项式 $ 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 $ 将不等式转化为单一正性条件，从而实现对有界范围内整数的全称量词等价。
• 通过 $ F_\iota $ 定义嵌套区间，并对变量 $ y $ 进行平移，使每个不等式与全称量词范围的特定段落对齐。
• 使用乘积多项式 $ W_\epsilon $ 将多个正性条件合并为单个全称公式，确保与原始丢番图表示等价。

实验结果

研究问题

• RQ1 每个递归可枚举集合是否都能通过仅含三个量词（两个存在量词和一个全称量词）的公式来表示？
• RQ2 是否存在一种普遍方法，将非负整数元组编码为单个多项式，使得原始值可在不显式解码的情况下被恢复？
• RQ3 一个丢番图方程的真值能否被简化为在有界整数范围内对多项式的正性条件？
• RQ4 能否通过多项式恒等式将多个不等式的析取转化为单个不等式，以实现全称量化？
• RQ5 在一阶算术中，表示任意递归可枚举集合所需的最小量词结构是什么？

主要发现

• 每个非负整数的递归可枚举集合都可表示为形式 $ \exists b\,\exists c\,\forall f\, [f \leq F(a,b,c) \Rightarrow W(a,b,c,f) > 0] $，从而证明了普遍三重量词表示的存在性。
• 多项式 $ B(h_1,\dots,h_\delta,k) $ 将元组 $ (h_1,\dots,h_\delta) $ 编码为以 $ k $ 为基的展开式中的数字，且 $ 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 $ 将析取不等式转化为单个多项式不等式，从而实现将多个约束简化为单个全称量词条件。
• 该构造确保对所有参数值，均满足类似于 (20) 的所需不等式，从而保证了约化的正确性。
• 最终公式 $ \forall f[f \leq F_\epsilon \Rightarrow W_\epsilon(f) > 0] $ 与原始丢番图表示等价，从而证明了定理。