[論文レビュー] Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara|arXiv (Cornell University)|Apr 2, 2013

Computability, Logic, AI Algorithms参考文献 15被引用数 6

ひとこと要約

この論文は、計算可能性理論におけるShore-Slaman結合定理を用いて、Jayne-Rogers定理の超限一般化を確立している。小規模な超限帰納次元を持つポーランド空間において、関数が $\Sigma_{\alpha+1,\beta+1}^{\to}$-可測であるための必要十分条件は、$\Delta^{0}_{\beta+1}$ を定義域とするBaire階級 $\gamma$ の関数に可算個に分解できることであり、$\gamma + \alpha \leq \beta$ を満たす。条件は $\alpha \leq \beta < \alpha \cdot 2$ である。これは、有限および超限レベルにおけるBorel関数の長年の分解可能性予想に対する部分的解決をもたらす。

ABSTRACT

Jayne and Rogers proved that every function from an analytic space into a separable metric space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_σ$ set under it is again $F_σ$. Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers theorem at finite and transfinite levels of the hierarchy of Borel functions: For all countable ordinals $α$ and $β$ with $α\leqβ

研究の動機と目的

• Borel階層の有限および超限レベルにおけるBorel関数の分解可能性予想を解決すること。
• Jayne-Rogers定理を $\mathbf{\Sigma}_{2,2}$ の場合を超えて、Borel階層のより高いレベルおよび超限レベルへ拡張すること。
• 計算可能性理論的Shore-Slaman結合定理と記述的集合論的Borel関数の分解可能性との間の関係を確立すること。
• 連続的コードによって $\mathbf{\Sigma}^{0}_{\alpha+1}$ 集合の逆像をもつ関数のクラス $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$ を導入・分析すること。
• $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$ 関数が $\mathbf{\Delta}^{0}_{\beta+1}$ 定義域の $\mathbf{\Sigma}^{0}_{\gamma+1}$-可測関数に可算個に分解できる正確な条件を同定すること。

提案手法

• Turing度の構造とBorel関数の分解におけるそれらの役割を分析するために、Shore-Slaman結合定理に依存する。
• 関数の逆像が $\mathbf{\Sigma}^{0}_{\alpha+1}$ 集合である場合、連続的コード写像によって $\mathbf{\Sigma}^{0}_{\beta+1}$ に写されるクラス $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$ を導入する。
• オラクルによる相対化を用いて、計算可能からより一般のBorel設定へ結果を拡張する。
• 関数のクラスを制限するために、ポーランド空間における小規模な超限帰納次元の概念を適用する。
• 再帰的構成法を用いて $\Delta^{0,X}_{\beta+1}$ 分割を構成し、関数を $\mathbf{\Sigma}^{0,X}_{\gamma+1}$-計算可能部分に分解する。
• $\beta\hat{-}\alpha$ を極限順序数とみなすことで、分解された関数のBaire階数に対する再帰的境界を保証する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$ 関数が、$\mathbf{\Delta}^{0}_{\beta+1}$ 定義域の可算個の $\mathbf{\Sigma}^{0}_{\gamma+1}$-可測関数に分解可能か？
• RQ2 $\alpha \leq \beta < \alpha \cdot 2$ に対して、$\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}(\mathcal{X},\mathcal{Y}) = \mathbf{dec}_{\beta+1}\mathbf{\Sigma}_{1,\beta\hat{-}\alpha}(\mathcal{X},\mathcal{Y})$ が常に成り立つか？
• RQ3 分解可能性結果を範囲 $\alpha \leq \beta < \alpha \cdot 2$ を超えて、すべての可算順序数 $\alpha, \beta < \omega_1$ へ拡張可能か？
• RQ4 すべての可算順序数 $\alpha, \beta < \omega_1$ に対して、クラス $\mathbf{\Sigma}_{\alpha,\beta}$ と $\mathbf{\Sigma}_{\alpha,\beta}^{\to}$ は一致するか？
• RQ5 任意の $\mathbf{\Delta}^{0}_{\beta+1}(\mathcal{X})$ と $\mathbf{\Delta}^{0}_{\alpha+1}(\mathcal{Y})$ 間のブール代数同型は、$\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$-同型によって誘導されるか？

主な発見

• すべての可算順序数 $\alpha$ および $\beta$ に対して $\alpha \leq \beta < \alpha \cdot 2$ を満たす場合、小規模な超限帰納次元を持つポーランド空間間の関数は、$\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}$-可測であるための必要十分条件は、$\mathbf{\Delta}^{0}_{\beta+1}$ を定義域とする $\mathbf{\Sigma}^{0}_{\gamma+1}$-可測関数に可算個に分解できることであり、$\gamma + \alpha \leq \beta$ を満たす。
• 証明は、Shore-Slaman結合定理に依存し、各関数の部分が $\mathbf{\Sigma}^{0,X}_{\gamma+1}$-計算可能であるような $\Delta^{0,X}_{\beta+1}$ 分割を構成する。ここで $\gamma < \beta\hat{-}\alpha$ である。
• 結果は、小規模な超限帰納次元を持つ擬似ポーランド空間に対しても成り立つため、標準的なポーランド空間を超えて適用範囲が拡張される。
• 著者らは、同じ範囲で $\mathbf{dec}_{\beta+1}\mathbf{\Sigma}_{1,\beta\hat{-}\alpha}(\mathcal{X},\mathcal{Y}) \subseteq \mathbf{\Sigma}_{\alpha+1,\beta+1}(\mathcal{X},\mathcal{Y}) \subseteq \mathbf{dec}\mathbf{\Sigma}_{1,\beta\hat{-}\alpha}(\mathcal{X},\mathcal{Y})$ を示し、分解可能性予想の洗練されたバージョンを確認した。
• $\beta < \alpha \cdot 2$ という条件は必須であり、$\beta\hat{-\alpha}$ が後続順序数である場合、再帰的構成において矛盾が生じるため、この方法の境界を示している。
• 論文は、すべての $\alpha, \beta < \omega_1$ に対して $\mathbf{\Sigma}_{\alpha+1,\beta+1}^{\to}(\omega^{\omega},\omega^{\omega}) = \mathbf{\Sigma}_{\alpha+1,\beta+1}(\omega^{\omega},\omega^{\omega})$ が成り立つかどうかは未解決のままとしており、今後の研究の重要な方向性を示唆している。