[论文解读] Weihrauch Complexity in Computable Analysis

Vasco Brattka, Guido Gherardi+1 more|arXiv (Cornell University)|Jul 11, 2017

Computability, Logic, AI Algorithms被引用 8

一句话总结

本文引入並系統化了魏勞許複雜度作為一種框架，用於分類可計算分析中數學問題的均勻計算內容。它通過組合、乘積和平行化等代數運算建立了一個問題的格結構，展示了魏勞許度如何捕捉均勻歸約性，並透過完整問題和博弈論特徵化，與描述集合論、可計算性類別及邏輯原理建立聯繫。

ABSTRACT

We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.

研究动机与目标

• 開發一個系統化的框架，用於分析可計算分析中數學問題的均勻計算強度。
• 形式化一個使用多值函數與組合、乘積、平行化等代數運算的問題演算。
• 建立魏勞許度與其他領域的聯繫，包括描述集合論、可計算性類別與邏輯原理。
• 證明關鍵函數類別（例如，有效 $\Sigma^{0}_{n+2}$-可測函數）可由魏勞許完滿性特徵化。
• 統一並擴展現有的歸約概念，如魏勞許與瓦吉歸約，在各種計算模型與空間上的應用。

提出的方法

• 將數學問題建模為部分多值函數 $ f: \subseteq X \rightrightarrows Y $，其中 $ \text{dom}(f) $ 為允許輸入的集合，$ f(x) $ 為可能的輸出集合。
• 定義問題上的代數運算：組合 $ h \circ f $、乘積 $ f \times g $、併集 $ f \sqcup g $、交集 $ f \sqcap g $、和 $ f + g $、有限平行化 $ f^* $，以及平行化 $ \widehat{f} $。
• 使用魏勞許格來透過均勻歸約性比較問題：若 $ f $ 可以使用 $ g $ 作為均勻黑箱計算，則 $ f \leq_{\text{W}} g $。
• 將此框架應用於分析問題，如零問題 $ \text{Z}_X $，其中 $ f \mapsto f^{-1}\{0\} $，並展示此類問題如何生成度。
• 透過證明 $ f \leq_{\text{W}} \text{C}_{\mathbb{N}}^{(n)} $ 當且僅當 $ f $ 是有效 $ (\Sigma^{0}_{n+2}, \Sigma^{0}_{n+2}) $-可測，建立與描述集合論的連結。
• 證明魏勞許度對應於博弈論特徵化，且在表示空間中相對化與跳變算子下保持不變。

实验结果

研究问题

• RQ1 如何系統化地根據其均勻計算內容對分析中的數學問題進行分類？
• RQ2 組合、乘積與平行化等代數運算在魏勞許格內構造與比較問題時扮演何種角色？
• RQ3 魏勞許度與描述集合論中的經典概念（如瓦吉歸約與 $ \Sigma^{0}_{n+2} $-可測性）有何關係？
• RQ4 哪些可計算函數類別（例如，極限可計算、拉斯維加斯）可由特定的魏勞許度特徵化？
• RQ5 不同計算模型（例如，BSS機器）在多大程度上可納入魏勞許框架？其度的界為何？

主要发现

• 魏勞許格為分類可計算分析中問題的計算內容提供了一個均勻框架，其中組合與平行化分別捕捉了順序與併發計算。
• 零問題 $ \text{Z}_X $ 是一個典型範例，其度捕捉了解連續方程 $ f(x) = 0 $ 的均勻複雜度。
• 對於 $ \Sigma^{0}_{n+2} $-可測函數的魏勞許完滿性，由 $ f \leq_{\text{W}} \text{C}_{\mathbb{N}}^{(n)} $ 特徵化，且當 $ f: \mathbb{N}^\mathbb{N} \to \mathbb{N}^\mathbb{N} $ 與 $ n \in \mathbb{N} $ 時等式成立。
• 對於 $ n \in \{0,1\} $，有效 $ (\Sigma^{0}_{n+2}, \Sigma^{0}_{n+2}) $-可測性等價於原像映射的連續性，但此等價性在 $ n > 1 $ 時仍為開放問題，與推廣的賈恩-羅傑斯猜想相關。
• BSS可計算函數 $ f: \subseteq \mathbb{R}^* \to \mathbb{R}^* $ 滿足 $ f \leq_{\text{W}} \text{C}_{\mathbb{N}} $，且存在 BSS 可計算函數達到度 $ \text{C}_{\mathbb{N}} $，顯示緊密的界。
• 該理論可透過跳變算子與可計算自函子擴展至擬波萊茲與表示空間，將描述集合論推廣至波萊茲空間之外。