[論文レビュー] On Guessing Whether A Sequence Has A Certain Property

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

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

ひとこと要約

この論文は、自然数の無限列の集合に対して「推測可能（guessability）」の形式的定義を導入し、有限な初期部分列に基づいて正しい属性の決定に収束する関数が存在する場合にその集合を推測可能と定義する。主な貢献は、非標準論理とゲーム理論的議論を用いて、推測可能な集合がボレル階層における $Δ^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.

研究の動機と目的

• 有限な初期部分列に基づいて、無限列が特定の性質を持つかどうかを直感的に「推測する」ことの形式的定式化。
• 古典論理における決定不能性にもかかわらず、収束に基づく戦略を用いて推測可能な列の集合を同定すること。
• 任意の有限のアリティを持つ関数記号と省略記号 $\cdots_x$ を備えた論理的枠組みを構築し、固定長の入力を必要としない列の性質を表現すること。
• 推測可能性がボレル階層の $Δ^0_2$ 層に正確に対応することを証明し、計算可能性と記述的集合論を結びつけること。

提案手法

• 任意の有限アリティを持つ関数記号と、任意の長さの列を表現するための特別な省略記号 $\cdots_x$ を備えた非標準的一階論理を導入する。
• 任意の無限列に対して正しい答えに収束する関数 $G: \mathbb{N}^{<\mathbb{N}} \to \{0,1\}$ を「推測者（guesser）」と定義する。
• 任意の有限な接頭辞が、集合に属する列および属さない列に拡張可能であるならば、その集合は推測不能であることを示す、構成的対角線論法（定理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 の補題の特別な場合を含む。これにより、記述的集合論におけるこの結果の基礎的意義が裏付けられる。