[论文解读] On Guessing Whether A Sequence Has A Certain Property

Samuel Allen Alexander|arXiv (Cornell University)|Nov 30, 2010

Mathematical and Theoretical Analysis参考文献 4被引用 5

一句话总结

本文引入了自然数无限序列集合的‘可猜测性’的正式概念，定义一个集合为可猜测的，若存在一个函数能基于有限初始段收敛到正确的成员关系判断。主要贡献在于证明了可猜测集合恰好是波莱尔层次中的 $Δ^0_2$ 集合——即既是 $G_\delta$ 又是 $F_\sigma$ 的集合——使用了一种带有省略号符号的非标准逻辑和博弈论论证。

ABSTRACT

A concept of "guessability" is defined for sets of sequences of naturals. Eventually, these sets are thoroughly characterized. To do this, a nonstandard logic is developed, a logic containing symbols for the ellipsis as well as for functions without fixed arity. New proofs are given for some seemingly-unrelated known results.

研究动机与目标

• 将‘基于有限初始段猜测无限序列是否具有某种性质’这一直观想法形式化。
• 刻画哪些序列集合可以通过基于收敛的策略被猜测，尽管在经典逻辑中可能存在不可判定性。
• 建立一个包含变元元数函数和省略号符号的逻辑框架，以表达不依赖固定长度输入的序列性质。
• 证明可猜测性恰好对应于波莱尔层次的 $Δ^0_2$ 层次，从而连接可计算性与描述集合论。

提出的方法

• 引入一种非标准的一阶逻辑，包含任意有限元数的函数符号，以及一个特殊的省略号符号 $\cdots_x$，用于表达任意长度的序列。
• 定义一个‘猜测者’函数 $G: \mathbb{N}^{<\mathbb{N}} \to \{0,1\}$，要求对任意无限序列，该函数必须收敛到正确答案。
• 应用一种构造性对角化论证（定理1），证明若每个有限前缀均可被扩展为属于集合和不属于集合的序列，则该集合不可猜测。
• 利用波莱尔层次证明可猜测集合恰好是 $Δ^0_2$ 集合——即既是 $G_\delta$ 又是 $F_\sigma$ 的集合——通过在无量词公式上交替使用量词来表达此类集合。
• 利用 $\mathbb{N}^{\mathbb{N}}$ 的二阶可数性，将开集表示为由有限初始段定义的基本开集的可数并集。
• 通过对偶性论证建立可猜测性与 $Δ^0_2$ 的等价性：若 $S$ 是 $Δ^0_2$，则 $S$ 及其补集均为 $G_\delta$，从而可构造出收敛的猜测者。

实验结果

研究问题

• RQ1 哪些无限序列集合可以通过基于有限初始段收敛的猜测函数来判定？
• RQ2 像‘是满射’或‘有无穷多个零’这样的性质能否被此类猜测策略捕捉？
• RQ3 可猜测集合的逻辑复杂度是什么？它与波莱尔层次等经典层次有何关联？
• RQ4 是否可能通过最富表达力的逻辑完全消除定义‘满射’等性质时的嵌套量词？
• RQ5 这种可猜测性概念与描述集合论中现有概念（如 Wadge 度）相比如何？

主要发现

• 满射序列（即从 $\mathbb{N}$ 到 $\mathbb{N}$ 的满射）的集合不可猜测，这通过一个对角化论证得以证明：该论证构造出一个使任何猜测者都发生振荡的序列。
• 具有无穷多个零的序列集合也不可猜测，原因与定理1中的相同振荡条件有关。
• 集合 $S \subseteq \mathbb{N}^{\mathbb{N}}$ 可猜测当且仅当它是 $\mathbf{\Delta}^0_2$ 集合——即同时为 $G_\delta$ 和 $F_\sigma$——从而建立了精确的逻辑与拓扑刻画。
• 任何可由不含嵌套量词的句子定义的集合（即前束范式中量词未嵌套）都是可猜测的，因为此类集合在布尔运算下封闭且属于 $\mathbf{\Delta}^0_2$。
• ‘满射’的定义无法通过最富表达力的逻辑 $\mathscr{L}_{\text{max}}$ 简化为消除嵌套量词的形式，因为满射函数的集合不可猜测。
• 该结果与 Wadge 的早期工作一致：可猜测性等价于 $\mathbf{\Delta}^0_2$，且该等价性蕴含了 Wadge 引理的一个特例，确认了该结果在描述集合论中的基础性意义。