[論文レビュー] Proof mining in metric fixed point theory and ergodic theory

Laurenţiu Leuştean|ArXiv.org|Mar 9, 2009

Fixed Point Theorems Analysis参考文献 107被引用数 4

ひとこと要約

この論文は、数学的証明の論理的分析である証明マイニングを用い、距離的不動点理論およびエルゴディック理論における明示的で一様な上限を抽出する。一様凸バナッハ空間および $W$-ハイパーボリック空間における非拡大および漸近的に非拡大写像のための漸近的正則性およびメタ安定性の定量的レートを確立し、特定の写像に依存せず、一様凸性のモジュラスおよびノルムの上限にのみ依存する有効な上限をもたらす。

ABSTRACT

In this survey we present some recent applications of proof mining to the fixed point theory of (asymptotically) nonexpansive mappings and to the metastability (in the sense of Terence Tao) of ergodic averages in uniformly convex Banach spaces.

研究の動機と目的

• 証明論的技術を用いて、距離的不動点理論およびエルゴディック理論の証明から有効で一様な上限を抽出すること。
• 非拡大写像およびエルゴディック平均に関する古典的存在定理に欠けている定量的情報を補完すること。
• 一様凸バナッハ空間および $W$-ハイパーボリック空間における漸近的正則性およびメタ安定性の既存の上限を一般化・精緻化すること。
• 論理的メタ定理が具体的な数学的設定に適用可能であることを示し、計算的に意味のある結果をもたらすこと。
• 定性的証明を定量的証明に変換するための体系的フレームワークを提供すること。

提案手法

• 形式化された証明を有効な上限をもたらすものに変換するために、証明解釈および論理的メタ定理を用いる。
• メタ定理を適用し、$CAT(0)$ 空間および $UCW$-ハイパーボリック空間における漸近的正則性のための一様上限を抽出する。
• ヘルドラン正規形および有界関数的解釈を用いて、証明の論理的構造を分析する。
• 反復関数の構成、たとえば $h(n) = 2(Mn + g(Mn))$ および $h^{K}(1)$（$K = \lceil b/\gamma \rceil$）を用いて明示的な上限を導出する。
• 一様凸性のモジュラス $\eta$ を用い、$\gamma = \varepsilon/(16) \cdot \eta(\varepsilon/(8b))$ を定義し、収束速度を制御する。
• 線形非拡大作用素（バーキホフの平均エルゴディック定理）および非線形写像の両方の設定にフレームワークを適用し、作用素に依存しない上限を得る。

実験結果

リサーチクエスチョン

• RQ1 非拡大写像の漸近的正則性証明から、$CAT(0)$ 空間における有効で一様な上限をどのように抽出できるか。
• RQ2 証明マイニングは、$W$-ハイパーボリック空間における近似的不動点性の定量的版をどのように得られるか。
• RQ3 一様凸バナッハ空間におけるエルゴディック平均のメタ安定性のレートは何か。また、凸性モジュラスにどのように依存するか。
• RQ4 一様凸性を満たす $UCW$-ハイパーボリック空間におけるハルペルンおよびイシカワ反復の漸近的正則性について、一様上限を確立できるか。
• RQ5 抽出された上限は、等長写像と一般の非拡大写像の両方において、他の手法で得られたものと比較してどうなるか。

主な発見

• 非拡大写像のための漸近的正則性の二次レートが $CAT(0)$ 空間で確立され、$\Phi(\varepsilon,g,b,\eta) = M \cdot \tilde{h}^{K}(1)$ という上限が得られる。ここで $M = \lceil 16b/\varepsilon \rceil$、$K = \lceil b/\gamma \rceil$、$\gamma = \varepsilon/16 \cdot \eta(\varepsilon/(8b))$ である。
• ヒルバート空間では、上限が $K = \lceil 512b^2/\varepsilon^2 \rceil$ に簡略化され、線形 $g$ の場合に $2^{O(\rho^2 \log \rho)}$ の複雑度を示し、$\rho = \lceil b/\varepsilon \rceil$ となる。これは等長写像に対する既知の最良の境界と一致する。
• 一様凸バナッハ空間におけるエルゴディック平均の抽出された上限は、線形非拡大作用素 $T$ に依存せず、$\|x\| \leq b$、$\varepsilon$、$g$、および一様凸性のモジュラス $\eta$ のみに依存する。
• $\Phi(\varepsilon,g,b,\eta)$ は、すべてのこのような空間および写像にわたって一様であり、ノルムおよび凸性モジュラス以外の特定のパrameterに依存しないことを示している。
• $\eta(\varepsilon) = \varepsilon \cdot \tilde{\eta}(\varepsilon)$ で $\tilde{\eta}$ が非減少関数である場合、$\gamma$ の定数 16 を 8 にまで低減可能であり、上限が改善される。
• 従来の研究（例：Avigad 他 [4]）と比較して、特に等長写像でない場合に、より単純な反復関数 $h(n)$ を得ており、$K$ のオーダーは同じままである。