[論文レビュー] The Split Common Null Point Problem

C.L. Byrne, Yair Censor+2 more|arXiv (Cornell University)|Aug 30, 2011

Optimization and Variational Analysis参考文献 42被引用数 112

ひとこと要約

本稿は、有界線形作用素によって接続された2つのヒルバート空間における最大単調な多価写像のゼロ点を求めるために、Split Variational Inequality Problem (SVIP) の一般化である Split Common Null Point Problem (SCNPP) を導入する。4つの反復的アルゴリズムを提案し、1つは弱収束を示し、残りの3つは強い収束を示す。これにより、スプリット可解性手法の適用範囲がゼロ点問題および単調包含問題へ拡張される。

ABSTRACT

We introduce and study the Split Common Null Point Problem (SCNPP) for set-valued maximal monotone mappings in Hilbert spaces. This problem generalizes our Split Variational Inequality Problem (SVIP) [Y. Censor, A. Gibali and S. Reich, Algorithms for the split variational inequality problem, Numerical Algorithms 59 (2012), 301--323]. The SCNPP with only two set-valued mappings entails finding a zero of a maximal monotone mapping in one space, the image of which under a given bounded linear transformation is a zero of another maximal monotone mapping. We present four iterative algorithms that solve such problems in Hilbert spaces, and establish weak convergence for one and strong convergence for the other three.

研究の動機と目的

• SCNPP(p,r) を、Split Variational Inference Problem (SVIP) や他のスプリット可解性問題の一般化として定式化・研究すること。
• 最大単調な多価写像を含む単調包含問題へのスプリットアルゴリズムの適用範囲を拡張すること。
• ヒルバート空間において SCNPP を解く反復的アルゴリズムを開発し、収束保証を提供すること。
• Split Feasibility Problem (SFP)、Convex Feasibility Problem (CFP)、Split Minimization Problem (SMP) といった既存の問題を、統一的な枠組みの下で一般化すること。

提案手法

• 有界線形作用素 A_j: H₁ → H₂ を用いて、H₁ 内の点 x* が 0 ∈ ∩_{i=1}^p B_i(x*) を満たし、y*_j = A_j(x*) が 0 ∈ ∩_{j=1}^r F_j(y*_j) を満たすような SCNPP(p,r) を定式化する。
• 最大単調作用素の解像作用素 J_λ^B および J_λ^F を用いた前向き後向き分割法と緩和型射影法を採用する。
• 平均化作用素と弱収束から強い収束への変換原理を用い、緩和ステップにより弱収束型アルゴリズムを強い収束型に変換する。
• 解像作用素と線形作用素の合成に対して Krasnosel’skiï-Mann 反復フレームワークを適用し、ヒルバート空間構造のもとで収束を保証する。
• x^{k+1} = P_{H(x⁰,xᵏ) ∩ H(xᵏ,S₁/₂(xᵏ))}(x⁰) という新しい反復更新則を導入し、追加の仮定なしに強い収束を達成する。
• 作用素 S = J_λ^{B₁}(I - γA*(I - J_λ^{F₁})A) が平均化され、非拡大であることを活用し、固く非拡大作用素による収束解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ヒルバート空間において、最大単調な多価写像を含むゼロ点問題を含む、Split Variational Inequality Problem (SVIP) を一般化することは可能か？
• RQ2 ヒルバート空間において、収束保証を伴う SCNPP を解く反復的アルゴリズムはどのように設計できるか？
• RQ3 追加の仮定を課さずに、SCNPP の文脈で弱収束を強い収束に向上させることは可能か？
• RQ4 SCNPP は、Split Feasibility Problem、Split Minimization Problem、Split Equilibrium Problem といった既存問題をどのように統合・拡張するか？
• RQ5 SCNPP の枠組みは、逆強単調な作用素を超えて、単調かつ擬連続な作用素を扱えるか？

主な発見

• SCNPP(p,r) は SVIP を一般化し、微分可能性を仮定しない場合でも、Split Feasibility Problem (SFP)、Convex Feasibility Problem (CFP)、Split Minimization Problem (SMP) などのすべての特殊ケースを含む。
• 提案された4つのアルゴリズムのうち、1つは SCNPP の解への弱収束を示し、残りの3つは同一の条件下で強い収束を保証する。
• 3つのアルゴリズムの強い収束は、標準的な反復更新を2つの半空間の交差への射影に置き換える緩和技術により達成され、追加の仮定なしに収束が保証される。
• 作用素 S = J_λ^{B₁}(I - γA*(I - J_λ^{F₁})A) が平均化され、非拡大であることが示され、収束解析の基盤を形成する。
• Moudafi の Split Minimization Variational Inequality (SMVI) 問題は、逆強単調な作用素を超えて単調かつ擬連続な作用素を含むように拡張され、適用範囲が広がる。
• SCNPP フレームワークにより、A_j = I かつ H₁ = H₂ と設定することで、「スプリット」と「共通」問題タイプの混合応用が可能となり、共通およびスプリットゼロ点問題を統一的に取り扱えるようになる。