[論文レビュー] Topological Scott Convergence Theorem

Hadrian Andradi, Weng Kin Ho|arXiv (Cornell University)|Oct 9, 2017

Constraint Satisfaction and Optimization参考文献 6被引用数 6

ひとこと要約

本稿は、$T_0$ 空間における有向集合の代わりに非可約部分集合を用いる $τ_{\mathcal{ID}}$ 置換原理を用いて、$τ_{\mathcal{I}}$-連続、$τ_{\mathcal{I}}$-安定、$τ_{\mathcal{DI}}$ 空間といった新しい概念を導入することで、スコット収束定理の位相的類似形を定式化する。主な結果として、$τ_{\mathcal{I}}$-連続かつ上界に強い空間は $τ_{\mathcal{I}}$-安定であることが示され、$τ_{\mathcal{I}}$-収束が位相的であるための必要条件が得られる。

ABSTRACT

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling with an attempt to formulate a topological version of the Scott Convergence Theorem, i.e., an order-theoretic characterisation of those posets for which the Scott-convergence $\mathcal{S}$ is topological. To do this, we make use of the $\mathcal{ID}$ replacement principle to create topological analogues of well-known domain-theoretic concepts, e.g., $\mathcal{I}$-continuous spaces correspond to continuous posets, as $\mathcal{I}$-convergence corresponds to $\mathcal{S}$-convergence. In this paper, we consider two novel topological concepts, namely, the $\mathcal{I}$-stable spaces and the $\mathcal{DI}$ spaces, and as a result we obtain some necessary (respectively, sufficient) conditions under which the convergence structure $\mathcal{I}$ is topological.

研究の動機と目的

• 順序集合に限定されない $T_0$ 空間の文脈におけるドメイン理論の発展を、J. D. ローソンの要請に応えること。
• 古典的なスコット収束定理の位相的変種を定式化し、スコット収束がいつ位相的になるかを特徴づけること。
• ドメイン理論的概念の類似物として、$τ_{\mathcal{I}}$-連続、$τ_{\mathcal{I}}$-安定、$τ_{\mathcal{DI}}$ 空間といった新しい位相的概念を導入・分析すること。
• $T_0$ 空間における $τ_{\mathcal{I}}$-収束構造がいつ位相的になるかを、非可約集合の観点から調査すること。

提案手法

• $τ_{\mathcal{ID}}$ 置換原理を適用し、順序集合における有向集合を $T_0$ 空間における非可約部分集合に置き換えることで、ドメイン理論的概念を一般化する。
• 非可約部分集合の族上の下位バイエトリス位相を用いて、$T_0$ 空間上に $τ_{\mathcal{I}}$-位相を構成する。
• 各点がその上界を有し、点を近似する非可約集合の基底を持つ空間を $τ_{\mathcal{I}}$-連続空間と定義する。
• 位相が非可約上界に関して安定する空間、すなわち収束の整合性を保証する空間として $τ_{\mathcal{I}}$-安定空間の概念を導入する。
• $T_0$ 空間においてすべての非可約集合が上界を持ち、その構造と位相が整合的である場合を $τ_{\mathcal{DI}}$ 空間と定義する。
• すべての非可約集合が一意な上界を持つ「上界に強い空間」の概念を用いて、位相的性質の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $T_0$ 空間における $τ_{\mathcal{I}}$-収束構造が位相的になるか？
• RQ2 非可約集合の観点から、$T_0$ 空間における連続 dcpo の位相的類似形は何か？ そしてそれは非可約集合とどのように関係するか？
• RQ3 新しい概念である $τ_{\mathcal{I}}$-連続、$τ_{\mathcal{I}}$-安定、$τ_{\mathcal{DI}}$ 空間の間にはどのような関係があり、古典的なドメイン理論的性質とどう関係するか？
• RQ4 非可約集合の収束を用いてスコット収束定理を $T_0$ 空間へ一般化できるか？ そのために必要な・十分な条件は何か？
• RQ5 互いに区別可能な $τ_{\mathcal{I}}$-連続、$τ_{\mathcal{I}}$-安定、$τ_{\mathcal{DI}}$ 空間の例は存在するか？ それらの間の関係は何か？

主な発見

• 本稿では、$τ_{\mathcal{I}}$-連続かつ上界に強い空間が $τ_{\mathcal{I}}$-安定であることが示され、$τ_{\mathcal{I}}$-収束が位相的であるための十分条件が得られる。
• $τ_{\mathcal{I}}$-安定かつ $τ_{\mathcal{I}}$-連続な空間のクラスは、補間性質を満たしており、構造的な豊かさを示している。
• $τ_{\mathcal{I}}$-安定かつ $τ_{\mathcal{I}}$-連続な空間に対して、スコット位相の基底に類似した形 $\mathord{\mathord{\rotatebox[origin={c}]{90.0}{$\twoheadrightarrow$}}}_{\mathcal{I}}x = \{p \in X \mid x \ll_{\mathcal{I}} p\}$ が存在するという予想が提示される。
• 本稿では、$τ_{\mathcal{I}}$-安定、$τ_{\mathcal{I}}$-連続、上界に強い、$τ_{\mathcal{DI}}$ の4つの位相的性質を区別する例の欠如が指摘され、それらの関係性の理解にギャップがあることが示された。
• 「$+~{}+~{}+~{}-$」（すなわち $τ_{\mathcal{I}}$-連続、上界に強い、$τ_{\mathcal{I}}$-安定、$τ_{\mathcal{DI}}$ でない）という構成は、定理16により不可能であることが判明した。