[论文解读] $T^\omega$-representations of compact sets

Arno Pauly, Hideki Tsuiki|arXiv (Cornell University)|Apr 1, 2016

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

一句话总结

本文提出了一种新的 $Τ^\omega$-表示法，用于可计算紧致的可计算度量空间中的紧致子集，通过 Plotkin 的 $Τ$ 上的无限序列实现有效编码，使得每个 $n$-元素紧致集均由恰好包含 $n$ 个 $⊥$ 的名称表示。关键贡献在于此类表示的有效构造，从而为有限子集的闭选择的 Weihrauch 度提供了新见解。

ABSTRACT

We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a way that compact sets are essentially underspecified points. We can even ensure that a name of an $n$-element compact set contains $n$ occurrences of $\bot$. We undergo this study effectively and show that such a $\mathbb{T}^\omega$-representation is effectively obtained from structures of computably compact computable metric spaces. As an application, we prove some statements about the Weihrauch degree of closed choice for finite subsets of computably compact computable metric spaces. Along the way, we introduce the notion of a computable dyadic subbase, and prove that every computably compact computable metric space admits a proper computable dyadic subbase.

研究动机与目标

• 开发一种使用 Plotkin 的 $Τ$ 上的无限序列，对可计算紧致的可计算度量空间中的紧致子集进行有效表示。
• 确保紧致子集在 $Τ^\omega$-表示框架中被表示为本质上未指定的点。
• 构建一种 $Τ^\omega$-表示，使得 $n$-元素紧致集的名称中恰好包含 $n$ 个 $⊥$，从而实现对表示大小的精确控制。
• 将该表示应用于分析此类空间中有限子集的闭选择的 Weihrauch 度。

提出的方法

• 利用 Plotkin 的 $Τ$-演算，将 $Τ$ 上的无限序列定义为紧致子集的表示。
• 从可计算紧致的可计算度量空间的结构出发，构造一种有效的 $Τ^\omega$-表示。
• 引入可计算二元子基的概念，并证明每个可计算紧致的可计算度量空间中均存在此类子基。
• 证明该表示能有效编码有限紧致集，且 $⊥$ 符号的数量与集合的基数完全匹配。
• 利用该表示分析有限子集的闭选择的 Weihrauch 度。
• 利用有效构造推导出紧致集表示的统一可计算性结果。

实验结果

研究问题

• RQ1 可计算紧致的可计算度量空间中的紧致子集能否通过 Plotkin 的 $Τ$ 上的无限序列实现有效表示？
• RQ2 是否可能设计一种 $Τ^\omega$-表示，使得名称中 $⊥$ 符号的数量恰好对应于紧致集的基数？
• RQ3 可计算二元子基的存在性是否能刻画或促进此类空间中紧致集的有效表示？
• RQ4 在新的表示下，可计算紧致的可计算度量空间中有限子集的闭选择的 Weihrauch 度是什么？
• RQ5 在 $Τ^\omega$-表示的语境下，如何形式化并利用“本质上未指定的点”这一概念？

主要发现

• 每个可计算紧致的可计算度量空间均存在一个适当的可计算二元子基，支持紧致集的有效表示。
• 可从空间结构有效构造 $Τ^\omega$-表示，确保统一可计算性。
• 在 $Τ^\omega$-表示中，$n$-元素紧致集的名称恰好包含 $n$ 个 $⊥$，实现基于基数的编码。
• 该表示使得紧致集可被视为本质上未指定的点，从而简化其可计算分析。
• 通过有效的 $Τ^\omega$-表示，对闭选择的 Weihrauch 度进行了刻画，揭示了新的可计算理论见解。
• 该框架支持对紧致集的有效且统一的计算，即使集合在其名称中未被完全指定。